Bill Page wrote: > We have previously discussed (about 1 year ago) the possibility of > implementing a Sage interface for reduce and providing it as an > optional package like FriCAS, but this did not seem to generate much > interest at the time. > > http://groups.google.com/group/sage-devel/msg/faa5479477132cab > > Reduce is available as part of the axiom-wiki environment and I > personally think it would be great to have it available from within > the Sage Notebook. I have not found enough time recently to devote to > this project but I would be very glad to work with someone else who is > also interested in Reduce. > > Reduce was/is quite popular among the theoretical physics community > and was used extensively in subjects like general relativity. > > From my limited experience with using Reduce, Maxima and Axiom I would > say that Reduce is more like Maxima than Axiom, being an "un-typed" > symbolic computation system where Axiom is more fundamentally an > "algebraic" system. But Reduce has a more rigorous notion of > "evaluation" than Maxima and literally attempts to "reduce" or > simplify expressions to canonical forms where ever possible. >
Bill, It seems that you have more experience with Reduce than most of us here. How would you generally compare Maxima and Reduce in calculus functionality, specifically integration? Can you interface with Reduce on a library level, rather than a tty level? Could this be a short-term answer to the problems we are having with Maxima? I wonder how the Matlab folks are feeling now, having bought Mupad to get a symbolic system. I don't know how Mupad and Reduce compare, though. Thanks, Jason --~--~---------~--~----~------------~-------~--~----~ 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 For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
