Representation for the radical of a finitely generated differential ideal - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1995

Representation for the radical of a finitely generated differential ideal

Résumé

We give an algorithm which represents the radical J of a finitely generated differential ideal as an intersection of radical differential ideals. The computed representation provides an algorithm for testing membership in J. This algorithm works over either an ordinary or a partial differential polynomial ring of characteristic zero. It has been programmed. We also give a method to obtain a obtain a characteristic set of J, if the ideal is prime.
Fichier principal
Vignette du fichier
blop95.pdf (232.68 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00138020 , version 1 (23-03-2007)
hal-00138020 , version 2 (30-03-2007)

Identifiants

Citer

François Boulier, Daniel Lazard, François Ollivier, Michel Petitot. Representation for the radical of a finitely generated differential ideal. international symposium on Symbolic and algebraic computation 1995, Jul 1995, France. pp.158-166, ⟨10.1145/220346.220367⟩. ⟨hal-00138020v2⟩
668 Consultations
578 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More