Documentation

ideal-op
- Ideal Operations (ALGEBRAIC FUNCTION FIELDS)
- Ideal Operations (NUMBER FIELDS AND ORDERS)
ideal-operation
- Basic Operations on Ideals (FINITELY PRESENTED ALGEBRAS)
- First Operations on Ideals (POLYNOMIAL RING IDEAL OPERATIONS)
- Operations on Ideals (LOCAL POLYNOMIAL RINGS)
ideal-operations
- POLYNOMIAL RING IDEAL OPERATIONS
ideal-ops
- Lcm(Q) : [RngIntResElt] -> RngIntResElt
- LCM(Q) : [RngIntResElt] -> RngIntResElt
- Ideal Operations (INTEGER RESIDUE CLASS RINGS)
ideal-ops-further
- Further Ideal Operations (ALGEBRAIC FUNCTION FIELDS)
ideal-other
- Other Ideal Operations (NUMBER FIELDS AND ORDERS)
- Other Operations on Ideals (ASSOCIATIVE ALGEBRAS)
ideal-pred
- Ideal Predicates (ALGEBRAIC FUNCTION FIELDS)
- Ideal Predicates (NUMBER FIELDS AND ORDERS)
ideal-preds
- a notin I : AlgAssVElt, AlgAssVOrdIdl -> BoolElt
- Predicates on Ideals (ASSOCIATIVE ALGEBRAS)
ideal-quotient
- Ideals and Quotient Rings (INTRODUCTION TO RINGS [BASIC RINGS])
- Ideals and Quotient Rings (UNIVARIATE POLYNOMIAL RINGS)
ideal-quotient-ring
- Ideals and Quotient Rings (DIFFERENTIAL RINGS)
ideal-ray
- FldAb_ideal-ray (Example H41E2)
ideal-rep
- Ideals in OM Representation (ALGEBRAIC FUNCTION FIELDS)
- Ideals in OM Representation (NUMBER FIELDS AND ORDERS)
ideal-theory
- Ideal Theory of Orders (QUATERNION ALGEBRAS)
ideal-two
- RngOrd_ideal-two (Example H39E28)
Ideal_Bases
- AlgQuat_Ideal_Bases (Example H95E17)
ideal_class_monoid
- Ideal Class Monoid (ÉTALE ALGEBRAS)
Ideal_Enumeration
- AlgQuat_Ideal_Enumeration (Example H95E19)
- AlgQuat_Ideal_Enumeration (Example H95E20)
- AlgQuat_Ideal_Enumeration (Example H95E21)
IdealArithmetic
- Ideal_IdealArithmetic (Example H116E1)
- RngMPolLoc_IdealArithmetic (Example H117E4)
IdealFactorisation
- IdealFactorisation(D) : DivSchElt -> SeqEnum
Idealiser
- Idealizer(S) : AlgGrpSub -> AlgGrpSub
- Idealiser(S) : AlgGrpSub -> AlgGrpSub
- Idealizer(A, B: parameters) : AlgAss, AlgAss -> AlgAss
Idealizer
- Idealizer(S) : AlgGrpSub -> AlgGrpSub
- Idealiser(S) : AlgGrpSub -> AlgGrpSub
- Idealizer(A, B: parameters) : AlgAss, AlgAss -> AlgAss
- RadicalIdealizer(O, p) : AlgAssVOrd[RngOrd], RngOrdIdl -> AlgAssVOrd
IdealOfSupport
- IdealOfSupport(D) : DivSchElt -> RngMPol
IdealQuotient
- IdealQuotient(I, J) : RngMPol, RngMPol -> RngMPol
- ColonIdeal(I, J) : RngMPol, RngMPol -> RngMPol
- ColonIdeal(I, f) : RngMPol, RngMPolElt -> RngMPol, RngIntElt
- ColonIdeal(I, J) : RngOrdFracIdl, RngOrdFracIdl -> RngOrdFracIdl
- IdealQuotient(I, J) : RngFunOrdIdl, RngFunOrdIdl -> RngFunOrdIdl
Ideals
- CoefficientIdeals(L) : Lat -> [ RngInt ]
- CoefficientIdeals(L) : LatNF -> SeqEnum
- CoefficientIdeals(P): PMat -> SeqEnum
- CoefficientIdeals(O) : RngFunOrd -> [RngFunOrdIdl]
- CoefficientIdeals(I) : RngFunOrdIdl -> [RngFunOrdIdl]
- CoefficientIdeals(O) : RngOrd -> [RngOrdFracIdl]
- CoefficientIdeals(I) : RngOrdFracIdl -> [RngOrdFracIdl]
- DegreeOnePrimeIdeals(O, B) : RngOrd, RngIntElt -> [ RngOrdIdl ]
- FittingIdeals(M) : ModMPol -> RngMPol
- Ideals(D) : DivFunElt -> RngFunOrdIdl, RngFunOrdIdl
- Ideals(D) : DivFunElt -> RngFunOrdIdl, RngFunOrdIdl
- Ideals(M) : ModBrdt -> []
- 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(B, O) : RngIntElt, RngOrd -> [RngOrdIdl]
- 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]
- IsProductOfIdeals(I) : AlgEtQIdl -> BoolElt, Tup
- MaximalIdeals(L : parameters) : AlgLie -> [ AlgLie ], BoolElt
- MaximalLeftIdeals(O, p) : AlgQuatOrd, RngElt -> [AlgQuatOrdIdl]
- MaximalLeftIdeals(A : parameters) : AlgGen -> [ AlgGen ], BoolElt
- MinimalIdeals(L : parameters) : AlgLie -> [ AlgLie ], BoolElt
- MinimalLeftIdeals(A : parameters) : AlgGen -> [ AlgGen ], BoolElt
- Multilinear_Ideals (Example H63E66)
- RngOrd_Ideals (Example H39E25)
ideals
- Creation of Ideals (ALGEBRAIC FUNCTION FIELDS)
- Creation of Ideals and Accessing their Bases (GRÖBNER BASES)
- Creation of Ideals and Accessing their Bases (LOCAL POLYNOMIAL RINGS)
- Functions on Prime Ideals (ALGEBRAIC FUNCTION FIELDS)
- Ideals (ÉTALE ALGEBRAS)
- Ideals (ALGEBRAIC FUNCTION FIELDS)
- Ideals and Gröbner Bases (FINITELY PRESENTED ALGEBRAS)
- Ideals and their Construction (BASIC ALGEBRAS)
- Ideals of Orders (ASSOCIATIVE ALGEBRAS)
- Ideals of Z (INTEGER RESIDUE CLASS RINGS)
- Isomorphisms of Ideals (QUATERNION ALGEBRAS)
- Roots of Ideals (ALGEBRAIC FUNCTION FIELDS)
- Special Functions for Ideals (QUADRATIC FIELDS)
- AlgClff_ideals (Example H97E13)
- FldFunG_ideals (Example H46E34)

V2.29, 21 October 2025

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