Documentation

integral
- Derivative, Integral (MULTIVARIATE POLYNOMIAL RINGS)
- Derivative, Integral (UNIVARIATE POLYNOMIAL RINGS)
- Half-integral Weight Forms (MODULAR FORMS)
- Integral Representations (REPRESENTATIONS OF SYMMETRIC GROUPS)
- Irreducible Modules over Q for Arbitrary Groups (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
integral representations
- RepSym_integral representations (Example H101E1)
integral-hecke
- ModFrmHil_integral-hecke (Example H149E7)
integral_form
- The Integral Form of a Universal Enveloping Algebra (LIE ALGEBRAS)
integral_points
- Integral and S-integral Points (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
- Integral Points (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
IntegralBasis
- IntegralBasis(F) : FldAlg -> [ FldAlgElt ]
- IntegralBasis(F) : FldNum -> [ FldNumElt ]
- IntegralBasis(Q) : FldRat -> [ FldRatElt ]
- IntegralBasis(M) : ModSym -> SeqEnum
- IntegralBasis(L) : RngLocA -> SeqEnum
- ModSym_IntegralBasis (Example H145E7)
IntegralBasisLattice
- IntegralBasisLattice(L) : Lat -> Lat, RngIntElt
IntegralClosure
- IntegralClosure(R, F) : Rng, FldFun -> RngFunOrd
IntegralGroup
- IntegralGroup(G) : GrpMat -> GrpMat, AlgMatElt
IntegralHeckeOperator
- IntegralHeckeOperator(M, n) : ModSym, RngIntElt -> AlgMatElt
IntegralHomology
- IntegralHomology(A) : ModAbVar -> Lat
Integrally
- IsIntegrallyClosed(P) : TorPol -> BoolElt
IntegralMapping
- IntegralMapping(M) : ModSym -> Map
IntegralMatrix
- IntegralMatrix(phi) : MapModAbVar -> ModMatRngElt
IntegralMatrixGroupDatabase
- IntegralMatrixGroupDatabase() : -> DB
IntegralMatrixOverQ
- IntegralMatrixOverQ(phi) : MapModAbVar -> ModMatFldElt
IntegralModel
- IntegralModel(E) : CrvEll -> CrvEll, Map, Map
- IntegralModel(C) : CrvHyp -> CrvHyp, MapIsoSch
IntegralMultiple
- IntegralMultiple(D) : DivSchElt -> DivSchElt,RngIntElt
IntegralNormEquation
- IntegralNormEquation(a, N, O) : RngElt, Map, RngOrd -> BoolElt, [RngOrdElt]
IntegralPart
- IntegralPart(P) : TorPol -> TorPol
IntegralPoints
- IntegralPoints(E) : CrvEll[FldNum] -> [ PtEll ]
- IntegralPoints(E) : CrvEll[FldRat] -> [ PtEll ]
- CrvEllQNF_IntegralPoints (Example H133E18)
IntegralPointsSequence
- CrvEllQNF_IntegralPointsSequence (Example H133E20)
IntegralQuarticPoints
- IntegralQuarticPoints(Q) : [ RngIntElt ] -> [ SeqEnum ]
- IntegralQuarticPoints(Q, P) : [ RngIntElt ], [ RngIntElt ] -> [ SeqEnum ]
IntegralSplit
- IntegralSplit(a, O) : FldFunElt, RngFunOrd -> RngFunOrdElt, RngElt
- IntegralSplit(f, X) : FldFunFracSchElt, Sch -> RngMPolElt, RngMPolElt
- IntegralSplit(I) : RngFunOrdIdl -> RngFunOrdIdl, RngElt
- IntegralSplit(I) : RngOrdFracIdl -> RngOrdIdl, RngElt
IntegralUEA
- IntegralUEAlgebra(L) : AlgLie -> AlgIUE
- IntegralUniversalEnvelopingAlgebra(L) : AlgLie -> AlgIUE
- IntegralUEA(L) : AlgLie -> AlgIUE
IntegralUEAlgebra
- IntegralUEAlgebra(L) : AlgLie -> AlgIUE
- IntegralUniversalEnvelopingAlgebra(L) : AlgLie -> AlgIUE
- IntegralUEA(L) : AlgLie -> AlgIUE
IntegralUniversalEnvelopingAlgebra
- IntegralUEAlgebra(L) : AlgLie -> AlgIUE
- IntegralUniversalEnvelopingAlgebra(L) : AlgLie -> AlgIUE
- IntegralUEA(L) : AlgLie -> AlgIUE
Integration
- ClenshawCurtisIntegrationPoints(N,D) : RngIntElt, RngIntElt -> SeqEnum[FldReElt], SeqEnum[FldReElt]
- GaussJacobiIntegrationPoints(N,D,a,b) : RngIntElt, RngIntElt, RngReSubElt, RngReSubElt) -> SeqEnum, SeqEnum
- GaussLegendreIntegrationPoints(N,D) : RngIntElt, RngIntElt -> SeqEnum[FldReElt], SeqEnum[FldReElt]
- TanhSinhIntegrationPoints(N,h) : RngIntElt, FldReElt -> SeqEnum[FldReElt], SeqEnum[FldReElt], SeqEnum[FldReElt]
integration1
- Numerical Integration (REAL AND COMPLEX FIELDS)
integration2
- Romberg-Type Integration (REAL AND COMPLEX FIELDS)
interactive
- readi identifier, prompt;
- Interactive Input (INPUT AND OUTPUT)
- Using p-Quotient Interactively (FINITELY PRESENTED GROUPS)
interactive-input
- readi identifier, prompt;
- Interactive Input (INPUT AND OUTPUT)
InteractiveUserAttributes
- Func_InteractiveUserAttributes (Example H2E15)
interative
- Interactive Simplification (FINITELY PRESENTED GROUPS)
interative-simple
- Interactive Simplification (FINITELY PRESENTED GROUPS)
Interior
- Interior(P, C) : Plane, { PlanePt } -> { PlanePt }
- IsInInterior(v,C) : TorLatElt,TorCon -> BoolElt
- IsInterior(N,p) : NwtnPgon,Tup -> BoolElt
- NumberOfPoints(P) : TorPol -> RngIntElt
- Points(P) : TorPol -> SeqEnum[TorLatElt]
InteriorPoints
- InteriorPoints(P) : TorPol -> SeqEnum[TorLatElt]
- BoundaryPoints(P) : TorPol -> SeqEnum[TorLatElt]
- Points(P) : TorPol -> SeqEnum[TorLatElt]
Intermediate
- IntermediateIdeals(I, J) : AlgEtQIdl, AlgEtQIdl -> SetIndx[AlgEtQIdl]
- IntermediateIdeals(I, J, O) :AlgEtQIdl, AlgEtQIdl, AlgEtQOrd -> SetIndx[AlgEtQIdl]
- IntermediateIdeals(I, J, N) : AlgEtQIdl, AlgEtQIdl, RngIntElt->SetIndx[AlgEtQIdl]
- IntermediateSubgroups(G,H: parameters) : GrpFin, GrpFin -> [ SeqEnum ]
intermediate
- Intermediate Usage (FINITELY PRESENTED GROUPS)
intermediate-usage
- Intermediate Usage (FINITELY PRESENTED GROUPS)
intermediate_ideals
- Intermediate Ideals (ÉTALE ALGEBRAS)
IntermediateIdeals
- IntermediateIdeals(I, J) : AlgEtQIdl, AlgEtQIdl -> SetIndx[AlgEtQIdl]
- IntermediateIdeals(I, J, O) :AlgEtQIdl, AlgEtQIdl, AlgEtQOrd -> SetIndx[AlgEtQIdl]
- IntermediateIdeals(I, J, N) : AlgEtQIdl, AlgEtQIdl, RngIntElt->SetIndx[AlgEtQIdl]
IntermediateSubgroups
- IntermediateSubgroups(G,H: parameters) : GrpFin, GrpFin -> [ SeqEnum ]
Internal
- InternalEdges(FS) : SymFry -> SeqEnum
internal
- Accessing Internal Data (DATABASES OF GROUPS)
- Automatic Conversions (BRAID GROUPS)
- Default Presentations (BRAID GROUPS)
- Internal Help Browser (ENVIRONMENT AND OPTIONS)
- Internal Reports (THE MAGMA PROFILER)
- Printing of Elements (BRAID GROUPS)
- Representation Used for Group Operations (BRAID GROUPS)
- Representing Elements of a Braid Group (BRAID GROUPS)

V2.29, 21 October 2025

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