PolynomialDegree

Input: PolynomialDegree(f, x)
$$\deg\!\left(f, x\right)$$

The degree of the formal polynomial $f$ with respect to the formal indeterminate $x$.

Input: Equal(PolynomialDegree(PolX**2+PolX+1, PolX), 2)
$$\deg\!\left({x}^{2} + x + 1, x\right) = 2$$

A quadratic polynomial.

Input: Equal(PolynomialDegree(0, PolX), -Infinity)
$$\deg\!\left(0, x\right) = -\infty$$

Degree of the zero polynomial, as a matter of convention.

Last updated: 2020-03-06 00:22:16