The expected answer to test 226 in rtestsum is incorrect (it's not simplified).
(%i1) sumcontract(sum(k, k, 1, 1 + n) + sum(k, k, 1, n)); (%o1) n+(sum(2*k,k,1,n))+1
(%i2) expand(%,0,0); (%o2) n+2*(sum(k,k,1,n))+1
Fixed in sumcon.lisp revision 1.12. Closing this bug report as fixed. Dieter Kaiser
Log in to post a comment.
Fixed in sumcon.lisp revision 1.12.
Closing this bug report as fixed.
Dieter Kaiser