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@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@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