1.
Introduction
2.
Getting Started
2.1.
Examples
3.
The Structure System
3.1.
Structure Traits
3.2.
Canonical Structure
3.3.
Morphisms
3.4.
Sets
3.5.
Rings
4.
Linear Algebra
4.1.
Matrices
4.2.
Hermite Normal Form
4.3.
Smith Normal Form
4.4.
Jordan Normal Form
4.5.
Linear Lattices
4.6.
Affine Lattices
5.
Polynomials
5.1.
Univariate Polynomials
5.2.
Multivariate Polynomials
5.3.
Symmetric Polynomials
6.
Algebraic Numbers
6.1.
Real Algebraic Numbers
6.2.
Complex Algebraic Numbers
6.3.
p-Adic Algebraic Numbers
6.4.
Algebraic Number Fields
6.4.1.
Embedded Number Fields
6.4.2.
Ideals
6.4.3.
Class Group
7.
Groups