|
4.20.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:
| ring R=0,(x,y),(c,dp);
[x,y]-[1,x];
==> [x-1,-x+y]
[1,2,x,4][3];
==> x
|
|