Representation for the radical of a finitely generated differential ideal
- 1 January 1995
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 158-166
- https://doi.org/10.1145/220346.220367
Abstract
International audienceWe 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 primeKeywords
This publication has 0 references indexed in Scilit: