Changes http://wiki.axiom-developer.org/339InterpreterGivesUpInLoop/diff
--
In your function you are using the '-' operation, it is not defined for NNI or
PI. Axiom is smart enough to detect the types of the step and the bounds.
Because of that it is assumed that the result of (n-1) is an Integer.
Here I even don't define the type of the function:
\begin{axiom}
c 0==1; c 1==1; c n==c(n-1)+s*(reduce(+,[q^k*c(k)*c(n-1-k) for k in
1..(n-1)::NNI]));
[coefficient(univariate(c(n),s),1) for n in 0..4]
\end{axiom}
I don't know why it gives up in your exemple though.
Greg
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
