Sorry for catching up so late,
The Maple package for differential algebra, mostly written by François Boulier,
has been ported to SAGE. It is not part of SAGE yet, but we hope that it will
soon be.
In any case, you can follow its progress there :
William asked me to forward his reply...
(One remark: William always developed for Axiom. In Sage, the variant
of Axiom usually provided is FriCAS. To the best of my knowledge, all
libraries developed for Axiom is provided by FriCAS as well.)
William Sit wy...@sci.ccny.cuny.edu writes:
Dear
Apologies if this is the wrong place to ask this question.
Does SAGE incorporate support for differential algebra? That is can it
handle differential rings/ideals and does it have an implementation of
the Rosenfeld-Groebner and Ritt algorithms?
Thanks,
Daniel
On Jul 29, 7:56 am, Daniel Bearup daniel.diff...@googlemail.com
wrote:
Apologies if this is the wrong place to ask this question.
Does SAGE incorporate support for differential algebra? That is can it
handle differential rings/ideals and does it have an implementation of
the
On Wed, Jul 29, 2009 at 7:56 AM, Daniel
Bearupdaniel.diff...@googlemail.com wrote:
Apologies if this is the wrong place to ask this question.
Does SAGE incorporate support for differential algebra? That is can it
handle differential rings/ideals and does it have an implementation of
the
See http://en.wikipedia.org/wiki/Differential_algebra - related to D-
modules, but not the same. Kaplansky has a book about this I've
always meant to read...
Maple definitely supports this; it was unclear whether Mma does,
though apparently not directly. I could not find any reference to
this
Daniel Bearup daniel.diff...@googlemail.com writes:
Apologies if this is the wrong place to ask this question.
Does SAGE incorporate support for differential algebra? That is can it
handle differential rings/ideals and does it have an implementation of
the Rosenfeld-Groebner and Ritt