4.18.3 vector operations

+

addition

-

negation or subtraction

/

division by a monomial, not divisible terms yield 0

<, <=, >, >=, ==, <>

comparison of 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