1. Introduction
  2. Getting Started
    1. Quickstart Examples
  4. Numbers
    1. Natural Numbers
    2. Integers
    3. Rationals
    4. Modular Arithmetic
  6. Linear Algebra
    1. Matrices
    2. Hermite Normal Form
    3. Smith Normal Form
    4. Jordan Normal Form
    5. Free Modules
  8. Polynomials
    1. Univariate Polynomials
    2. Multivariate Polynomials
    3. Symmetric Polynomials
  10. 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
  12. Shapes
  13. Groups
  14. The Structure System
    1. Structure Types
    2. Canonical Structures
    3. Morphisms
    4. Sets
    5. Rings