- GiNaC-devel - ginac.de

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-724-gcb885a6f
by Richard B. Kreckel 21 Dec '21

21 Dec '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 cb885a6f05aa4f93518c9ab7ee161c0a1b9f39d8 (commit) from 98424bb9699756d1eaf77f8a17b936f640c4083f (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 cb885a6f05aa4f93518c9ab7ee161c0a1b9f39d8 Author: Oleg Finkelshteyn <olegfink(a)gmail.com> Date: Tue Dec 21 10:02:29 2021 +0100 Fix relational::compare_same_type. A hash collision was needed to elicit this bug because basic::compare returns early without calling compare_same_type if hashes differ. Reported by Feng Feng <f.feng(a)outlook.com>. ----------------------------------------------------------------------- Summary of changes: check/exam_relational.cpp | 16 ++++++++++++++++ ginac/relational.cpp | 4 ++-- 2 files changed, 18 insertions(+), 2 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

[PATCH] Fix comparison ordering in relational.
by ovf 20 Dec '21

20 Dec '21

Reported by Feng Feng <f.feng(a)outlook.com> in https://www.ginac.de/pipermail/ginac-list/2021-December/002368.html --- check/exam_relational.cpp | 17 +++++++++++++++++ ginac/relational.cpp | 4 ++-- 2 files changed, 19 insertions(+), 2 deletions(-) diff --git a/check/exam_relational.cpp b/check/exam_relational.cpp index 3b652b05..f66911f3 100644 --- a/check/exam_relational.cpp +++ b/check/exam_relational.cpp @@ -94,6 +94,21 @@ static unsigned exam_relational_possymbol() return result; } +// Comparisons should maintain ordering invariants +static unsigned exam_relational_order() +{ + unsigned result = 0; + numeric i = 1ll<<32, j = i+1; + symbol a; + relational x = i==a, y = j==a; + if (x.compare(y) != -y.compare(x)) { + clog << "comparison should be antisymmetric." << endl; + result += 1; + } + + return result; +} + // Very simple arithmetic should be supported, too. static unsigned exam_relational_arith() { @@ -125,10 +140,12 @@ unsigned exam_relational() result += exam_relational_elementary(); cout << '.' << flush; result += exam_relational_possymbol(); cout << '.' << flush; result += exam_relational_arith(); cout << '.' << flush; + result += exam_relational_order(); cout << '.' << flush; return result; } + int main(int argc, char** argv) { return exam_relational(); diff --git a/ginac/relational.cpp b/ginac/relational.cpp index 599a2635..dbc541a3 100644 --- a/ginac/relational.cpp +++ b/ginac/relational.cpp @@ -223,8 +223,8 @@ int relational::compare_same_type(const basic & other) const return (o < oth.o) ? -1 : 1; break; } - const int lcmpval = lh.compare(oth.rh); - return (lcmpval!=0) ? lcmpval : rh.compare(oth.lh); + const int lcmpval = lh.compare(oth.lh); + return (lcmpval!=0) ? lcmpval : rh.compare(oth.rh); } bool relational::match_same_type(const basic & other) const -- 2.34.1

1 0

Re: [GiNaC-devel] [GiNaC-list] A strange behaviour while implementing archive in a user-defined class
by Vladimir V. Kisil 20 Dec '21

20 Dec '21

>>>>> On Mon, 20 Dec 2021 08:57:42 +0000, Oleg Finkelshteyn <olegfink(a)gmail.com> said: OF> i suspect this is actually due to a typo in OF> relational::compare_same_type. Thanks for spotting the source. It is worth to cross-post your patch to GiNaC-devel list. -- 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?tab=repositories ==================================================== diff --git a/ginac/relational.cpp b/ginac/relational.cpp index 599a2635..dbc541a3 100644 --- a/ginac/relational.cpp +++ b/ginac/relational.cpp @@ -223,8 +223,8 @@ int relational::compare_same_type(const basic & other) const return (o < oth.o) ? -1 : 1; break; } - const int lcmpval = lh.compare(oth.rh); - return (lcmpval!=0) ? lcmpval : rh.compare(oth.lh); + const int lcmpval = lh.compare(oth.lh); + return (lcmpval!=0) ? lcmpval : rh.compare(oth.rh); }

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-723-g98424bb9
by Richard B. Kreckel 05 Nov '21

05 Nov '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 98424bb9699756d1eaf77f8a17b936f640c4083f (commit) from 0c8ec5e01cc639bb431bfe66da8a4ee720ab3e9e (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 98424bb9699756d1eaf77f8a17b936f640c4083f Author: Richard Kreckel <kreckel(a)ginac.de> Date: Fri Nov 5 14:47:53 2021 +0100 Update and clean up autoconf template files. This is needed for compatibility with newer autoconf: * Removed macro GINAC_STD_CXX_HEADERS (we use AX_CXX_COMPILE_STDCXX). * Updated m4/* files from upstream. * Ran autoupdate on acinclude.m4 and configure.ac. Tested successfully with autoconf 1.69 and 1.71. ----------------------------------------------------------------------- Summary of changes: acinclude.m4 | 56 ++------------ configure.ac | 11 +-- m4/host-cpu-c-abi.m4 | 8 +- m4/lib-ld.m4 | 6 +- m4/lib-link.m4 | 169 ++++++++++++++++++++++++++---------------- m4/lib-prefix.m4 | 206 ++++++++++++++++++++++++++++++++++----------------- 6 files changed, 262 insertions(+), 194 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-722-g0c8ec5e0
by Stefan Weinzierl 09 Sep '21

