Term Cancellations in Computing Floating-Point Gröbner Bases

We discuss the term cancellation which makes the floating-point Grobner basis computation unstable, and show that error accumulation is never negligible in our previous method. Then, we present a new method, which removes accumulated errors as far as possible by reducing matrices constructed from coefficient vectors by the Gaussian elimination. The method manifests amounts of term cancellations caused by the existence of approximate linearly dependent relations among input polynomials.

[1]  Laureano González-Vega,et al.  Hilbert Stratification and Parametric Gröbner Bases , 2005, CASC.

[2]  Bernard Mourrain,et al.  A New Criterion for Normal Form Algorithms , 1999, AAECC.

[3]  Tateaki Sasaki,et al.  Floating-Point Gröbner Basis Computation with Ill-conditionedness Estimation , 2007, ASCM.

[4]  Moss Sweedler,et al.  Remarks on Automatic Algorithm Stabilization , 1998, J. Symb. Comput..

[5]  Hans J. Stetter,et al.  Stabilization of polynomial systems solving with Groebner bases , 1997, ISSAC.

[6]  Marco Bodrato,et al.  Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study , 2006, CASC.

[7]  Bernard Mourrain,et al.  Pythagore’s Dilemma, Symbolic-Numeric Computation, and the Border Basis Method , 2007 .

[8]  Yufu Chen,et al.  Border bases of positive dimensional polynomial ideals , 2007, SNC '07.

[9]  Carlo Traverso.  Syzygies, and the Stabilization of Numerical Buchberger Algorithm , 2002 .

[10]  Kosaku Nagasaka,et al.  A Study on Gröbner Basis with Inexact Input , 2009, CASC.

[11]  Kiyoshi Shirayanagi.  An algorithm to compute floating point Gro¨bner bases , 1993 .

[12]  Akira Suzuki,et al.  Computing Gröbner Bases within Linear Algebra , 2009, CASC.

[13]  Hans J. Stetter,et al.  Numerical polynomial algebra , 2004 .

[14]  Barry M. Trager,et al.  Degree reduction under specialization , 2001 .

[15]  Martin Kreuzer,et al.  Computing border bases , 2006 .

[16]  Michael Kalkbrener,et al.  On the Stability of Gröbner Bases Under Specializations , 1997, J. Symb. Comput..

[17]  Kiyoshi Shirayanagi.  Floating point Gro¨bner bases , 1996 .

[18]  Tateaki Sasaki,et al.  A Practical Method for Floating-Point Gröbner Basis Computation , 2009, ASCM.

[19]  H. Bez,et al.  Computer mathematics , 1984 .

[20]  Alberto Zanoni,et al.  Numerical stability and stabilization of Groebner basis computation , 2002, ISSAC '02.

[21]  Tateaki Sasaki,et al.  Computing floating-point gröbner bases stably , 2007, SNC '07.