A library for the numeric treatment of multivariate polynomials