Nice trick.
I haven't quite figured out how to use it though.
Paul
On 01/22/2011 02:57 PM, Barton Willis wrote:
> -----maxima-bounces at math.utexas.edu wrote: -----
>
>> I wasn't advocating a 0^0 --> 1 solution.
> Oh, I thought that maybe you were bothered by
>
> (%i1) assume(0< x, x< 1)$
>
> (%i2) sum(x^k,k,0,inf)$
>
> (%i3) subst(x= 0, % = ev(%,simpsum));
> (%o3) 0=1
>
> --Barton
>