An extension of Buchberger's criteria for Groebner basis decision

Details An extension of Buchberger's criteria for Groebner basis decision An extension of Buchberger's criteria for Groebner basis decision

2009-06-23

arxiv.org/abs/0906.4358v1

London Mathematical Society Journal of Computation and Mathematics, vol. 13 (2010) pp. 111-129

Mathematics

Commutative Algebra

20 pages, 2 figures

Scientific paper

10.1112/S1461157008000193

Two fundamental questions in the theory of Groebner bases are decision ("Is a basis G of a polynomial ideal a Groebner basis?") and transformation ("If it is not, how do we transform it into a Groebner basis?") This paper considers the first question. It is well-known that G is a Groebner basis if and only if a certain set of polynomials (the S-polynomials) satisfy a certain property. In general there are m(m-1)/2 of these, where m is the number of polynomials in G, but criteria due to Buchberger and others often allow one to consider a smaller number. This paper presents two original results. The first is a new characterization theorem for Groebner bases that makes use of a new criterion that extends Buchberger's Criteria. The second is the identification of a class of polynomial systems G for which the new criterion has dramatic impact, reducing the worst-case scenario from m(m-1)/2 S-polynomials to m-1.

Affiliated with

Also associated with

No associations

Rating

An extension of Buchberger's criteria for Groebner basis decision does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An extension of Buchberger's criteria for Groebner basis decision, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An extension of Buchberger's criteria for Groebner basis decision will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-105309