- GiNaC-devel - ginac.de

Mysterious push_front()
by Jan Rheinländer 06 Mar '22

06 Mar '22

Hi, sometimes GiNaCs templates are a mystery to me. In container.h there is the code template<template<classT, class= std::allocator<T>> classC> container<C> & container<C>::prepend(constex & b) { ensure_if_modifiable(); this->seq.push_front(b); return*this; } but AFAIK the STL does not have any push_front() method. And GiNaC does not seem to define it either. How can this work? Same applies for pop_front() and sort() voidsort_(std::input_iterator_tag) { this->seq.sort(ex_is_less()); } Jan Rheinländer

2 8

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-734-gb98ef824
by Richard B. Kreckel 17 Feb '22

17 Feb '22

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, master has been updated via b98ef824450d2897f5ea8f5254d614e6f8148d33 (commit) from 1d3bdf85b4343f29a73a47481e4adc0eff0daff8 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit b98ef824450d2897f5ea8f5254d614e6f8148d33 Author: Jan Rheinländer <jrheinlaender(a)gmx.de> Date: Wed Feb 16 23:57:36 2022 +0100 Work around a compiler bug on MSVC. The two 'reg_info' declarations introduced in f271f67d2f turned out to confuse MSVC: It thinks that these declarations are definitions and then complains about a missing default ctor (error C2512) and about duplicate definitions later in the .cpp files (error C2766). But the standard says in [temp.expl.spec] §13: An explicit specialization of a static data member of a template or an explicit specialization of a static data member template is a definition if the declaration includes an initializer; otherwise, it is a declaration. [Note: The definition of a static data member of a template that requires default-initialization must use a braced-init- list: template<> X Q<int>::x; // declaration template<> X Q<int>::x (); // error: declares a function template<> X Q<int>::x { }; // definition --end note] There is no initializer at lst.h:35 and at exprseq.h:35. Hence, this is merely a declaration and the compiler's error message is wrong. Let's work around by #ifndef'ing the two lines for silly MSVC. ----------------------------------------------------------------------- Summary of changes: ginac/exprseq.h | 2 ++ ginac/lst.h | 2 ++ 2 files changed, 4 insertions(+) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Re: [GiNaC-devel] Another MSVC error
by Jan Rheinländer 16 Feb '22

16 Feb '22

Hi Richard, > Can you, please, try to explicitly delete the default ctors instead? > Find a patch attached. the patch leads to lst.h(35): error C2280: 'GiNaC::class_info<GiNaC::registered_class_options>::class_info(void)': attempting to reference a deleted function class_info.h(48): note: see declaration of 'GiNaC::class_info<GiNaC::registered_class_options>::class_info' class_info.h(48): note: 'GiNaC::class_info<GiNaC::registered_class_options>::class_info(void)': function was explicitly deleted exprseq.h(35): error C2280: 'GiNaC::class_info<GiNaC::registered_class_options>::class_info(void)': attempting to reference a deleted function class_info.h(48): note: see declaration of 'GiNaC::class_info<GiNaC::registered_class_options>::class_info' class_info.h(48): note: 'GiNaC::class_info<GiNaC::registered_class_options>::class_info(void)': function was explicitly deleted But since these two lines are exactly those two which we need to #ifdef away because of the C2766 error, both errors can be resolved by a simple patch: diff --git a/ginac/exprseq.h b/ginac/exprseq.h index dea1e38e..61a2527d 100644 --- a/ginac/exprseq.h +++ b/ginac/exprseq.h @@ -32,7 +32,10 @@namespace GiNaC { typedef container<std::vector> exprseq; /** Declaration of container::reg_info for exprseq. */ +#ifndef _MSC_VER +// Avoid exprseq.cpp(27): error C2766: explicit specialization; 'reg_info' has already been defined template<> registered_class_info exprseq::reg_info; +#endif // defined in exprseq.cpp template<> bool exprseq::info(unsigned inf) const; diff --git a/ginac/lst.h b/ginac/lst.h index 6b047c69..415abd03 100644 --- a/ginac/lst.h +++ b/ginac/lst.h @@ -32,7 +32,10 @@namespace GiNaC { typedef container<std::list> lst; /** Declaration of container::reg_info for lst. */ +#ifndef _MSC_VER +// Avoid lst.cpp(28): error C2766: explicit specialization; 'reg_info' has already been defined template<> registered_class_info lst::reg_info; +#endif /** Specialization of container::get_default_flags() for lst. */ template<> inline unsigned lst::get_default_flags() { return status_flags::not_shareable; } This compiles and all checks pass. By the way, both declaration and definition in lst.h/cpp and exprseq.h/cpp seem to be superfluous, since even without them all tests also pass successfully... Jan

2 1

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-733-g1d3bdf85
by Richard B. Kreckel 15 Feb '22

15 Feb '22

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, master has been updated via 1d3bdf85b4343f29a73a47481e4adc0eff0daff8 (commit) from 81a091fc1240ee9a15702f627edd3348c6f131da (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 1d3bdf85b4343f29a73a47481e4adc0eff0daff8 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Tue Feb 15 22:07:25 2022 +0100 Fix some compiler warnings. ----------------------------------------------------------------------- Summary of changes: check/exam_matrices.cpp | 2 +- doc/examples/compile1.cpp | 4 ++-- ginac/clifford.cpp | 4 ++-- ginac/normal.cpp | 29 ++++++++++++++--------------- 4 files changed, 19 insertions(+), 20 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Another MSVC error
by Jan Rheinländer 15 Feb '22

15 Feb '22

Here's another one, and I suspect it must be connected with the C2766. lst.h(35): error C2512: 'GiNaC::class_info<GiNaC::registered_class_options>': no appropriate default constructor available Because to fix this error, I supplied the requested default constructor in class_info.h line 48: class_info() {} which forces me to supply another default constructor class_info.h(48): error C2512: 'GiNaC::registered_class_options': no appropriate default constructor available registrar.h line 85: registered_class_options() {} and then the "no appropriate default constructor" errors go away but later on in the compile the C2766 turns up. Jan Rheinländer

2 1

MSVC error 2766
by Jan Rheinländer 14 Feb '22

14 Feb '22

Hi, when compiling GiNaC (latest version from git master) with MSVC (19.29.30139 for x64) it stumbles over the following code in lst.h/lst.cpp: lst.h line 35: template<> registered_class_info lst::reg_info; lst.cpp line 28: template <> GINAC_IMPLEMENT_REGISTERED_CLASS_OPT_T(lst, basic, print_func<print_context>(&lst::do_print). print_func<print_tree>(&lst::do_print_tree)) and says: lst.cpp(28): error C2766: explicit specialization; 'reg_info' has already been defined exprseq.h/.cpp has the same issue. A solution seems to be to remove the code in lst.cpp and replace the code in lst.h with it. That is lst.h: template <> GINAC_IMPLEMENT_REGISTERED_CLASS_OPT_T(lst, basic, print_func<print_context>(&lst::do_print). print_func<print_tree>(&lst::do_print_tree)) This compiles fine and all checks pass, but it does seem wrong to have the GINAC_IMPLEMENT_REGISTERED_CLASS_OPT_T in a header file. What is the right way to deal with this error? Thanks, Jan Rheinländer

2 3

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-732-g81a091fc
by Richard B. Kreckel 07 Feb '22

07 Feb '22

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, master has been updated via 81a091fc1240ee9a15702f627edd3348c6f131da (commit) via 37653ea61dd38d9d453d8931968730ca18b6534f (commit) from e87f68dd3b72faf632b7d247079c451e211460f3 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 81a091fc1240ee9a15702f627edd3348c6f131da Author: Vitaly Magerya <vmagerya(a)gmail.com> Date: Mon Feb 7 20:28:08 2022 +0100 [DOC] Add "series_to_poly" to ginsh man page. commit 37653ea61dd38d9d453d8931968730ca18b6534f Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Feb 7 20:26:21 2022 +0100 [DOC] Fix g++ argument order in tutorial example. ----------------------------------------------------------------------- Summary of changes: doc/tutorial/ginac.texi | 4 ++-- ginsh/ginsh.1.in | 3 +++ 2 files changed, 5 insertions(+), 2 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-730-ge87f68dd
by Richard B. Kreckel 06 Feb '22

06 Feb '22

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, master has been updated via e87f68dd3b72faf632b7d247079c451e211460f3 (commit) via bbf26776793ed172b0a300eff5202d40ca01c562 (commit) via b8900e7ec2ac5275ebd8ab1bec2803ee666352b8 (commit) from 9c577d1ff8a40e821d214ce875587edfd4325f23 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit e87f68dd3b72faf632b7d247079c451e211460f3 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Sun Feb 6 21:54:56 2022 +0100 [DOC] Replace obsolete @inforef with @xref command. commit bbf26776793ed172b0a300eff5202d40ca01c562 Author: Vladimir V. Kisil <V.Kisil(a)leeds.ac.uk> Date: Sun Feb 6 19:21:55 2022 +0100 [DOC] Fix typo in series_to_poly() documentation. commit b8900e7ec2ac5275ebd8ab1bec2803ee666352b8 Author: Vitaly Magerya <vmagerya(a)gmail.com> Date: Sun Feb 6 19:20:15 2022 +0100 Add "series_to_poly" to ginsh. ----------------------------------------------------------------------- Summary of changes: doc/tutorial/ginac.texi | 4 ++-- ginsh/ginsh_parser.ypp | 7 +++++++ 2 files changed, 9 insertions(+), 2 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Re: [GiNaC-devel] [GiNaC-list] Add series_to_poly to ginsh
by Vladimir V. Kisil 05 Feb '22

05 Feb '22

>>>>> On Fri, 4 Feb 2022 17:29:59 +0100, Vitaly Magerya <vmagerya(a)gmail.com> said: VM> Hi, all. Could we add "series_to_poly" to ginsh? It would make VM> operating on series easier; as it stands there's no way to VM> discard the Order() term in ginsh. VM> The patch is attached (does this list accept attachments?). I wish to add a line patching the typo in series_to_poly() documentation. BTW this method was missing from the PyGiNaC wrapper and is added now. -- Vladimir V. Kisil http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Maps https://doi.org/10.1142/p835 Soft: Geometry of cycles http://moebinv.sourceforge.net/ Jupyter notebooks: https://github.com/vvkisil?tab=repositories

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-727-g9c577d1f
by Stefan Weinzierl 15 Jan '22

15 Jan '22

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, master has been updated via 9c577d1ff8a40e821d214ce875587edfd4325f23 (commit) from f9450a587900dbd7265b7a1b9b3250a6d574bc13 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 9c577d1ff8a40e821d214ce875587edfd4325f23 Author: Stefan Weinzierl <weinzierl(a)uni-mainz.de> Date: Sat Jan 15 10:08:07 2022 +0100 exam_inifcns_nstdsums.cpp: prec set to 10*pow(10,-Digits) in inifcns_test_HLi to avoid sporadic make check failure. ----------------------------------------------------------------------- Summary of changes: check/exam_inifcns_nstdsums.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0