ogdoad 1.0.6

//! The Clifford / geometric-algebra pillar.
//!
//! Two layers, deliberately separated:
//!
//!   * [`engine`] — the associative-algebra core: the `Metric` (carrying the
//!     quadratic form `q`, polar form `b`, and possibly nonzero asymmetric
//!     contraction `a` independently), the `Multivector` /
//!     `CliffordAlgebra` types, and the geometric product itself. This is the
//!     "associative algebra from a general bilinear form" primitive.
//!   * [`versor`] — the geometry built on top: versors and the Pin sandwich
//!     action, reflections, contractions, the pseudoscalar dual, grade
//!     involution, the spinor norm, and the even subalgebra.
//!
//! On top of those sit the structured-algebra modules: [`outermorphism`]
//! (lift a linear map to all grades; determinant via the pseudoscalar),
//! [`hopf`] (the exterior Hopf algebra) with its char-faithful symmetric mirror
//! [`divided_power`] (the divided power algebra `Γ`, dual to `Sym`),
//! [`cga`] (conformal & projective GA), and [`spinor`] (concrete left-ideal /
//! left-regular spinor modules).
//!
//! Public types and free functions are re-exported from this module. Inherent
//! operations remain methods on their context types, such as
//! `alg.sandwich(…)` and `cga.up(…)`.

pub mod blade;
pub mod cga;
pub mod divided_power;
pub mod engine;
pub mod frobenius;
pub mod hopf;
pub mod outermorphism;
pub mod spinor;
pub mod spinor_norm;
pub mod versor;

pub use blade::*;
pub use cga::*;
pub use divided_power::*;
pub use engine::*;
pub use frobenius::*;
pub use hopf::*;
pub use outermorphism::*;
pub use spinor::*;
pub use spinor_norm::*;
// `versor` adds only inherent methods to `CliffordAlgebra` (reachable through
// the type itself), so there is nothing to glob-re-export from it.