Une généralization du critère de Boulier – Buchberger pour le calcul des ensembles caractéristiques d’idéaux différentiels

Nous generalisons l'analogue du premier critere de Buchberger, du a Boulier et al., pour detecter les reductions inutiles de S-polynomes, lors des calculs d'ensembles caracteristiques d'ideaux differentiels. La version primitive suppose des polynomes lineaires ; le resultat est ici etendu a un produit de polynomes differentiels lineaires, appliques a un meme polynome differentiel, arbitraire.