Test 74 in rtestsum shows a bug:
(%i1) e : sum(lambda([i],i^2),i,1,n)$
(%i2) [e, expand(e,0,0)];
I think the problem is that simpsum does some
gensym stuff and then it doesn't resimplify after
it replaces the gensym variable.
Log in to post a comment.