Greetings!
root <daly@idsi.net> 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
> axiom@tenkan.org
> daly@idsi.net
>
>
> _______________________________________________
> Gcl-devel mailing list
> Gcl-devel@gnu.org
> http://mail.gnu.org/mailman/listinfo/gcl-devel
>
>
>
--
Camm Maguire camm@enhanced.com
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah