October 2004 - PURRS-devel - BUGSENG Mailman

purrs/src compute_prod.cc
by Andrea Pescetti 16 Oct '04

16 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-16 21:14:12 Modified files: src : compute_prod.cc Log message: Provide a framework to handle special cases. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cv…

1 0

purrs/src compute_prod.cc
by Andrea Pescetti 16 Oct '04

16 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-16 18:42:05 Modified files: src : compute_prod.cc Log message: Honor lower bound when it is greater than 1 instead of silently ignoring it. New special product \prod_{a=1}^n (3*a-1)(3*a-2). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cv…

1 0

purrs/src zeilberger.cc
by Andrea Pescetti 15 Oct '04

15 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-16 00:03:44 Modified files: src : zeilberger.cc Log message: Automatically compute the needed initial conditions. Code cleanup. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/zeilberger.cc.diff?cvsr…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh
by Andrea Pescetti 15 Oct '04

15 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-15 23:27:25 Modified files: src : Recurrence.cc Recurrence.defs.hh Log message: Implemented a kludge for first_valid_initial_condition(); it was declared and documented but not defined. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs/src zeilberger.cc
by Andrea Pescetti 15 Oct '04

15 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-15 18:44:45 Modified files: src : zeilberger.cc Log message: Workaround: PURRS is very picky when dealing with initial conditions, Zeilberger not at all. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/zeilberger.cc.diff?cvsr…

1 0

purrs/src rr_classifier.cc
by Andrea Pescetti 15 Oct '04

15 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-15 18:43:43 Modified files: src : rr_classifier.cc Log message: Behave properly when given a recurrence defined as a function of the FOLLOWING terms - this often happens in Zeilberger. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src compute_prod.cc
by Alessandro Zaccagnini 15 Oct '04

15 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2004-10-15 15:28:28 Modified files: src : compute_prod.cc Log message: Slightly amended some comments. Added the case that deals with the simplifications of products of the form prod(a,1,n,2*a-1) which had been overlooked. Previuosly, only the case prod(a,1,n,2*a+1) had been considered. This new case leads to more compact solution for the recurrence x(n) = (-1+2*n)*x(-1+n) for example. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cv…

1 0

purrs/tests rrs_driver.cc
by Andrea Pescetti 14 Oct '04

14 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-15 00:22:15 Modified files: tests : rrs_driver.cc Log message: Code for error summary is now easier to maintain. Other minor fixes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src zeilberger.cc
by Andrea Pescetti 14 Oct '04

14 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-14 23:50:57 Modified files: src : zeilberger.cc Log message: Zeilberger functionality complete. We can now find the order of the telescoped recurrence by trial and error, as it should be. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/zeilberger.cc.diff?cvsr…

1 0

purrs/tests rrs_driver.cc
by Andrea Pescetti 14 Oct '04

14 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-14 21:12:29 Modified files: tests : rrs_driver.cc Log message: Store and show line numbers of recurrences having unexpected behaviour. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0