|
4.21.3 vector operations
+
- addition
-
- negation or subtraction
/
- division by a monomial, not divisible terms yield 0
< , <= , > , >= , == , <>
- comparators (considering leading terms w.r.t. monomial ordering)
- vector_expression
[ int_expressions ]
- is a vector entry; the index 1 gives the first entry.
Example:
|