[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 |
Greetings!
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