Re: [Axiom-developer] Internal Error : Interpreter code generation failed for expression...

[Ralf Hemmecke]

>      Ok,
>
>         but can you explain, why  Axiom can  compile test2 ?
>
>         the only difference is line       
>                       n(i,j) := fallingPower(i+j,j)  in test0
>         and
>                       n(i,j) := fallingPower(i,j)  in test2 

Well my guess is that because

fallingPower (p,0) == 1
fallingPower (p,n) == p*fallingPower(p-1,(n-1)::NNI)

is a recursive definition.

Otherwise, I have no idea.

Ralf