Hashemi, Amir; Touraji, Zahra 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]. Cited in 1 ReviewCited in 1 Document MathOverflow Questions: How can Gröbner bases be generalized to differential algebra? 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 Keywords:differential algebra; Rosenfeld-Gröbner; Buchberger first criterion Citations:Zbl 1185.12003 Software:Maple; ResGrob.mpl × Cite Format Result Cite Review PDF Full Text: DOI