[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [AldorForAxiom]
From: |
kratt6 |
Subject: |
[Axiom-developer] [AldorForAxiom] |
Date: |
Mon, 10 Jan 2005 06:27:11 -0600 |
??changed:
-It is possible to use the Aldor compiler to compile functions which you then
can use in Axiom. Unfortunately, I could not get Domains and Packages to work.
If anybody knows how to do this, please contribute!
-
-Let's do an example! Let's assume you have Aldor installed. You then have to
do a little setup:
-
-1. Grab the file 'axextend.lsp' from your axiom source distribution, it should
reside in 'lsp/ccl/src/axbase/compiler/lib'. Rename it into
'axextend.lsp.pamphlet' and run 'document axextend.lsp.pamphlet', to obtain the
proper lisp code.
-
-2. Save the following into a file 'axiom.as' residing in
'aldor/1.0.2/linux/include/' of your aldor (binary) distribution::
It is possible to use the "Aldor":www.aldor.org compiler to compile functions
which you then can use in Axiom. Unfortunately, I could not get domains and
packages to work. If anybody knows how to do this, please contribute!
Let's do an example! Let's assume you have Aldor installed. You then have to do
a little setup:
1. Grab the file 'axextend.lsp' from your axiom source distribution, it should
reside in 'lsp/ccl/src/axbase/compiler/lib'. Rename it into
'axextend.lsp.pamphlet' and run 'document axextend.lsp.pamphlet', to obtain
the proper lisp code.
2. Save the following into a file 'axiom.as' residing in
'aldor/1.0.2/linux/include/' of your aldor (binary) distribution::
??changed:
-Good luck. If you can get a domain to work, please contact 'address@hidden'!
If you can get a domain to work, please contact 'address@hidden'!
Having put the following minimal package into a file 'test.as'::
#include "axiom.as"
Test: with { fact: PositiveInteger -> PositiveInteger }
== add { fact(n: PositiveInteger): PositiveInteger ==
{ n <= 1 => 1;
res: PositiveInteger := 1;
while n > 1 repeat {
res := res * n;
n := n-1; }
res } }
I compiled it with Aldor as above. But sadly, in axiom I get::
)lisp (load "/home/rubey/aldor/linux/1.0.2/lib/runtime.lsp")
)lisp (load
"/home/rubey/axiom--main--1--patch-24/lsp/ccl/src/axbase/compiler/lib/axextend.lsp")
)lib test
Reading /home/rubey/martin/Axiom/test.asy
Loading /home/rubey/axiom/mnt/linux/autoload/bc-matrix.
Loading /home/rubey/axiom/mnt/linux/autoload/bc-misc.
Loading /home/rubey/axiom/mnt/linux/autoload/bc-solve.
Loading /home/rubey/axiom/mnt/linux/autoload/bc-util.
Loading /home/rubey/axiom/mnt/linux/autoload/ht-util.
Loading /home/rubey/axiom/mnt/linux/autoload/htsetvar.
Loading /home/rubey/axiom/mnt/linux/autoload/ht-root.
Loading /home/rubey/axiom/mnt/linux/autoload/br-con.
Loading /home/rubey/axiom/mnt/linux/autoload/br-data.
Loading /home/rubey/axiom/mnt/linux/autoload/showimp.
Loading /home/rubey/axiom/mnt/linux/autoload/br-op1.
Loading /home/rubey/axiom/mnt/linux/autoload/br-op2.
Loading /home/rubey/axiom/mnt/linux/autoload/br-search.
Loading /home/rubey/axiom/mnt/linux/autoload/br-util.
Loading /home/rubey/axiom/mnt/linux/autoload/topics.
Loading /home/rubey/axiom/mnt/linux/autoload/br-prof.
Loading /home/rubey/axiom/mnt/linux/autoload/br-saturn.
>> System error:
Caught fatal error [memory may be damaged]
protected-symbol-warn called with (NIL)
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden