18 Dec
2013
18 Dec
'13
8:29 p.m.
Hi, Matthias, On Mon, Dec 9, 2013 at 3:08 PM, Matthias Dellweg <dellweg@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