- GiNaC-devel - ginac.de

[SCM] GiNaC -- a C++ library for symbolic computations branch master updated. release_1-4-0-791-gf0ffaf7e
by git service 15 May '25

15 May '25

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 f0ffaf7ecbd9a075168147ad09c4db1a4e8f2859 (commit) via 9b5635780149593876bb0d4a10516e8b2b59c36c (commit) via b9ba6927eca126c64406874120d8e1b95bee7896 (commit) from 97b3c165ba38a5c6dbed4091bd81962b2c4e124d (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 f0ffaf7ecbd9a075168147ad09c4db1a4e8f2859 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Thu May 15 21:06:38 2025 +0200 Finalize 1.8.9 release. commit 9b5635780149593876bb0d4a10516e8b2b59c36c Author: Richard Kreckel <kreckel(a)ginac.de> Date: Thu May 15 20:43:22 2025 +0200 Remove unused variable in Kronecker_dz_kernel method. commit b9ba6927eca126c64406874120d8e1b95bee7896 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Thu May 15 20:42:47 2025 +0200 Simplify random_modint functor a bit. ----------------------------------------------------------------------- Summary of changes: NEWS | 3 +++ ginac/integration_kernel.cpp | 1 - ginac/polynomial/smod_helpers.h | 16 +++++++--------- ginac/version.h | 4 ++-- 4 files changed, 12 insertions(+), 12 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

[SCM] GiNaC -- a C++ library for symbolic computations tag release_1-8-9 created. release_1-4-0-791-gf0ffaf7e
by git service 15 May '25

15 May '25

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-9 has been created at f0ffaf7ecbd9a075168147ad09c4db1a4e8f2859 (commit) - Log ----------------------------------------------------------------- commit f0ffaf7ecbd9a075168147ad09c4db1a4e8f2859 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Thu May 15 21:06:38 2025 +0200 Finalize 1.8.9 release. ----------------------------------------------------------------------- hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

request to fix download page
by American Citizen 01 May '25

01 May '25

Could someone please fix the broken links for the https page for ginac.git download? The link https://www.ginac.de/ginac.git/ on the Download page https://www.ginac.de/Download.html and the main page https://www.ginac.de/ is broken and result in a 404 Not Found error from either webpage. > > Not Found > > The requested URL was not found on this server. > > ------------------------------------------------------------------------ > Apache Server at www.ginac.de Port 443 > Thank you for your prompt attention to this matter, timestamp 1:27:02 PM PDT, Tuesday 29-April-2025

2 2

ginac-1.8.8/cln-1.3.7/gcc-15.1.0 test failures
by Andrey G. Grozin 30 Apr '25

30 Apr '25

Hello *, I've compiled cln-1.3.7 and ginac-1.8.8 by gcc-15.1.0 on Gentoo linux (I'm the maintainer of the ginal package in this distro). Everything's fine. But when I run ginac tests, I get x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../config -I./../ginac -I../ginac -DIN_GINAC -O2 -march=alderlake -mabm -mno-cldemote -mno-kl -mno-pconfig -mno-sgx -mno-widekl -mshstk --param=l1-cache-line-size=64 --param=l1-cache-size=32 --param=l2-cache-size=24576 -pipe -c -o exam_archive.o exam_archive.cpp exam_archive.cpp: In function ‘unsigned int numeric_complex_bug()’: exam_archive.cpp:104:17: error: reference to ‘complex’ is ambiguous 104 | complex(one, one), | ^~~~~~~ In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/15/include/g++-v15/tuple:40, from /usr/lib/gcc/x86_64-pc-linux-gnu/15/include/g++-v15/functional:55, from ./../ginac/ptr.h:29, from ./../ginac/basic.h:27, from ./../ginac/ginac.h:28, from exam_archive.cpp:23: /usr/lib/gcc/x86_64-pc-linux-gnu/15/include/g++-v15/bits/stl_pair.h:105:11: note: candidates are: ‘template<class _Tp> class std::complex’ 105 | class complex; | ^~~~~~~ In file included from ./../ginac/numeric.h:30, from ./../ginac/ginac.h:40: /usr/include/cln/complex.h:22:19: note: ‘const cln::cl_N cln::complex(const cl_R&, const cl_R&)’ 22 | extern const cl_N complex (const cl_R& a, const cl_R& b); | ^~~~~~~ exam_archive.cpp:105:17: error: reference to ‘complex’ is ambiguous 105 | complex(one, three_fp), | ^~~~~~~ /usr/lib/gcc/x86_64-pc-linux-gnu/15/include/g++-v15/bits/stl_pair.h:105:11: note: candidates are: ‘template<class _Tp> class std::complex’ 105 | class complex; | ^~~~~~~ /usr/include/cln/complex.h:22:19: note: ‘const cln::cl_N cln::complex(const cl_R&, const cl_R&)’ 22 | extern const cl_N complex (const cl_R& a, const cl_R& b); | ^~~~~~~ exam_archive.cpp:106:17: error: reference to ‘complex’ is ambiguous 106 | complex(three_fp, one), | ^~~~~~~ /usr/lib/gcc/x86_64-pc-linux-gnu/15/include/g++-v15/bits/stl_pair.h:105:11: note: candidates are: ‘template<class _Tp> class std::complex’ 105 | class complex; | ^~~~~~~ /usr/include/cln/complex.h:22:19: note: ‘const cln::cl_N cln::complex(const cl_R&, const cl_R&)’ 22 | extern const cl_N complex (const cl_R& a, const cl_R& b); | ^~~~~~~ exam_archive.cpp:107:17: error: reference to ‘complex’ is ambiguous 107 | complex(three_fp, three_fp) | ^~~~~~~ /usr/lib/gcc/x86_64-pc-linux-gnu/15/include/g++-v15/bits/stl_pair.h:105:11: note: candidates are: ‘template<class _Tp> class std::complex’ 105 | class complex; | ^~~~~~~ /usr/include/cln/complex.h:22:19: note: ‘const cln::cl_N cln::complex(const cl_R&, const cl_R&)’ 22 | extern const cl_N complex (const cl_R& a, const cl_R& b); | ^~~~~~~ exam_archive.cpp:108:9: error: could not convert ‘{<expression error>, <expression error>, <expression error>, <expression error>}’ from ‘<brace-enclosed initializer list>’ to ‘std::vector<cln::cl_N>’ 108 | }; | ^ | | | <brace-enclosed initializer list> Any ideas? Andrey

