[GiNaC-devel] Fix for pattern matching

[Matthias Dellweg]

Am Sat, 07 Dec 2013 00:03:30 +0100
schrieb Matthias Dellweg <dellweg at tp1.uni-duesseldorf.de>:
> But it must somehow be possible to
> create a Situation where a single match triggers this problem on its
> own.

Finally found it:

for i in $(seq 1 30); do echo 'match((exp(A)*sin(x))+(exp(B)*sin(y)),
(exp(A)*sin($0))+(exp(B)*sin($1)));' | ginsh ; done

without the patch it fails approximately in one out of four cases.
With the patch it seems to succeed every time.

Kind regards,
  Matthias Dellweg