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

[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  9506030d2059ef868d5da8dcbe714c9c5b50ff50 (commit)
      from  8cce492692eb74d636a50f420fd79877e5d4981a (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 9506030d2059ef868d5da8dcbe714c9c5b50ff50
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