|
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
|