- I-key
- i-key
- ID
- Id
- id
- id-n-facts
- id_pots
- IdDataNLAC
- IdDataSLAC
- Ideal
- AdjointIdeal(C) : Crv -> RngMPol
- AdjointIdealForNodalCurve(C) : Crv -> RngMPol
- AdjointLinearSystemFromIdeal(I, d) : RngMPol, RngIntElt -> LinearSys
- AugmentationIdeal(A) : AlgGrp -> AlgGrpSub
- CanonicalCoordinateIdeal(S) : Srfc -> RngMPol
- CanonicalLinearSystemFromIdeal(I, d) : RngMPol, RngIntElt -> LinearSys
- ColonIdeal(M, N) : ModMPol, ModMPol -> RngMPol
- ColonIdeal(I, J) : RngMPol, RngMPol -> RngMPol
- ColonIdeal(I, f) : RngMPol, RngMPolElt -> RngMPol, RngIntElt
- ColonIdeal(I, J) : RngOrdFracIdl, RngOrdFracIdl -> RngOrdFracIdl
- ColonIdealEquivalent(I, f) : RngMPol, RngMPolElt -> RngMPol, RngMPolElt
- CombineIdealFactorisation(~D) : DivSchElt ->
- CommutatorIdeal(A, B) : AlgAss, AlgAss -> AlgAss
- CommutatorIdeal(S) : AlgQuatOrd -> AlgQuatOrdIdl
- DefiningIdeal(C) : Crv -> RngMPol
- DefiningIdeal(C) : Sch -> RngMPol
- DefiningIdeal(X) : Sch -> RngMPol
- DerksenIdeal(F) : FldInvar -> RngMPol
- DerksenIdeal(R) : RngInvar -> [RngMPolElt]
- DifferentialIdeal(L) : [RngDiffElt] -> RngMPol
- DivisorIdeal(I) : AlgFP -> AlgFr
- DivisorIdeal(I) : RngMPolRes -> RngMPol
- EasyIdeal(I) : RngMPol -> RngMPol, [ RngIntElt ]
- EliminationIdeal(I, k: parameters) : RngMPol, RngIntElt -> RngMPol
- EliminationIdeal(I, S) : RngMPol, { RngIntElt } -> RngMPol
- FittingIdeal(M, i) : ModMPol, RngIntElt -> RngMPol
- GroupIdeal(F) : FldInvar -> RngMPol
- GroupIdeal(R) : RngInvar -> RngMPol
- HilbertIdeal(R) : RngInvar -> RngMPol
- Ideal(D) : DivCrvElt -> RngMPol
- Ideal(D) : DivNumElt -> RngOrdIdl
- Ideal(D) : DivNumElt -> RngOrdIdl
- Ideal(D) : DivSchElt -> RngMPol
- Ideal(A) : FldAC -> RngMPol
- Ideal(I) : OMIdl -> RngOrdIdl
- Ideal(I) : OMIdl -> RngOrdIdl
- Ideal(P) : PlcCrvElt -> RngMPol
- Ideal(P) : PlcFunElt -> RngFunOrdIdl
- Ideal(P) : PlcFunElt -> RngFunOrdIdl
- Ideal(f) : QuadBinElt -> RngQuadIdl
- Ideal(f) : QuadBinElt -> RngQuadIdl
- Ideal(f) : RngMPolElt -> RngMPol
- Ideal(f) : RngMPolLocElt -> RngMPolLoc
- Ideal(T, S) : TenSpcElt, List -> TenSpcElt
- Ideal(T, D, C) : TenSpcElt, List, Any -> TenSpcElt
- Ideal(T, S) : TenSpcElt, TenSpcElt -> TenSpcElt
- Ideal(B) : [ RngMPolElt ] -> RngMPol
- Ideal(B) : [ RngMPolLocElt ] -> RngMPolLoc
- IdealFactorisation(D) : DivSchElt -> SeqEnum
- IdealOfSupport(D) : DivSchElt -> RngMPol
- IdealQuotient(I, J) : RngFunOrdIdl, RngFunOrdIdl -> RngFunOrdIdl
- IdealWithFixedBasis(B) : [ RngMPolElt ] -> RngMPol
- IdealWithFixedBasis(B) : [ RngMPolLocElt ] -> RngMPolLoc
- IrrelevantIdeal(C) : RngCox -> SeqEnum
- IrrelevantIdeal(X) : TorVar -> SeqEnum
- IsDifferentialIdeal(R, I) : RngDiff, RngMPol -> BoolElt
- IsIdeal(A, S) : AlgBas, ModTupFld -> Bool
- IsIdeal(S) : AlgGrpSub -> BoolElt
- IsIdeal(T, S) : TenSpcElt, TenSpcElt -> BoolElt
- IsLeftIdeal(I) : AlgAssVOrdIdl -> BoolElt
- IsLeftIdeal(A,S) : AlgBas, ModTupFld -> Bool
- IsLeftIdeal(S) : AlgGrpSub -> BoolElt
- IsLocalIdeal(T, S, I) : TenSpcElt, TenSpcElt, RngIntElt -> BoolElt
- IsPID(R) : Rng -> BoolElt
- IsPIR(R) : Rng -> BoolElt
- IsPrincipalIdealRing(F) : FldAlg -> BoolElt
- IsPrincipalIdealRing(F) : FldNum -> BoolElt
- IsPrincipalIdealRing(O) : RngOrd -> BoolElt
- IsRightIdeal(A, S) : AlgBas, ModTupFld -> Bool
- IsRightIdeal(S) : AlgGrpSub -> BoolElt
- IsSplitAsIdealAt(I, l) : RngOrdFracIdl, UserProgram -> BoolElt, UserProgram, [RngOrdIdl]
- JacobianIdeal(f) : RngMPolElt -> RngMPol
- JacobianIdeal(C) : Sch -> RngMPol
- JacobianIdeal(X) : Sch -> RngMPol
- LeadingMonomialIdeal(I) : RngMPol -> RngMPol
- LeadingMonomialIdeal(I) : RngMPolLoc -> RngMPolLoc
- LeftIdeal(S, X) : AlgQuatOrd, [AlgQuatElt] -> AlgQuatOrdIdl
- LeftIdealClasses(S) : AlgQuatOrd -> [AlgQuatOrdIdl]
- LocalIdeal(T, D, C, I) : TenSpcElt, List, Any, RngIntElt -> TenSpcElt
- LocalIdeal(T, S, I) : TenSpcElt, List, RngIntElt -> TenSpcElt
- LocalIdeal(T, S, I) : TenSpcElt, TenSpcElt, RngIntElt -> TenSpcElt
- PentahedronIdeal(f) : RngMPolElt -> RngMPol
- PowerIdeal(R) : Rng -> PowIdl
- PreimageIdeal(I) : AlgFP -> AlgFr
- PreimageIdeal(I) : RngMPolRes -> RngMPol
- PrimaryIdeal(R) : RngInvar -> RngMPol
- PrimeIdeal(S, p) : AlgQuatOrd, RngElt -> AlgQuatOrdIdl
- PrincipalIdealMap(O) : RngFunOrd -> Map
- QuadeIdeal(L) : [FldFunRatElt] -> RngMPol
- RandomIdealGeneratedBy(A, n) : AlgBas, RngIntElt -> ModTupFld
- ReesIdeal(P, I): RngMPol, RngMPol -> RngMPol, Map
- RelationIdeal(R) : RngInvar -> RngMPol
- RelationIdeal(Q) : [ RngMPol ] -> RngMPol
- TwoSidedIdealClassGroup(S : Support) : AlgAssVOrd -> GrpAb, Map
- TwoSidedIdealClasses(S) : AlgQuatOrd -> [AlgQuatOrdIdl]
- UnivariateEliminationIdealGenerator(I, i) : RngMPol, RngIntElt -> RngMPolElt
- UnivariateEliminationIdealGenerators(I) : RngMPol -> [ RngMPolElt ]
V2.28, 13 July 2023