November 2003 - PURRS-devel

Import
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 14:38:56 Log message: GiNaC-1.1.5 imported. Status: Vendor Tag: RB Release Tags: GINAC_1_1_5 U GiNaC/README U GiNaC/AUTHORS U GiNaC/COPYING U GiNaC/ChangeLog U GiNaC/GiNaC.spec.in U GiNaC/INSTALL U GiNaC/Makefile.am U GiNaC/Makefile.in U GiNaC/NEWS U GiNaC/acinclude.m4 U GiNaC/aclocal.m4 U GiNaC/config.guess U GiNaC/config.h.in U GiNaC/config.sub U GiNaC/configure U GiNaC/configure.ac U GiNaC/depcomp U GiNaC/ginac-config.1.in U GiNaC/ginac-config.in U GiNaC/install-sh U GiNaC/ltmain.sh U GiNaC/missing U GiNaC/mkinstalldirs U GiNaC/ginac.m4 U GiNaC/GiNaC.spec U GiNaC/ginac/ginac.h U GiNaC/ginac/add.h U GiNaC/ginac/archive.h C GiNaC/ginac/basic.h U GiNaC/ginac/constant.h N GiNaC/ginac/container_suppl.h U GiNaC/ginac/ex.h U GiNaC/ginac/expair.h U GiNaC/ginac/expairseq.h U GiNaC/ginac/exprseq.h U GiNaC/ginac/fail.h U GiNaC/ginac/flags.h C GiNaC/ginac/function.h N GiNaC/ginac/hash_map.h U GiNaC/ginac/inifcns.h U GiNaC/ginac/lst.h U GiNaC/ginac/matrix.h U GiNaC/ginac/mul.h U GiNaC/ginac/ncmul.h U GiNaC/ginac/normal.h U GiNaC/ginac/numeric.h U GiNaC/ginac/operators.h U GiNaC/ginac/power.h U GiNaC/ginac/registrar.h U GiNaC/ginac/relational.h U GiNaC/ginac/pseries.h U GiNaC/ginac/structure.h C GiNaC/ginac/symbol.h U GiNaC/ginac/tinfos.h U GiNaC/ginac/assertion.h U GiNaC/ginac/version.h U GiNaC/ginac/idx.h U GiNaC/ginac/indexed.h U GiNaC/ginac/tensor.h U GiNaC/ginac/color.h U GiNaC/ginac/clifford.h U GiNaC/ginac/wildcard.h U GiNaC/ginac/print.h U GiNaC/ginac/symmetry.h U GiNaC/ginac/fderivative.h U GiNaC/ginac/Makefile.am U GiNaC/ginac/Makefile.in C GiNaC/ginac/input_lexer.cc C GiNaC/ginac/input_parser.cc C GiNaC/ginac/input_parser.h U GiNaC/ginac/version.h.in U GiNaC/ginac/add.cpp U GiNaC/ginac/archive.cpp U GiNaC/ginac/basic.cpp U GiNaC/ginac/constant.cpp U GiNaC/ginac/ex.cpp U GiNaC/ginac/expair.cpp U GiNaC/ginac/expairseq.cpp U GiNaC/ginac/exprseq.cpp U GiNaC/ginac/fail.cpp U GiNaC/ginac/function.cpp U GiNaC/ginac/inifcns.cpp U GiNaC/ginac/inifcns_trans.cpp U GiNaC/ginac/inifcns_zeta.cpp U GiNaC/ginac/inifcns_gamma.cpp N GiNaC/ginac/inifcns_nstdsums.cpp U GiNaC/ginac/matrix.cpp U GiNaC/ginac/mul.cpp U GiNaC/ginac/normal.cpp U GiNaC/ginac/numeric.cpp U GiNaC/ginac/operators.cpp U GiNaC/ginac/power.cpp U GiNaC/ginac/registrar.cpp U GiNaC/ginac/relational.cpp U GiNaC/ginac/symbol.cpp U GiNaC/ginac/pseries.cpp U GiNaC/ginac/utils.cpp U GiNaC/ginac/ncmul.cpp U GiNaC/ginac/structure.cpp U GiNaC/ginac/exprseq_suppl.cpp U GiNaC/ginac/lst.cpp U GiNaC/ginac/lst_suppl.cpp U GiNaC/ginac/input_parser.yy U GiNaC/ginac/input_lexer.ll U GiNaC/ginac/input_lexer.h U GiNaC/ginac/remember.h U GiNaC/ginac/remember.cpp U GiNaC/ginac/utils.h U GiNaC/ginac/idx.cpp U GiNaC/ginac/indexed.cpp U GiNaC/ginac/tensor.cpp U GiNaC/ginac/color.cpp U GiNaC/ginac/clifford.cpp U GiNaC/ginac/wildcard.cpp U GiNaC/ginac/print.cpp U GiNaC/ginac/symmetry.cpp U GiNaC/ginac/fderivative.cpp U GiNaC/ginac/tostring.h U GiNaC/ginac/container.pl C GiNaC/ginac/function.pl U GiNaC/ginac/structure.pl U GiNaC/ginsh/Makefile.am U GiNaC/ginsh/Makefile.in U GiNaC/ginsh/ginsh.1.in C GiNaC/ginsh/ginsh_lexer.cc U GiNaC/ginsh/ginsh_parser.cc U GiNaC/ginsh/ginsh_parser.h U GiNaC/ginsh/ginsh_parser.yy U GiNaC/ginsh/ginsh_lexer.ll U GiNaC/ginsh/ginsh.h U GiNaC/ginsh/ginsh_extensions.h U GiNaC/ginsh/ginsh_fcn_help.sed U GiNaC/ginsh/ginsh_op_help.sed U GiNaC/tools/Makefile.am U GiNaC/tools/Makefile.in U GiNaC/tools/viewgar.1.in U GiNaC/tools/viewgar.cpp U GiNaC/check/Makefile.am U GiNaC/check/Makefile.in U GiNaC/check/check_numeric.cpp U GiNaC/check/check_inifcns.cpp U GiNaC/check/check_matrices.cpp U GiNaC/check/check_lsolve.cpp U GiNaC/check/genex.cpp U GiNaC/check/checks.cpp U GiNaC/check/checks.h U GiNaC/check/exam_paranoia.cpp U GiNaC/check/exam_numeric.cpp U GiNaC/check/exam_powerlaws.cpp U GiNaC/check/exam_inifcns.cpp N GiNaC/check/exam_inifcns_nstdsums.cpp N GiNaC/check/exam_inifcns_nstdsums.h U GiNaC/check/exam_differentiation.cpp U GiNaC/check/exam_polygcd.cpp U GiNaC/check/exam_normalization.cpp U GiNaC/check/exam_pseries.cpp U GiNaC/check/exam_matrices.cpp U GiNaC/check/exam_lsolve.cpp U GiNaC/check/exam_indexed.cpp U GiNaC/check/exam_color.cpp U GiNaC/check/exam_clifford.cpp U GiNaC/check/exam_archive.cpp N GiNaC/check/exam_hashmap.cpp U GiNaC/check/exam_misc.cpp U GiNaC/check/exams.cpp U GiNaC/check/exams.h U GiNaC/check/time_dennyfliegner.cpp U GiNaC/check/time_gammaseries.cpp U GiNaC/check/time_vandermonde.cpp U GiNaC/check/time_toeplitz.cpp N GiNaC/check/time_hashmap.cpp U GiNaC/check/time_lw_A.cpp U GiNaC/check/time_lw_B.cpp U GiNaC/check/time_lw_C.cpp U GiNaC/check/time_lw_D.cpp U GiNaC/check/time_lw_E.cpp U GiNaC/check/time_lw_F.cpp U GiNaC/check/time_lw_G.cpp U GiNaC/check/time_lw_H.cpp U GiNaC/check/time_lw_IJKL.cpp U GiNaC/check/time_lw_M1.cpp U GiNaC/check/time_lw_M2.cpp U GiNaC/check/time_lw_N.cpp U GiNaC/check/time_lw_O.cpp U GiNaC/check/time_lw_P.cpp U GiNaC/check/time_lw_Pprime.cpp U GiNaC/check/time_lw_Q.cpp U GiNaC/check/time_lw_Qprime.cpp U GiNaC/check/time_antipode.cpp U GiNaC/check/time_fateman_expand.cpp U GiNaC/check/timer.cpp U GiNaC/check/times.cpp U GiNaC/check/times.h U GiNaC/check/exams.ref U GiNaC/check/checks.ref U GiNaC/check/times.ref U GiNaC/check/run_exams U GiNaC/check/run_checks U GiNaC/check/run_times U GiNaC/doc/Makefile.am U GiNaC/doc/Makefile.in U GiNaC/doc/tutorial/Makefile.am U GiNaC/doc/tutorial/Makefile.in U GiNaC/doc/tutorial/mdate-sh U GiNaC/doc/tutorial/stamp-vti U GiNaC/doc/tutorial/texinfo.tex U GiNaC/doc/tutorial/version.texi U GiNaC/doc/tutorial/ginac.texi U GiNaC/doc/tutorial/classhierarchy.fig U GiNaC/doc/tutorial/repnaive.fig U GiNaC/doc/tutorial/reppair.fig U GiNaC/doc/tutorial/repreal.fig U GiNaC/doc/tutorial/classhierarchy.txt U GiNaC/doc/tutorial/repnaive.txt U GiNaC/doc/tutorial/reppair.txt U GiNaC/doc/tutorial/repreal.txt U GiNaC/doc/tutorial/ginac.info U GiNaC/doc/tutorial/ginac.info-1 U GiNaC/doc/tutorial/ginac.info-2 U GiNaC/doc/tutorial/ginac.info-3 U GiNaC/doc/tutorial/ginac.info-4 U GiNaC/doc/tutorial/ginac.info-5 U GiNaC/doc/reference/Makefile.am U GiNaC/doc/reference/Makefile.in U GiNaC/doc/reference/DoxyfileHTML U GiNaC/doc/reference/DoxyfileTEX U GiNaC/doc/reference/Doxyfooter 8 conflicts created by this import. Use the following command to help the merge: cvs checkout -jRB:yesterday -jRB GiNaC

