October 2002 - PURRS-devel - BUGSENG Mailman

purrs/tests recurrences
by Tatiana Zolo 28 Oct '02

28 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-28 15:18:15 Modified files: tests : recurrences Log message: Fixed an error in a solution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/recurrences.diff?cvsr…

1 0

purrs src/gosper.cc src/gosper.hh tests/gosper ...
by Tatiana Zolo 28 Oct '02

28 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-28 15:15:19 Modified files: src : gosper.cc gosper.hh tests : gosper_driver.cc Log message: Separated two different uses of Gosper's algorithm adding the two functions `full_gosper()' and `partial_gosper()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/gosper_driver.cc.diff…

1 0

purrs/src Recurrence.defs.hh
by Tatiana Zolo 28 Oct '02

28 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-28 15:12:43 Modified files: src : Recurrence.defs.hh Log message: `solve_variable_coeff_order_1()' is now a static member of Recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 28 Oct '02

28 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-28 15:11:13 Modified files: src : rr_solver.cc Log message: Improved functions in order to compute the sum when the summand is not polynomial or polynomial times exponential. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

w3purrs/htdocs purrs.raw
by Roberto Bagnara 28 Oct '02

28 Oct '02

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2002-10-28 10:13:56 Modified files: htdocs : purrs.raw Log message: Emphasize what is working today. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

w3purrs/htdocs purrs.raw
by Alessandro Zaccagnini 28 Oct '02

28 Oct '02

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaccagnini(a)cs.unipr.it 2002-10-28 09:26:18 Modified files: htdocs : purrs.raw Log message: Corrected spelling mistake. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

purrs/src gosper.cc simplify.cc util.cc
by Tatiana Zolo 27 Oct '02

27 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-27 21:43:57 Modified files: src : gosper.cc simplify.cc util.cc Log message: Moved #define NOISY before of #include "util.hh". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0

purrs/tests heap
by Roberto Bagnara 27 Oct '02

27 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-27 19:49:46 Modified files: tests : heap Log message: Duplicate recurrence removed. New recurrence added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src simplify.cc
by Tatiana Zolo 27 Oct '02

27 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-27 19:40:17 Modified files: src : simplify.cc Log message: Fixed a bug in `erase_factor()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/tests rrs_driver.cc
by Roberto Bagnara 27 Oct '02

27 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-27 19:27:47 Modified files: tests : rrs_driver.cc Log message: Print something more specific for unsolvable recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0