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.