Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleStructures of precision losses in computing approximate Gröbner bases
Author(s) Ye Liang
TypeArticle in Journal
AbstractIn computing approximate Gröbner bases, it is not easy to trace precision losses of floating-point coefficients of intermediate approximate polynomials. The measured precision losses are usually much larger than their genuine values. One reason causing this phenomenon is that most existing methods for tracing precision losses do not consider the dependence of such precision losses in any polynomial (as an equation). In this paper, we define an algebraic structure called PL-space (precision loss space) for a polynomial (as an equation) and set up a theory for it. We prove that any PL-space has a finite weak basis and a strong basis and show how they effect on tracing precision losses by an example. Based on the study of minimal strong bases, we propose the concept of dependence number which reveals the complexity of the dependence of precision losses in a polynomial.
KeywordsGröbner basis, Approximate, Floating-point, Precision loss, PL-space
URL http://www.sciencedirect.com/science/article/pii/S0747717112001915
JournalJournal of Symbolic Computation
Pages81 - 95
Translation No
Refereed No