09 Sep '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 0c8ec5e01cc639bb431bfe66da8a4ee720ab3e9e (commit) from 9197695fc88502b6a56c7270e824f73faa7749f9 (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 0c8ec5e01cc639bb431bfe66da8a4ee720ab3e9e Author: Stefan Weinzierl <weinzierl(a)uni-mainz.de> Date: Thu Sep 9 16:21:45 2021 +0200 Minor bug fix for the class modular_form_kernel: Ensure that the series-method includes an order term. ----------------------------------------------------------------------- Summary of changes: ginac/integration_kernel.cpp | 2 ++ 1 file changed, 2 insertions(+) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

GiNaC 1.8.1 released
by Richard B. Kreckel 09 Aug '21

09 Aug '21

Hi, GiNaC 1.8.1 has just been tagged. Here's what's new: * Add method relational::canonical() and improve conversion of relational to Boolean (it now works on many simple symbolic cases). * Improve normalization of negative exponents. * Fix indexing multiply referenced objects with ex::operator[]. * Make functions evalf() their arguments before doing own evalf(). * Fix bugs in H_evalf() and in evaluation of iterated integrals. * Several portability improvements and compiler warning fixes. If you aren't vaccinated, consider getting, and keep hacking! -richy. -- Richard B. Kreckel <https://in.terlu.de/~kreckel/>

1 0

[SCM] GiNaC -- a C++ library for symbolic computations tag, release_1-8-1, created. release_1-4-0-721-g9197695f
by Richard B. Kreckel 09 Aug '21

09 Aug '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 tag, release_1-8-1 has been created at 9197695fc88502b6a56c7270e824f73faa7749f9 (commit) - Log ----------------------------------------------------------------- commit 9197695fc88502b6a56c7270e824f73faa7749f9 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Aug 9 11:39:31 2021 +0200 Finalize 1.8.1 release. ----------------------------------------------------------------------- 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-721-g9197695f
by Richard B. Kreckel 09 Aug '21

09 Aug '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 9197695fc88502b6a56c7270e824f73faa7749f9 (commit) via cb1ab077ba8ef330a75f40cf78b21fabbb35fb62 (commit) via 11b9b59551913fc7cce475482548874504d9bf42 (commit) from d5a419b8517e3103087cceb3f6a9585b60e46543 (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 9197695fc88502b6a56c7270e824f73faa7749f9 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Aug 9 11:39:31 2021 +0200 Finalize 1.8.1 release. commit cb1ab077ba8ef330a75f40cf78b21fabbb35fb62 Author: Vladimir V. Kisil <V.Kisilv(a)leeds.ac.uk> Date: Sun Aug 8 16:18:31 2021 +0200 Add method relational::canonical(). It returns an equivalent relation with the zero right-hand side. commit 11b9b59551913fc7cce475482548874504d9bf42 Author: Vladimir V. Kisil <V.Kisilv(a)leeds.ac.uk> Date: Sun Aug 8 16:01:46 2021 +0200 [BUGFIX] Fix a bug in normal() method. Any function was confused with an exponent of the same argument during a normalisation of an expression. Example: normal(cos(x)/exp(x)) often returned 1 for realsymbol x. ----------------------------------------------------------------------- Summary of changes: NEWS | 9 +++++++++ doc/tutorial/ginac.texi | 20 +++++++++++++++++++- ginac/normal.cpp | 2 +- ginac/relational.cpp | 9 ++++++++- ginac/relational.h | 2 ++ ginac/version.h | 13 ++++++++----- m4/ax_cxx_compile_stdcxx.m4 | 15 +++++++++++++-- m4/host-cpu-c-abi.m4 | 21 ++++++++++++++++----- 8 files changed, 76 insertions(+), 15 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

BugFix: functions confused with exponent
by Vladimir V. Kisil 08 Aug '21

08 Aug '21

Dear All, Currently the following code in GiNaC realsymbol x("x"); cout << (cos(x)/exp(x)).normal() << endl; prints value 1 with probability 50% (and the unmodified expression otherwise). I am attaching a one-line patch to fix this silly bug. Also I am attaching a previous patch which was not commented so far. The new method may be helpful from time to time but its equivalent in a user code would be much more involved due to the private nature of the relation class members. 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 1

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-718-gd5a419b8
by Stefan Weinzierl 27 Jul '21

27 Jul '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 d5a419b8517e3103087cceb3f6a9585b60e46543 (commit) from dcb735feae4c3a6962a7824e03b0ce4496e3ffe7 (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 d5a419b8517e3103087cceb3f6a9585b60e46543 Author: Stefan Weinzierl <weinzierl(a)uni-mainz.de> Date: Tue Jul 27 20:55:54 2021 +0200 Bug fix in modular_form_kernel::is_numeric and modular_form_kernel::Laurent_series: Call the correct method to compute the series expansion. This bug has been reported by Christoph Dlapa. ----------------------------------------------------------------------- Summary of changes: ginac/integration_kernel.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0