next up previous contents index
Next: Variables Up: Naming Conventions Previous: Functions




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.

windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998