[____] [____] [_____] [____] [__] [Index] [Root] 


Subindex: ideal  ..    ideals




ideal

   Basic Operations on Ideals (IDEAL THEORY AND GRÖBNER BASES)

   Completion at Ideals (ALGEBRAIC FUNCTION FIELDS)

   Construction of Elimination Ideals (IDEAL THEORY AND GRÖBNER BASES)

   Construction of New Ideals (IDEAL THEORY AND GRÖBNER BASES)

   Construction of Subalgebras, Ideals and Quotient Algebras (GROUP ALGEBRAS)

   Construction of Subalgebras, Ideals and Quotient Rings (MATRIX ALGEBRAS)

   Constructor (OVERVIEW)

   Creation of Ideals in Orders (ORDERS AND ALGEBRAIC FIELDS)

   Elementary Operations on Subalgebras and Ideals (MATRIX ALGEBRAS)

   Further Ideal Operations (ALGEBRAIC FUNCTION FIELDS)

   Ideal Arithmetic (ORDERS AND ALGEBRAIC FIELDS)

   Ideal Class Groups (ORDERS AND ALGEBRAIC FIELDS)

   Ideal Operations (RING OF INTEGERS)

   IDEAL THEORY AND GRÖBNER BASES

   Ideal Theory of Orders (QUATERNION ALGEBRAS)

   Ideals and Quotient Rings (INTRODUCTION TO RINGS [BASIC RINGS])

   Ideals and Quotient Rings (UNIVARIATE POLYNOMIAL RINGS)

   Ideals and Quotients (ORDERS AND ALGEBRAIC FIELDS)

   Other Functions on Ideals (UNIVARIATE POLYNOMIAL RINGS)

   Other Ideal Operations (ORDERS AND ALGEBRAIC FIELDS)

   Predicates on Ideals (ORDERS AND ALGEBRAIC FIELDS)

   Predicates on Prime Ideals (ALGEBRAIC FUNCTION FIELDS)

   Subsemigroups and Ideals (FINITELY PRESENTED SEMIGROUPS)

   Subsemigroups, Ideals and Quotients (FINITELY PRESENTED SEMIGROUPS)

   Univariate Elimination Ideal Generators (IDEAL THEORY AND GRÖBNER BASES)

   ideal< cat : A | L> : Cat, AlgGrp, List -> AlgGrp, Map

   ideal<A | L_1, ..., L_r> : AlgFP, AlgFPElt, ..., AlgFPElt -> AlgFP

   ideal< A | L > : AlgGen, List -> AlgGen, Map

   ideal< L | A > : AlgLie, List -> AlgLie, Map

   ideal<R | L> : AlgMat, List -> AlgMatIdeal

   ideal<S | X> : AlgQuatOrd, [AlgQuatOrdElt] -> AlgQuatOrd

   ideal< R | a_1, ..., a_r > : Rng, RngElt, ..., RngElt -> RngIdl

   ideal< O | T, d > : RngFunOrd, AlgMatElt, RngElt -> RngFunOrdIdl

   ideal< O | T, S > : RngFunOrd, AlgMatElt, [RngFunOrdIdl] -> RngFunOrdIdl

   ideal< O | a_1, a_2, ... , a_m > : RngFunOrd, RngElt, ..., RngElt -> RngFunOrdIdl

   ideal<P | L> : RngMPol, List -> RngMPol

   ideal< O | a_1, a_2, ... , a_m > : RngOrd, RngElt, ..., RngElt -> RngOrdFracIdl

   ideal< R | a_1, ..., a_r > : RngUPol, RngUPolElt, ..., RngUPolElt -> RngUPol

   ideal<S | L_1, ..., L_r> : SgpFP, SgpFPElt, ..., SgpFPElt -> SgpFPIdl


ideal-arithmetic

   Ideal Arithmetic (ORDERS AND ALGEBRAIC FIELDS)


ideal-basis

   RngOrd_ideal-basis (Example H50E30)


ideal-Boolean

   Predicates on Ideals (ORDERS AND ALGEBRAIC FIELDS)


ideal-class-group

   Ideal Class Groups (ORDERS AND ALGEBRAIC FIELDS)


ideal-creation

   Creation of Ideals in Orders (ORDERS AND ALGEBRAIC FIELDS)


ideal-groebner

   IDEAL THEORY AND GRÖBNER BASES


ideal-invar

   RngOrd_ideal-invar (Example H50E29)


ideal-is-square

   FldFunG_ideal-is-square (Example H57E24)


ideal-operation

   Basic Operations on Ideals (IDEAL THEORY AND GRÖBNER BASES)


ideal-ops-completion

   Completion at Ideals (ALGEBRAIC FUNCTION FIELDS)


ideal-ops-further

   Further Ideal Operations (ALGEBRAIC FUNCTION FIELDS)


ideal-other

   Other Ideal Operations (ORDERS AND ALGEBRAIC FIELDS)


ideal-quotient

   Ideals and Quotient Rings (INTRODUCTION TO RINGS [BASIC RINGS])

   Ideals and Quotient Rings (UNIVARIATE POLYNOMIAL RINGS)


ideal-ray

   FldAb_ideal-ray (Example H54E2)


ideal-theory

   Ideal Theory of Orders (QUATERNION ALGEBRAS)


ideal-two

   RngOrd_ideal-two (Example H50E31)


Ideal_Arithmetic

   AlgQuat_Ideal_Arithmetic (Example H68E10)


Ideal_Bases

   AlgQuat_Ideal_Bases (Example H68E7)


Ideal_Enumeration

   AlgQuat_Ideal_Enumeration (Example H68E9)


IdealArithmetic

   GB_IdealArithmetic (Example H47E8)


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


IdealQuotient

   IdealQuotient(I, J) : RngMPol, RngMPol -> RngMPol

   ColonIdeal(I, J) : RngMPol, RngMPol -> RngMPol

   ColonIdeal(I, f) : RngMPol, RngMPolElt -> RngMPol, RngIntElt


Ideals

   DegreeOnePrimeIdeals(O, B) : RngOrd, RngIntElt -> [ RngOrdIdl ]

   Ideals(D) : DivFunElt  -> RngFunOrdIdl, RngFunOrdIdl

   Ideals(D) : DivFunElt  -> RngFunOrdIdl, RngFunOrdIdl

   MaximalIdeals(A : parameters) : AlgGen -> [ AlgGen ], BoolElt

   MaximalLeftIdeals(A : parameters) : AlgGen -> [ AlgGen ], BoolElt

   MinimalIdeals(A : parameters) : AlgGen -> [ AlgGen ], BoolElt

   MinimalLeftIdeals(A : parameters) : AlgGen -> [ AlgGen ], BoolElt

   RngOrd_Ideals (Example H50E28)


ideals

   Creation of Ideals (ALGEBRAIC FUNCTION FIELDS)

   Creation of Ideals and Accessing their Bases (IDEAL THEORY AND GRÖBNER BASES)

   Functions on Prime Ideals (ALGEBRAIC FUNCTION FIELDS)

   Ideals (ALGEBRAIC FUNCTION FIELDS)

   Ideals (RING OF INTEGERS)

   Roots of Ideals (ALGEBRAIC FUNCTION FIELDS)

   Special Functions for Ideals (QUADRATIC FIELDS)

   FldFunG_ideals (Example H57E25)




[____] [____] [_____] [____] [__] [Index] [Root]