DifferentialRootReduce[expr, x] attempts to reduce expr to a single DifferentialRoot object as a function of x.DifferentialRootReduce[expr, {x, x_0}] takes the initial ...

LogicalExpand[expr] expands out logical combinations of equations, inequalities, and other functions.

Exponent[expr, form] gives the maximum power with which form appears in the expanded form of expr. Exponent[expr, form, h] applies h to the set of exponents with which form ...

Coefficient[expr, form] gives the coefficient of form in the polynomial expr. Coefficient[expr, form, n] gives the coefficient of form^n in expr.

DependentVariables is an option which specifies the list of all objects that should be considered as dependent variables in equations that have been supplied.

FactorSquareFreeList[poly] gives a list of square-free factors of a polynomial, together with their exponents.

C[i] is the default form for the i\[Null]\[Null]^th parameter or constant generated in representing the results of various symbolic computations.

Mathematica's approach to differential operators provides both an elegant and a convenient representation of mathematical structures, and an immediate framework for strong ...

The representation of algebraic numbers. When you enter a Root object, the polynomial that appears in it is automatically reduced to a minimal form. This extracts the pure ...

PowerSymmetricPolynomial[r] represents a formal power symmetric polynomial with exponent r.PowerSymmetricPolynomial[{r_1, r_2, ...}] represents a multivariate formal power ...