Representation for the radical of a finitely generated differential ideal

Abstract : 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.
Document type :
Conference papers
international symposium on Symbolic and algebraic computation 1995, Jul 1995, France. Association for Computing Machinery, pp.158-166, 1995, <10.1145/220346.220367>


https://hal.archives-ouvertes.fr/hal-00138020
Contributor : François Boulier <>
Submitted on : Friday, March 30, 2007 - 1:29:05 PM
Last modification on : Monday, March 21, 2016 - 5:48:04 PM
Document(s) archivé(s) le : Monday, October 22, 2012 - 12:05:24 PM

File

blop95.pdf
Publisher files allowed on an open archive

Identifiers

Citation

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. Association for Computing Machinery, pp.158-166, 1995, <10.1145/220346.220367>. <hal-00138020v2>

Export

Share

Metrics

Record views

237

Document downloads

132