January 2003 - PURRS-devel - BUGSENG Mailman

purrs src/simplify.cc tests/simpl_tests
by Tatiana Zolo 28 Jan '03

28 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-28 10:49:28 Modified files: src : simplify.cc tests : simpl_tests Log message: Improved simplifications for logarithms. Patches: 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/tests/simpl_tests.diff?cvsr…

1 0

GiNaC/ginac basic.h function.h symbol.h tostring.h
by Roberto Bagnara 27 Jan '03

27 Jan '03

CVSROOT: /cvs/GiNaC Module name: GiNaC Changes by: roberto(a)cs.unipr.it 2003-01-27 19:45:52 Modified files: ginac : basic.h function.h symbol.h tostring.h Log message: Changes from GiNaC 1.0.13 merged. 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/symbol.h.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/GiNaC/ginac/tostring.h.diff?cvsro…

1 0

Import
by Roberto Bagnara 27 Jan '03

27 Jan '03

CVSROOT: /cvs/GiNaC Module name: GiNaC Changes by: roberto(a)cs.unipr.it 2003-01-27 19:37:24 Log message: GiNaC 1.0.13 imported. Status: Vendor Tag: RB Release Tags: GINAC_1_0_13 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 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 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 U GiNaC/ginac/input_lexer.cc U GiNaC/ginac/input_parser.cc U 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 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 C GiNaC/ginac/tostring.h U GiNaC/ginac/container.pl U 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 U 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 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 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 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 4 conflicts created by this import. Use the following command to help the merge: cvs checkout -jRB:yesterday -jRB GiNaC

1 0

purrs/src util.cc
by Tatiana Zolo 27 Jan '03

27 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-27 12:24:40 Modified files: src : util.cc Log message: Fixed temporarily a problem about polynomials because the behavior of the PURRS methods is different from the behavior of the GiNaC methods about this argument. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0

purrs src/rr_classifier.cc tests/heap
by Tatiana Zolo 27 Jan '03

27 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-27 11:30:44 Modified files: src : rr_classifier.cc tests : heap Log message: Recurrences with parameters in the argument of the function x are too complex (for the moment). Patches: 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/heap.diff?cvsroot=pur…

1 0

purrs/tests rrs_driver.cc
by Tatiana Zolo 27 Jan '03

27 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-27 11:28:18 Modified files: tests : rrs_driver.cc Log message: Initial conditions containing floating point numbers in the right hand side are illegal. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs src/Recurrence.defs.hh src/rr_classifier ...
by Tatiana Zolo 26 Jan '03

26 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-27 00:11:46 Modified files: src : Recurrence.defs.hh rr_classifier.cc tests : heap rrs_driver.cc Log message: Added the enumerate MALFORMED_RECURRENCE to `enum Solver_Status'. Improved `classification_summand()' and `classification_recurrence()' so the system can catch also the first cases of malformed recurrences. In the file heap marked with `M' some recurrences. 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_classifier.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src util.hh util.cc compute_bounds.cc co ...
by Tatiana Zolo 26 Jan '03

26 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-26 23:56:59 Modified files: src : util.hh util.cc compute_bounds.cc compute_exact_solution.cc Log message: Renamed the function `find_parameters()' in `has_parameters()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu… 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/compute_bounds.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…

1 0

purrs/src Expr.defs.hh Expr.cc
by Tatiana Zolo 26 Jan '03

26 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-26 22:51:14 Modified files: src : Expr.defs.hh Expr.cc Log message: Added the method 'Expr::has_floating_point_numbers()'. 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/Expr.cc.diff?cvsroot=pu…

1 0

purrs/tests rrs_driver.cc
by Roberto Bagnara 26 Jan '03

26 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-26 19:15:03 Modified files: tests : rrs_driver.cc Log message: Production mode simplified and improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0