- PURRS-devel - BUGSENG Mailman

purrs/src Expr.cc Expr.defs.hh Expr.inlines.hh ...
by Tatiana Zolo 20 Nov '03

20 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-20 15:02:36 Modified files: src : Expr.cc Expr.defs.hh Expr.inlines.hh Makefile.am compute_exact_solution.cc compute_prod.cc factorize.cc functional_equation.cc gosper.cc numerator_denominator.cc numerator_denominator.hh rr_classifier.cc simplify.cc util.cc zeilberger.cc Log message: Used only the GiNaC methods in order to compute numerator and denominator. Removed from the Makefile the files numerator_denominator.{hh,cc} that compute numerator and denominator without GiNaC. 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/Expr.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cv… 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/functional_equation.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.h… 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/simplify.cc.diff?cvsroo… 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/zeilberger.cc.diff?cvsr…

1 0

purrs demos/purrs_rrs_cgi.cc src/Blackboard.de ...
by Tatiana Zolo 20 Nov '03

20 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-20 12:04:23 Modified files: demos : purrs_rrs_cgi.cc src : Blackboard.defs.hh Expr.defs.hh Number.defs.hh Recurrence.cc Recurrence.defs.hh rr_classifier.cc tests : rrs_driver.cc Log message: Removed the status `HAS_NON_INTEGER_DECREMENT' form `Solver_Status'. The status `CL_HAS_NON_INTEGER_DECREMENT' of `Classifier_Status' is mapped in the status `MALFORMED' of `Solver_Status'. Several improvements in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.defs.hh.diff… 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/Number.defs.hh.diff?cvs… 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/rr_classifier.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/doc definitions.dox
by Tatiana Zolo 20 Nov '03

20 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-20 12:04:06 Modified files: doc : definitions.dox Log message: Minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/definitions.dox.diff?cv…

1 0

purrs/tests heap
by Tatiana Zolo 19 Nov '03

19 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-19 19:15:07 Modified files: tests : heap Log message: Added 5 new recurrences suggested by Ottavio Rizzo: two are marked with `yv'; two with `y' and one with `n'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh Rec ...
by Tatiana Zolo 19 Nov '03

19 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-19 19:00:25 Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh Weighted_Average_Info.defs.hh Weighted_Average_Info.inlines.hh rr_classifier.cc simplify.cc Log message: Replaced all occurrences of `Infinite_Order' with `Weighted_Average' (and others similar expressions). Renamed also several functions containing expressions as `infinite order'. Patches: 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/Weighted_Average_Info.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.i… 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/simplify.cc.diff?cvsroo…

1 0

purrs doc/devref-browse.doxyconf-latex.in doc/ ...
by Tatiana Zolo 19 Nov '03

19 Nov '03

1 0

purrs/src Infinite_Order_Info.cc Infinite_Orde ...
by Tatiana Zolo 19 Nov '03

19 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-19 18:02:55 Modified files: src : Infinite_Order_Info.cc Infinite_Order_Info.defs.hh Infinite_Order_Info.inlines.hh Infinite_Order_Info.types.hh Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh rr_classifier.cc Log message: Replaced all occurrences of `Infinite_Order' with `Weighted_Average' (and others similar expressions). Renamed also several functions containing expressions as `infinite order'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.cc.… 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/Infinite_Order_Info.typ… 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 doc/definitions.dox src/Recurrence.defs.hh
by Tatiana Zolo 19 Nov '03

19 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-19 16:58:36 Modified files: doc : definitions.dox src : Recurrence.defs.hh Log message: Used the expression "Weighted-Average Recurrences" for the recurrences that were previously called "infinite order recurrences". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/definitions.dox.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 19 Nov '03

19 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-19 16:54:49 Modified files: src : Recurrence.cc Log message: Fixed some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src compute_exact_solution.cc functional ...
by Tatiana Zolo 18 Nov '03

18 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-18 19:15:37 Modified files: src : compute_exact_solution.cc functional_equation.cc rr_classifier.cc util.cc util.hh Log message: Renamed `largest_positive_int_zero()' in `find_domain_in_N()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.cc.… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu…

1 0