[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] axiom/aldor oddities
From: |
Franz Lehner |
Subject: |
[Axiom-developer] axiom/aldor oddities |
Date: |
Fri, 19 Jan 2007 13:31:27 +0100 (CET) |
Hello again,
thank you for all your help you gave last time.
I am still new to axiom/aldor and perhaps somebody can point out
to me the difference between the following two snippets:
---BEGIN strange.as
#include "axiom"
FPI ==> Fraction Polynomial Integer;
tfpi1(d:Polynomial Integer,n:PositiveInteger): Fraction Polynomial Integer
== {
import from Integer;
(1/factorial(n::Integer)^2)::FPI*d;
}
tfpi2(d:Polynomial Integer,n:PositiveInteger): Fraction Polynomial Integer
== {
import from Integer;
(1/factorial(n::Integer)::FPI)^2::PositiveInteger*d;
}
---END strange.as
both functions compile fine with aldor and apparently should give the same
result, however axiom (version 20060621 on Debian) does not think this
way:
---BEGIN axiom
(4) -> tfpi1(x,3)
Looking in Polynomial(Integer()) for ??200088 with code 250738832
>> System error:
FOAM-USER::|fiRaiseException| is invalid as a function.
(4) -> tfpi2(x,3)
(4) ->
x
(4) --
36
Type: Fraction Polynomial
Integer
---END axiom
what am I missing here?
thanks,
Franz
- [Axiom-developer] axiom/aldor oddities,
Franz Lehner <=