ogdoad 1.0.4

Clifford algebras and quadratic forms over exact, finite, local, transfinite, and game-adjacent scalar backends.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

//! Witt, Brauer, and Brauer--Wall invariants of quadratic forms.
//!
//! * `class` defines [`WittClass`] for finite characteristic-two fields and the
//!   characteristic-indexed [`WittClassG`].
//! * `ring` provides tensor products, Pfister forms, and the first invariants of
//!   the fundamental-ideal filtration. The characteristic-two quadratic Witt
//!   group is a module, not this ring.
//! * `brauer_wall` computes graded Clifford classes over the supported real,
//!   complex, rational, finite-field, and function-field domains.
//! * `brauer_rational` computes rational two-torsion Hasse--Witt and Clifford
//!   Brauer classes.
//! * `cyclic` provides `Q/Z`-valued local invariants for unramified cyclic
//!   algebras and tame Kummer symbols.
//! * `milnor` assembles rational and odd-characteristic function-field residue
//!   maps.
//!
//! Child modules are re-exported through this module.

mod brauer_rational;
mod brauer_wall;
mod class;
mod cyclic;
mod milnor;
mod ring;

pub use brauer_rational::*;
pub use brauer_wall::*;
pub use class::*;
pub use cyclic::*;
pub use milnor::*;
pub use ring::*;