Changes http://wiki.axiom-developer.org/339InterpreterGivesUpInLoop/diff
--
Martin
++added:
+
+\begin{axiom}
+Zq:=SUP(INT)
+q:Zq := monomial(1,1)
+Zqs:=SUP(Zq)
+s:Zqs := monomial(1$Zq,1)
+macro mac(n) == c(n-1) + s*(reduce(+,[q^k*c(k)*c(n-1-k) for k in 1..n-1]))
+c(n: Integer): Zqs == (n=0 or n=1 => 1; mac n)
+c 0
+c 1
+c 2
+mac 2
+\end{axiom}
+
+I don't know but the output of c(2) is wrong. I would have expected "? ? + 1"
in accordance to mac(2).
+So the typed form of you example doesn't work. And the output looks ugly
anyway. :-(
+
+Ralf
+
+
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
