[GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic computations branch, ginac_1-5, updated. release_1-4-0-249-g90ad10b

[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, ginac_1-5 has been updated
       via  90ad10b58d02365a407b2d84d8b93e50030feaa5 (commit)
      from  db47e259edabbed2b8eb2fa1e4ed93588c26e304 (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 90ad10b58d02365a407b2d84d8b93e50030feaa5
Author: Richard Kreckel <kreckel at ginac.de>
Date:   Wed Sep 15 09:11:57 2010 +0200

    Be more careful about final top-level substitution.
    
    Substituting x==log(x) in exp(x) erroneously returned log(x) because of a
    final subst(x==log(x)) after having eval'ed exp(log(x)) -> x. This final
    substitution is wrong in the general case. On the other hand, the intent
    is to syntactically substitute functions of a given kind etc. This patch
    suppresses the final top-level substitution unless the intermediate result
    is a container.
    
    Thanks to Burcin Erocal for reporting this bug (originally described by
    Kees van Schaik on sage-support at googlegroops.com).

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

Summary of changes:
 check/exam_misc.cpp     |    9 +++++++++
 doc/tutorial/ginac.texi |    2 +-
 ginac/container.h       |   24 ++++++++++++++++++++----
 3 files changed, 30 insertions(+), 5 deletions(-)


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