November 2003 - PURRS-devel

purrs/tests heap
by Tatiana Zolo 12 Nov '03

12 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-12 10:03:19 Modified files: tests : heap Log message: Changed the mark from `n' to `yv' to an infinite order recurrence which has the upper limit of the sum equal to `n' and the weight equal to `1'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Infinite_Order_Info.defs.hh Infinite ...
by Tatiana Zolo 12 Nov '03

12 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-12 10:02:16 Modified files: src : Infinite_Order_Info.defs.hh Infinite_Order_Info.inlines.hh Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh rr_classifier.cc Log message: In the classification's process rewritten the infinite order recurrence in normal form and used it in all successive computations. Substituted some private data of the class `Infinite_Order_Info' with the private data `associated_first_order_rec_'. Added the methods in order to access to `associated_linear_rec_' (publics in the class `Finite_Order_Info' and privates in the class `Recurrence'). Several changes in all functions that used the methods that now are no longer in the class `Infinite_Order_Info' because substituted by `associated_first_order_rec_'. Moreover, added the computation of a special case of infinite order recurrence which has the upper limit of the sum equal to `n' and the weight equal to `1'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.def… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.inl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… 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/Recurrence.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src finite_order.cc
by Tatiana Zolo 11 Nov '03

11 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-11 09:43:05 Modified files: src : finite_order.cc Log message: Removed the exceptions thrown when the recurrence has order greater than one and parametric coefficients. For these recurrences now the system returns TOO_COMPLEX. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…

1 0

purrs/tests heap
by Roberto Bagnara 10 Nov '03

10 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-11-10 22:10:31 Modified files: tests : heap Log message: 97 new recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Tatiana Zolo 10 Nov '03

10 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-10 19:02:51 Modified files: tests : heap Log message: Changed the mark of `x(n)^2-2*x(n)' from `yv' to `n': this is temporary because the system should return a right answer in this case. This change shows that the problem with the recurrence 1060 is not disappeared although the new version of GiNaC. 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 10 Nov '03

10 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-10 18:46:52 Modified files: src : rr_classifier.cc Log message: Added a const_cast to the private date `Recurrence::recurrence_rhs'. Added assertion assert(rhs.is_expanded()); at the beginning of the functions `eliminate_negative_decrements()' and `eliminate_null_decrements()'. Fixed a bug in the function `eliminate_null_decrement()' adding a `break' in a `for' cycle: without it the index that crossed the operands of a expression went out from the range [0, num_operands-1]. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src Recurrence.inlines.hh
by Tatiana Zolo 10 Nov '03

10 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-10 17:49:20 Modified files: src : Recurrence.inlines.hh Log message: Added assertion assert(is_non_linear_finite_order()); in several methods of the class `Recurrence'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d…

1 0

purrs/src rr_classifier.cc
by Tatiana Zolo 10 Nov '03

10 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-10 17:46:19 Modified files: src : rr_classifier.cc Log message: Fixed a bug in the method `classify_and_catch_special_cases()': the date `classifier_status_' was not setted bacause there was a wrong `return' instruction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src complint.cc
by Roberto Bagnara 10 Nov '03

10 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-11-10 16:34:39 Modified files: src : complint.cc Log message: Changes for the new version of GiNaC. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/complint.cc.diff?cvsroo…

1 0

GiNaC ginac/basic.h ginac/function.h ginac/fun ...
by Roberto Bagnara 10 Nov '03

10 Nov '03

CVSROOT: /cvs/GiNaC Module name: GiNaC Changes by: roberto(a)cs.unipr.it 2003-11-10 15:08:45 Modified files: ginac : basic.h function.h function.pl input_lexer.cc input_parser.cc symbol.h ginsh : ginsh_lexer.cc Log message: Conflicts resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/GiNaC/ginac/basic.h.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/GiNaC/ginac/function.h.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/GiNaC/ginac/function.pl.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/GiNaC/ginac/input_lexer.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/GiNaC/ginac/input_parser.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/GiNaC/ginac/symbol.h.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/GiNaC/ginsh/ginsh_lexer.cc.diff?c…

1 0