- Introduction
- Constructions
- Operations with Fields
- BaseRing(L) : RngLocA -> Rng
- DefiningPolynomial(L) : RngLocA -> RngUPolElt
- Degree(L) : RngLocA -> RngIntElt
- Degree(L, R) : RngLocA, Rng -> RngIntElt
- InertiaDegree(L) : RngLocA -> RngIntElt
- Precision(L) : RngLocA -> RngIntElt
- Prime(L) : RngLocA -> RngElt
- Example RngLocA_ops (H49E3)
- QuotientRepresentation(L) : RngLocA -> RngUPolRes
- RamifiedRepresentation(L) : RngLocA -> FldPad, Map
- Example RngLocA_reps (H49E4)
- AssignNames(~L, S) : RngLocA, SeqEnum[MonStgElt] ->
- Name(L, i) : RngLocA, RngIntElt -> RngLocAElt
- Discriminant(L) : RngLocA -> RngElt
- ResidueClassField(L) : RngLocA -> Rng, Map
- RelativeField(L, m) : RngLocA, Map -> RngLocA, Map, Map
- Predicates on Fields
- Maximal Order
- Homomorphisms
- Automorphisms and Galois Theory
- Elements Operations
- Polynomial Factorization
V2.28, 13 July 2023