|
4.15.3 poly operations
+
- addition
-
- negation or subtraction
*
- multiplication
/
- division by a polynomial, non divisible terms yield 0
^ , **
- power by a positive integer
< , <= , > , >= , == , <>
- comparators (considering 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
Example:
|