September 2003 - PURRS-devel

purrs/tests heap
by Tatiana Zolo 19 Sep '03

19 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-19 12:59:24 Modified files: tests : heap Log message: Changed the mark to the recurrence `x(n-1)^(1/2)' 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_classifier.cc
by Tatiana Zolo 19 Sep '03

19 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-19 12:58:05 Modified files: src : rr_classifier.cc Log message: Minor changes in the function `rewrite_non_linear_recurrence()' so that also non-linear recurrences of the form `x(n) = x(n-1)^a', with `a' positive rational non-integer, are solved. Patches: 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 19 Sep '03

19 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-19 12:52:32 Modified files: tests : simpl_tests Log message: Added several expressions containing logarithms. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

purrs/src simplify.cc
by Tatiana Zolo 19 Sep '03

19 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-19 12:48:52 Modified files: src : simplify.cc Log message: Several improvements in the logarithms' simplifications. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src Expr.cc Expr.defs.hh simplify.cc
by Tatiana Zolo 17 Sep '03

17 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-17 13:02:27 Modified files: src : Expr.cc Expr.defs.hh simplify.cc Log message: Fixed the use of `\binom' in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src Expr.defs.hh approximate.cc compute_ ...
by Tatiana Zolo 17 Sep '03

17 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-17 12:43:47 Modified files: src : Expr.defs.hh approximate.cc compute_bounds.cc rr_classifier.cc util.cc Log message: Fixed several errors and warnings in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/approximate.cc.diff?cvs… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0

purrs/tests heap
by Tatiana Zolo 15 Sep '03

15 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-15 16:52:50 Modified files: tests : heap Log message: Added a recurrence of infinite order not well-defined (it is marked with `D'). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src rr_classifier.cc
by Tatiana Zolo 15 Sep '03

15 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-15 16:51:33 Modified files: src : rr_classifier.cc Log message: Fixed a bug in the function `known_class_of_infinite_order()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 15 Sep '03

15 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-15 10:53:30 Modified files: src : Recurrence.cc Log message: Removed a useless inclusion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Expr.defs.hh
by Tatiana Zolo 15 Sep '03

15 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-15 10:23:10 Modified files: src : Expr.defs.hh Log message: Fixed some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsro…

1 0