February 2003 - PURRS-devel

purrs/src numerator_denominator.cc
by Tatiana Zolo 09 Feb '03

09 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-09 18:16:22 Modified files: src : numerator_denominator.cc Log message: Improved the functions `numerator()' and `transform_in_single_fraction()' factorizing the numerator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.c…

1 0

purrs/src factorize.hh factorize.cc compute_pr ...
by Tatiana Zolo 09 Feb '03

09 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-09 18:15:50 Modified files: src : factorize.hh factorize.cc compute_prod.cc Log message: Several improvements in the factorization of expressions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cv…

1 0

purrs configure.ac
by Roberto Bagnara 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-02-07 22:30:49 Modified files: . : configure.ac Log message: This is pre-release 0.0.3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/configure.ac.diff?cvsroot=p…

1 0

w3purrs/htdocs/Credits Credits.raw
by Roberto Bagnara 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-02-07 22:29:43 Modified files: htdocs/Credits : Credits.raw Log message: List all the projects that have contributed or are about to contribute to PURRS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Credits/Credits.ra…

1 0

w3purrs/htdocs purrs.raw news.raw
by Roberto Bagnara 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-02-07 22:24:00 Modified files: htdocs : purrs.raw Added files: htdocs : news.raw Log message: Announce the new demo. News archive created and referenced from the main page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/news.raw?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-07 21:52:54 Modified files: src : Recurrence.cc Log message: Added the function `validation_initial_conditions_in_bound()' that completes the verification of the functional equations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src compute_bounds.cc Recurrence.defs.hh
by Tatiana Zolo 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-07 21:45:36 Modified files: src : compute_bounds.cc Recurrence.defs.hh Log message: Isolated in the function `add_term_with_initial_condition()' the part about initial condition of `approximate_functional_equation()'. Some comments added and some improvements to the function `approximate_functional_equation()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs/tests heap
by Tatiana Zolo 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-07 13:36:07 Modified files: tests : heap Log message: Marked with `ul' two recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.defs.hh compute_bounds.cc ...
by Tatiana Zolo 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-07 13:35:06 Modified files: src : Recurrence.defs.hh compute_bounds.cc rr_classifier.cc Log message: Improved `get_constant_divisor()': now returns true if the expression in input is of the form `n / d' with `d' a positive rational (it before returned true only if `d' were a positive integer). Expanded `approximate_functional_equation()' so that are approximated also functional equations of the form `a x(n/b) + p(n)' with `b' rational bigger than 1. Fixed a bug in the computation of the initial condition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/tests simpl_tests
by Tatiana Zolo 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-07 13:22:09 Modified files: tests : simpl_tests Log message: Added some expressions to simplify. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0