From V.Kisil at leeds.ac.uk Tue Feb 7 10:38:41 2023
From: V.Kisil at leeds.ac.uk (Vladimir V. Kisil)
Date: Tue, 7 Feb 2023 09:38:41 +0000
Subject: [GiNaC-devel] [GiNaC-list] Segmentation Fault when calculate
cos(cos(1/2))
In-Reply-To: <SG2PR06MB48664CCF1B6534DDE3A6CB56BCDA9@SG2PR06MB4866.apcprd06.prod.outlook.com>
References: <SG2PR06MB48664CCF1B6534DDE3A6CB56BCDA9@SG2PR06MB4866.apcprd06.prod.outlook.com>
Message-ID: <176498.1675762719@elitebook.Home>
Dear Weng Zhanyang,
Thanks for reporting the bug, it was introduced by me. Although
expression like cos(numeric(1, 2)) is not a symbolic, it neither is
numeric in the sense of CLN library (as it is erroneously produced
now). I am attaching a patch to fix this.
Best wishes,
Vladimir
--
Vladimir V. Kisil http://www1.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?tab=repositories
>>>>> On Mon, 6 Feb 2023 13:23:55 +0000, ??? <cosine at pcbcos.xyz> said:
WZ> Dear GiNaC Team, When I tried to use GiNaC to calculate
WZ> cos(cos(1/2)),I got a Segmentation Fault. My environment is as
WZ> following: CPU: Intel i7-10750H Windows10 21H2 gcc version
WZ> 12.2.0 (MinGW-W64 x86_64-ucrt-posix-seh) GiNaC 1.8.5 CLN 1.3.6
WZ> GMP 6.2.1
WZ> ArchLinux(in VMwave) Kernel: 6.1.9-arch1-1 GiNaC 1.8.4 installed
WZ> by pacman CLN 1.3.6 installed by pacman gcc version 12.2.1
WZ> 20230111(GCC)
WZ> Relative code file is attached The program crash at line 8.I
WZ> tried to compile and run the same program at ArchLinux(GCC
WZ> 12.2.1 GiNaC 1.8.4 CLN 1.3.6),and also got a segmentation fault.
WZ> Besides , I tried to use ginsh to execute ?cos(cos(1/2));? in
WZ> ArchLinux ,it gave a error: Internal error: statement in file
WZ> float/misc/cl_F_extendsqrt.cc, line 30 has been reached!!
WZ> The same error also occurred at Windows,but it just exit without
WZ> the information above.
WZ> After that, I built some lower version of GiNaC in Windows10 and
WZ> re-run my code.I found the bug disappeared at GiNaC 1.8.3
WZ> . After reading the commit history I rollback
WZ> ginac\inifcns_trans.cpp to version 1.8.3 and rebuilt ,the bug
WZ> disappeared.
WZ> All my best,
WZ> -Weng Zhanyang.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Fix-wrong-numeric-info-on-transcendental-functions.patch
Type: text/x-diff
Size: 2252 bytes
Desc: Fix bug.patch
URL: <http://www.ginac.de/pipermail/ginac-devel/attachments/20230207/3eb8bfa4/attachment.bin>
From git at ginac.de Tue Feb 7 22:44:42 2023
From: git at ginac.de (Richard B. Kreckel)
Date: Tue, 7 Feb 2023 22:44:42 +0100 (CET)
Subject: [GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic
computations branch, master, updated. release_1-4-0-758-gf04b1642
Message-ID: <20230207214442.E376BD8129B@cebix.net>
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 f04b1642020867543dc89be6af68e6bef5928c79 (commit)
from 64f88ee6b3f55383013d73a22eb3bfce60234dcc (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 f04b1642020867543dc89be6af68e6bef5928c79
Author: Vladimir V. Kisil <V.Kisilv at leeds.ac.uk>
Date: Tue Feb 7 22:42:09 2023 +0100
[PATCH] Fix wrong numeric info on transcendental functions.
Although expression like cos(numeric(1, 2)) is not a symbolic, it
neither is numeric in the sense of CLN library. Without this patch
GiNaC crashes on expressions like cos(cos(ex(1)/ex(2))).
Thanks to Weng Zhanyang <cosine at pcbcos.xyz> for reporting this.
-----------------------------------------------------------------------
Summary of changes:
ginac/inifcns_trans.cpp | 6 ------
1 file changed, 6 deletions(-)
hooks/post-receive
--
GiNaC -- a C++ library for symbolic computations
From V.Kisil at leeds.ac.uk Tue Feb 7 23:38:03 2023
From: V.Kisil at leeds.ac.uk (Vladimir V. Kisil)
Date: Tue, 7 Feb 2023 22:38:03 +0000
Subject: [GiNaC-devel] [GiNaC-list] binomial coefficients
In-Reply-To: <288ba361-652b-5d91-750b-e68486f0e21e@mathematik.uni-stuttgart.de>
References: <288ba361-652b-5d91-750b-e68486f0e21e@mathematik.uni-stuttgart.de>
Message-ID: <263357.1675809453@elitebook.Home>
>>>>> On Tue, 7 Feb 2023 22:18:02 +0100, Marko Riedel <riedelmo at mathematik.uni-stuttgart.de> said:
MR> Greetings. I would like to point out that
MR> binomial(-5, -7)
MR> will produce a segmentation fault. Compare to Maple which says
MR> that when binomial(n,k) has k<0 but n-k>=0 we should use
MR> binomial(n, n-k) which gives 15 in this case.
If we want this feature to be added to GiNaC then the attached patch
may do it.
--
Vladimir V. Kisil http://www1.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?tab=repositories
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-Extend-applicability-of-binomial-evaluation.patch
Type: text/x-diff
Size: 1081 bytes
Desc: Binomials patch.patch
URL: <http://www.ginac.de/pipermail/ginac-devel/attachments/20230207/f9266d82/attachment.bin>
From git at ginac.de Wed Feb 8 00:07:36 2023
From: git at ginac.de (Richard B. Kreckel)
Date: Wed, 8 Feb 2023 00:07:36 +0100 (CET)
Subject: [GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic
computations branch, master, updated. release_1-4-0-759-gc07f8287
Message-ID: <20230207230737.9A17BD813CD@cebix.net>
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 c07f8287f91c473063166fde1ce33b3e32c6af5a (commit)
from f04b1642020867543dc89be6af68e6bef5928c79 (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 c07f8287f91c473063166fde1ce33b3e32c6af5a
Author: Richard Kreckel <kreckel at ginac.de>
Date: Wed Feb 8 00:03:06 2023 +0100
Fix numeric binomial(n, k) for integer n<0 and k???n...
...by instead returning binomial(n, n-k).
Suggested by Marko Riedel <riedelmo at mathematik.uni-stuttgart.de>.
-----------------------------------------------------------------------
Summary of changes:
ginac/numeric.cpp | 11 ++++++++---
1 file changed, 8 insertions(+), 3 deletions(-)
hooks/post-receive
--
GiNaC -- a C++ library for symbolic computations
From kreckel at in.terlu.de Wed Feb 8 00:10:20 2023
From: kreckel at in.terlu.de (Richard B. Kreckel)
Date: Wed, 8 Feb 2023 00:10:20 +0100
Subject: [GiNaC-devel] [GiNaC-list] binomial coefficients
In-Reply-To: <263357.1675809453@elitebook.Home>
References: <288ba361-652b-5d91-750b-e68486f0e21e@mathematik.uni-stuttgart.de>
<263357.1675809453@elitebook.Home>
Message-ID: <afc2edf8-90c1-c986-adfc-26825531a82e@in.terlu.de>
On 2/7/23 23:38, Vladimir V. Kisil wrote:
>>>>>> On Tue, 7 Feb 2023 22:18:02 +0100, Marko Riedel <riedelmo at mathematik.uni-stuttgart.de> said:
>
> MR> Greetings. I would like to point out that
>
> MR> binomial(-5, -7)
>
> MR> will produce a segmentation fault. Compare to Maple which says
> MR> that when binomial(n,k) has k<0 but n-k>=0 we should use
> MR> binomial(n, n-k) which gives 15 in this case.
>
> If we want this feature to be added to GiNaC then the attached patch
> may do it.
Oh, I just saw your patch too late. I guess it is equivalent to the one
I just pushed, but you're welcome to check, could you?
-richy.
From V.Kisil at leeds.ac.uk Wed Feb 8 08:42:56 2023
From: V.Kisil at leeds.ac.uk (Vladimir V. Kisil)
Date: Wed, 8 Feb 2023 07:42:56 +0000
Subject: [GiNaC-devel] [GiNaC-list] binomial coefficients
In-Reply-To: <afc2edf8-90c1-c986-adfc-26825531a82e@in.terlu.de>
References: <288ba361-652b-5d91-750b-e68486f0e21e@mathematik.uni-stuttgart.de>
<263357.1675809453@elitebook.Home>
<afc2edf8-90c1-c986-adfc-26825531a82e@in.terlu.de>
Message-ID: <267023.1675842142@elitebook.Home>
>>>>> On Wed, 8 Feb 2023 00:10:20 +0100, "Richard B. Kreckel" <kreckel at in.terlu.de> said:
RK> Oh, I just saw your patch too late. I guess it is equivalent to
RK> the one I just pushed, but you're welcome to check, could you?
Yes, indeed.
--
Vladimir V. Kisil http://www1.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?tab=repositories
From git at ginac.de Wed Feb 8 22:55:16 2023
From: git at ginac.de (Richard B. Kreckel)
Date: Wed, 8 Feb 2023 22:55:16 +0100 (CET)
Subject: [GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic
computations branch, master, updated. release_1-4-0-760-gd617c0fe
Message-ID: <20230208215516.9F3BCD813DD@cebix.net>
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 d617c0fe3491e2540d267b4bf9ff2b1bbd91fe11 (commit)
from c07f8287f91c473063166fde1ce33b3e32c6af5a (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 d617c0fe3491e2540d267b4bf9ff2b1bbd91fe11
Author: Richard Kreckel <kreckel at ginac.de>
Date: Wed Feb 8 22:42:03 2023 +0100
Finalize 1.8.6 release.
-----------------------------------------------------------------------
Summary of changes:
NEWS | 4 ++++
config/config.rpath | 6 +++---
ginac/version.h | 4 ++--
m4/host-cpu-c-abi.m4 | 2 +-
m4/lib-ld.m4 | 2 +-
m4/lib-link.m4 | 2 +-
m4/lib-prefix.m4 | 2 +-
7 files changed, 13 insertions(+), 9 deletions(-)
hooks/post-receive
--
GiNaC -- a C++ library for symbolic computations
From git at ginac.de Wed Feb 8 22:55:43 2023
From: git at ginac.de (Richard B. Kreckel)
Date: Wed, 8 Feb 2023 22:55:43 +0100 (CET)
Subject: [GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic
computations tag, release_1-8-6, created. release_1-4-0-760-gd617c0fe
Message-ID: <20230208215543.6468CD813E6@cebix.net>
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 tag, release_1-8-6 has been created
at d617c0fe3491e2540d267b4bf9ff2b1bbd91fe11 (commit)
- Log -----------------------------------------------------------------
commit d617c0fe3491e2540d267b4bf9ff2b1bbd91fe11
Author: Richard Kreckel <kreckel at ginac.de>
Date: Wed Feb 8 22:42:03 2023 +0100
Finalize 1.8.6 release.
-----------------------------------------------------------------------
hooks/post-receive
--
GiNaC -- a C++ library for symbolic computations
From kreckel at in.terlu.de Wed Feb 8 23:22:43 2023
From: kreckel at in.terlu.de (Richard B. Kreckel)
Date: Wed, 8 Feb 2023 23:22:43 +0100
Subject: [GiNaC-devel] GiNaC 1.8.6 released
Message-ID: <4dc55e7c-4db2-dc2c-3949-cfadfbf331f3@in.terlu.de>
Hi,
GiNaC 1.8.6 has been tagged and released.
The News:
* Fix wrong numeric info on transcendental functions.
* Fix crash of evaluation of binomial(n, k) with negative integer n, k.
Happy hacking!
-richy.
PS: If anyone knows how to push a commit together with the tags using
git, do let me know. Yes, I've googled it up and tried several things
but it never worked.
--
Richard B. Kreckel
<https://in.terlu.de/~kreckel/>
From V.Kisil at leeds.ac.uk Thu Feb 9 00:05:13 2023
From: V.Kisil at leeds.ac.uk (Vladimir V. Kisil)
Date: Wed, 8 Feb 2023 23:05:13 +0000
Subject: [GiNaC-devel] [GiNaC-list] GiNaC 1.8.6 released
In-Reply-To: <4dc55e7c-4db2-dc2c-3949-cfadfbf331f3@in.terlu.de>
References: <4dc55e7c-4db2-dc2c-3949-cfadfbf331f3@in.terlu.de>
Message-ID: <325285.1675897488@elitebook.Home>
>>>>> On Wed, 8 Feb 2023 23:22:43 +0100, "Richard B. Kreckel" <kreckel at in.terlu.de> said:
RK> PS: If anyone knows how to push a commit together with the tags
RK> using git, do let me know. Yes, I've googled it up and tried
RK> several things but it never worked.
I am not sure, that I have understood your question but I am pushing
commits to my repositories from git-gui: in the pop-up dialogue there
is a checkbox "with tags".
--
Vladimir V. Kisil http://www1.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?tab=repositories
From git at ginac.de Sun Feb 12 00:21:19 2023
From: git at ginac.de (Richard B. Kreckel)
Date: Sun, 12 Feb 2023 00:21:19 +0100 (CET)
Subject: [GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic
computations branch, master, updated. release_1-4-0-764-ge8bd7a51
Message-ID: <20230211232119.C2FE2D802AF@cebix.net>
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 e8bd7a51450cc03faf0225ac4850d925c51275b2 (commit)
via 5a12b12b8d65bf684dcebacf411ee2d5000c8104 (commit)
via 7ffad3308edc07133f86feef15725756e8366df2 (commit)
via 50f573ed75c3e65bf77bdd8412190f298bd9f702 (commit)
from d617c0fe3491e2540d267b4bf9ff2b1bbd91fe11 (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 e8bd7a51450cc03faf0225ac4850d925c51275b2
Author: Richard Kreckel <kreckel at ginac.de>
Date: Sun Feb 12 00:09:48 2023 +0100
[DOC] Fix build of reference.pdf.
This is obnoxious: It is 2023, the ??? character is in Unicode since
1993, and UTF-8 is ubiquitous. Yet, pdfLaTeX balks at this.
Maybe the right fix would be to switch to LuaLaTeX. Alas, that doesn't
seem to have reached the necessary maturity yet:
<https://tug.org/pipermail/luatex/2023-February/007799.html>
commit 5a12b12b8d65bf684dcebacf411ee2d5000c8104
Author: Richard Kreckel <kreckel at ginac.de>
Date: Sat Feb 11 23:27:21 2023 +0100
[DOC] Fix some Doxygen references.
commit 7ffad3308edc07133f86feef15725756e8366df2
Author: Richard Kreckel <kreckel at ginac.de>
Date: Sat Feb 11 18:51:08 2023 +0100
Revert "Work around Tex Live 2012 versus doxygen problem."
The bug seems to have disappeared many years ago, at least since
Debian 9 Stretch (ca. 2017).
This reverts commit af3801eb5e40bb3717bf207470252172a0af2559.
commit 50f573ed75c3e65bf77bdd8412190f298bd9f702
Author: Richard Kreckel <kreckel at ginac.de>
Date: Sat Feb 11 11:57:33 2023 +0100
[build] Fix a typo in configure.ac.
-----------------------------------------------------------------------
Summary of changes:
configure.ac | 2 +-
doc/CMakeLists.txt | 2 --
doc/reference/Makefile.am | 1 -
ginac/clifford.h | 9 +++++++--
ginac/ex.cpp | 2 ++
ginac/excompiler.h | 7 ++++---
ginac/factor.h | 2 +-
ginac/idx.h | 9 +++------
ginac/indexed.h | 30 ++++++++++--------------------
ginac/normal.cpp | 1 +
ginac/numeric.cpp | 2 +-
ginac/pseries.cpp | 3 +--
scripts/fixupind.py | 30 ------------------------------
13 files changed, 31 insertions(+), 69 deletions(-)
delete mode 100644 scripts/fixupind.py
hooks/post-receive
--
GiNaC -- a C++ library for symbolic computations
From V.Kisil at leeds.ac.uk Sun Feb 12 11:14:02 2023
From: V.Kisil at leeds.ac.uk (Vladimir V. Kisil)
Date: Sun, 12 Feb 2023 10:14:02 +0000
Subject: [GiNaC-devel] Compilation with MinGW on Windows
Message-ID: <22152.1676196816@zbook-hp.Home>
Dear All,
I am compiling GiNaC v1.8.6 on Windows using MinGW from Qt
distribution pack. The compilation stopped with the error:
factor.cpp:2397:75: error: ambiguous overload for 'operator=' (operand types are 'GiNaC::numeric' and 'long long unsigned int')
2397 | ctx.modulus = (ctx.vnlst.size() > 3) ? ctx.vnlst.size() : 3;
| ^
I was able to finish the compilation by replacing the line with:
ctx.modulus = (ctx.vnlst.size() > 3) ? ctx.vnlst.size() : numeric(3);
Just in case I am attaching this as patch.
Best wishes,
Vladimir
--
Vladimir V. Kisil http://www1.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?tab=repositories
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Resolve-ambiguous-overload.patch
Type: text/x-diff
Size: 911 bytes
Desc: GiNaC::factor.cpp patch.patch
URL: <http://www.ginac.de/pipermail/ginac-devel/attachments/20230212/3179e08a/attachment.bin>
From git at ginac.de Sun Feb 12 11:21:35 2023
From: git at ginac.de (Richard B. Kreckel)
Date: Sun, 12 Feb 2023 11:21:35 +0100 (CET)
Subject: [GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic
computations branch, master, updated. release_1-4-0-766-g58630902
Message-ID: <20230212102135.BA435D801E8@cebix.net>
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 586309024f43e28dee484e231e88b85bc2d646bc (commit)
via 28f00e9b987b857473ab4844fe86ff1f92905f0f (commit)
from e8bd7a51450cc03faf0225ac4850d925c51275b2 (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 586309024f43e28dee484e231e88b85bc2d646bc
Author: Vladimir V. Kisil <V.Kisilv at leeds.ac.uk>
Date: Sun Feb 12 11:20:47 2023 +0100
[PATCH] Resolve ambiguous overload.
It confuses MinGW compiler on Windows from Qt suit.
Signed-off-by: Vladimir V. Kisil <V.Kisilv at leeds.ac.uk>
commit 28f00e9b987b857473ab4844fe86ff1f92905f0f
Author: Richard Kreckel <kreckel at ginac.de>
Date: Sun Feb 12 00:41:47 2023 +0100
[DOC] Fix a typo.
-----------------------------------------------------------------------
Summary of changes:
AUTHORS | 4 ++--
ginac/factor.cpp | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
hooks/post-receive
--
GiNaC -- a C++ library for symbolic computations