Changes http://wiki.axiom-developer.org/339InterpreterGivesUpInLoop/diff --
??changed: -Note that the type of 'c 5' is 'FRAC POLY INT'. This is, because Axiom is not smart enough to realize that $q^k$ is a polynomial if $k$ is nonnegative. The following is more surprising, though: +Note that the type of 'c 5' is 'FRAC POLY INT'. This is, because Axiom is not smart enough to realize inside the loop that $q^k$ is a polynomial if $k$ is nonnegative. The following is more surprising, though: -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
