×

An improvement of Rosenfeld-Gröbner algorithm. (English) Zbl 1434.13001

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 466-471 (2014).
Summary: In their paper [Appl. Algebra Eng. Commun. Comput. 20, No. 1, 73–121 (2009; Zbl 1185.12003)] F. Boulier et al. described the Rosenfeld-Gröbner algorithm for computing a regular decomposition of a radical differential ideal generated by a set of polynomial differential equations, ordinary or with partial derivatives. In order to enhance the efficiency of this algorithm, they proposed their analog of Buchberger’s criteria to avoid useless reductions to zero. For example, they showed that if \(p\) and \(q\) are two differential polynomials which are linear, homogeneous, in one differential indeterminate, with constant coefficients and with leaders \(\theta u\) and \(\varphi u\), respectively so that \(\theta \) and \(\varphi \) are disjoint then the delta-polynomial of \(p\) and \(q\) reduces to zero w.r.t. the set \(\{p,q\}\). In this paper we generalize this result showing that it remains true if \(p\) and \(q\) are products of differential polynomials which are linear, homogeneous, in the same differential indeterminate, with constant coefficients and \(\theta \) and \(\varphi \) are disjoint where \(\theta u\) and \(\varphi u\) are leaders of \(p\) and \(q\), respectively. We have implemented the Rosenfeld-Gröbner algorithm and our refined version on the same platform in Maple and compare them via a set of benchmarks.
For the entire collection see [Zbl 1293.65003].

MSC:

13-04 Software, source code, etc. for problems pertaining to commutative algebra
13P10 Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
13N15 Derivations and commutative rings

Citations:

Zbl 1185.12003

Software:

Maple; ResGrob.mpl
Full Text: DOI