Up: Naming Conventions
For predicates the same rules as for functions apply. In addition, most of the
predicates are prefixed by ``is''.
- 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.
Thu Sep 3 14:50:07 MDT 1998