このプロジェクトについて

ベクター式エミッター(VEE)はRustベースの幾何代数コード生成ツールです。代数的・構造的同値性に基づきマルチベクター式を一意に簡略化します。テキスト(Unicode、ASCII、LaTeX)、コード(Rustまたは汎用)、リスト形式(s-expressions、Scheme、egglog)、ツリー形式(DOTグラフ)での出力が可能です。反射/射影演算子による正規直交条件の排除、記号の有理数評価、演算回数(乗算・加算)のカウント機能を備えます。射影幾何代数(PGA)において、次元8までで楕円・双曲線・放物線(ユークリッド)幾何のメトリック非依存基底を定義します。今後の開発では、トークンストリームによる式簡略化、egglogを活用した共通部分式最適化、SIMDコード生成、および追加の幾何代数バリエーション対応を予定しています。