[sage-devel] Re: [fricas-devel] Re: [sage-devel] Re: FriCAS/Open-Axiom and SAGE

2008-04-23 Thread Gary Furnish
No doubt the sage system is a bit too ad hoc. However, this is something that will be fixed in the symbolics rewrite. While externally it will maintain most backwards compatibility, internally it will be vastly different (for example, elements (including variables) in the "symbolic ring" (which i

[sage-devel] Re: [fricas-devel] Re: [sage-devel] Re: FriCAS/Open-Axiom and SAGE

2008-04-23 Thread Bill Page
On Wed, Apr 23, 2008 at 1:48 PM, Gary Furnish wrote: > ... > Right now, most functionality of the sage.calculus module is dictated > strictly by how maxima is designed. As we move to our own internal > representation, this obviously will not be sufficient. It is not immediately obvious to me tha

[sage-devel] Re: [fricas-devel] Re: [sage-devel] Re: FriCAS/Open-Axiom and SAGE

2008-04-23 Thread Martin Rubey
"Gary Furnish" <[EMAIL PROTECTED]> writes: > I'd be interested in hearing which features of FriCAS/OpenAxiom has that > might be useful in more detail. I'm not quite sure what you are interested in. I attach some things that I know to be working well or that I used recently below. > My main

[sage-devel] Re: [fricas-devel] Re: [sage-devel] Re: FriCAS/Open-Axiom and SAGE

2008-04-23 Thread root
Gary, If you're interested in exploring Axiom's type system the best source of material available is the Jenk's book. It would be useful if Sage's type hierarchy was close to the one Axiom uses, making it possible to share algorithms. If you'll mail me a postal address (offline), I'll send you

[sage-devel] Re: [fricas-devel] Re: [sage-devel] Re: FriCAS/Open-Axiom and SAGE

2008-04-23 Thread root
Gary, Also of interest, the algebra hierarchy diagram and data hierarchy diagrams within Axiom (the endpapers from the Axiom book) are online at: Tim --~--~-~--~~~---~--~~ To post to this group, send

[sage-devel] Re: [fricas-devel] Re: [sage-devel] Re: FriCAS/Open-Axiom and SAGE

2008-04-23 Thread Michael.Abshoff
root wrote: > Gary, Hi Tim, > If you're interested in exploring Axiom's type system > the best source of material available is the Jenk's book. > It would be useful if Sage's type hierarchy was close to > the one Axiom uses, making it possible to share algorithms. > If you'll mail me a postal a

[sage-devel] Re: [fricas-devel] Re: [sage-devel] Re: FriCAS/Open-Axiom and SAGE

2008-04-23 Thread root
Yes, both books are part of the documentation that ships with Axiom. The Jenks book (ISBN 0-387-97855-0) is in src/doc/book.pamphlet (the latex sources). It is also available as a pdf file at The Daly book (ISBN 1-411-66597-X) is in src/