1. Introduction
  2. Getting Started
    1. Quickstart Examples
  4. The Structure System
    1. Structure Types
    2. Canonical Structures
    3. Morphisms
    4. Sets
    5. Rings
  6. Numbers
    1. Natural Numbers
    2. Integers
    3. Rationals
    4. Modular Arithmetic
  8. Linear Algebra
    1. Matrices
    2. Hermite Normal Form
    3. Smith Normal Form
    4. Jordan Normal Form
    5. Free Modules
  10. Polynomials
    1. Univariate Polynomials
    2. Multivariate Polynomials
    3. Symmetric Polynomials
  12. Algebraic Numbers
    1. Obtaining Polynomial Roots
    2. Real Algebraic Numbers
    3. Complex Algebraic Numbers
    4. p-Adic Algebraic Numbers
    5. Algebraic Number Fields
      1. Embedded Number Fields
      2. Ideals
      3. Class Group
  14. Groups