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

 

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.



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