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