[Axiom-developer] axiom/aldor oddities

[Franz Lehner]

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