-------- 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
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
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
