- GiNaC-devel - ginac.de

Erasing-inserting exhashmap
by Vladimir V. Kisil 22 Sep '19

22 Sep '19

Dear All, I have an issue with exhashmap, namely repeated erasing-insertion of elements eventually become trapped in an infinite loop in lines 487-491 of hash_map.h. Here is a sample code: #include <ginac/ginac.h> using namespace GiNaC; int main() { exhashmap<ex> M; M[realsymbol("x")] =1; int N= 30; for (int i =0; i < N; ++i ) { realsymbol a("a"); M[a]=numeric(i); M.erase(a); } return 0; } With this value of N the infinite loop appears on my computer with a probability around 40%. With larger values of N an infinite loop is almost certain. Did I miss something? Best wishes, Vladimir PS Also just to check that my patch for archiving empty lists from Sep 10 is not lost. -- Vladimir V. Kisil http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Transformations http://goo.gl/EaG2Vu Software: Geometry of cycles http://moebinv.sourceforge.net/ Jupyter (Colab): https://github.com/vvkisil/MoebInv-notebooks Jupyter (CodeOcean): http://doi.org/10.24433/CO.9934595.v3

2 2

evalf() on cube roots
by Jan Rheinländer 21 Sep '19

21 Sep '19

Picking up this old thread... I would like to submit a patch that allows choosing the convention for negative cube roots between the solution on the principal branch and the real-valued solution. That is, in the cln library, file complex/transcendental/cl_C_expt_C.cc I would like to handle the following case separately: y rational and y ratio m/n x rational and x < 0 n odd What about introducing a flag called (e.g.) cln::cl_odd_roots_of_rationals_real (similar to cln::cl_inhibit_floating_point_underflow)? If the flag is false (default), the above case evaluates to exp(log(x) * y) as before If the flag is true, it evaluates to (-1)^m * (-x)^(m/n) Would such a patch be acceptable? Greetings, Jan Rheinländer Am 02.08.2015 um 21:55 schrieb Richard B. Kreckel: > On 08/02/2015 08:59 PM, Jan Rheinländer wrote: >>> There isn't. GiNaC, like almost all other systems, returns the solution >>> on the principal branch, compatible with exp(log(-1)/3). >> I suppose there is some excellent mathematical reason for this... > Actually, there isn't. Branch cuts are a matter of convention. > Nothing more but also nothing less. > >> but for >> me it means that I can't use GiNaC to verify Cardano's formula for a >> cubic function: >> >>> x = (-1 - sqrt(2))^(1/3) + (-1 + sqrt(2))^(1/3); >> (-1-sqrt(2))^(1/3)+(-1+sqrt(2))^(1/3) >> >>> evalf(x^3 + 3 * x + 2); >> 3.3544445609126528848+8.9073474964875349776*I >> >> Surely there must be a way to verify such a formula in GiNaC??? > It should be straightforward to replace such rational expressions by the > form you want them to be in before calling evalf(), using techniques > such as these: <http://www.ginac.de/FAQ.html#advanced> > > Cheers > -richy.

2 2

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-634-g452e51c8
by Richard B. Kreckel 10 Sep '19

