𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Incomplete Gröbner basis as a preconditioner for polynomial systems

✍ Scribed by Yang Sun; Yu-Hui Tao; Feng-Shan Bai


Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
446 KB
Volume
226
Category
Article
ISSN
0377-0427

No coin nor oath required. For personal study only.

✦ Synopsis


Precondition plays a critical role in the numerical methods for large and sparse linear systems. It is also true for nonlinear algebraic systems. In this paper incomplete Gröbner basis (IGB) is proposed as a preconditioner of homotopy methods for polynomial systems of equations, which transforms a deficient system into a system with the same finite solutions, but smaller degree. The reduced system can thus be solved faster. Numerical results show the efficiency of the preconditioner.


📜 SIMILAR VOLUMES


A Gröbner Free Alternative for Polynomia
✍ Marc Giusti; Grégoire Lecerf; Bruno Salvy 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 428 KB

Given a system of polynomial equations and inequations with coefficients in the field of rational numbers, we show how to compute a geometric resolution of the set of common roots of the system over the field of complex numbers. A geometric resolution consists of a primitive element of the algebraic

A Fast Algorithm for Gröbner Basis Conve
✍ Quoc-Nam Tran 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 362 KB

The Gröbner walk method converts a Gröbner basis by partitioning the computation of the basis into several smaller computations following a path in the Gröbner fan of the ideal generated by the system of equations. The method works with ideals of zerodimension as well as positive dimension. Typicall

A Gröbner Basis Method for Modules over
✍ Toshinori Oaku; Takeshi Shimoyama 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 683 KB

We study modules over the ring \(\mathcal{D}_{0}\) of differential operators with power series coeffcients. For \(\mathcal{D}_{0}\)-modules, we introduce a new notion of \(F\)-Gröbner basis and present an algorithmic method to compute it. Our method is more algebraic than that of Castro \((1986,1987