extension_syz( Syz s, PS gb)

Type:

Function

Defined in:

syz.c

s is a syzygy of the leading monomials of gb and gb is a Gröbner basis. The return value is an extension of s w.r.t. gb, i.e. a syzygy w.r.t. gb. See [10] for the detailed definition of an extension of a syzygy.

See also:

[8], [10].