2 2

[SCM] GiNaC -- a C++ library for symbolic computations branch master updated. release_1-4-0-788-g97b3c165
by git service 30 Apr '25

30 Apr '25

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 97b3c165ba38a5c6dbed4091bd81962b2c4e124d (commit) from 528fe6ff1ec07b75edf4a320def79f72396ca7df (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 97b3c165ba38a5c6dbed4091bd81962b2c4e124d Author: Vladimir V. Kisil <V.Kisil(a)leeds.ac.uk> Date: Wed Apr 30 00:16:26 2025 +0200 [PATCH] Fix ambiguity in calling complex constructor (GCC 15). Reported by Andrey G. Grozin <A.G.Grozin(a)inp.nsk.su>. ----------------------------------------------------------------------- Summary of changes: check/exam_archive.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Patch for base of natural logarithm
by Jan Rheinländer 09 Feb '25

09 Feb '25

Hi, this is a patch to add the base of the natural logarithm as a new constant EulerNum, and ensure that log(EulerNum) evaluates to 1. Of course, exp(1) will do fine for calculations. But for printing, it is nicer to see e^x instead of exp(1)^x or 2.718^x. Hope this is useful. Jan --- ginac/constant.cpp | 5 +++++ ginac/constant.h | 1 + ginac/inifcns_trans.cpp | 3 +++ ginac/numeric.cpp | 5 +++++ ginac/numeric.h | 1 + ginsh/ginsh_lexer.lpp | 1 + 6 files changed, 16 insertions(+) diff --git a/ginac/constant.cpp b/ginac/constant.cpp index a89711ef..60af44bc 100644 --- a/ginac/constant.cpp +++ b/ginac/constant.cpp @@ -91,6 +91,8 @@ void constant::read_archive(const archive_node &n, lst &sym_lst) *this = Catalan; else if (s == Euler.name) *this = Euler; + else if (s == EulerNum.name) + *this = EulerNum; else throw (std::runtime_error("unknown constant '" + s + "' in archive")); } else @@ -254,4 +256,7 @@ const constant Euler("Euler", EulerEvalf, "\\gamma_E", domain::positive); /** Catalan's constant. (0.91597...) Diverts straight into CLN for evalf(). */ const constant Catalan("Catalan", CatalanEvalf, "G", domain::positive); +/** Base of the natural logarithm */ +const constant EulerNum("EulerNum", EulerNumEvalf, "\\mathit{e}", domain::positive); + } // namespace GiNaC diff --git a/ginac/constant.h b/ginac/constant.h index 92d07941..24839d46 100644 --- a/ginac/constant.h +++ b/ginac/constant.h @@ -82,6 +82,7 @@ GINAC_DECLARE_UNARCHIVER(constant); extern const constant Pi; extern const constant Catalan; extern const constant Euler; +extern const constant EulerNum; } // namespace GiNaC diff --git a/ginac/inifcns_trans.cpp b/ginac/inifcns_trans.cpp index 6f577bae..ef5f52f1 100644 --- a/ginac/inifcns_trans.cpp +++ b/ginac/inifcns_trans.cpp @@ -202,6 +202,9 @@ static ex log_eval(const ex & x) return log(ex_to<numeric>(x)); } + if (x.is_equal(EulerNum)) + return *_num1_p; + // log(exp(t)) -> t (if -Pi < t.imag() <= Pi): if (is_ex_the_function(x, exp)) { const ex &t = x.op(0); diff --git a/ginac/numeric.cpp b/ginac/numeric.cpp index 6da79977..addc012d 100644 --- a/ginac/numeric.cpp +++ b/ginac/numeric.cpp @@ -2515,6 +2515,11 @@ ex CatalanEvalf() return numeric(cln::catalanconst(cln::default_float_format)); } +/** Floating point evaluation of base of natural logarithm. */ +ex EulerNumEvalf() +{ + return exp(*_num1_p); // Suggestion by Vladimir Kisil on ginac-devel +} /** _numeric_digits default ctor, checking for singleton invariance. */ _numeric_digits::_numeric_digits() diff --git a/ginac/numeric.h b/ginac/numeric.h index 0673d9a5..d25670f9 100644 --- a/ginac/numeric.h +++ b/ginac/numeric.h @@ -325,6 +325,7 @@ inline const numeric denom(const numeric &x) ex PiEvalf(); ex EulerEvalf(); ex CatalanEvalf(); +ex EulerNumEvalf(); } // namespace GiNaC diff --git a/ginsh/ginsh_lexer.lpp b/ginsh/ginsh_lexer.lpp index 6e0732e7..bcfecd10 100644 --- a/ginsh/ginsh_lexer.lpp +++ b/ginsh/ginsh_lexer.lpp @@ -75,6 +75,7 @@ AN [0-9a-zA-Z_] Pi yylval = Pi; return T_LITERAL; Euler yylval = Euler; return T_LITERAL; Catalan yylval = Catalan; return T_LITERAL; +EulerNum yylval = EulerNum; return T_LITERAL; FAIL yylval = *new fail(); return T_LITERAL; I yylval = I; return T_NUMBER; Digits yylval = (long)Digits; return T_DIGITS; -- 2.43.0

