Realroot is a package dedicated to the isolation and approximation of realroots of polynomials. It provides data structure for univariate and multivariate polynomials. Different subdivision solvers for univariate polynomial equations or multivariate polynomial systems are also available in this package. The input coefficient types of these equations can be integer or rational numbers of arbitrary size, floating point numbers or intervals.

1.Installation

• Installation via autotools
• Installation with cmake

2.The mmx library

These sections describe the main functionalities provided by the package realroot in the mathemagix interpreter.

• Scalars

2.1.Multivariate polynomials

• Monomials
• Polynomial rings
• Ring of sparse polynomials
• Dual of polynomial ring
• Monomial tensor ring of polynomials
• Bernstein tensor ring of polynomials

2.2.Solvers

• Univariate sleeve solver
• Univariate Continued Fraction solver
• Solvers of multivariate polynomials

2.3.Examples

• Univariate polynomials and solvers

3.The C++ library

• Doxygen documentation