- 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
- Bibliography
V2.29, 21 October 2025