next up previous contents index
Next: empty_pl Up: Reference Manual Previous: difference_rn( RN r1

difference_syz( Syz s1, Syz s2)

Type:
Function
Defined in:
syz.c
tex2html_wrap_inline6634
Returns the difference s1 - s2, where s1 and s2 are syzygies w.r.t. to a fixed vector of polynomials.
See also:
Section 3.18



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