“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
Paper IPM / M / 13482  


Abstract:  
In their paper Boulier et al. (2009) described the RosenfeldGrobner 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 θu and ϕu, respectively so that θ and ϕ are disjoint then the deltapolynomial 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 θ and ϕ are disjoint where θu and ϕu are leaders of p and q, respectively. We have implemented the RosenfeldGrobner algorithm and our refined version on the same platform in Maple and compare them via a set of benchmarks.
Download TeX format 

back to top 