这个项目能做什么

向量表达式发射器(VEE)是一款基于Rust的几何代数代码生成器。它通过将多向量表达式唯一简化为代数和结构等价形式来优化表达式。VEE支持生成多种格式的表达式:文本格式(Unicode、ASCII、LaTeX)、代码格式(Rust或通用)、列表形式(s-expressions、Scheme、egglog)以及树状形式(DOT图)。该工具可利用反射/投影算子消除正交归一化条件,将符号评估为有理数,并统计运算次数(乘法与加法)。该工具在投影几何代数(PGA)中为椭圆、双曲和抛物(欧几里得)几何定义了与度量无关的基,适用于8维及以下空间。未来开发计划包括通过令牌流简化表达式、利用egglog进行公共子表达式消除优化、SIMD代码生成,以及支持更多几何代数变体。