vee

벡터 표현식 이미터(VEE)는 기하대수를 위한 Rust 기반 코드 생성기입니다. 대수적 및 구조적 동치성을 위해 멀티벡터 표현식을 고유하게 축소하여 최적화합니다. VEE는 텍스트(Unicode, ASCII, LaTeX), 코드(Rust 또는 일반), 목록 형식(s-표현식, Scheme, egglog), 트리 형식(DOT 그래프) 등 여러 형식의 표현식 생성을 지원합니다. 반사/투영 연산자를 사용하여 정규직교 조건을 제거하고, 기호를 유리수로 평가하며, 연산(곱셈 및 덧셈)을 계산할 수 있습니다. 이 도구는 사영 기하대수(PGA)에서 타원, 쌍곡선 및 포물선(유클리드) 기하학을 위한 메트릭 무관 기저를 8차원까지 정의합니다. 향후 개발에는 토큰 스트림을 통한 표현식 단순화, 공통 부분 표현식 제거를 위한 egglog 활용 최적화, SIMD 코드 생성, 추가 기하대수 변형 지원이 포함됩니다.