Expand description
Clifford and Weyl algebras, quadratic forms, arithmetic, and combinatorial games.
The pure-Rust core is generic over scalar::Scalar. Optional PyO3
bindings are available behind the python feature. The public API has five
pillars:
scalarprovides exact, finite, valued, global, surreal, and ordinal coefficient models.cliffordprovides metrics, multivectors, products, versors, spinors, and geometric-algebra constructions.formsprovides quadratic-form classification, Witt and Brauer theory, Springer decompositions, and local–global and integral arithmetic.gamesprovides finite impartial, short partizan, misère, loopy, thermographic, and game-exterior constructions.weylprovides finite-support PBW Weyl algebras and their polynomial differential action.
Arbitrary partizan games form an abelian group, not a commutative scalar
ring; game-valued constructions therefore remain separate from the generic
Clifford engine. See the repository README.md for supported backends and
representation limits.
Modules§
- clifford
- The Clifford / geometric-algebra pillar.
- forms
- Quadratic forms and their invariants.
- games
- Combinatorial games and checked bridges to arithmetic and integral forms.
- scalar
- Commutative coefficient rings and their optional algebraic capabilities.
- weyl
- Finite-support Weyl algebras in canonical PBW form.