- Introduction
- Creation Functions
- Creation of Structures
- Creation of Elements
- a / b : RngIntElt, RngIntElt -> FldRatElt
- Q ! [a] : FldRat, RngElt -> FldRatElt
- Q ! [a, b] : FldRat, RngIntElt, RngIntElt -> FldRatElt
- Q ! a : FldRat, RngIntElt -> FldRatElt
- RootOfUnity(n, Q) : RngIntElt, FldRat -> FldRatElt
- Random(Q, m) : FldRat, RngIntElt -> FldRatElt
- Structure Operations
- Related Structures
- IntegralBasis(Q) : FldRat -> [ FldRatElt ]
- MinimalField(q) : FldRatElt -> FldRat
- MinimalField(S) : SetEnum -> FldRat
- BaseField(Q) : FldRat -> FldRat
- Basis(Q) : FldRat -> [FldRatElt]
- UnitGroup(Q) : FldRat -> GrpAb, Map
- ClassGroup(Q) : FldRat -> GrpAb, Map
- AutomorphismGroup(Q) : FldRat -> GrpPerm, PowMapAut, Map
- Algebra(Q, Q) : FldRat, Fld -> AlgAss, Map
- VectorSpace(Q, Q) : FldRat, Fld -> ModTupFld, Map
- Decomposition(Q, p) : FldRat, RngIntElt -> []
- Numerical Invariants
- Ring Predicates and Booleans
- Element Operations
V2.28, 13 July 2023