10 Sep '19

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 452e51c8a3b84c368ae3ba2e60dacbc1985e7b5c (commit) from ab655d5afacd562f817cfc4ca821ab61c7de2188 (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 452e51c8a3b84c368ae3ba2e60dacbc1985e7b5c Author: Richard Kreckel <kreckel(a)ginac.de> Date: Tue Sep 10 23:40:22 2019 +0200 Complete documentation regarding Python 3 requirement. This was missed in the last commit. ----------------------------------------------------------------------- Summary of changes: INSTALL.CMake | 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-633-gab655d5a
by Richard B. Kreckel 10 Sep '19

10 Sep '19

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 ab655d5afacd562f817cfc4ca821ab61c7de2188 (commit) from 6def7b34955b8ed51e20ccca7d3d702bc2e9dca4 (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 ab655d5afacd562f817cfc4ca821ab61c7de2188 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Tue Sep 10 23:29:07 2019 +0200 Convert shebangs to python3. PEP 394 does not require the python command to be installed. ----------------------------------------------------------------------- Summary of changes: INSTALL | 5 ++--- ginac/function.py | 2 +- ginsh/CMakeLists.txt | 4 ++-- ginsh/ginsh_fcn_help.py | 2 +- ginsh/ginsh_op_help.py | 2 +- scripts/fixupind.py | 2 +- scripts/yaptu.py | 6 +++--- 7 files changed, 11 insertions(+), 12 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

remove_dirac_ONE() and documentation patches
by Vladimir V. Kisil 09 Jun '19

09 Jun '19

Dear All, I am sending three patches for consideration. First two add some details to the GiNaC tutorial. The third one replaces remove_dirac_ONE() from the clifford.cpp. Currently remove_dirac_ONE() uses exceptions in normal operation to terminate a chain of recurrent calls. Some people would say that exceptions are evil, but this did not cause problems until I try to make a port for another evil---Windows. The exceptions in remove_dirac_ONE() terminated a Qt Windows application although the same code smoothly run under Linux. Thus I re-write remove_dirac_ONE() without exceptions. The signature of the method has to change, but a user may not notice this in the first approximation. Some respective alterations to the tutorial and the check suit are made as well. Best wishes, Vladimir -- Vladimir V. Kisil http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Transformations http://goo.gl/EaG2Vu Software: Geometry of cycles http://moebinv.sourceforge.net/

2 10

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-632-g6def7b34
by Richard B. Kreckel 09 Jun '19

09 Jun '19

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 6def7b34955b8ed51e20ccca7d3d702bc2e9dca4 (commit) via d0c8e8408c0eb669dc3d314b675ee8dd0f56c8f4 (commit) from b16d5b34f40c9dcd6bd4f9e1fdeeb65cb1612db3 (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 6def7b34955b8ed51e20ccca7d3d702bc2e9dca4 Author: Vladimir V. Kisil <kisilv(a)maths.leeds.ac.uk> Date: Sun Jun 9 18:40:58 2019 +0200 [DOC] Additional examples on number conversions. Some aspects of these methods are not obvious for newbies. Signed-off-by: Vladimir V. Kisil <kisilv(a)maths.leeds.ac.uk> commit d0c8e8408c0eb669dc3d314b675ee8dd0f56c8f4 Author: Vladimir V. Kisil <kisilv(a)maths.leeds.ac.uk> Date: Sun Jun 9 18:36:49 2019 +0200 [DOC] Suggest ios::binary flag for archiving files. Without the flag locales setting of the OS tempers the file structure. Signed-off-by: Vladimir V. Kisil <kisilv(a)maths.leeds.ac.uk> ----------------------------------------------------------------------- Summary of changes: doc/tutorial/ginac.texi | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Patch multiple zeta values
by Stefan Weinzierl 04 Jun '19

04 Jun '19

Dear all, attached are two patches related to https://www.ginac.de/pipermail/ginac-list/2019-May/002265.html https://www.ginac.de/pipermail/ginac-list/2019-May/002266.html The first patch fixes the segmentation fault, the second patch improves the performance. Best wishes, Stefan

2 1

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-630-gb16d5b34
by Richard B. Kreckel 04 Jun '19

04 Jun '19

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 b16d5b34f40c9dcd6bd4f9e1fdeeb65cb1612db3 (commit) via 77e95cad2b4785275505a9c60e328d2a05bdc8fc (commit) from 393c7d5716ae5bb76ce2f518dfd52f27b1bc6414 (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 b16d5b34f40c9dcd6bd4f9e1fdeeb65cb1612db3 Author: Stefan Weinzierl <weinzierl(a)uni-mainz.de> Date: Tue Jun 4 10:21:10 2019 +0200 Fix slow numerical computation of zeta({7,3}). The bug was reported by Vitaly Magerya <vmagerya(a)gmail.com>, see <https://www.ginac.de/pipermail/ginac-list/2019-May/002265.html>. commit 77e95cad2b4785275505a9c60e328d2a05bdc8fc Author: Stefan Weinzierl <weinzierl(a)uni-mainz.de> Date: Tue Jun 4 10:11:14 2019 +0200 Fix crash computing zeta({7,3}) numerically. The bug was reported by Vitaly Magerya <vmagerya(a)gmail.com>, see <https://www.ginac.de/pipermail/ginac-list/2019-May/002265.html>. ----------------------------------------------------------------------- Summary of changes: ginac/inifcns_nstdsums.cpp | 20 ++++++++++++++++---- 1 file changed, 16 insertions(+), 4 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-628-g393c7d57
by Richard B. Kreckel 03 May '19

03 May '19

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 393c7d5716ae5bb76ce2f518dfd52f27b1bc6414 (commit) from f7884835d397de85e648d1957c058b7d4c0948ba (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 393c7d5716ae5bb76ce2f518dfd52f27b1bc6414 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Fri May 3 21:14:20 2019 +0200 [DOC] Change library order in tutorial example. Some systems care about library ordering: Dependent libraries must be linked last. Let's link with -lginac before -lcln in the example so it will work on any system, even on Windows. ----------------------------------------------------------------------- Summary of changes: doc/tutorial/ginac.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Release 1.7.6
by Richard B. Kreckel 22 Apr '19

22 Apr '19

Hi, A new GiNaC version has just been released. The changes are: * Fix a bug in mul::series() about asymptotic order term. * Fix cl_N code generation for small negative integers. * Fix multiple polylog computation related to trailing zeros and user-specified signs for small imaginary parts. * Fix CMake build with Python3. Happy Easter! -richy.

1 0