[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Axiom and Maxima

From: Camm Maguire
Subject: Re: [Gcl-devel] Axiom and Maxima
Date: 13 Aug 2003 13:56:34 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2


root <address@hidden> writes:

> Jim,
> I had an interesting discussion with Richard Fateman about testing.
> It appears that we can combine Axiom and Maxima in a single image.
> It would then be possible to run a function in Axiom at the 
> command prompt and also run the same function in Maxima from Axiom's
> command prompt:
> -> 2+2 => 4          <== execute in Axiom
> -> )lisp (maxima)    <== the )lisp runs a lisp command
> # 2+2 => 4           <== execute in Maxima
> # quit               <== leave Maxima
> -> 
> This will greatly facilitate testing and also help the CATS effort along.
> I'm not sure of the namespace collision issues but it seems like they
> could all be worked out.

An ambitious idea!

> Camm, 
> Do you know if Maxima will load into an Axiom workspace? 
> What issues arise?

I must confess I do not know much about Axiom workspaces.  If they are
like lisp packages, there should not be too much problem.

> If this works we could easily make "cover domains" for Maxima's
> functionality in Axiom. 
> I already have plans "in place" (see the
> savannah website) to merge ACL2 in a similar way. 

I was looking for this on the site, but could not see anything
pertinent.  What am I missing?

Take care,

> Tim Daly
> address@hidden
> address@hidden
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/gcl-devel

Camm Maguire                                            address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]