June 2019 - GiNaC-devel

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

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