On May 1, 12:51 am, "Gary Furnish" <[EMAIL PROTECTED]> wrote:
> > - It suffers from the "OpenMath" communication issue (e.g. if you
> > take an Axiom expression, export it to maple, compute with it,
> > and re-import it to Axiom you have violated a lot of type
> > assumptions in Axiom, possibly violated branch cut assumptions
> > (e.g. acosh), done invalid simplifications, and any number of
> > violent mathematical mistakes)
>
> If merely by exporting the data and re-importing it you have violated
> assumptions, then Axiom is broken and needs a better exporting system.
Nope, Tim is right on this one. Different systems make different
assumptions on branch cuts, so this is more than a theoretical
problem. But Sage is not really in the business of taking symbolic
expressions and shoveling them around to various systems to do
manipulations. It is certainly doable, but not very practical. There
will be other cases where similar issues will arise or are even now
are already a problem, but if your approach is Sage like, i.e.
combining different pieces of software to do computations, there is
really now way around this. And this generally assumes that each
system in itself is consistent and bug free, but that ought to be
expect. Reality might look quite different.
Cheers,
Michael
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
