Utilities for polynomials with rational coefficients.
This package deals with polynomials, univariate and multivariate, with rational coefficients. Features include:
resultant of two multivariate polynomials
subresultants of two multivariate polynomials
greatest common divisor of two multivariate polynomials
integral division (aka division without remainder) of two multivariate polynomials
Sturm-Habicht sequence of a multivariate polynomial
square-free factorization of a multivariate polynomial
number of real roots of a univariate polynomial in a given interval
division with remainder of two univariate polynomials
See this blog post for an illustration of the resultant.
This package is provided under the GPL-3 license but it uses the C++ library CGAL which requires a license from the GeometryFactory if you wish to use it for commercial purposes.