Msolve : Table of Contents

• Msolve -- Macaulay2 interface for msolve; computes real solutions and Groebner basis, etc.
• msolveEliminate -- compute the elimination ideal of a given ideal
• msolveGB -- compute generators of a Groebner basis in GRevLex order
• msolveLeadMonomials -- compute the leading monomials of a Groebner basis in GRevLex order
• msolveRealSolutions -- compute all real solutions to a zero dimensional system using symbolic methods
• msolveRUR -- compute the rational univariate representation using symbolic methods
• msolveSaturate -- compute a Groebner basis for the saturation of an ideal by a single polynomial in GRevLex order
• QQi -- the class of all rational intervals