next up previous contents index
Next: is_greater_mon( Mon m1 Up: Reference Manual Previous: is_equal_rn( RN r1

is_equal_syz( Syz s1, Syz s2)

Type:
Predicate
Defined in:
syz.c
tex2html_wrap_inline6634
Returns TRUE if s1 = s2, where s1 and s2 are syzygies.
See also:
Section 3.18.


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