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.