| #### 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.4.0, 2024, generated by texi2html.