On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains

François Boulier (1, 2) , François Lemaire (1, 2) , Alexandre Sedoglavic (1, 2)

1 LIFL - Laboratoire d'Informatique Fondamentale de Lille
2 CALFOR - Calcul Formel

This paper provides an algorithm which computes the normal form of a rational differential fraction modulo a regular differential chain if, and only if, this normal form exists. A regularity test for polynomials modulo regular chains is revisited in the nondifferential setting and lifted to differential algebra. A new characterization of regular chains is provided.

Domaines: Calcul formel [cs.SC]

François Boulier, François Lemaire, Alexandre Sedoglavic. On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. Computer Algebra in Scientific Computings, Sep 2011, Kassel, Germany. pp.1-12. ⟨hal-00599440⟩