January 2003 - PURRS-devel - BUGSENG Mailman

purrs/src Number.defs.hh Number.inlines.hh
by Tatiana Zolo 09 Jan '03

09 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-09 16:53:38 Modified files: src : Number.defs.hh Number.inlines.hh Log message: Added the method `bool is_negative() const'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.inlines.hh.diff?…

1 0

purrs/src simplify.hh simplify.cc
by Tatiana Zolo 09 Jan '03

09 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-09 16:51:48 Modified files: src : simplify.hh simplify.cc Log message: Added the function `simplify_logarithm()' that applies the following property `a^{log n / log a} = n, \quad \text{where } a \in \Rset, a > 0'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

w3purrs/htdocs/Documentation purrs.bib
by Roberto Bagnara 08 Jan '03

08 Jan '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-01-08 22:32:43 Modified files: htdocs/Documentation: purrs.bib Log message: Address for Titchmarsh88 pedantically specified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Documentation/purr…

1 0

purrs/tests heap
by Roberto Bagnara 08 Jan '03

08 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-08 22:11:48 Modified files: tests : heap Log message: New recurrence for which PURRS produces a wrong "solution" that, moreover, is verified to be correct (!). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Roberto Bagnara 08 Jan '03

08 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-08 22:03:17 Modified files: tests : heap Log message: Added a new recurrence coming from a complexity analysis problem (number of 1's in the binary representation of n). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Tatiana Zolo 08 Jan '03

08 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-08 17:18:09 Modified files: tests : heap Log message: Changed the mark to two recurrences from `n' to `yv'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 08 Jan '03

08 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-08 17:17:03 Modified files: src : rr_solver.cc Log message: Fixed a bug in `solve_variable_coeff_order_1()' about the lower bound for the symbolic sums. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src Expr.cc
by Tatiana Zolo 08 Jan '03

08 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-08 16:54:43 Modified files: src : Expr.cc Log message: Fixed a bug in `prod_eval()': the property \prod_{k = a}^b \alpha f(k) = \alpha^{b-a+1} \prod_{k = a}^b f(k), where \alpha does not depend from k is now applied correctly. Corrected also the comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs/tests heap
by Tatiana Zolo 08 Jan '03

08 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-08 15:37:43 Modified files: tests : heap Log message: Added a recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.defs.hh rr_solver.cc util ...
by Tatiana Zolo 08 Jan '03

08 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-08 15:36:47 Modified files: src : Recurrence.defs.hh rr_solver.cc util.cc util.hh Log message: The functions `solve_constant_coeff_order_2()' and `solve_constant_coeff_order_2()' are now private functions of the class Recurrence. Renamed `domain_recurrence()' into `biggest_positive_int_zero()': improved it and moved it in the file `util.{hh, cc}. Added the check to find the first initial condition also for linear recurrences with constant coefficients. Fixed some bugs in the lower bounds of the symbolic sum. 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/rr_solver.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu…

1 0