[GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-697-g13905769

[Richard B. Kreckel]

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  13905769fe865764a271f0e2aeb22f422e1289d7 (commit)
       via  a6af5fc29d24dbdd73fbb80bf4e0ec1e577a5eb1 (commit)
       via  9d9503cff68b40c4c5f6a2f9eb7ae9b32c53a486 (commit)
       via  88cb1bc239cf2e52038a5111ba39117ce23093bb (commit)
      from  394dfa78f82933e1902376180291770905ec7ea1 (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 13905769fe865764a271f0e2aeb22f422e1289d7
Author: Richard Kreckel <kreckel at ginac.de>
Date:   Sun Oct 11 19:08:19 2020 +0200

    Reset GINAC_LT_AGE to bump SONAME.
    
    Vladimir's last changes affected virtual functions and vtbl changes usually
    require a new library version.

commit a6af5fc29d24dbdd73fbb80bf4e0ec1e577a5eb1
Author: Vladimir V. Kisil <V.Kisilv at leeds.ac.uk>
Date:   Sun Oct 11 19:03:30 2020 +0200

    [PATCH 3/3] Stronger normalisation method for powers.
    
    Now normalisation method try to express powers with the same base
    as monomials of some dummy variables. This allows to make cancellations
    of the sort:
    (x-1)/(sqrt(x)-1)  ->  sqrt(x)+1
    
    Signed-off-by: Vladimir V. Kisil <V.Kisilv at leeds.ac.uk>

commit 9d9503cff68b40c4c5f6a2f9eb7ae9b32c53a486
Author: Vladimir V. Kisil <V.Kisilv at leeds.ac.uk>
Date:   Sun Oct 11 18:44:48 2020 +0200

    [PATCH 2/3] Make a stronger normalisation for expressions with exponents.
    
    If several exponents have arguments different by a rational number
    factors they are replaced by monomials of the same variable.
    
    Signed-off-by: Vladimir V. Kisil <V.Kisilv at leeds.ac.uk>

commit 88cb1bc239cf2e52038a5111ba39117ce23093bb
Author: Vladimir V. Kisil <V.Kisilv at leeds.ac.uk>
Date:   Sun Oct 11 18:33:32 2020 +0200

    [PATCH 1/3] Automatic evaluation of (e^t)^s = e^(ts).
    
    If it safe to evaluate (e^t)^s = e^(ts) at least in two cases:
    
    a) t and s are reals, the respective formula can be found in
    any analysis textbook.
    
    b) if s is an integer, then the ambiguity of t up to the term 2*Pi*k
    does not cause a different value.
    
    Signed-off-by: Vladimir V. Kisil <kisilv at maths.leeds.ac.uk>

-----------------------------------------------------------------------

Summary of changes:
 check/exam_misc.cpp          |  24 +++++
 check/exam_normalization.cpp |  89 ++++++++++++++++
 ginac/add.h                  |   2 +-
 ginac/basic.h                |   2 +-
 ginac/inifcns_trans.cpp      |  19 ++++
 ginac/mul.h                  |   2 +-
 ginac/normal.cpp             | 245 +++++++++++++++++++++++++++++++++++++------
 ginac/numeric.h              |   2 +-
 ginac/power.h                |   2 +-
 ginac/pseries.h              |   2 +-
 ginac/structure.h            |   2 +-
 ginac/symbol.h               |   2 +-
 ginac/version.h              |   2 +-
 13 files changed, 352 insertions(+), 43 deletions(-)


hooks/post-receive
--
GiNaC -- a C++ library for symbolic computations