1 0

purrs/src Recurrence.cc Recurrence.defs.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 11:41:00 Modified files: src : Recurrence.cc Recurrence.defs.hh Log message: In the method `compute_exact_solution()' substituted the chain of `if-else' with a `switch' on 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…

1 0

purrs demos/purrs_rrs_cgi.cc src/Recurrence.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 09:53:34 Modified files: demos : purrs_rrs_cgi.cc src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh compute_exact_solution.cc rr_classifier.cc tests : rrs_driver.cc Log message: Several changes in the structure of the Recurrence. Now the enumerate Solver_Status has only three values: enum Solver_Status { SUCCESS, TOO_COMPLEX, CLASSIFICATION_FAIL }; All the other cases are stored in the enumerate Classifier_Status: enum Classifier_Status { CLASSIFICATION_OK, INDETERMINATE_RECURRENCE, HAS_NON_INTEGER_DECREMENT, HAS_NEGATIVE_DECREMENT, HAS_HUGE_DECREMENT, HAS_NULL_DECREMENT, UNSOLVABLE_RECURRENCE, MALFORMED_RECURRENCE, DOMAIN_ERROR, CLASSIFICATION_COMPLEX, NOT_CLASSIFIED_YET }; Changes in several files in according with the new enumerate types. These changes show a serious problem with the recurrence 1060 in heap. 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/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/compute_exact_solution.… 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/src Expr.cc Expr.defs.hh Recurrence.cc R ...
by Tatiana Zolo 06 Nov '03

