Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#1648 rtestsum test 226

closed
nobody
4
2009-11-29
2009-04-17
Barton Willis
No

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

Discussion

  • Dieter Kaiser
    Dieter Kaiser
    2009-11-29

    Fixed in sumcon.lisp revision 1.12.
    Closing this bug report as fixed.
    Dieter Kaiser

     
  • Dieter Kaiser
    Dieter Kaiser
    2009-11-29

    • status: open --> closed