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

1.Scalars

Here is the current list of available coefficient rings.

• DD: the ring of machine type double

• ZZ: ring of integers.

• QQ: field of rationals.

• RR: ring of floating point numbers.

• CC: ring of complex numbers with real and imaginary part in RR.

2.Multivariate polynomials

• Monomials

• Polynomial rings

• Ring of sparse polynomials

• Dual of polynomial ring

• Monomial tensor ring of polynomials

• Bernstein tensor ring of polynomials

3.Solvers

• Univariate sleeve solver

• Univariate Continued Fraction solver

• Solvers of multivariate polynomials

4.Examples

• Univariate polynomials and solvers