摘要
Insa and Pauer presented a basic theory of Grobner basis for differential operators with coefficients in a commutative ring in 1998, and a criterion was proposed to determine if a set of differential operators is a GrSbner basis. In this paper, we will give a new criterion such that Insa and Pauer＇s criterion could be concluded as a special case and one could compute the Grobner basis more efficiently by this new criterion.
Insa and Pauer presented a basic theory of Grbner basis for differential operators with coeffcients in a commutative ring in 1998,and a criterion was proposed to determine if a set of differential operators is a Gro¨bner basis.In this paper,we will give a new criterion such that Insa and Pauer's criterion could be concluded as a special case and one could compute the Grbner basis more effciently by this new criterion.
基金
supported by National Natural Science Foundation of China (Grant Nos.10971217, 60821002/F02)
NC Special Project
