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
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67

//! Combinatorial game theory: the second column of the project, mostly
//! independent of the scalar/Clifford stack.
//!
//! * [`coin_turning`] — nim-multiplication as Conway's Turning-Corners mex
//!   recurrence, general 1-D coin-turning, and the 2-D Tartan product.
//! * [`grundy`](mod@grundy) — Sprague–Grundy values of any finite impartial game (the
//!   normal-play impartial center; P-position ⟺ g = 0).
//! * [`kernel`] — normal-play Win/Loss/Draw outcomes of a finite game graph
//!   (retrograde analysis); P-positions = Loss.
//! * [`loopy`] — loopy (cyclic) games: impartial and finite partizan
//!   retrograde solvers, the canonical value catalogue
//!   (on/off/over/under/dud/±/tis/tisn plus `s&t` tags), loopy nim-values, and
//!   the Loss-set/Draw-set quadric research instrument.
//! * [`misere`] — misère-play outcomes, indistinguishability quotients, and
//!   octal games.
//! * [`lexicode`](mod@lexicode) — the Conway-Sloane turning-game witness for binary lexicodes,
//!   plus the optimized `mex → Golay → Construction A` bridge.
//! * [`partizan`] — short partizan games (sum, order, canonical form, the
//!   surreal-value bridge).
//! * [`number_game`] — transfinite number-valued games carried by their surreal
//!   value, without materializing infinite options.
//! * [`nimber_game`] — its char-2 mirror: transfinite nimber-valued (impartial)
//!   games — Nim heaps `⋆α` — carried by their ordinal Grundy value (`No ↔ On₂` at
//!   the games layer).
//! * [`thermography`] — temperature theory: stops, cooling, and the thermograph
//!   (mean value + temperature) of a short game.
//! * [`heating`] — game-valued heating, Berlekamp overheating, and Norton
//!   multiplication by a positive unit game.
//! * [`piecewise`] — the piecewise-linear rational scaffold machinery used by
//!   thermography.
//! * [`hackenbush`] — red/blue/green Hackenbush: the one structure whose value
//!   reads out as surreal (blue–red), nimber (green), or a general partizan game
//!   (mixed) — the unifier.

pub mod atomic_weight;
pub mod coin_turning;
pub mod game_exterior;
pub mod grundy;
pub mod hackenbush;
pub mod heating;
pub mod kernel;
pub mod lexicode;
pub mod loopy;
pub mod misere;
pub mod nimber_game;
pub mod number_game;
pub mod partizan;
pub mod piecewise;
pub mod thermography;
pub mod tropical_thermography;

pub use atomic_weight::*;
pub use coin_turning::*;
pub use game_exterior::*;
pub use grundy::*;
pub use hackenbush::*;
pub use heating::*;
pub use kernel::*;
pub use lexicode::*;
pub use loopy::*;
pub use misere::*;
pub use nimber_game::*;
pub use number_game::*;
pub use partizan::*;
pub use piecewise::*;
pub use thermography::*;
pub use tropical_thermography::*;