Re: [Axiom-developer] aldor/axiom interoperability

[Gregory Vanuxem]

Le vendredi 14 mars 2008 à 09:02 +0100, Martin Rubey a écrit :
> Dear all,
> 
> unfortunately, I'm also having (severe) problems.
> 
> My setup is as follows:
> 
> fricas rev 258
> 

[...]

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


That is strange I can not reproduce it on a mix of
Axiom/FriCAS/OpenAxiom. Something is wrong on your side.


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

The output bug tracked down by Bill.

Can not help more :-(

Greg