World Scientific
  • Search
  •   
Skip main navigation

Cookies Notification

We use cookies on this site to enhance your user experience. By continuing to browse the site, you consent to the use of our cookies. Learn More
×
Our website is made possible by displaying certain online content using javascript.
In order to view the full content, please disable your ad blocker or whitelist our website www.worldscientific.com.

System Upgrade on Tue, Oct 25th, 2022 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at [email protected] for any enquiries.

Gröbner bases for syzygy modules of border bases

    https://doi.org/10.1142/S0219498814500030Cited by:2 (Source: Crossref)

    Given an order ideal 𝒪 and an 𝒪-border basis of a 0-dimensional polynomial ideal, it was shown by Huibregtse that the liftings of the neighbor syzygies (i.e. of the fundamental syzygies of neighboring border terms) form a system of generators for the syzygy module of the border basis. We elaborate on Huibregtse's proof and transform it into explicit algorithmic form. Based on this, we are able to exhibit explicit conditions on a module term ordering τ such that the liftings of the neighbor syzygies are in fact a τ-Gröbner basis. Finally, we construct term orderings satisfying these conditions in an explicit algorithmic way.

    AMSC: Primary: 13P10, Secondary: 14D20, Secondary: 13D10, Secondary: 14C05

    References