January 2018 - GiNaC-devel

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-602-g4ae294cb
by git＠ginac.de 31 Jan '18

31 Jan '18

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 4ae294cb1e290f7346d391b8504f940be7196322 (commit) via 5d6f5f3a4ffe8733784ec135ab8d24336f3806ca (commit) via a49dba08e6a1ab2d1714137fe5edc64ba6a40ef2 (commit) from 7905061f6487b278e08b103d4d142decb418535e (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 4ae294cb1e290f7346d391b8504f940be7196322 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Jan 31 23:07:35 2018 +0100 Prepare for release 1.7.3 (yeah, again). commit 5d6f5f3a4ffe8733784ec135ab8d24336f3806ca Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Jan 31 23:00:08 2018 +0100 Fix two comments in ginac/normal.cpp. And, while at it, make some disabled debugging output code compile when it is enabled. commit a49dba08e6a1ab2d1714137fe5edc64ba6a40ef2 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Jan 31 22:55:02 2018 +0100 Fix out-of-bounds error in multivar_diophant(). This could trigger an assertion in the factorization exams introduced in afb0ccaa49 if the library was compiled with -DDO_GINAC_ASSERT. ----------------------------------------------------------------------- Summary of changes: NEWS | 4 +++- ginac/factor.cpp | 2 +- ginac/normal.cpp | 10 ++++------ ginac/version.h | 1 + 4 files changed, 9 insertions(+), 8 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-599-g7905061f
by git＠ginac.de 31 Jan '18

31 Jan '18

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 7905061f6487b278e08b103d4d142decb418535e (commit) via e7d79ac4ff7654908b7688bc1373624119682f5c (commit) from d0ff428fb5b7bb565a0aea69e05e5705d840c16d (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 7905061f6487b278e08b103d4d142decb418535e Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Jan 31 12:18:37 2018 +0100 Shortcut conversion ex->numeric->ex in expairseq::make_flat(). Of course, passing an ex by reference is always faster than converting it to a numeric first (even if it is a numeric). commit e7d79ac4ff7654908b7688bc1373624119682f5c Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Jan 31 10:04:25 2018 +0100 Improve gcd(a, b) where one argument is a power of a symbol. The already implemented recursion gcd(x^n, x*p(x)) -> x*gcd(x^(n-1), p(x)) is not ambitious enough: If p(x) has a factor of x, it just goes through the same step again, and if p(x) has a factor which is a power of x, this is reapeted many times. Example: gcd(x^n, expand(x^n*(1+x))) used to go recurse through the gcd routine n times, which could easily lead to a stack overflow for n about 10^5. To improve the situation, introduce a special case for gcd where one argument is a power of a symbol and just cancel the common factor. This turned out to be the root cause of segfaults in matrix elimination algorithms, as reported by Patrick Schulz and Vitaly Magerya: Cf. <https://www.ginac.de/pipermail/ginac-list/2018-January/thread.html> ----------------------------------------------------------------------- Summary of changes: ginac/expairseq.cpp | 3 +-- ginac/normal.cpp | 21 ++++++++++++++++----- 2 files changed, 17 insertions(+), 7 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-597-gd0ff428f
by git＠ginac.de 29 Jan '18

29 Jan '18

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 d0ff428fb5b7bb565a0aea69e05e5705d840c16d (commit) from afb0ccaa49a0cca001d854594e09125a58434123 (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 d0ff428fb5b7bb565a0aea69e05e5705d840c16d Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Jan 29 00:07:17 2018 +0100 Make matrix::solve() work with non-normal zeros. Normalize elements of augmented matrix before checking if they are zero. This ensures that we don't divide by a non-normal zero. Also added a test. This bug was reported by Vitaly Magerya <vmagerya(a)gmail.com>. ----------------------------------------------------------------------- Summary of changes: check/exam_matrices.cpp | 31 +++++++++++++++++++++++++++++++ ginac/matrix.cpp | 4 ++-- 2 files changed, 33 insertions(+), 2 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-596-gafb0ccaa
by git＠ginac.de 28 Jan '18

28 Jan '18

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 afb0ccaa49a0cca001d854594e09125a58434123 (commit) from 1be7026a705dfefedcd838e6b60795ca6d469bf9 (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 afb0ccaa49a0cca001d854594e09125a58434123 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Sun Jan 28 19:59:54 2018 +0100 [CHECK] Add some more factorization exams. Add the 15 multivariate polynomials from P. S. Wang's paper "An Improved Multivariate Polynomial Factoring Algorithm" as exams. Don't add them as benchmarks since timings vary considerably depending on internal choice of variables. In any case, this should never take hours. (But before 630db9a0b0 it did, occasionally.) ----------------------------------------------------------------------- Summary of changes: check/exam_factor.cpp | 82 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 82 insertions(+) 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-595-g1be7026a
by git＠ginac.de 28 Jan '18

28 Jan '18

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 1be7026a705dfefedcd838e6b60795ca6d469bf9 (commit) from 40234423820294740aa535a713c2784d1bb23351 (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 1be7026a705dfefedcd838e6b60795ca6d469bf9 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Sun Jan 28 19:23:50 2018 +0100 Add optional algorithm selection to matrix::inverse(). Following a proposal by Vitaly Magerya, a signature with a solve_algo is added to class matrix. (Not using a default argument in order to not break the ABI.) ----------------------------------------------------------------------- Summary of changes: doc/tutorial/ginac.texi | 33 ++++++++++++++++++++------------- ginac/matrix.cpp | 5 +++-- ginac/matrix.h | 7 +++++-- ginac/version.h | 2 ++ 4 files changed, 30 insertions(+), 17 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-594-g40234423
by git＠ginac.de 25 Jan '18

25 Jan '18

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 40234423820294740aa535a713c2784d1bb23351 (commit) from 4ffb3cbb3ab5f642e461bcbf8fb29743752c5d58 (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 40234423820294740aa535a713c2784d1bb23351 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Thu Jan 25 19:59:00 2018 +0100 Fix previous commit 'Speed up special cases of square-free...'. Huh, I swear 4ffb3cbb3 worked for me! Sorry for that. ----------------------------------------------------------------------- Summary of changes: ginac/normal.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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-593-g4ffb3cbb
by git＠ginac.de 24 Jan '18

24 Jan '18

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 4ffb3cbb3ab5f642e461bcbf8fb29743752c5d58 (commit) from 51c4b683827bc6fc427cb5c8ca789a4c9465e021 (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 4ffb3cbb3ab5f642e461bcbf8fb29743752c5d58 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Jan 24 22:37:24 2018 +0100 Speed up special cases of square-free factorization. Square-free factorization of polynomials containing a factor which is a high power P of a symbol x did scale like O(P) in space and time. This patch introduces a shortcut in Yun's algorithm, such that the computation is only O(1) in space and time. This makes it possible to compute, say sqrfree(x^P + x^(P+1)) => (1+x)*x^P with P=123456789. Found this to be a bottleneck while debugging one of Vitaly Magerya's examples. ----------------------------------------------------------------------- Summary of changes: ginac/normal.cpp | 78 +++++++++++++++++++++++++++++--------------------------- 1 file changed, 40 insertions(+), 38 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-592-g51c4b68
by git＠ginac.de 01 Jan '18

01 Jan '18

1 0