TriangularSets : Table of Contents

• TriangularSets -- triangular decompositions of polynomial ideals
• checkInterface -- whether the Maple interface is working (for developers)
• checkTriangularize -- tests method "triangularize" (for developers)
• degree(TriaSystem) -- product of the degrees in a triangular set
• dim(TriaSystem) -- dimension of a triangular set
• freeVariables -- 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
• initial -- initial of a polynomial
• isPrimeSimple -- simple primality test of triangular systems
• isRegularChain -- whether a triangular set is a regular chain
• isStronglyNormalized -- whether a triangular set is strongly normalized
• minimalObjects -- minimal elements in a partial order
• mvar -- main variable of a polynomial
• pseudoRemainder(RingElement,RingElement,RingElement) -- pseudo-remainder
• 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
• triangularizeBatch -- triangularize a batch of polynomial systems
• TriaSystem -- a triangular system
• triaSystem -- a triangular system