Documentation

ideals-creation
- Creation of Ideals (ALGEBRAIC FUNCTION FIELDS)
ideals-prime
- Functions on Prime Ideals (ALGEBRAIC FUNCTION FIELDS)
ideals-roots
- Roots of Ideals (ALGEBRAIC FUNCTION FIELDS)
ideals_of_index
- Ideals of Index (ÉTALE ALGEBRAS)
IdealsOfIndex
- IdealsOfIndex(I, N) : AlgEtQIdl, RngIntElt -> SeqEnum[AlgEtQIdl]
- IdealsOfIndex(O, N) : AlgEtQOrd, RngIntElt -> SeqEnum[AlgEtQIdl]
- IdealsOfIndex(O, N) : RngOrd, RngIntElt -> SeqEnum[RngOrdIdl]
- IdealsOfIndex(I, N) : RngOrdFracIdl, RngIntElt -> SeqEnum[RngOrdFracIdl]
- IdealsOfIndex(I, N) : RngOrdIdl, RngIntElt -> SeqEnum[RngOrdIdl]
IdealsUpTo
- IdealsUpTo(B, O) : RngIntElt, RngOrd -> [RngOrdIdl]
IdealWithFixedBasis
- IdealWithFixedBasis(B) : [ RngMPolElt ] -> RngMPol
- IdealWithFixedBasis(B) : [ RngMPolLocElt ] -> RngMPolLoc
Idempotent
- Idempotent(C) : Code -> RngUPolElt
- IdempotentActionGenerators(B, i) : AlgBas, RngIntElt -> SeqEnum
- IdempotentGenerators(B) : AlgBas -> SeqEnum
- IdempotentPositions(B) : AlgBas -> SeqEnum
- IsIdempotent(a) : AlgGenElt -> BoolElt
- IsIdempotent(x) : RngElt -> BoolElt
- MaximalIdempotent(A, S) : AlgBas, SeqEnum -> AlgBasElt
- NonIdempotentActionGenerators(B, i) : AlgBas, RngIntElt -> SeqEnum
- NonIdempotentGenerators(B) : AlgBas -> SeqEnum
- PrimitiveIdempotentData(A) : AlgMat -> SeqEnum, Map, SeqEnum
IdempotentActionGenerators
- IdempotentActionGenerators(B, i) : AlgBas, RngIntElt -> SeqEnum
IdempotentGenerators
- IdempotentGenerators(B) : AlgBas -> SeqEnum
IdempotentPositions
- IdempotentPositions(B) : AlgBas -> SeqEnum
Idempotents
- AutomorphismGroupMatchingIdempotents(A) : AlgBas -> AlgBas, ModMatFldElt
- CentralIdempotents(A) : AlgAssV -> SeqEnum, SeqEnum
- ChangeIdempotents(A, S) : AlgBas, SeqEnum -> AlgBas, Map
- GradedAutomorphismGroupMatchingIdempotents(A) : AlgBas -> GrpMat, SeqEnum, SecEnum
- Idempotents(A) : AlgEtQ -> SeqEnum
- Idempotents(I, J) : RngOrdIdl, RngOrdIdl -> BoolElt, RngOrdElt, RngOrdElt
- OrthogonalIdempotents(A) : AlgEtQ -> SeqEnum
- PrimitiveIdempotents(A) : AlgMat -> SeqEnum
- RanksOfPrimitiveIdempotents(A) : AlgMat -> SeqEnum
idempotents
- Minimal Forms and Gradings (BASIC ALGEBRAS)
- Quotients and Idempotents (MATRIX ALGEBRAS)
Identical
- AreIdentical(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
- IdenticalAmbientSpace(X,Y) : Sch, Sch -> BoolElt
- IsIdentical(A, B) : LatNF, LatNF -> BoolElt
- IsIdentical(R, F) : RngDiff, RngDiff -> BoolElt
- IsIdentical(R, F) : RngDiffOp, RngDiffOp -> BoolElt
- IsIdentical(f, g) : RngSerElt, RngSerElt -> BoolElt
- IsIdenticalPresentation(G, H) : GrpGPC, GrpGPC -> BoolElt
- IsIdenticalPresentation(G, H) : GrpPC, GrpPC -> BoolElt
IdenticalAmbientSpace
- IdenticalAmbientSpace(X,Y) : Sch, Sch -> BoolElt
Identification
- IdentificationNumber(D, i): DB, RngIntElt -> RngIntElt
- PrimitiveGroupIdentification(G) : GrpPerm -> RngIntElt, RngIntElt
- TransitiveGroupIdentification(G) : GrpPerm -> RngIntElt, RngIntElt
- TwoTransitiveGroupIdentification(G) : GrpPerm -> Tup
identification
- Identification (PERMUTATION GROUPS)
- Identification as a Permutation Group (PERMUTATION GROUPS)
- Identification as an Abstract Group (PERMUTATION GROUPS)
identification-abstract
- Identification as an Abstract Group (PERMUTATION GROUPS)
identification-permutation
- Identification as a Permutation Group (PERMUTATION GROUPS)
IdentificationNumber
- IdentificationNumber(D, i): DB, RngIntElt -> RngIntElt
identifier
- Identifier Classes (MAGMA SEMANTICS)
- Identifiers (STATEMENTS AND EXPRESSIONS)
- Uninitialized Identifiers (MAGMA SEMANTICS)
identifier-class
- Identifier Classes (MAGMA SEMANTICS)
Identifiers
- ShowIdentifiers() : ->
- State_Identifiers (Example H1E1)
Identify
- CanIdentifyGroup(o) : RngIntElt -> BoolElt
- Identify(H, t) : HypGeomData, RngQZElt -> Any
- IdentifyAlmostSimpleGroup(G) : GrpPerm -> Map, GrpPerm
- IdentifyGroup(G): Grp -> Tup
- IdentifyGroup4P(G) : GrpPC -> RngIntElt
- IdentifyOneCocycle(CM, s) : ModCoho, UserProgram -> ModTupRngElt
- IdentifyTwoCocycle(CM, s) : ModCoho, UserProgram -> ModTupRngElt
- IdentifyZeroCocycle(CM, s) : ModCoho, UserProgram -> ModTupRngElt
identify
- Identification of Hypergeometric Data as Other Objects (HYPERGEOMETRIC MOTIVES)
- Small Group Identification (DATABASES OF GROUPS)
IdentifyAlmostSimpleGroup
- IdentifyAlmostSimpleGroup(G) : GrpPerm -> Map, GrpPerm
IdentifyGroup
- IdentifyGroup(G): Grp -> Tup
- GrpData_IdentifyGroup (Example H73E4)
IdentifyGroup4P
- IdentifyGroup4P(G) : GrpPC -> RngIntElt

V2.29, 21 October 2025

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