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.
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...