- GiNaC-devel - ginac.de

[SCM] GiNaC -- a C++ library for symbolic computations tag, release_1-8-3, created. release_1-4-0-736-g216162e0
by Richard B. Kreckel 23 Mar '22

23 Mar '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 tag, release_1-8-3 has been created at 216162e0b1a746a67f6c674b6bb30407306f1453 (commit) - Log ----------------------------------------------------------------- commit 216162e0b1a746a67f6c674b6bb30407306f1453 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Mar 23 21:33:55 2022 +0100 Finalize 1.8.3 release. ----------------------------------------------------------------------- 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-736-g216162e0
by Richard B. Kreckel 23 Mar '22

23 Mar '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 216162e0b1a746a67f6c674b6bb30407306f1453 (commit) via aed514f534cc6b4438822c1fcf80c203a828a94c (commit) from b98ef824450d2897f5ea8f5254d614e6f8148d33 (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 216162e0b1a746a67f6c674b6bb30407306f1453 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Mar 23 21:33:55 2022 +0100 Finalize 1.8.3 release. commit aed514f534cc6b4438822c1fcf80c203a828a94c Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Mar 23 21:21:48 2022 +0100 Fix power::subs() in some special cases. In some cases, after subs'ing in basis and exponent, an extra substitution was performed. This could lead to messed-up final results because, e.g. substituting x==1/x in 1/x evaluated to x, but then another substitution x==1/x was performed. Reported by Feng Feng <f.feng(a)outlook.com>. ----------------------------------------------------------------------- Summary of changes: NEWS | 5 +++++ check/exam_misc.cpp | 18 ++++++++++++++++ doc/tutorial/ginac.texi | 2 +- ginac/power.cpp | 2 +- ginac/version.h | 4 ++-- m4/ax_cxx_compile_stdcxx.m4 | 51 +++++++++++++++++++++++++++++++++++++++++---- m4/host-cpu-c-abi.m4 | 8 +++---- m4/lib-ld.m4 | 6 +++--- m4/lib-link.m4 | 19 +++-------------- m4/lib-prefix.m4 | 15 ++++++------- 10 files changed, 90 insertions(+), 40 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

web page
by Richard B. Kreckel 07 Mar '22

07 Mar '22

Hi, We've long protested against software patentability on the GiNaC web site. In my opinion it is now time to shift focus. I have removed the Anti Software Patents Demonstration and propose to replace it with this text tomorrow morning: Call for the End of War in Ukraine The pursuit of truth is a unifying element of all scientists. And science thrives best in international cooperation. Scientists and developers from many countries, including Russia and Ukraine, have contributed to GiNaC. Without these contributions, it would not be what it is today. We strongly support the call for peace [1]. We must make the Russian government understand the value and prospect of peaceful cooperation – they must end this war now and re-enable cooperation on all fields. Let's make science, not war! [1] <https://trv-science.ru/2022/02/we-are-against-war-all/> (Russian translation to follow.) I am posting this here to avoid some contributor being offended. I am also fully aware that this may be considered off-topic. If so, you're welcome to voice this here. -richy. -- Richard B. Kreckel <https://in.terlu.de/~kreckel/>

2 2

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