Standard form polynomial
The calculator converts a multivariate polynomial to the standard form.
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.
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_{1}^{2}x_{2} and x^{2}y are  equivalent notation of the twovariable monomial.
A monomial can also be represented as a tuple of exponents:
E.g. x^{2}y^{3}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^{2}y^{3}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^{1}
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.

David Cox, John Little, Donal O’Shea Ideals, Varieties, and
Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, Third Edition, 2007, Springer ↩
Comments