 A Laurent polynomial with coefficients in a field formula_1 is an expression of the form

where "X" is a formal variable, the summation index "k" is an integer (not necessarily positive) and only finitely many coefficients "p""k" are non-zero.Two Laurent polynomials are equal if their coefficients are equal.Such expressions can be added, multiplied, and brought back to the same form by reducing similar terms.