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 on the Singular or Macaulay sites, though I may not have looked hard enough. In any case, either exposing this functionality to the typical user if it's in Singular, finding an appropriately licensed piece to stick in, or starting a new implementation for Sage sounds like a great idea for someone who is so inclined and very conversant with the material :) - kcrisman On Jul 29, 11:21 am, William Stein <wst...@gmail.com> wrote: > On Wed, Jul 29, 2009 at 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 Rosenfeld-Groebner and Ritt algorithms? > > Is this the same thing as "D-modules"? If so, Singular (which is in > Sage) has some major package(s) for this: > > http://portal.acm.org/citation.cfm?id=1390768.1390794 > > (there may be more or something else -- I saw a talk on this recently > at MEGA but don't remember the details). > > Macaulay 2 also has a > package:http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.2/share/doc/Macaul... > > There is a Sage <--> Macaulay 2 interface. > > As John Palmieri says, there's nothing "native" in Sage itself yet though. > > -- William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
