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