A library for the numeric (rather than symbolic) treatment of multivariate
polynomials.
