next up previous contents index
Next: label( LP lp) Up: Reference Manual Previous: is_zero_rn( RN r)

is_zero_syz( Syz s)

Type:
Predicate
Defined in:
syz.c
tex2html_wrap_inline6634
Returns TRUE if s is zero in the module of syzygies.
See also:
Section 3.18.


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