Converting power series to normal expressions. Power series in Mathematica are represented in a special internal form, which keeps track of such attributes as their expansion ...

The IDA package is part of the SUNDIALS (SUite of Nonlinear and DIfferential/ALgebraic equation Solvers) developed at the Center for Applied Scientific Computing of Lawrence ...

Xor[e_1, e_2, ...] is the logical XOR (exclusive OR) function. It gives True if an odd number of the e_i are True, and the rest are False. It gives False if an even number of ...

Cyclotomic[n, x] gives the n\[Null]^th cyclotomic polynomial in x.

Structural operations on polynomials. Here is a polynomial in one variable. Expand expands out products and powers, writing the polynomial as a simple sum of terms.

A real polynomial system is an expression constructed with polynomial equations and inequalities combined using logical connectives and quantifiers and

TrigToExp[expr] converts trigonometric functions in expr to exponentials.

Mathematica includes functionality to factor polynomials symbolically.

RootSum[f, form] represents the sum of form[x] for all x that satisfy the polynomial equation f[x] == 0.