[GiNaC-devel] Fix for pattern matching

[Alexei Sheplyakov]

Hi, Matthias,


On Mon, Dec 9, 2013 at 3:08 PM, Matthias Dellweg
<dellweg at tp1.uni-duesseldorf.de> wrote:

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

Thanks a lot. I've committed the fix and a test case (almost a week
ago, sorry for a late notification).

Best regards,
      Alexei