Re: [Axiom-developer] aldor/axiom interoperability

[Martin Rubey]

Dear all,

unfortunately, I'm also having (severe) problems.

My setup is as follows:

fricas rev 258

address@hidden:/local/scratch/fricas$ svn diff
Index: src/interp/hashcode.boot
===================================================================
--- src/interp/hashcode.boot    (Revision 258)
+++ src/interp/hashcode.boot    (Arbeitskopie)
@@ -55,7 +55,7 @@
                         hash := hashCombine(hashType(arg, percentHash), hash)
                 retCode := hashType(retType, percentHash)
                 EQL(retCode, $VoidHash) => hash
-                hashCombine(retCode, hash)
+                hashCombine(retCode, hashCombine(32236, hash))
         op = 'Enumeration =>
                 for arg in args repeat
                         hash := hashCombine(hashString(STRING arg), hash)

-------------------------------------------------------------------------------

address@hidden:/local/scratch/fricas/contrib$ aldor -gloop
     AA  L      DDDD      OOO    RRRR
    A A  L      D   D    O   O   R   R
   A  A  L      D    D  O     O  R   R
  AAAAA  L      D    D  O     O  RRRR
 A    A  L      D   D    O   O   R  R
A     A  LLLLL  DDDD      OOO    R   R

(c) Numerical Algorithms Group Ltd 1995-2001
Release: Aldor(C) version 1.0.3 for LINUX(glibc2.3)
Type "#int help" for more details.

-------------------------------------------------------------------------------

I compiled FriCAS with gcl, then I followed the instructions given by Franz,
i.e., using the old makefiles from Peter.(!!!!)

But it doesn't seem to work:

--fact.as----------------------------------------------------------------------
#include "axiom"

fact(n: PositiveInteger): PositiveInteger == {
    n <= 1 => 1;
    res: PositiveInteger := 1;
    while n > 1 repeat {
        res := res * n;
        n := n-1;
    }
    res
 }
--fact.as----------------------------------------------------------------------



(1) -> )co fact.as 
   Compiling FriCAS source code from file 
      /users/rubey/martin/Axiom/fact.as using AXIOM-XL compiler and 
      options 
-O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y $AXIOM/algebra
      Use the system command )set compiler args to change these 
      options.
#1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL'
   Compiling Lisp source code from file ./fact.lsp
   Issuing )library command for fact
   Reading /users/rubey/martin/Axiom/fact.asy
(1) -> fact 4
 
   >> System error:
   FUNCALL [or a callee] requires more than one argument.

--acint.as---------------------------------------------------------------------

#include "axiom"

ACInteger: with {
        coerce: Integer -> %;
        foo: % -> Integer;
} == Integer add {
        Rep == Integer; import from Rep;
        foo(x: %): Integer == {
                output((rep x)::OutputForm)$OutputPackage;
                rep x;
        }
        coerce(x: Integer): % == per x;
}
-------------------------------------------------------------------------------

(1) -> )co acint.as 
   Compiling FriCAS source code from file 
      /users/rubey/aldor-test/acint.as using AXIOM-XL compiler and 
      options 
-O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y $AXIOM/algebra
      Use the system command )set compiler args to change these 
      options.
#1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL'
   Compiling Lisp source code from file ./acint.lsp
   Issuing )library command for acint
   Reading /users/rubey/aldor-test/acint.asy
   ACInteger is now explicitly exposed in frame frame0 
   ACInteger will be automatically loaded when needed from 
      /users/rubey/aldor-test/acint
(1) -> foo(2::ACINT)
   Internal Error
   The function foo with signature hashcode is missing from domain 
      UNPRINTABLE 

-------------------------------------------------------------------------------

Help would be GREATLY appreciated!  Could it make a difference if I used
src_aldor3.tgz instead?  Would this work with fricas, too?


Finally, I just noticed something very odd:


--fact2.as----------------------------------------------------------------------
#include "axiom"

fact(n: Integer): Integer == {
    n <= 1 => 1;
    res: Integer := 1;
    while n > 1 repeat {
        res := res * n;
        n := n-1;
    }
    res
 }
--fact.as----------------------------------------------------------------------

works well.



Martin