[____] [____] [_____] [____] [__] [Index] [Root]

Subindex: RamificationDegree  ..  RamifiedPrimes


RamificationDegree

   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

   RamificationDivisor(C) : Crv -> DivCrvElt
   RamificationDivisor(D) : DivCrvElt -> DivCrvElt
   RamificationDivisor(D) : DivFunElt -> DivFunElt
   RamificationDivisor(F) : FldFunG -> DivFunElt
   RamificationDivisor(m) : MapSch -> DivCrvElt

RamificationField

   RamificationField(p) : RngOrdIdl -> FldNum, Map
   RamificationField(p, i) : RngOrdIdl, RngIntElt -> FldNum, Map

RamificationGroup

   InertiaGroup(L) : RngLocA -> GrpPerm
   RamificationGroup(L, i) : RngLocA, RngIntElt -> GrpPerm
   DecompositionGroup(L) : RngLocA -> GrpPerm
   RamificationGroup(p) : RngOrdIdl -> GrpPerm
   RamificationGroup(p, i) : RngOrdIdl, RngIntElt -> GrpPerm

RamificationIndex

   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

Ramified

   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

ramified-ext

   RngLoc_ramified-ext (Example H47E18)

Ramified_Primes

   AlgQuat_Ramified_Primes (Example H86E10)

Ramified_Primes_FqX

   AlgQuat_Ramified_Primes_FqX (Example H86E11)

RamifiedPlaces

   FactoredDiscriminant(A) : AlgQuat -> SeqEnum, SeqEnum
   RamifiedPlaces(A) : AlgQuat -> SeqEnum, SeqEnum

RamifiedPrimes

   RamifiedPrimes(A) : AlgQuat -> SeqEnum

[____] [____] [_____] [____] [__] [Index] [Root]

Version: V2.19 of Wed Apr 24 15:09:57 EST 2013