|  |  7.2.4.3 poly operations (plural) 
 
+addition
-negation or subtraction
*multiplication
/commutative division by a monomial, non divisible terms yield 0
^,**power by a positive integer
<,<=,>,>=,==,<>comparison (of leading monomials w.r.t. monomial ordering)
poly_expression [intvec_expression]the sum of monomials at the indicated places w.r.t. the monomial ordering
 
 |