#### 7.2.4.3 poly operations (plural)

`+`
  addition

`-`
  negation or subtraction

`*`
  multiplication

`/`
  commutative division by a monomial, non divisible terms yield 0

`^`, `**`
  power by a positive integer

`<`, `<=`, `>`, `>=`, `==`, `<>`
  comparison (of leading monomials w.r.t. monomial ordering)

poly_expression `[` intvec_expression `]`
  the sum of monomials at the indicated places w.r.t. the monomial ordering

User manual for Singular version 4-0-3, 2016, generated by texi2html.