[Axiom-mail] sum()

[Marcus Better]

Hi all,

I am trying to define a simple recursive function, but axiom refuses to 
obey me. I would like to do something like this:

  f: Integer -> Integer;
  f(0)==1; f(1)==2;
  f(n)==sum(f(i)*f(n-i), i=0..(n-1))

which gives me "Cannot convert from type Variable i to Integer for value 
i". I have also tried other variants.

Thanks,

Marcus

-----------------------------------------------------------------
Marcus Better
Department of Mathematics                      Tel. +46 8 164539
Stockholm University                           Fax +46 8 6126717
SE-106 91 Stockholm
Sweden                                     http://www.math.su.se
-----------------------------------------------------------------