[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* **<=**