ogdoad 1.0.5

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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

//! Quadratic forms and their invariants.
//!
//! The primary organization follows the characteristic of the scalar field:
//!
//! * [`char0`] classifies real, complex, and rational forms on each backend's
//!   documented exact domain.
//! * [`oddchar`] classifies forms over supported finite fields of odd
//!   characteristic by dimension and discriminant.
//! * [`char2`] provides Arf, Brown, Dickson, and extraspecial-group invariants.
//!
//! [`classify`] dispatches to these implementations from the scalar type.
//! [`witt`] contains Witt and Brauer--Wall classes, [`springer`] contains valued-
//! field residue decompositions, [`local_global`] contains reciprocity and
//! isotropy criteria, and [`integral`] contains lattices and finite quadratic
//! modules. [`symplectic`] and [`hermitian`] cover alternating and Hermitian forms;
//! [`trace_form`] constructs trace and transfer forms from field extensions.
//!
//! Public items from each child module are re-exported here.

pub mod char0;
pub mod char2;
pub mod classify;
pub mod diagonalize;
pub mod equivalence;
pub mod field_invariants;
pub mod hermitian;
pub mod integral;
pub mod local_global;
pub mod oddchar;
pub mod quadric_fit;
pub mod springer;
pub mod symplectic;
pub mod trace_form;
pub mod witt;

pub use char0::*;
pub use char2::*;
pub use classify::*;
pub use diagonalize::*;
pub use equivalence::*;
pub use field_invariants::*;
pub use hermitian::*;
pub use integral::*;
pub use local_global::*;
pub use oddchar::*;
pub use quadric_fit::*;
pub use springer::*;
pub use symplectic::*;
pub use trace_form::*;
pub use witt::*;