January 2004 - PURRS-devel - BUGSENG Mailman

purrs/src util.hh util.cc
by Tatiana Zolo 15 Jan '04

15 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-15 08:45:13 Modified files: src : util.hh util.cc Log message: Improved the function `substitute_x_function()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0

purrs/tests heap
by Tatiana Zolo 14 Jan '04

14 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-14 10:45:38 Modified files: tests : heap Log message: Changed the mark from `y' to `'yv' to recurrences of order 5 or 6 that are solved with the order reduction method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src verify.cc
by Tatiana Zolo 14 Jan '04

14 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-14 10:43:49 Modified files: src : verify.cc Log message: Fixed a bug in the function `verify_new_method_const_coeff()'. Lowered the threshold beyond which the solution of recurrences that are solved with the order reduction method is not expanded. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=…

1 0

purrs/src finite_order.cc
by Tatiana Zolo 14 Jan '04

14 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-14 10:02:34 Modified files: src : finite_order.cc Log message: Added a FIXME and a part of commented code that could be better for the simplifications, but it is not clear if it is more efficient. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…

1 0

purrs/tests heap
by Tatiana Zolo 12 Jan '04

12 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-12 15:28:02 Modified files: tests : heap Log message: Changed the mark from `yv' to `y' to 4 recurrences of order 5 solved with the order reduction method. The system has not success in the validation of their solutions because there are functions `sin()' that the system is not able to simplify. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src finite_order.cc
by Tatiana Zolo 12 Jan '04

12 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-12 11:50:06 Modified files: src : finite_order.cc Log message: Fixed a bug in the function `write_expanded_solution()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…

1 0

purrs/tests heap
by Tatiana Zolo 12 Jan '04

12 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-12 11:49:25 Modified files: tests : heap Log message: Changed the mark to the recurrence x(n) = x(n-3)+x(n-6) from `yv' to y'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

w3purrs/htdocs news.raw purrs.raw Documentatio ...
by Roberto Bagnara 09 Jan '04

09 Jan '04

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2004-01-09 21:08:46 Modified files: htdocs : news.raw purrs.raw htdocs/Documentation: purrs.bib Log message: BibTeX key BagnaraZZ03TRa changed to BagnaraZZ03TR. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/news.raw.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Documentation/purr…

1 0

purrs/src verify.cc
by Tatiana Zolo 09 Jan '04

09 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-09 19:14:26 Modified files: src : verify.cc Log message: Several changes in the function `verify_finite_order()': now the solution of linear recurrences with constant coefficients of order less or equal to 8 solved with the order reduction method is "expanded" before proceeding with the verification's process. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=…

1 0

purrs/src finite_order.cc
by Tatiana Zolo 09 Jan '04

09 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-09 18:14:01 Modified files: src : finite_order.cc Log message: Improved the function `write_expanded_solution()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…

1 0