Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00138020
Contributor : François Boulier <>
Submitted on : Friday, March 30, 2007 - 1:29:05 PM
Last modification on : Wednesday, December 23, 2020 - 10:24:02 PM
Long-term archiving on: : 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. pp.158-166, ⟨10.1145/220346.220367⟩. ⟨hal-00138020v2⟩

Share

Metrics

Record views

1196

Files downloads

1078