06 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-06 11:14:57 Modified files: src : Expr.cc Expr.defs.hh Recurrence.cc Recurrence.inlines.hh finite_order.cc Log message: Renamed `has_x_function_only_ic()' in `has_symbolic_initial_conditions()'. 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/Recurrence.cc.diff?cvsr… 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/finite_order.cc.diff?cv…

1 0

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

06 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-06 10:32:27 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Improved the documentation and added some comments. 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/Recurrence.inlines.hh.d…

1 0

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

05 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-05 11:17:18 Modified files: doc : definitions.dox Log message: Added two definitions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/definitions.dox.diff?cv…

1 0

purrs/src Recurrence.defs.hh
by Tatiana Zolo 05 Nov '03

05 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-05 11:16:57 Modified files: src : Recurrence.defs.hh Log message: Added several comments in the class Recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

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

04 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-04 17:05:20 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in user-browse.doxyconf-latex.in user-print.doxyconf-latex.in user.doxyconf-html.in Log message: Setted `REPEAT_BRIEF' to YES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/devref-browse.doxyconf-… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/devref-print.doxyconf-l… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/devref.doxyconf-html.in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/user-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/user-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/user.doxyconf-html.in.d…

1 0

purrs doc/definitions.dox src/Expr.defs.hh src ...
by Tatiana Zolo 04 Nov '03

04 Nov '03

1 0

purrs/doc devref.tex gpl.dox user.tex
by Tatiana Zolo 04 Nov '03

04 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-04 11:26:08 Modified files: doc : devref.tex gpl.dox user.tex Log message: Substituted every occurrence of `ppl' or `Parma Polyhedra Library' with `purrs' or `Parma University's Recurrence Relation Solver'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/devref.tex.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/gpl.dox.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/user.tex.diff?cvsroot=p…

1 0