Hi all, We (at Lille, France) propose to integrate the DifferentialAlgebra into SAGE. This package, which is already present in MAPLE, is the product of years of work from François Boulier et al. on differential elimination. It relies on François's C libraries. Its core is an implementation of the Rosenfeld-Groebner algorithm, which rewrites systems of differential (or partial derivative) equations into potentially simpler ones. In algebraic terms, it decomposes the radical of a differential ideal into the intersection of prime differential ideals.
We are willing to make some effort for the last push until it's done :) First of all, #13268 is waiting for a reviewer. Next, it is not completely clear to us *where* to put this in sage. We (somewhat arbitrarily) chose to put it in sage.calculus.DifferentialAlgebra, to keep it close with the other functions dealing with differential equations, but we agree that this is bizarre, because differential elimination is 100% algebraic. Lastly, what is the right way to go ? experimental package ? optional package ? We confirmed that it compiles and works on Linux and Mac OS X. Thanks, --- Charles Bouillaguet http://www.lifl.fr/~bouillaguet/ -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
