Syzygies

 

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.