Macaulay2 » Documentation
Packages » Msolve :: Table of Contents
next | previous | forward | backward | up | index | toc

# 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