[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: RamificationDegree .. RamifiedPrimes
RamificationDegree(L) : RngLocA -> RngIntElt
RamificationIndex(L) : RngLocA -> RngIntElt
InertiaDegree(L) : RngLocA -> RngIntElt
RamificationDegree(I) : RngOrdIdl -> RngIntElt
RamificationDegree(L) : RngPad -> RngIntElt
RamificationDegree(K, L) : RngPad, RngPad -> RngIntElt
RamificationIndex(P) : PlcFunElt -> RngIntElt
RamificationIndex(I) : RngFunOrdIdl -> RngIntElt
RamificationIndex(I, p) : RngOrdIdl, RngIntElt -> RngIntElt
RamificationIndex(E) : RngSerExt -> RngIntElt
RamificationDivisor(C) : Crv -> DivCrvElt
RamificationDivisor(D) : DivCrvElt -> DivCrvElt
RamificationDivisor(D) : DivFunElt -> DivFunElt
RamificationDivisor(F) : FldFunG -> DivFunElt
RamificationDivisor(m) : MapSch -> DivCrvElt
RamificationField(p) : RngOrdIdl -> FldNum, Map
RamificationField(p, i) : RngOrdIdl, RngIntElt -> FldNum, Map
InertiaGroup(L) : RngLocA -> GrpPerm
RamificationGroup(L, i) : RngLocA, RngIntElt -> GrpPerm
DecompositionGroup(L) : RngLocA -> GrpPerm
RamificationGroup(p) : RngOrdIdl -> GrpPerm
RamificationGroup(p, i) : RngOrdIdl, RngIntElt -> GrpPerm
RamificationDegree(L) : RngLocA -> RngIntElt
RamificationIndex(L) : RngLocA -> RngIntElt
InertiaDegree(L) : RngLocA -> RngIntElt
RamificationDegree(I) : RngOrdIdl -> RngIntElt
RamificationDegree(L) : RngPad -> RngIntElt
RamificationDegree(K, L) : RngPad, RngPad -> RngIntElt
RamificationIndex(P) : PlcFunElt -> RngIntElt
RamificationIndex(P) : PlcNumElt -> RngIntElt
RamificationIndex(P) : PlcNumElt -> RngIntElt
RamificationIndex(I) : RngFunOrdIdl -> RngIntElt
RamificationIndex(I, p) : RngInt, RngIntElt -> RngIntElt
RamificationIndex(I, p) : RngOrdIdl, RngIntElt -> RngIntElt
RamificationIndex(E) : RngSerExt -> RngIntElt
AbsoluteTotallyRamifiedExtension(R) : RngPad -> RngPad, Map
IsRamified(A, p) : ArtRep, RngIntElt -> 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(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(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
RngLoc_ramified-ext (Example H47E18)
AlgQuat_Ramified_Primes (Example H86E10)
AlgQuat_Ramified_Primes_FqX (Example H86E11)
FactoredDiscriminant(A) : AlgQuat -> SeqEnum, SeqEnum
RamifiedPlaces(A) : AlgQuat -> SeqEnum, SeqEnum
RamifiedPrimes(A) : AlgQuat -> SeqEnum
[____] [____] [_____] [____] [__] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012