
4.22.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];
==> [x1,x+y]
[1,2,x,4][3];
==> x

