- GiNaC-devel - ginac.de

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-717-gdcb735fe
by Stefan Weinzierl 09 Jun '21

09 Jun '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 dcb735feae4c3a6962a7824e03b0ce4496e3ffe7 (commit) from ef7787a325ea1f272ea08d78f2b86c48b6b2b286 (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 dcb735feae4c3a6962a7824e03b0ce4496e3ffe7 Author: Stefan Weinzierl <weinzierl(a)uni-mainz.de> Date: Wed Jun 9 14:10:23 2021 +0200 Bug fix in the routine H_evalf (a minus sign should not be forgotten). This bug was reported by Bin Zhou. ----------------------------------------------------------------------- Summary of changes: ginac/inifcns_nstdsums.cpp | 4 +++- 1 file changed, 3 insertions(+), 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-716-gef7787a3
by Richard B. Kreckel 06 Jun '21

06 Jun '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 ef7787a325ea1f272ea08d78f2b86c48b6b2b286 (commit) via 7e268ccc7dc68f4e1ca3452f95951b9e8a76f03e (commit) from 3956eb4456d23f7ba937d9b2b726c1b6eac64530 (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 ef7787a325ea1f272ea08d78f2b86c48b6b2b286 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Sun Jun 6 14:48:00 2021 +0200 Add simple exam test for releational objects. commit 7e268ccc7dc68f4e1ca3452f95951b9e8a76f03e Author: Vladimir V. Kisil <V.Kisilv(a)leeds.ac.uk> Date: Sun Jun 6 14:00:50 2021 +0200 Smarter relational to Boolean conversion. If a relational contains symbolic entries we look to ex::info to decide whether it can be converted to true value. ----------------------------------------------------------------------- Summary of changes: check/.gitignore | 2 + check/CMakeLists.txt | 1 + check/Makefile.am | 4 ++ check/exam_relational.cpp | 135 ++++++++++++++++++++++++++++++++++++++++++++++ ginac/relational.cpp | 55 ++++++++++++------- 5 files changed, 178 insertions(+), 19 deletions(-) create mode 100644 check/exam_relational.cpp hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

A smarter relational to Boolean conversion
by Vladimir V. Kisil 06 Jun '21

06 Jun '21

Dear All, I am attaching a small patch. With it the following conversions from relational to Boolean will become "true" from the current "false": realsymbol x("x"); possymbol p("p"); cout << bool(p>0) << endl; cout << bool(abs(x)>=0) << endl; 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

2 3

[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