Mathematics – Commutative Algebra
Scientific paper
2012-03-28
Mathematics
Commutative Algebra
23 pages, 1 figure, 1 table
Scientific paper
In this paper we want to give an insight in the rather unknown behaviour of signature-based Groebner basis algorithms, like F5, G2V, or GVW, for inhomogeneous input. On the one hand, it seems that the restriction to sig-safe reductions in those algorithms puts a huge penalty on their performance. The lost connection between polynomial degree and signature degree can disallow lots of reductions and lead to a huge overhead in the computations. On the other hand, the way critical pairs are sorted and the corresponding s-polynomials are handled is a quite good one. We show in detail the strong connection to the sorting of critical pairs w.r.t. well-known sugar degree of polynomials. Those properties hold for signature-based Groebner basis algorithms in general, not depending on specific implementations of the underlying criteria to discard useless critical pairs.
No associations
LandOfFree
Sweetening the sour taste of inhomogeneous signature-based Groebner basis computations 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 Sweetening the sour taste of inhomogeneous signature-based Groebner basis computations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Sweetening the sour taste of inhomogeneous signature-based Groebner basis computations will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-272210