Documentation

InertiaDegree
- InertiaDegree(I) : RngFunOrdIdl -> RngIntElt
- ResidueClassDegree(I) : RngFunOrdIdl -> RngIntElt
- Degree(I) : RngFunOrdIdl -> RngIntElt
- Degree(I) : RngOrdIdl -> RngIntElt
- InertiaDegree(L, K) : FldXPad, FldXPad -> RngIntElt
- InertiaDegree(P) : PlcFunElt -> RngIntElt
- InertiaDegree(P) : PlcNumElt -> RngIntElt
- InertiaDegree(P) : PlcNumElt -> RngIntElt
- InertiaDegree(L) : RngLocA -> RngIntElt
- InertiaDegree(L) : RngPad -> RngIntElt
- InertiaDegree(K, L) : RngPad, RngPad -> RngIntElt
- InertiaDegree(E) : RngSerExt -> RngIntElt
InertiaField
- InertiaField(p) : RngOrdIdl -> FldNum, Map
InertiaGroup
- InertiaGroup(L) : RngLocA -> GrpPerm
- RamificationGroup(L, i) : RngLocA, RngIntElt -> GrpPerm
- DecompositionGroup(L) : RngLocA -> GrpPerm
- InertiaGroup(A) : GalRep -> GrpPerm
- InertiaGroup(A,n) : GalRep,RngIntElt -> GrpPerm
- InertiaGroup(p) : RngOrdIdl -> GrpPerm
InertiaInvariants
- InertiaInvariants(A) : GalRep -> GalRep
Inertial
- InertialElement(L) : RngLocA -> RngLocAElt
- IsInertial(f) : RngUPolElt -> BoolElt
- IsInertial(f) : RngUPolXPadElt -> BoolElt
InertialElement
- InertialElement(L) : RngLocA -> RngLocAElt
inf
- Free Precision Rings and Fields (p-ADIC RINGS AND THEIR EXTENSIONS)
- MATRIX GROUPS OVER INFINITE FIELDS
inf-invar
- AlgSym_inf-invar (Example H155E1)
Infimum
- Infimum(u: parameters) : GrpBrdElt -> RngIntElt
- SuperSummitInfimum(u: parameters) : GrpBrdElt -> RngIntElt
Infinite
- EquationOrderInfinite(F) : FldFun -> RngFunOrd
- FiniteSplit(D) : DivFunElt -> DivFunElt, DivFunElt
- HasInfiniteComputableAbelianQuotient(G) : GrpFP -> BoolElt, GrpAb, Map
- HasInfinitePSL2Quotient(G) :: GrpFP -> BoolElt, SeqEnum
- InfinitePart(P) : TorPol -> TorCon
- InfinitePlaces(K) : FldAlg -> [PlcNumElt]
- InfinitePlaces(K) : FldAlg -> [PlcNumElt]
- InfinitePlaces(F) : FldFun -> [PlcFunElt]
- InfinitePlaces(K) : FldNum -> SeqEnum
- InfinitePrecisionApproximation(K) : FldXPad -> FldPad
- InfiniteSum(m, i) : Map, RngIntElt -> FldReElt
- IsInfinite(G) : GrpAb -> BoolElt
- IsInfinite(p) : PlcNumElt -> BoolElt, RngIntElt
- IsInfinite(p) : PlcNumElt -> BoolElt, RngIntElt
- IsInfinite(z) : SpcHypElt -> BoolElt
- IsInfiniteFPGroup(G : parameters) : GrpFP -> BoolElt
- MaximalOrderFinite(A) : AlgAssV[FldFun] -> AlgAssVOrd
- MaximalOrderFinite(A) : FldFunAb -> RngFunOrd
- MaximalOrderFinite(u) : RngWittElt -> RngFunOrd
- MaximalOrderInfinite(A) : AlgAssV[FldFunRat] -> AlgAssVOrd
- MaximalOrderInfinite(F) : FldFun -> RngFunOrd
infinite
- Handling Infinite (L)₂-quotients (FINITELY PRESENTED GROUPS)
- Infinite L2 Quotients (FINITELY PRESENTED GROUPS)
- Summation of Infinite Series (REAL AND COMPLEX FIELDS)
infinite-quotients
- Handling Infinite (L)₂-quotients (FINITELY PRESENTED GROUPS)
infinite-summation
- Summation of Infinite Series (REAL AND COMPLEX FIELDS)
InfiniteDivisor
- FiniteDivisor(D) : DivFunElt -> DivFunElt
- InfiniteDivisor(D) : DivFunElt -> DivFunElt
- FiniteSplit(D) : DivFunElt -> DivFunElt, DivFunElt
InfinitePart
- InfinitePart(P) : TorPol -> TorCon
InfinitePlaces
- InfinitePlaces(K) : FldAlg -> [PlcNumElt]
- InfinitePlaces(K) : FldAlg -> [PlcNumElt]
- InfinitePlaces(F) : FldFun -> [PlcFunElt]
- InfinitePlaces(K) : FldNum -> SeqEnum
InfinitePrecisionApproximation
- InfinitePrecisionApproximation(K) : FldXPad -> FldPad
InfiniteSum
- InfiniteSum(m, i) : Map, RngIntElt -> FldReElt
Infinity
- HyperplaneAtInfinity(X) : Sch -> Sch
- Infinity() : -> Infty
- LineAtInfinity(A) : Aff -> CrvPln
- MinusInfinity() : -> Infty
- NumberOfPointsAtInfinity(C) : CrvHyp -> RngIntElt
- PointsAtInfinity(C) : Crv -> SetEnum
- PointsAtInfinity(C) : CrvHyp -> SetIndx
- PointsAtInfinity(C) : CrvHyp -> SetIndx
- PointsAtInfinity(H) : SetPtEll -> @ PtEll @
- TranslationToInfinity(C,p) : Crv,Pt -> Crv,AutSch
infinity
- A-infinity Algebra Structures on Group Cohomology (BASIC ALGEBRAS)
- Infinities (RING OF INTEGERS)
Inflation
- Inflation(M, h) : ModGrp, Map -> ModGrp
- InflationMap(PR2, PR1, AC2, AC1, REL1, theta) : Rec, Rec, Rec, Rec, Rec -> SeqEnum
- InflationMapImage(M, c) : Map, UserProgram -> UserProgram
InflationMap
- InflationMap(PR2, PR1, AC2, AC1, REL1, theta) : Rec, Rec, Rec, Rec, Rec -> SeqEnum

V2.28, 13 July 2023

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.