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
Licence
Loading...

Dates et versions

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

Licence

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⟩
992 Consultations
1149 Téléchargements

Altmetric

Partager

  • More