next up previous contents index
Next: is_total_degree_inverse_lexical_ greater_mon( Mon Up: Reference Manual Previous: is_positive_rn( RN r)

is_total_degree_inverse_lexical_ greater_el( EL el1, EL el2)

 
Type:
Predicate
Defined in:
el.c
tex2html_wrap_inline6634
Implementation of virtual predicate
is_total_degree_inverse_lexical_greater_pp.
See also:
is_total_degree_inverse_lexical_greater_pp.


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