On Wed, Jun 2, 2010 at 6:10 AM, Tim Daly <d...@axiom-developer.org> wrote: > You have Axiom from 2005? > You do realize it is updated every 2 months :-) > > Tim
Huh? I can't figure out what you're referring to above. William > > > William Stein wrote: >> >> On Tue, Jun 1, 2010 at 11:31 PM, Martin Rubey >> <martin.ru...@math.uni-hannover.de> wrote: >> >>> >>> William Stein <wst...@gmail.com> writes: >>> >>> >>>> >>>> Hi, >>>> >>>> Burcin Erocal and I wrote a paper >>>> >>>> "The Sage Project: Unifying Free Mathematical Software to Create a >>>> Viable Alternative to Magma, Maple, Mathematica and Matlab" >>>> >>>> for http://www.math.kobe-u.ac.jp/icms2010/index.html >>>> >>>> Here it is: >>>> >>>> http://wstein.org/papers/icms/icms_2010.pdf >>>> >>> >>> A tiny correction to the list on 6, Table 2: as far as I know, sage does >>> not communicate with axiom, but rather with fricas. But I admit, I am >>> not 100% certain, what the default installation does. Please correct >>> me, if I'm mistaken. >>> >>> Martin >>> >> >> Thanks for raising this point. I remember Tim Daly complaining at >> some point that I should rename the "axiom" command in sage to >> "fricas". So this is worth looking into, which I just did. The result >> is that the Sage interface called "axiom" really is an interface to >> Axiom, as claimed. >> >> >> I think the Sage interface that is called "axiom" does in fact work >> fine with Axiom. On my computer, I don't have fricas installed, but >> I do have axiom: >> >> wst...@sage:~$ which fricas >> wst...@sage:~$ which axiom >> /usr/bin/axiom >> >> This is the read-deal axiom, from Debian I think: >> >> wst...@sage:~$ axiom >> GCL (GNU Common Lisp) 2.6.7 CLtL1 Nov 10 2006 14:25:02 >> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) >> Binary License: GPL due to GPL'ed components: (XGCL READLINE BFD UNEXEC) >> Modifications of this banner must retain notice of a compatible license >> Dedicated to the memory of W. Schelter >> >> Use (help) to get some basic information on how to use GCL. >> Temporary directory for compiler files set to /tmp/ >> AXIOM Computer Algebra System >> Version: Axiom 3.9 (September 2005) >> Timestamp: Saturday December 2, 2006 at 09:30:31 >> >> ----------------------------------------------------------------------------- >> Issue )copyright to view copyright notices. >> Issue )summary for a summary of useful system commands. >> Issue )quit to leave AXIOM and return to shell. >> >> ----------------------------------------------------------------------------- >> >> Re-reading compress.daase Re-reading interp.daase >> Re-reading operation.daase >> Re-reading category.daase >> Re-reading browse.daase >> (1) -> )quit >> >> >> Now I run Sage, and verify that it doesn't know about any "fricas" >> command, only Axiom, which is the systemwide "genuine" axiom: >> >> wst...@sage:~$ sage >> ---------------------------------------------------------------------- >> | Sage Version 4.4.1, Release Date: 2010-05-02 | >> | Type notebook() for the GUI, and license() for information. | >> ---------------------------------------------------------------------- >> sage: !which axiom >> /usr/bin/axiom >> sage: !which fricas >> >> And now I run a command, which calls Axiom: >> >> sage: axiom('2 + 3') >> 5 >> >> Consulting the source shows that the command that Sage runs when the >> axiom interface is invoked is "axiom -nox -noclef": >> >> sage: axiom.__init__?? >> ... >> Source: >> def __init__(self, name='axiom', command='axiom -nox -noclef', >> script_subdirectory=None, logfile=None, >> server=None, server_tmpdir=None, >> init_code=[')lisp (si::readline-off)']): >> >> ---- >> >> See http://trac.sagemath.org/sage_trac/ticket/5111 >> >> There is a *separate* fricas interface: >> >> sage: fricas.__init__?? >> Definition: fricas.__init__(self, name='fricas', command='fricas >> -nox -noclef', script_subdirectory=None, logfile=None, server=None, >> server_tmpdir=None, init_code=[')lisp (si::readline-off)']) >> Source: >> def __init__(self, name='fricas', command='fricas -nox -noclef', >> >> ---- >> >> The upshot is that maybe I should list both fricas and axiom in the >> interfaces table? >> >> William >> >> > > -- > To post to this group, send an email to sage-devel@googlegroups.com > To unsubscribe from this group, send an email to > sage-devel+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/sage-devel > URL: http://www.sagemath.org > -- William Stein Professor of Mathematics University of Washington http://wstein.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
