- Introduction
- Constructions and Conversions
- Local Invariants
- pSignature(f,p) : RngMPolElt, RngIntElt -> RngIntElt
- Oddity(f) : RngMPolElt -> RngIntElt
- pExcess(f, p) : RngMPolElt, RngIntElt -> RngIntElt
- WittInvariant(f, p) : RngMPolElt, RngIntElt -> RngIntElt
- WittInvariant(L, p) : Lat, RngIntElt -> RngIntElt
- HasseInvariant(f, p) : RngMPolElt, RngIntElt -> RngIntElt
- HasseInvariant(L, p) : Lat, RngIntElt -> RngIntElt
- WittInvariants(f) : RngMPolElt -> SeqEnum
- QuadraticFormInvariants(f) : RngMPolElt -> FldElt, SetEnum, SeqEnum[RngIntElt]
- Isotropic Subspaces
- Equivalence
- IsRationallyEquivalent(X, Y) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt
- IsRationallyEquivalent(f, g) : RngMPolElt, RngMPolElt -> BoolElt, AlgMatElt
- IsRationallySimilar(X, Y) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt, RngIntElt
- IsRationallySimilar(f, g) : RngMPolElt, RngMPolElt -> BoolElt, AlgMatElt, RngIntElt
- Bibliography
V2.29, 3 August 2026