- GiNaC-devel - ginac.de

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-714-g3956eb44
by Richard B. Kreckel 05 Apr '21

05 Apr '21

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 3956eb4456d23f7ba937d9b2b726c1b6eac64530 (commit) via 3d7b9dad7f51c748b52e53ce2f759ae432531de1 (commit) via 7805dc0c2358b7774ad08cd443cd945cbd940749 (commit) from be11202909f8014b213065ca85272af403a530f1 (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 3956eb4456d23f7ba937d9b2b726c1b6eac64530 Author: Vladimir V. Kisil <V.Kisilv(a)leeds.ac.uk> Date: Mon Apr 5 21:01:30 2021 +0200 [PATCH] Improve normalisation of negative exponents. If an expression contains exponents with opposite signs, then the respective symbolic substitutions need to be properly attributed to numerator/denominator slots. commit 3d7b9dad7f51c748b52e53ce2f759ae432531de1 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Apr 5 20:57:34 2021 +0200 Add exam for ex::collect(). commit 7805dc0c2358b7774ad08cd443cd945cbd940749 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Apr 5 20:46:55 2021 +0200 [PATCH] Make ex::operator[] const dispatch to basic::operator[] const. It turned out that ex::operator[] const dispatched to non-const basic::operator[] because * member variable ex::bp is non-const and * ptr<T>::operator*() returns a non-const T &. As a result, indexing failed for multiply referenced objects. Thanks to Vitaly Magerya <vmagerya(a)gmail.com> for reporting this. ----------------------------------------------------------------------- Summary of changes: check/.gitignore | 1 + check/CMakeLists.txt | 1 + check/Makefile.am | 4 ++ check/exam_collect.cpp | 152 +++++++++++++++++++++++++++++++++++++++++++ check/exam_normalization.cpp | 20 ++++++ check/exam_paranoia.cpp | 22 +++++++ ginac/ex.h | 4 +- ginac/normal.cpp | 10 ++- 8 files changed, 209 insertions(+), 5 deletions(-) create mode 100644 check/exam_collect.cpp hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Improving normalisation with negative exponents
by Vladimir V. Kisil 30 Mar '21

30 Mar '21

Dear All, With version 1.8.0 of GiNaC the following code realsymbol x("x"); ex e = (exp(2*t)-exp(-2*t))/(exp(t)-exp(-t)); cout << e.normal() << endl; will through an exception terminate called after throwing an instance of 'std::logic_error' what(): heur_gcd: not an integer polynomial [1] The reason is that internally e will be converted to something like (symbol457^2-symbol457^(-2))/(symbol457 - 1/symbol457) with non-polynomial numerator and denominator. I am attaching a patch which will fix this issue. Some additional tests are included as well. Best wishes, Vladimir -- 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/MoebInv-notebooks

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-711-gbe112029
by Stefan Weinzierl 24 Mar '21

24 Mar '21

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 be11202909f8014b213065ca85272af403a530f1 (commit) from ab00a3f70e343eaf5ed242e20bd01da75849bc78 (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 be11202909f8014b213065ca85272af403a530f1 Author: Stefan Weinzierl <weinzierl(a)uni-mainz.de> Date: Wed Mar 24 09:43:26 2021 +0100 G_do_hoelder: fix bug related to comparing a float with a rational number in CLN. This bug has been reported by Simone Zoia. ----------------------------------------------------------------------- Summary of changes: ginac/inifcns_nstdsums.cpp | 30 +++++++++++++++++------------- 1 file changed, 17 insertions(+), 13 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-710-gab00a3f7
by Richard B. Kreckel 26 Feb '21

26 Feb '21

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 ab00a3f70e343eaf5ed242e20bd01da75849bc78 (commit) from f271f67d2fc798079326e450bc0e53eb80fb2e96 (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 ab00a3f70e343eaf5ed242e20bd01da75849bc78 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Fri Feb 26 23:15:12 2021 +0100 Fix misleading comment in last commit. ----------------------------------------------------------------------- Summary of changes: ginac/exprseq.h | 2 +- ginac/lst.h | 2 +- 2 files changed, 2 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-709-gf271f67d
by Richard B. Kreckel 22 Feb '21

22 Feb '21

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 f271f67d2fc798079326e450bc0e53eb80fb2e96 (commit) from a569b4748e266ce318602e7b6a9c1f19a8c75bdf (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 f271f67d2fc798079326e450bc0e53eb80fb2e96 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Feb 3 14:40:49 2021 +0100 Avoid "instantiation of variable 'reg_info' required..." warning. With -Wundefined-var-template (on by default), CLang++ warns that no definition for the static 'reg_info' member variable is available. ----------------------------------------------------------------------- Summary of changes: ginac/exprseq.h | 3 +++ ginac/lst.h | 3 +++ 2 files changed, 6 insertions(+) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

3 4

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

22 Feb '21

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 a569b4748e266ce318602e7b6a9c1f19a8c75bdf (commit) via c3195f0b5a7ac9fdbfdd04e5f4acf6a836063de0 (commit) from 79f30c335f1ddbd3c76dfee5d76128b992b6b19c (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 a569b4748e266ce318602e7b6a9c1f19a8c75bdf Author: Alexey Sheplyakov <asheplyakov(a)altlinux.org> Date: Fri Jan 1 20:09:47 2021 +0400 bugfix: function: always pass evalf'ed arguments to evalf_funcp GiNaC passes unevaluted arguments to a function with evalf_funcp taking an exvector. Fixed that, and added a test case commit c3195f0b5a7ac9fdbfdd04e5f4acf6a836063de0 Author: Alexey Sheplyakov <asheplyakov(a)altlinux.org> Date: Wed Jan 6 11:20:46 2021 +0400 Avoid multiple definitions of `lst::info` (MinGW compile fix) [55/59] Linking CXX shared library bin/libginac.dll FAILED: bin/libginac.dll ginac/libginac.dll.a [skipped long list of object files] /usr/bin/x86_64-w64-mingw32-ld: ginac/CMakeFiles/ginac.dir/lst.cpp.obj: in function `GiNaC::ptr<GiNaC::basic>::~ptr()': /home/asheplyakov/work/sw/ginac/_build_w64/../ginac/container.h:150: multiple definition of `GiNaC::container<std::__cxx11::list>::info(unsigned int) const'; ginac/CMakeFiles/ginac.dir/integration_kernel.cpp.obj:/home/asheplyakov/work/sw/ginac/_build_w64/../ginac/container.h:116: first defined here integration_kernel.cpp makes use of GiNaC::lst without including the `lst.h` header. That's possible since there's a typedef in `registrar.h` (included by virtually all GiNaC sources) and a defintion in `container.h` (included via `add.h` -> `expairseq.h` -> `indexed.h` -> `exprseq.h`), so the compiler can instantiate container<std::list>. However the explicit specialization of `lst::info` is not available (in integration_kernel.cpp). This violates 17.8.3.6 [templ.expl.spec] which demands If a template, a member template or a member of a class template is explicitly specialized then that specialization shall be declared before the first use of that specialization that would cause an implicit instantiation to take place, in every translation unit in which such a use occurs; no diagnostic is required. If the program does not provide a definition for an explicit specialization and either the specialization is used ina way that would cause an implicit instantiation to take place or the member is a virtual member function, the program is ill-formed, no diagnostic required. On ELF platforms libginac appears to link just fine despite having two instantiations of `lst::info` since the of them (in `integration_kernel.o`) is a weak symbol: $ find ginac -type f -name '*.o' | xargs -n 1 nm --print-file-name --defined | c++filt | grep -e 'list>::info(' ginac/CMakeFiles/ginac.dir/integration_kernel.cpp.o:0000000000000000 W GiNaC::container<std::__cxx11::list>::info(unsigned int) const ginac/CMakeFiles/ginac.dir/lst.cpp.o:0000000000000000 T GiNaC::container<std::__cxx11::list>::info(unsigned int) const so the linker discards the wrong instantiation of `lst::info` method. However on MinGW there are no weak symbols (in ELF sense): $ find ginac -type f -name '*.obj' | xargs -n 1 x86_64-w64-mingw32-nm --print-file-name --defined | c++filt | grep -e 'list>::info(' ginac/CMakeFiles/ginac.dir/lst.cpp.obj:0000000000000010 T GiNaC::container<std::__cxx11::list>::info(unsigned int) const ginac/CMakeFiles/ginac.dir/integration_kernel.cpp.obj:0000000000000000 T GiNaC::container<std::__cxx11::list>::info(unsigned int) const Hence the above multiple definition error. To avoid the problem #include "lst.h" (so explicit specialization is available). While at it explicitly instantiate lst::info method in lst.cpp A better solution would be to remove declaration of lst from registrar.h, but that's too disruptive since GiNaC uses lst a lot: subs, unarchive, etc. ----------------------------------------------------------------------- Summary of changes: check/CMakeLists.txt | 4 +- check/Makefile.am | 4 ++ check/exam_function_exvector.cpp | 116 +++++++++++++++++++++++++++++++++++++++ ginac/function.cppy | 2 +- ginac/integration_kernel.h | 1 + ginac/lst.cpp | 1 + ginac/lst.h | 1 + 7 files changed, 127 insertions(+), 2 deletions(-) create mode 100644 check/exam_function_exvector.cpp hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

3 6

A few bugfixes (function::evalf, MinGW)
by Alexey Sheplyakov 06 Jan '21

06 Jan '21

Dear Richard, could you please pull from git://github.com/asheplyakov/ginac.git bugfixes-20210106 There are two fixes: 1) MinGW compile fix (avoid multiple definitions of lst::info) 2) function::evalf fix (pass evalf'ed parameters to evalf_func which takes arguments as an exvector) Best regards, Alexey

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-706-g79f30c33
by Richard B. Kreckel 01 Jan '21

01 Jan '21

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 79f30c335f1ddbd3c76dfee5d76128b992b6b19c (commit) from 38129d5d3880156f6f217f94855553bf4549a960 (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 79f30c335f1ddbd3c76dfee5d76128b992b6b19c Author: Richard Kreckel <kreckel(a)ginac.de> Date: Fri Jan 1 20:33:09 2021 +0100 Fix minimum CLN version for pkg-config. ----------------------------------------------------------------------- Summary of changes: ginac.pc.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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-705-g38129d5d
by Richard B. Kreckel 01 Jan '21

01 Jan '21

1 0

GiNaC 1.8.0 released
by Richard B. Kreckel 15 Oct '20

15 Oct '20

Hi, GiNaC 1.8.0 has just been tagged. Here are the news: * New routines for the numerical evaluation of iterated integrals like elliptic multiple polylogarithms or iterated integrals of modular forms. * Stronger normalization methods for expressions with powers. Where this is safe, GiNaC now tries replacing various kinds of powers in order to find and cancel common subexpressions. * Improved CMake build. Stay healthy, and happy hacking! -richy. -- Richard B. Kreckel <https://in.terlu.de/~kreckel/>

1 0