[Axiom-developer] [AldorForAxiom]

[kratt6]

??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