November 2015 - GiNaC-devel

Re: [GiNaC-devel] Base of natural logarithm
by Vladimir V. Kisil 29 Nov '15

29 Nov '15

On 28 Nov 2015 12:39, "Jan Rheinlander" <jrheinlaender(a)gmx.de> wrote: > Hi, > is there a way to create a ginac object "e" such that log(e) > automatically evaluates to 1? The following seems to work: ex e=exp(numeric(1)); std::cout << log(e) << std::endl; // -> 1.0 -- 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/

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, c++11, updated. release_1-4-0-500-g00d612c
by git＠ginac.de 29 Nov '15

29 Nov '15

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, c++11 has been updated via 00d612ce3789ba9240ade1b8bf06b26c326bd8f2 (commit) from cf1df9d3a828053f5cf07ae63afc2d7c31f1959e (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 00d612ce3789ba9240ade1b8bf06b26c326bd8f2 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Sun Nov 29 12:42:59 2015 +0100 Remove accidentally pushed binary. In commit 79cad108, a compiled binary from the test suite was accidentally added and pushed. Sorry. ----------------------------------------------------------------------- Summary of changes: check/exam_matrices | Bin 3540520 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100755 check/exam_matrices hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, c++11, updated. release_1-4-0-499-gcf1df9d
by git＠ginac.de 29 Nov '15

29 Nov '15

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, c++11 has been updated via cf1df9d3a828053f5cf07ae63afc2d7c31f1959e (commit) via c6ead0d1f88d99b0d8cc99b2da8ef9e9c41a073f (commit) via 79cad1083c0ee300703bd2aff7220b2e666b42ef (commit) from 8f283de519668b70b2e675a7055c7f1bf7ba197c (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 cf1df9d3a828053f5cf07ae63afc2d7c31f1959e Author: Richard Kreckel <kreckel(a)ginac.de> Date: Sun Nov 29 12:33:59 2015 +0100 Rename array of precomputed data in test suite. Reason: C++17 may introduce a std::data<> template. Right now, the GCC 6.0 prerelease bails out at this code, when compiler with -std=c++17. <http://en.cppreference.com/w/cpp/iterator/data> commit c6ead0d1f88d99b0d8cc99b2da8ef9e9c41a073f Author: Richard Kreckel <kreckel(a)ginac.de> Date: Sat Nov 28 15:43:46 2015 +0100 Use neseted initializer lists to construct matrix objects. Add constructor of initializer_list<initializer_list<ex>> to matrix. Use this syntax where, previously, ctor from comma-separated list of elements was used. Deprecate the ctor from comma-separated list. Note: The output format '[[a,b],[c,d]]' and ginsh syntax are unchanged because lists are printed '{a,b,c}' and a matrix is not a list of lists. commit 79cad1083c0ee300703bd2aff7220b2e666b42ef Author: Richard Kreckel <kreckel(a)ginac.de> Date: Fri Nov 27 11:49:16 2015 +0100 [build] Update scripts for correct rpath for linking with CLN. Use up-to-date files from GNU gettext 0.19.6. ----------------------------------------------------------------------- Summary of changes: check/exam_archive.cpp | 2 +- check/exam_clifford.cpp | 69 +++++---- check/exam_indexed.cpp | 18 ++- check/exam_inifcns_nstdsums.cpp | 14 +- check/exam_inifcns_nstdsums.h | 2 +- check/exam_matrices | Bin 0 -> 3540520 bytes check/exam_matrices.cpp | 120 +++++++--------- check/time_lw_O.cpp | 93 ++++++------ config/config.rpath | 230 ++++++++++++++++++----------- doc/tutorial/ginac.texi | 51 ++++--- ginac/matrix.cpp | 65 +++++++-- ginac/matrix.h | 19 +-- m4/lib-ld.m4 | 87 ++++++----- m4/lib-link.m4 | 311 ++++++++++++++++++++++++++++------------ m4/lib-prefix.m4 | 91 ++++++++---- 15 files changed, 725 insertions(+), 447 deletions(-) create mode 100755 check/exam_matrices hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Base of natural logarithm
by Jan Rheinländer 28 Nov '15

28 Nov '15

Hi, is there a way to create a ginac object "e" such that log(e) automatically evaluates to 1? I tried ex EulernumEvalf() { return numeric(cln::exp1()); } const constant Euler_number("Eulernum", EulernumEvalf, "e", domain::positive); Thanks! Jan

2 1

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-471-g2639812
by git＠ginac.de 26 Nov '15

26 Nov '15

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 2639812c0ba4e1f9620660bbba1f12bf5b865e29 (commit) from 27213d158e5ec4b606b4f4d0766bf75eeb18673f (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 2639812c0ba4e1f9620660bbba1f12bf5b865e29 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Nov 25 11:28:10 2015 +0100 In power::expand_add(), don't reserve excess monomial sizes. There is no need to reserve n terms in each of the monomials of the result of power(+(x,y,z...;0),n): We can compute it exactly as the number of nonzero exponents in the multinomial expansion. The good thing is that this counting is the same for each composition of a partition, so it can be hoisted out of the loop over compositions. ----------------------------------------------------------------------- Summary of changes: ginac/power.cpp | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, c++11, updated. release_1-4-0-496-g8f283de
by git＠ginac.de 26 Nov '15

26 Nov '15

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, c++11 has been updated via 8f283de519668b70b2e675a7055c7f1bf7ba197c (commit) via 019faaa693e82ccccadacb185ddd999437409ba2 (commit) via d5b86dd10dd9cba12175d07af0b6edfc9a215e36 (commit) via 792cda15eb0089edccdc0a89e7c39e58e940b87b (commit) via 9593ce33c14b7ff535d113f8a825f4c42ca81912 (commit) via b236efe23093bf2c4b5e7702b60d45505724d915 (commit) via cec09e9ce4e1d10387d3551d1da0bf497ef3e03f (commit) from dfaba64cff32f7dfdd96c1a96d1744ce6c1d80ad (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 8f283de519668b70b2e675a7055c7f1bf7ba197c Author: Richard Kreckel <kreckel(a)ginac.de> Date: Thu Nov 26 21:36:46 2015 +0100 Use initializer lists to construct container<>, lst. Add constructor of initializer_list<ex> to container<C<ex>>. In particular, this means that we can finally declare lst objects as lst{a,2*b,2}. Convert GiNaC to this syntax throughout. Deprecate the old constructors taking 1..16 ex parameters and the ones from comma seaparated lists (without braces). commit 019faaa693e82ccccadacb185ddd999437409ba2 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Thu Nov 26 15:04:52 2015 +0100 Infrastructure: Update baseline language check M4 macros. Use the more general ax_cxx_compile_stdcxx.m4 macro from gnu.org instead of the old ax_cxx_compile_stdcxx_11.m4. commit d5b86dd10dd9cba12175d07af0b6edfc9a215e36 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Thu Nov 26 12:20:20 2015 +0100 Make ample use of the contextual keyword 'override'. This patch adds the C++11 contextual keyword 'override' to every overridden virtual function declaration except where that would incur macro duplications. Along the way, it fixes some comments about member functions 'virtuality'. commit 792cda15eb0089edccdc0a89e7c39e58e940b87b Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Nov 25 15:17:20 2015 +0100 Standard header cleanup. Sanitize some standard headers, remove include directives of unused headers, complete configure check for used standard headers. commit 9593ce33c14b7ff535d113f8a825f4c42ca81912 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Nov 25 12:49:31 2015 +0100 Replace idx_is_not functor by a C++11 lambda. commit b236efe23093bf2c4b5e7702b60d45505724d915 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Nov 25 11:28:10 2015 +0100 In power::expand_add(), don't reserve excess monomial sizes. There is no need to reserve n terms in each of the monomials of the result of power(+(x,y,z...;0),n): We can compute it exactly as the number of nonzero exponents in the multinomial expansion. The good thing is that this counting is the same for each composition of a partition, so it can be hoisted out of the loop over compositions. commit cec09e9ce4e1d10387d3551d1da0bf497ef3e03f Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Nov 25 11:22:34 2015 +0100 Make specialized power::expand() helpers static member fuctions. The class power member functions expand_add(), expand_add_2(), and expand_mul() do not access any member variable of class power. (In fact, the only reason not to hide them entirely is that they invoke protected members of classs expairseq, add, and mul which requires them to be friends of these classes.) ----------------------------------------------------------------------- Summary of changes: acinclude.m4 | 26 +- check/exam_archive.cpp | 6 +- check/exam_clifford.cpp | 50 ++-- check/exam_color.cpp | 6 +- check/exam_differentiation.cpp | 8 +- check/exam_factor.cpp | 6 +- check/exam_indexed.cpp | 28 +- check/exam_inifcns_nstdsums.cpp | 156 +++++------ check/exam_matrices.cpp | 8 +- check/exam_misc.cpp | 8 +- check/exam_numeric.cpp | 2 +- check/exam_powerlaws.cpp | 12 +- check/time_antipode.cpp | 24 +- check/time_lw_M1.cpp | 2 +- check/time_lw_N.cpp | 12 +- check/time_toeplitz.cpp | 20 +- check/time_uvar_gcd.cpp | 2 +- configure.ac | 2 +- doc/examples/compile2.cpp | 4 +- doc/examples/mystring.cpp | 2 +- doc/tutorial/ginac.texi | 62 ++--- ginac/add.h | 56 ++-- ginac/basic.cpp | 10 +- ginac/basic.h | 2 - ginac/clifford.cpp | 16 +- ginac/clifford.h | 36 +-- ginac/color.h | 32 +-- ginac/compiler.h | 2 + ginac/constant.h | 22 +- ginac/container.h | 316 +++++++++-------------- ginac/ex.cpp | 2 +- ginac/ex.h | 17 +- ginac/excompiler.cpp | 4 +- ginac/expairseq.cpp | 3 +- ginac/expairseq.h | 40 ++- ginac/factor.cpp | 13 +- ginac/fail.h | 2 +- ginac/fderivative.h | 22 +- ginac/function.cppy | 2 +- ginac/function.hppy | 44 ++-- ginac/idx.h | 40 +-- ginac/indexed.cpp | 41 ++- ginac/indexed.h | 28 +- ginac/inifcns.cpp | 6 +- ginac/inifcns_nstdsums.cpp | 90 +++---- ginac/integral.h | 38 +-- ginac/matrix.h | 34 +-- ginac/mul.h | 72 +++--- ginac/ncmul.cpp | 10 +- ginac/ncmul.h | 34 +-- ginac/normal.cpp | 38 +-- ginac/numeric.h | 48 ++-- ginac/operators.cpp | 1 - ginac/power.cpp | 20 +- ginac/power.h | 62 ++--- ginac/print.h | 8 +- ginac/pseries.h | 42 +-- ginac/registrar.h | 6 +- ginac/relational.h | 28 +- ginac/structure.h | 82 +++--- ginac/symbol.h | 53 ++-- ginac/symmetry.h | 15 +- ginac/tensor.h | 52 ++-- ginac/wildcard.h | 8 +- ginsh/ginsh_parser.ypp | 10 +- m4/ax_cxx_compile_stdcxx.m4 | 558 ++++++++++++++++++++++++++++++++++++++++ m4/ax_cxx_compile_stdcxx_11.m4 | 172 ------------- 67 files changed, 1500 insertions(+), 1183 deletions(-) create mode 100644 m4/ax_cxx_compile_stdcxx.m4 delete mode 100644 m4/ax_cxx_compile_stdcxx_11.m4 hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Non-commutative symbols
by Jan Rheinländer 24 Nov '15

24 Nov '15

Hi, in chapter 4.15 "Non-commutative objects" the GiNaC documentation says: "Both symbols and user-defined functions can be specified as being non-commutative" I see that functions have the method set_return_type(), but how do I specify a symbol to be non-commutative? Thanks for a hint! Jan

2 3

[SCM] GiNaC -- a C++ library for symbolic computations branch, c++11, updated. release_1-4-0-489-gdfaba64
by git＠ginac.de 24 Nov '15

24 Nov '15

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, c++11 has been updated via dfaba64cff32f7dfdd96c1a96d1744ce6c1d80ad (commit) via 33e537213bf028c7c1ceec4ba7c66ef46c5d6722 (commit) via 26e2662e3e963db592080c7dc573384850d4eade (commit) via 052e9928511dd77d1d5d489b2a61b75579cc44e3 (commit) via 55b0f861ce3676061b8f531c97fd34046875581d (commit) via 24064b43ff0aebda40b1b4605fa6abc2920b4518 (commit) from 34f23dc638fba5905a1edb3ebcaf99d6eedabf3c (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 dfaba64cff32f7dfdd96c1a96d1744ce6c1d80ad Author: Richard Kreckel <kreckel(a)ginac.de> Date: Tue Nov 24 13:02:46 2015 +0100 Tutorial: how to create noncommutative symbols? This seems to be frequently asked: <http://www.ginac.de/pipermail/ginac-devel/2015-November/002213.html> commit 33e537213bf028c7c1ceec4ba7c66ef46c5d6722 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Tue Nov 24 11:57:35 2015 +0100 Avoid some explicit copying of STL containers. commit 26e2662e3e963db592080c7dc573384850d4eade Author: Richard Kreckel <kreckel(a)ginac.de> Date: Tue Nov 24 11:14:51 2015 +0100 mul::can_make_flat(): Finish ancient unfinished code. This makes mul(expairseq({a*b,2},{b})) construct the canonical mul(expairseq({a,3},{b,2})). Normally, such term rewriting is done by the .eval() methods, but this is not done when a plain object of a class derived from basic is constructed. commit 052e9928511dd77d1d5d489b2a61b75579cc44e3 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Nov 23 21:38:30 2015 +0100 unit_matrix(r,c) can return an evaluated matrix object. commit 55b0f861ce3676061b8f531c97fd34046875581d Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Nov 23 21:21:18 2015 +0100 Make (a+b+c+...)^n work for huuuge terms. This fix is neccessary for results exceeding 2^31 terms. While at it, also restructured power::expand_add_() a bit to look more like the more general power::expand_add(). commit 24064b43ff0aebda40b1b4605fa6abc2920b4518 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Nov 23 19:36:53 2015 +0100 Convert some more ctors from copying to moving STL containers. ----------------------------------------------------------------------- Summary of changes: doc/tutorial/ginac.texi | 2 ++ ginac/expairseq.cpp | 12 ++++---- ginac/matrix.cpp | 7 ++--- ginac/mul.cpp | 7 ++--- ginac/normal.cpp | 2 +- ginac/power.cpp | 77 ++++++++++++++++++++++++++----------------------- ginac/power.h | 2 +- ginac/pseries.cpp | 2 +- 8 files changed, 58 insertions(+), 53 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-470-g27213d1
by git＠ginac.de 24 Nov '15

24 Nov '15

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 27213d158e5ec4b606b4f4d0766bf75eeb18673f (commit) via 67ce3e7263c01ffa9d6df8d31d4d5506776f3bf7 (commit) via 3b5611d85547f2e2da692f092812b3a40a969d27 (commit) from bcd95dd63ac2499ee50a416c56ce200cd63521a8 (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 27213d158e5ec4b606b4f4d0766bf75eeb18673f Author: Richard Kreckel <kreckel(a)ginac.de> Date: Tue Nov 24 13:09:47 2015 +0100 Tutorial: how to create noncommutative symbols? This seems to be frequently asked: <http://www.ginac.de/pipermail/ginac-devel/2015-November/002213.html> Cherry-picked from dfaba64c. commit 67ce3e7263c01ffa9d6df8d31d4d5506776f3bf7 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Tue Nov 24 11:14:51 2015 +0100 mul::can_make_flat(): Finish ancient unfinished code. This makes mul(expairseq({a*b,2},{b})) construct the canonical mul(expairseq({a,3},{b,2})). Normally, such term rewriting is done by the .eval() methods, but this is not done when a plain object of a class derived from basic is constructed. Cherry-picked from 26e2662e. commit 3b5611d85547f2e2da692f092812b3a40a969d27 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Tue Nov 24 12:00:25 2015 +0100 unit_matrix(r,c) can return an evaluated matrix object. Cherry-picked from 052e9928. ----------------------------------------------------------------------- Summary of changes: doc/tutorial/ginac.texi | 2 ++ ginac/matrix.cpp | 2 +- ginac/mul.cpp | 7 +++---- 3 files changed, 6 insertions(+), 5 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, c++11, updated. release_1-4-0-483-g34f23dc
by git＠ginac.de 08 Nov '15

08 Nov '15

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, c++11 has been updated via 34f23dc638fba5905a1edb3ebcaf99d6eedabf3c (commit) via 852fb174c43b49a3ce1b568f959d23e8a1959ee1 (commit) via 20159f92a9ffad034172bd36d532e5ffd24c9ff2 (commit) from ff4d880932862000fce73efc3fb6da49c8d63ed6 (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 34f23dc638fba5905a1edb3ebcaf99d6eedabf3c Author: Richard Kreckel <kreckel(a)ginac.de> Date: Sun Nov 8 23:33:33 2015 +0100 Replace static const variables with constexpr, where applicable. commit 852fb174c43b49a3ce1b568f959d23e8a1959ee1 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Sun Nov 8 23:18:19 2015 +0100 Fix some pedantic compiler warnings. Found with CLang++ -Wall. (There remain some more, but these are more ugly to fix.) commit 20159f92a9ffad034172bd36d532e5ffd24c9ff2 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Sun Nov 8 22:19:08 2015 +0100 Replace GiNaC::ToString() with std::to_string(). And, while at it, also make CMake exercise the new real_imag exam introduced last week and document successful build with GCC-4.8. ----------------------------------------------------------------------- Summary of changes: INSTALL | 2 +- check/CMakeLists.txt | 1 + check/time_antipode.cpp | 2 +- check/time_lw_M2.cpp | 2 +- check/time_lw_N.cpp | 2 +- check/time_lw_O.cpp | 2 +- check/time_lw_Q.cpp | 2 +- check/time_lw_Qprime.cpp | 2 +- ginac/CMakeLists.txt | 1 - ginac/Makefile.am | 2 +- ginac/archive.cpp | 7 +++---- ginac/basic.h | 2 +- ginac/factor.cpp | 2 ++ ginac/function.cppy | 3 +-- ginac/inifcns.cpp | 2 +- ginac/numeric.cpp | 5 ++--- ginac/parser/parser_compat.cpp | 2 +- ginac/ptr.h | 2 +- ginac/symbol.cpp | 5 +---- ginac/tostring.h | 41 ----------------------------------------- 20 files changed, 22 insertions(+), 67 deletions(-) delete mode 100644 ginac/tostring.h hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0