TriangularSets : Index
- checkInterface -- whether the Maple interface is working (for developers)
- checkTriangularize -- tests method "triangularize" (for developers)
- codim(TriaSystem) -- dimension of a triangular set
- degree(TriaSystem) -- product of the degrees in a triangular set
- dim(TriaSystem) -- dimension of a triangular set
- freeVariables -- free variables of a triangular set
- freeVariables(TriaSystem) -- free variables of a triangular set
- gbList -- list of generators of a Groebner basis
- generators(TriaSystem) -- equations of a triangular system
- ineqs -- inequations of a triangular system
- ineqs(TriaSystem) -- inequations of a triangular system
- initial -- initial of a polynomial
- initial(RingElement) -- initial of a polynomial
- initial(TriaSystem) -- initial of a polynomial
- isPrimeSimple -- simple primality test of triangular systems
- isPrimeSimple(TriaSystem) -- simple primality test of triangular systems
- isRegularChain -- whether a triangular set is a regular chain
- isRegularChain(TriaSystem) -- whether a triangular set is a regular chain
- isStronglyNormalized -- whether a triangular set is strongly normalized
- isStronglyNormalized(TriaSystem) -- whether a triangular set is strongly normalized
- minimalObjects -- minimal elements in a partial order
- mvar -- main variable of a polynomial
- mvar(RingElement) -- main variable of a polynomial
- net(TriaSystem) -- a triangular system
- pseudoRemainder(RingElement,RingElement,RingElement) -- pseudo-remainder
- pseudoRemainder(RingElement,TriaSystem) -- pseudo-remainder by a triangular set
- resultant(RingElement,TriaSystem) -- iterated resultant by a triangular set
- RingElement % TriaSystem -- pseudo-remainder by a triangular set
- RingMap TriaSystem -- apply ring map to a triangular system
- saturate(TriaSystem) -- saturated ideal of a triangular system
- TriangularDecompAlgorithm -- possible values: "Monomial", "Binomial", "Maple", "Epsilon"
- triangularize -- triangular decomposition of polynomial systems
- triangularize(..., TriangularDecompAlgorithm => ...) -- possible values: "Monomial", "Binomial", "Maple", "Epsilon"
- triangularize(Ideal) -- triangular decomposition of polynomial systems
- triangularize(MonomialIdeal) -- triangular decomposition of polynomial systems
- triangularize(Ring,List) -- triangular decomposition of polynomial systems
- triangularize(Ring,List,List) -- triangular decomposition of polynomial systems
- triangularizeBatch -- triangularize a batch of polynomial systems
- TriangularSets -- triangular decompositions of polynomial ideals
- TriaSystem -- a triangular system
- triaSystem -- a triangular system
- triaSystem(Ring,List) -- a triangular system
- triaSystem(Ring,List,List) -- a triangular system