April 2005 - PURRS-devel - BUGSENG Mailman

purrs/src Recurrence.cc
by Andrea Pescetti 11 Apr '05

11 Apr '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-04-12 01:44:47 Modified files: src : Recurrence.cc Log message: Replace odd symbol names with letters also when initial conditions are given. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests heap
by Andrea Pescetti 11 Apr '05

11 Apr '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-04-11 21:49:28 Modified files: tests : heap Log message: A new recurrence whose inclusion was suggested by Alessandro and Roberto. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src compute_prod.cc
by Andrea Pescetti 11 Apr '05

11 Apr '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-04-11 21:34:32 Modified files: src : compute_prod.cc Log message: Try special cases only when the argument is a polynomial. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cv…

1 0

purrs TODO.tex
by Alessandro Zaccagnini 08 Apr '05

08 Apr '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2005-04-08 18:40:37 Modified files: . : TODO.tex Log message: Added a list of desirable features of purrs. The list is fairly broad and contains both minor improvements (possibly suitable for some student's project) and major goals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/TODO.tex.diff?cvsroot=purrs…

1 0

purrs/tests heap
by Alessandro Zaccagnini 08 Apr '05

08 Apr '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2005-04-08 11:39:28 Modified files: tests : heap Log message: Modified the marking of several recurrences, as follows: - recurrences containing the decimal point in constants are now marked "M" - some "infinite order" recurrences that purrs solves correctly but can not verify are now marked "y" - some linear recurrences with constant coefficients of order 5 or more, whose characteristic equation can not be solved, are now marked "n" - some linear recurrences with constant coefficients of order 1 or 2 whose non-homogeneous part is not a linear combination of polynomials and exponentials, but whose solution purrs is able to express using symbolic sums, are now marked either "yv" or "y" - some non-linear recurreneces that purrs linearizes are now marked "y" - some linear recurrences with constant coefficients of order 3 or 4 whose solution can not be verified are now marked "y" instead of "yv" After this process, several recurrences turned out to be exact duplicates, and have been removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests simpl_tests
by Andrea Pescetti 03 Apr '05

03 Apr '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-04-04 00:01:58 Modified files: tests : simpl_tests Log message: The new simplifications produce more compact but correct solutions. Update expected results accordingly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

w3purrs/htdocs/Download cvs.raw
by Roberto Bagnara 03 Apr '05

03 Apr '05

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2005-04-03 16:18:43 Modified files: htdocs/Download: cvs.raw Log message: The CVS bubbles page does not exist any longer: link removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Download/cvs.raw.d…

1 0

w3purrs/htdocs/Credits Credits.raw
by Alessandro Zaccagnini 02 Apr '05

02 Apr '05

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaccagnini(a)cs.unipr.it 2005-04-02 18:56:55 Modified files: htdocs/Credits : Credits.raw Log message: Supplied missing " Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Credits/Credits.ra…

1 0

w3purrs/htdocs/Credits Credits.raw
by Andrea Pescetti 02 Apr '05

02 Apr '05

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: pescetti(a)cs.unipr.it 2005-04-02 15:18:25 Modified files: htdocs/Credits : Credits.raw Log message: We do have users. Mention Pedro and his system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Credits/Credits.ra…

1 0