October 2002 - PURRS-devel - BUGSENG Mailman

purrs/src Expr.cc rr_solver.cc simplify.cc
by Tatiana Zolo 31 Oct '02

31 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-31 14:13:09 Modified files: src : Expr.cc rr_solver.cc simplify.cc Log message: Used method `is_a_number(Number&)' instead of `is_a_number()'. 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/rr_solver.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/tests Makefile.am
by Tatiana Zolo 31 Oct '02

31 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-31 14:09:56 Modified files: tests : Makefile.am Log message: Temporarily commented out check-local on eqs_driver. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsr…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh
by Tatiana Zolo 31 Oct '02

31 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-31 14:07:29 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: Added the method `bool is_a_number(Number& n) const'. 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.inlines.hh.diff?cv…

1 0

purrs/src Expr.defs.hh Expr.cc gosper.cc rr_so ...
by Tatiana Zolo 31 Oct '02

31 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-31 09:47:04 Modified files: src : Expr.defs.hh Expr.cc gosper.cc rr_solver.cc util.cc util.hh Log message: The three functions `is_scalar_representation', `is_polynomial' and `is_rational_function' have become const publics methods of class Expr. 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… 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/rr_solver.cc.diff?cvsro… 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

[Fwd: Re: Missing namespace qualification in GiNaC 1.0.12]
by Roberto Bagnara 30 Oct '02

30 Oct '02

-------- Original Message -------- Subject: Re: Missing namespace qualification in GiNaC 1.0.12 Date: Wed, 30 Oct 2002 19:18:52 +0100 From: Christian Bauer <cbauer(a)zino.physik.uni-mainz.de> Reply-To: ginac-list(a)zino.physik.uni-mainz.de To: ginac-list(a)zino.physik.uni-mainz.de References: <3DC013C9.6080508(a)cs.unipr.it> Hi! On Wed, Oct 30, 2002 at 06:15:53PM +0100, Roberto Bagnara wrote: > It seems the patch below was not included in 1.0.12. > > #define is_ex_the_function(OBJ, FUNCNAME) \ > ! (GiNaC::is_exactly_a<GiNaC::function>(OBJ) && GiNaC::ex_to<GiNaC::function>(OBJ).get_serial() == function_index_##FUNCNAME) > > #define is_ex_the_function(OBJ, FUNCNAME) \ > ! (GiNaC::is_exactly_a<GiNaC::function>(OBJ) && GiNaC::ex_to<GiNaC::function>(OBJ).get_serial() == GiNaC::function_index_##FUNCNAME) The function_index_* are not necessarily in the GiNaC namespace (only for functions defined by GiNaC itself), so this patch would break is_ex_the_function() for user-defined functions. Forcing function_index_* into the GiNaC namespace doesn't seem to be possible in C++. I can't think of any solution that wouldn't break binary compatibility. In GiNaC 1.1, the situation is slightly improved: the function_index_* are replaced by *_SERIAL classes which at least allows you to prefix the function name with a namespace qualifier when using is_ex_the_function(). The ideal solution would be to convert is_ex_the_function() into a proper template function (a la is_a<>() etc.), but this would require having classes with the same identifier as functions (e.g. "class sin" which in some way holds the serial number, and "sin()" which constructs a function object) which also doesn't appear to be possible (well, gcc 3.x didn't accept it...). If you have any clever solution for this, I'd be happy to hear it. Bye, Christian -- / Coding on PowerPC and proud of it \/ http://www.uni-mainz.de/~bauec002/ -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

Missing namespace qualification in GiNaC 1.0.12
by Roberto Bagnara 30 Oct '02

30 Oct '02

It seems the patch below was not included in 1.0.12. Was the problem fixed in a different way? All the best Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it diff -c -d -r1.1.1.1 function.h *** ginac/function.h 29 Sep 2002 13:26:57 -0000 1.1.1.1 --- ginac/function.h 29 Sep 2002 14:02:48 -0000 *************** *** 416,422 **** } #define is_ex_the_function(OBJ, FUNCNAME) \ ! (GiNaC::is_exactly_a<GiNaC::function>(OBJ) && GiNaC::ex_to<GiNaC::function>(OBJ).get_serial() == function_index_##FUNCNAME) } // namespace GiNaC --- 416,422 ---- } #define is_ex_the_function(OBJ, FUNCNAME) \ ! (GiNaC::is_exactly_a<GiNaC::function>(OBJ) && GiNaC::ex_to<GiNaC::function>(OBJ).get_serial() == GiNaC::function_index_##FUNCNAME) } // namespace GiNaC

1 0

Import
by Roberto Bagnara 30 Oct '02

30 Oct '02

CVSROOT: /cvs/GiNaC Module name: GiNaC Changes by: roberto(a)cs.unipr.it 2002-10-30 18:01:02 Log message: Import of GiNaC 1.0.12 Status: Vendor Tag: RB Release Tags: GINAC_1_0_12 U GiNaC/README U GiNaC/stamp-h.in 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 U 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 U 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 U 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 U 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 No conflicts created by this import

1 0

purrs/src gosper.cc
by Tatiana Zolo 30 Oct '02

30 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-30 13:04:49 Modified files: src : gosper.cc Log message: Removed a FIXME. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=…

1 0

purrs/tests heap
by Tatiana Zolo 30 Oct '02

30 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-30 12:55:10 Modified files: tests : heap Log message: Changed `E' with `n' in the recurrence 3*x(n+5)-x(3*n-9)+a. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 30 Oct '02

30 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-30 12:43:46 Modified files: src : rr_solver.cc Log message: Removed a FIXME. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0