ogdoad 1.0.0

Clifford algebras (with nilpotents) over the field-like subclasses of combinatorial games: nimbers, surreals, surcomplex.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! **Exact base** — the Archimedean char-0 anchor of the number table: the field
//! ℚ and its ring of integers ℤ.
//!
//! Neither is a game backend. [`Rational`] (ℚ over `i128`) is
//! the char-0 yardstick that validates the geometric product against the known
//! `Cl(p,q)` classification before the exotic backends are trusted;
//! [`Integer`] (ℤ) is the coefficient ring of the exterior
//! algebra of the game group (games are a ℤ-module). They are the (field, ring of
//! integers) pair every other place in the table mirrors — `(No, Oz)`,
//! `(Q_p, Z_p)`, and the unramified mixed-characteristic pair
//! `(Q_q, W_n(F_q))`.

pub mod integer;
pub mod rational;

pub use integer::*;
pub use rational::*;