Predicates

 

For predicates the same rules as for functions apply. In addition, most of the predicates are prefixed by ``is''.

Example:

The predicate comparing two monomials by the total degree lexical ordering (see Section 5.1, Definition 2) is accordingly called is_total_degree_lexical_greater_mon.