- ramification
- RamificationDegree
- RamificationDivisor
- RamificationField
- RamificationGroup
- RamificationIndex
- RamificationPoints
- RamificationPolygon
- RamificationResidualPolynomial
- RamificationResidualPolynomials
- Ramified
- AbsoluteTotallyRamifiedExtension(R) : RngPad -> RngPad, Map
- IsRamified(A, p) : ArtRep, RngIntElt -> BoolElt
- IsRamified(A) : GalRep -> BoolElt
- IsRamified(p, A) : RngElt, AlgQuat -> BoolElt
- IsRamified(P) : RngFunOrdIdl -> BoolElt
- IsRamified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
- IsRamified(L) : RngLocA -> BoolElt
- IsRamified(P) : RngOrdIdl -> BoolElt
- IsRamified(P, O) : RngOrdIdl, RngOrd -> BoolElt
- IsRamified(R) : RngPad -> BoolElt
- IsTamelyRamified(K) : FldAlg -> BoolElt
- IsTamelyRamified(A) : GalRep -> BoolElt
- IsTamelyRamified(O) : RngFunOrd -> BoolElt
- IsTamelyRamified(P) : RngFunOrdIdl -> BoolElt
- IsTamelyRamified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
- IsTamelyRamified(L) : RngLocA -> BoolElt
- IsTamelyRamified(O) : RngOrd -> BoolElt
- IsTamelyRamified(P) : RngOrdIdl -> BoolElt
- IsTamelyRamified(P, O) : RngOrdIdl, RngOrd -> BoolElt
- IsTamelyRamified(R) : RngPad -> BoolElt
- IsTotallyRamified(K) : FldAlg -> BoolElt
- IsTotallyRamified(O) : RngFunOrd -> BoolElt
- IsTotallyRamified(P) : RngFunOrdIdl -> BoolElt
- IsTotallyRamified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
- IsTotallyRamified(L) : RngLocA -> BoolElt
- IsTotallyRamified(O) : RngOrd -> BoolElt
- IsTotallyRamified(P) : RngOrdIdl -> BoolElt
- IsTotallyRamified(P, O) : RngOrdIdl, RngOrd -> BoolElt
- IsWildlyRamified(A, p) : ArtRep, RngIntElt -> BoolElt
- IsWildlyRamified(K) : FldAlg -> BoolElt
- IsWildlyRamified(A) : GalRep -> BoolElt
- IsWildlyRamified(O) : RngFunOrd -> BoolElt
- IsWildlyRamified(P) : RngFunOrdIdl -> BoolElt
- IsWildlyRamified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
- IsWildlyRamified(O) : RngOrd -> BoolElt
- IsWildlyRamified(P) : RngOrdIdl -> BoolElt
- IsWildlyRamified(P, O) : RngOrdIdl, RngOrd -> BoolElt
- PurelyRamifiedExtension(R,f) : RngDiffOp,RngUPolElt -> RngDiffOp, Map
- PurelyRamifiedExtension(f) : RngUPolElt[RngDiff] -> RngDiff, Map
- RamifiedPlaces(A) : AlgQuat -> SeqEnum, SeqEnum
- RamifiedPrimes(A) : AlgQuat -> SeqEnum
- RamifiedRepresentation(L) : RngLocA -> FldPad, Map
- TotallyRamifiedExtension(L, f) : RngPad, RngUPolElt -> RngPad
- TotallyRamifiedExtension(R, f) : RngSerPow[FldFin], RngUPolElt -> RngSerExt
V2.28, 13 July 2023