CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2002-10-19 13:49:11
Modified files:
tests : recurrences
Log message:
Added recurrences containing factorials or rational functions
that in the solution have the symbolic sum because not Gosper-summable.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/recurrences.diff?cvsr…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2002-10-19 13:47:12
Modified files:
src : gosper.cc
Log message:
Introduced notation for the symbolic sum in the case of the sum
is not Gosper-summable.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: roberto(a)cs.unipr.it 2002-10-18 18:44:51
Modified files:
tests : simplify_driver.cc
Log message:
No longer use Expr::is_equal().
Avoid using a Number to represent a small integer.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simplify_driver.cc.di…
