Skip to main content

Crate ogdoad

Crate ogdoad 

Source
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:

  • scalar provides exact, finite, valued, global, surreal, and ordinal coefficient models.
  • clifford provides metrics, multivectors, products, versors, spinors, and geometric-algebra constructions.
  • forms provides quadratic-form classification, Witt and Brauer theory, Springer decompositions, and local–global and integral arithmetic.
  • games provides finite impartial, short partizan, misère, loopy, thermographic, and game-exterior constructions.
  • weyl provides 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.