- GiNaC-devel - ginac.de

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-673-gd1769802
by Richard B. Kreckel 03 Aug '20

03 Aug '20

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 d17698029e50bb0805ef70d299b58cf6f799e1d1 (commit) via d4ea19a525805e98ddbc8c88a4bb229763373c04 (commit) via 3563317bdfee90677c041bf1cb585ad220e9b7d3 (commit) via 4eff40dfafb72aeb484910c9ecef791b95332e9f (commit) from f1a824bb5b7535c26c75ef03615179680c0f9753 (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 d17698029e50bb0805ef70d299b58cf6f799e1d1 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Aug 3 20:45:53 2020 +0200 Finalize 1.7.11 release. commit d4ea19a525805e98ddbc8c88a4bb229763373c04 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Aug 3 20:44:09 2020 +0200 Add m4/host-cpu-c-abi.m4. This avoids warnings about gl_HOST_CPU_C_ABI_32BIT being m4_require'd but not m4_defun'd. commit 3563317bdfee90677c041bf1cb585ad220e9b7d3 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Aug 3 20:01:13 2020 +0200 Clean up check suite a little bit. Some tests in tiny test files are better moved elsewhere to reduce compile and link time. commit 4eff40dfafb72aeb484910c9ecef791b95332e9f Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Aug 3 19:20:56 2020 +0200 Remove obsolete debug #include file from factor.cpp. ----------------------------------------------------------------------- Summary of changes: NEWS | 3 + check/CMakeLists.txt | 2 - check/Makefile.am | 8 - check/check_mul_info.cpp | 14 - check/exam_factor.cpp | 52 ++-- check/exam_paranoia.cpp | 12 + check/factor_univariate_bug.cpp | 21 -- ginac/factor.cpp | 4 - ginac/version.h | 4 +- m4/host-cpu-c-abi.m4 | 664 ++++++++++++++++++++++++++++++++++++++++ 10 files changed, 703 insertions(+), 81 deletions(-) delete mode 100644 check/check_mul_info.cpp delete mode 100644 check/factor_univariate_bug.cpp create mode 100644 m4/host-cpu-c-abi.m4 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-669-gf1a824bb
by Richard B. Kreckel 03 Aug '20

03 Aug '20

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 f1a824bb5b7535c26c75ef03615179680c0f9753 (commit) via cdddbc6dcdabef73aeb20bb9b81e08dba92a235c (commit) from c2ef6cb074a85957bd684337552fe9d84451d307 (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 f1a824bb5b7535c26c75ef03615179680c0f9753 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Aug 3 18:20:27 2020 +0200 Make workarounds for sqrfree_yun() obsolete. Since Yun's algorithm is based on polynomial GCD, it only finds factors up to a unit. Callers shouldn't have to work around this, so sqrfree_yun() now does a final polynomial long division to compute the lost factor and fixes the result before returning. commit cdddbc6dcdabef73aeb20bb9b81e08dba92a235c Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Aug 3 18:09:30 2020 +0200 [BUGFIX] Fix factor_univariate(poly, x) for constant poly. The modular factorization fails to find a prime in this case, leading to an infinite loop. At least one caller (factor_sqrfree) happens to produce such constant polys in some cases. ----------------------------------------------------------------------- Summary of changes: check/exam_factor.cpp | 7 ++---- ginac/factor.cpp | 7 ++++-- ginac/normal.cpp | 70 ++++++++++++++++++++++++++++----------------------- 3 files changed, 46 insertions(+), 38 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Re: [GiNaC-devel] Sqrfree_parfrac Issue GiNaC
by Vladimir V. Kisil 02 Aug '20

02 Aug '20

Dear Konstantin, Many thanks for reporting the bug with a detailed description. I am attaching a patch to fix it. 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 ________________________________________ From: GiNaC-list <ginac-list-bounces(a)ginac.de> on behalf of Konstantin Leyde <konstantin.leyde(a)live.com> Sent: 22 July 2020 19:16 To: ginac-list(a)ginac.de Cc: vittorio del duca; Claude Duhr Subject: [GiNaC-list] Sqrfree_parfrac Issue GiNaC Hello, My name is Konstantin Leyde, and I am a master student in physics at the ETH Zurich. For my thesis project, I have been working with the GiNaC library, and I have encountered an issue with the partial fractioning (sqrfree_parfrac) routine: Unless I misunderstood the way the sqrfree_parfrac routine works, it appears that for special cases, the output of the sqrfree_parfrac routine misses a numerical prefactor for one term, and thus returns the wrong answer. Please find attached a pdf, that explains the problem in more detail. In this pdf (as well as separately) we have attached the code that shows the issue. Many thanks in advance, Best wishes, Konstantin

2 6

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-667-gc2ef6cb0
by Richard B. Kreckel 30 Jul '20

30 Jul '20

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 c2ef6cb074a85957bd684337552fe9d84451d307 (commit) from b773294dd380ae81056c3d37b647500aae738ea1 (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 c2ef6cb074a85957bd684337552fe9d84451d307 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Thu Jul 30 00:20:22 2020 +0200 [BUGFIX] factor_multivariate(): respect unit... ...if the content of polynomial isn't a number and needs to be factored. And while at it, reduce the scope of a local variable. ----------------------------------------------------------------------- Summary of changes: ginac/factor.cpp | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Power laws
by Vladimir V. Kisil 28 Jul '20

28 Jul '20

Dear All, I want to celebrate the 10th anniversary of this patch https://www.ginac.de/pipermail/ginac-devel/2009-October/001675.html by its re-submission. Since it was not objected since the original submission by anyone, it may be the time now to add this basic calculus-textbook rule to GiNaC. 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/ Jupyter (Colab): https://github.com/vvkisil/MoebInv-notebooks Jupyter (CodeOcean): https://codeocean.com/capsule/7952650/tree

3 8

Re: [GiNaC-devel] [GiNaC-list] 回复: issue about series involving positive symbol
by Vladimir V. Kisil 28 Jul '20

28 Jul '20

Dear Feng, Thanks for reporting this (rather severe) issue. I am attaching a patch to fix it. It also includes additional GiNaC self-check. Best wishes, Vladimir PS. The previous not yet committed bugfix is attached as well. -- 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 ________________________________________ From: GiNaC-list <ginac-list-bounces(a)ginac.de> on behalf of Feng Feng <f.feng(a)outlook.com> Sent: 27 July 2020 02:23 To: ginac-list(a)ginac.de Subject: [GiNaC-list] 回复: issue about series involving positive symbol I got a more compact case for this issue, by changing the in1 and in2 to ex in1 = reader("t^2/(3*m^2-t*m^2)/2"); ex in2 = reader("-(m^(-2)*(-3+t)^(-1)*t^2/2)"); sometimes we get the output: in1-in2 = 0 diff = 0 while, for some other times, we get the output: in1-in2 = 0 diff = 96*log(1/48) it seems that the sign of the log term has been changed. Best regards! Feng

2 1

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-666-gb773294d
by Richard B. Kreckel 27 Jul '20

27 Jul '20

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 b773294dd380ae81056c3d37b647500aae738ea1 (commit) via 1256fb73b64a1cdfb0838df06facbc1e8b2d5f83 (commit) from 8a7fb0be7ad81906946715f60916ff1d3400aabe (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 b773294dd380ae81056c3d37b647500aae738ea1 Author: Vladimir V. Kisil <V.Kisilv(a)leeds.ac.uk> Date: Mon Jul 27 21:03:42 2020 +0200 Fix bug in power::expand() with the overall coefficient. The negative sign of overall coefficient had been lost if a power base contained some sign-definite factors. commit 1256fb73b64a1cdfb0838df06facbc1e8b2d5f83 Author: Vladimir V. Kisil <V.Kisilv(a)leeds.ac.uk> Date: Mon Jul 27 20:58:27 2020 +0200 Fix of a bug in sqrfree_parfrac() related to Yun factorisation. Yun's algorithm does not account for constant factors, thus sqrfree_parfrac() dropped such factors in partial fractions. ----------------------------------------------------------------------- Summary of changes: check/exam_paranoia.cpp | 39 +++++++++++++++++++++++++++++++++++++++ ginac/normal.cpp | 18 +++++++++++------- ginac/power.cpp | 5 +++-- 3 files changed, 53 insertions(+), 9 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Release 1.7.10
by Richard B. Kreckel 28 Jun '20

28 Jun '20

Hi, GiNaC 1.7.10 has just been released. The changes are: * Fix collect_common_factors() for hidden zero arguments. * Fix build on modern systems (C++20 and Python3). Take care! -richy. -- Richard B. Kreckel <https://in.terlu.de/~kreckel/>

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-664-g8a7fb0be
by Richard B. Kreckel 28 Jun '20

28 Jun '20

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 8a7fb0be7ad81906946715f60916ff1d3400aabe (commit) from 1193f765c62171a4267ef0138ecc22c875a7daf4 (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 8a7fb0be7ad81906946715f60916ff1d3400aabe Author: Richard Kreckel <kreckel(a)ginac.de> Date: Sun Jun 28 19:33:38 2020 +0200 Finalize 1.7.10 release. ----------------------------------------------------------------------- Summary of changes: NEWS | 4 ++ ginac/version.h | 4 +- m4/lib-ld.m4 | 163 ++++++++++++++++++++++++++++++++++++------------------- m4/lib-link.m4 | 21 +++---- m4/lib-prefix.m4 | 135 ++++++++++++++++++++++++++------------------- 5 files changed, 201 insertions(+), 126 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-663-g1193f765
by Richard B. Kreckel 28 Jun '20

28 Jun '20

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 1193f765c62171a4267ef0138ecc22c875a7daf4 (commit) via e937cf43540a47c8163a3f590b2415487a7b8f0a (commit) from 5f7f81ad35a80e12c6a9a2272e3882387732be4f (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 1193f765c62171a4267ef0138ecc22c875a7daf4 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Sun Jun 28 17:21:33 2020 +0200 Add exam for exam_common_factors. Including a case involving a hidden zero to catch errors like the one fixed in 5f7f81ad35a, as suggested by Alexey Sheplyakov <asheplyakov(a)yandex.ru>. commit e937cf43540a47c8163a3f590b2415487a7b8f0a Author: Richard Kreckel <kreckel(a)ginac.de> Date: Sun Jun 28 16:07:30 2020 +0200 [build] Check for python3 command, not python. PEP 394 does not require the python command to be installed. ----------------------------------------------------------------------- Summary of changes: check/CMakeLists.txt | 1 + check/Makefile.am | 4 +++ check/exam_collect_common_factors.cpp | 59 +++++++++++++++++++++++++++++++++++ configure.ac | 8 ++--- 4 files changed, 68 insertions(+), 4 deletions(-) create mode 100644 check/exam_collect_common_factors.cpp hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0