next up previous contents index
Next: Virtual Domains and Their Up: Data Types in GRÖBNER Previous: Sets of Polynomial Pairs



Type Name:
tex2html_wrap_inline6574 for given tex2html_wrap_inline6576 , each tex2html_wrap_inline6578 is of type PPoly.
For given tex2html_wrap_inline6580 the tex2html_wrap_inline6578 's are such that tex2html_wrap_inline6584 , they form a syzygy w.r.t. tex2html_wrap_inline6580 .

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


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