**Type Name:**`Syz`**Structure:**- for given , each is of type
`PPoly`. **Description:**- For given the 's are such that
, they form a
*syzygy*w.r.t. .An interesting algorithm implemented for syzygies is the

*extension procedure*, which extends a syzygy w.r.t. the leading monomials of the 's to a syzygy w.r.t. the 's. See [8] and [10] for details about this extension of syzygies.

Thu Sep 3 14:50:07 MDT 1998