1 0

GiNaC 1.8.8 released
by Richard B. Kreckel 03 Jan '25

03 Jan '25

Hi, GiNaC 1.8.8 has been released. This release features some build fixes (notably for MacOS) and an improvement in ginsh: Assigning variables in ginsh now affects all other assigned variables which contain that new variable. Note to packagers: The soname has changed. Happy hacking! -richy. -- Richard B. Kreckel <https://in.terlu.de/~kreckel/>

1 0

[SCM] GiNaC -- a C++ library for symbolic computations tag release_1-8-8 created. release_1-4-0-787-g528fe6ff
by git service 03 Jan '25

03 Jan '25

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-8 has been created at 528fe6ff1ec07b75edf4a320def79f72396ca7df (commit) - Log ----------------------------------------------------------------- commit 528fe6ff1ec07b75edf4a320def79f72396ca7df Author: Richard Kreckel <kreckel(a)ginac.de> Date: Fri Jan 3 00:01:06 2025 +0100 Finalize 1.8.8 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-787-g528fe6ff
by git service 03 Jan '25

03 Jan '25

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 528fe6ff1ec07b75edf4a320def79f72396ca7df (commit) via 22716a2cc76624dfc8a254c64361e51feeeedcf8 (commit) via 110534c3ee2fc56c354e73bc484dc9ce38fb64bc (commit) via 17515f11fde916e3d3a476c0948f768dd831fc71 (commit) from 1afa7c22da265c72be954f3c7aa27d3c14a71c2b (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 528fe6ff1ec07b75edf4a320def79f72396ca7df Author: Richard Kreckel <kreckel(a)ginac.de> Date: Fri Jan 3 00:01:06 2025 +0100 Finalize 1.8.8 release. commit 22716a2cc76624dfc8a254c64361e51feeeedcf8 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Thu Jan 2 18:37:07 2025 +0100 Make symbol assignments global in ginsh. When assigning an expression to a symbol, scan all previously assigned symbols for that new symbol to occur in the expressions and replace it with the new expression. This has the effect of making symbols global in the scope of a ginsh session. See <https://www.ginac.de/pipermail/ginac-devel/2024-December/002655.html>. The patch restores the behavior prior to GiNaC 1.4.4. It actually even improves on it because the old version was based on assigned symbols and that did not work with circular assignments whereas substituion does. commit 110534c3ee2fc56c354e73bc484dc9ce38fb64bc Author: Richard Kreckel <kreckel(a)ginac.de> Date: Thu Jan 2 18:32:17 2025 +0100 [DOC] Modernize documentation about required infrastructure. commit 17515f11fde916e3d3a476c0948f768dd831fc71 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Jan 1 01:52:12 2025 +0100 Add regression tests for built-in expression parser... ...involving functions and constants (and their evaluation). And while at it, fix a stray comment from 30c85fbe. ----------------------------------------------------------------------- Summary of changes: GiNaC.spec.in | 4 +- INSTALL | 37 ++---- NEWS | 5 +- check/exam_parser.cpp | 34 +++++- cmake/modules/FindReadline.cmake | 2 +- config/config.rpath | 89 ++++++++++++-- configure.ac | 2 +- doc/tutorial/Makefile.am | 1 + doc/tutorial/ginac.texi | 108 +++++++---------- ginac/matrix.cpp | 1 - ginsh/ginsh_parser.ypp | 10 +- m4/ax_cxx_compile_stdcxx.m4 | 88 +++++++++++--- m4/host-cpu-c-abi.m4 | 249 ++++++++------------------------------- m4/lib-ld.m4 | 16 +-- m4/lib-link.m4 | 34 +++--- m4/lib-prefix.m4 | 33 ++++-- 16 files changed, 346 insertions(+), 367 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

assignments in ginsh
by Richard B. Kreckel 01 Jan '25

01 Jan '25

Hi, The behavior of ginsh w.r.t. recursive variable assignment has silently changed in GiNaC 1.4.4 (eaa0370a). Before, we got: > a=3+x: > x=2: > a; 5 Now, we get: > a=3+x: > x=2: > a; 3+x It may be worth pointing out that in both cases, one gets: > x=2: > a=3+x: > a; 5 The old behavior can be easily restored (patch attached). Should we? Pros: ----- Ginsh isn't a real programming language - it has a global namespace without scoping. Under these circumstances, it seems natural to think of assignments as occurring in every variable defined before and after. (There is even an example in the tutorial which is now wrong; search for "x=2".) Cons: ----- This is not how it works in C++. There, we have: ex x = symbol("x"); ex a = 3+x; x = 2; cout << a << endl; // prints 3+x, not 5 I am inclined to restore the old behavior, but it may be that someone has other thoughts. Or, maybe it is totally unimportant? Any comments? All my best, -richard. -- Richard B. Kreckel <https://in.terlu.de/~kreckel/>

2 1