A C++ library for working with multivariate polynomials (with a Python binding). It is rather drafty. Includes:
- Monomial Ordering: Lexicographical, Graded Lexicographica, Graded Reverse Lexicographical.
- Term-wise polynomial multiplication.
- Polynomial Long Division w.r.t a set of divisors (quotients and a remainder).
- Groebner Basis via Buchberger's Algorithm.
- Minimization and Reduction of a Groebner Basis.
- Finding a standard monomial basis for a coordinates-algebra (given the Groebner Basis of the Ideal).