[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] aldor/axiom interoperability
From: |
Gregory Vanuxem |
Subject: |
Re: [Axiom-developer] aldor/axiom interoperability |
Date: |
Sat, 15 Mar 2008 13:18:49 +0100 |
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
- Re: [Axiom-developer] aldor/axiom interoperability, Gregory Vanuxem, 2008/03/13
- Re: [Axiom-developer] aldor/axiom interoperability, Bill Page, 2008/03/13
- Re: [Axiom-developer] aldor/axiom interoperability, Martin Rubey, 2008/03/14
- Re: [Axiom-developer] aldor/axiom interoperability,
Gregory Vanuxem <=
- Re: [Axiom-developer] aldor/axiom interoperability, Peter Broadbery, 2008/03/14
- Re: [Axiom-developer] aldor/axiom interoperability, Bill Page, 2008/03/14
- Re: [Axiom-developer] aldor/axiom interoperability, Bill Page, 2008/03/14
- Re: [Axiom-developer] aldor/axiom interoperability, Martin Rubey, 2008/03/15
- Re: [Axiom-developer] aldor/axiom interoperability, Bill Page, 2008/03/15
- Re: [Axiom-developer] aldor/axiom interoperability, Gregory Vanuxem, 2008/03/15
- Re: [Axiom-developer] aldor/axiom interoperability, root, 2008/03/15