Standard form polynomial

The calculator further presents a multivariate polynomial in the standard form (expands parentheses, exponentiates, and combines similar terms). Polynomial variables can be specified in lowercase English letters or using the exponent tuple form. For example, the following two notations equal: 3a^2bd + c and 3 [2 1 0 1] + [0 0 1]. You can choose output variables representation to the symbolic form, indexed variables form, or the tuple of exponents. The calculator also gives the degree of the polynomial and the vector of degrees of monomials. The coefficients of the resulting polynomial can be calculated in the field of rational or real numbers.

Standard Form Polynomial

2(7ab+3a^2b+cd^4)(2ef-4a^2)-7b^2ef

Multivariate polynomial

Monomial orderLexicographic Graded Lex Graded Reverse Lex

VariablesSymbolic Indexed Exponents array

Normalize

Calculate

Calculation precision

Exact

Rounded

Digits after the decimal point: 2

Result

 

Polynomial degree

 

Monomial degrees

 

 Link  Save  Widget

Monomial

A monomial is is a product of powers of several variables x_i with nonnegative integer exponents a_i:

If the number of variables is small, polynomial variables can be written by latin letters. E.g. x₁²x₂ and x²y are - equivalent notation of the two-variable monomial.
A monomial can also be represented as a tuple of exponents:

E.g. x²y³z monomial can be represented as tuple: (2,3,1)
The monomial degree is the sum of all variable exponents:

E.g., degree of monomial: x²y³z is 2+3+1 = 6

Polynomial

A polynomial is a finite sum of monomials multiplied by coefficients c_I:

A polynomial degree deg(f) is the maximum of monomial degree |α| with nonzero coefficients.
Unlike polynomials of one variable, multivariate polynomials can have several monomials with the same degree.
In this regard, the question arises of determining the order on the set of terms of the polynomial.

Monomial order¹

There are several ways to specify the order of monomials.

Lexicographic order

The simplest monomial order is lexicographic. In this case, the leftmost nonzero coordinate of the vector obtained by subtracting the exponent tuples of the compared monomials is positive:

Lexicographic order example:

The first monomial x^α is lexicographically greater than second one x^β, since after subtraction of exponent tuples we obtain (0,1,-2), where leftmost nonzero coordinate is positive.

Graded Lex Order

The graded lexicographic order is determined primarily by the degree of the monomial. If the degree is greater, then the monomial is also considered greater. In the case of equal degrees, lexicographic comparison is applied:

Graded lex order examples:
a)

The monomial x^β is greater than x^α, since the degree |β|=7 is greater than the degree |α|=6.
b)

The monomial x^α is greater than the x^γ, since they are of the same degree, but the first is greater than the second lexicographically.

Graded Reverse Lex Order

The graded reverse lexicographic order is similar to the previous one. If the degree is greater, then the monomial is also considered greater. The monomial is greater if the rightmost nonzero coordinate of the vector obtained by subtracting the exponent tuples of the compared monomials is negative in the case of equal degrees.
Examples of graded reverse lexicographic comparison:
a)

The monomial x^β is greater than x^α, since degree |β|=7 is greater than degree |α|=6.
b)

The monomial x^γ is greater than the x^α, since their degrees are equal, but the subtraction of exponent tuples gives (-1,2,-1) and we see the rightmost value is below the zero.