9 Dec
2013
9 Dec
'13
2:08 p.m.
Am Sat, 07 Dec 2013 00:03:30 +0100 schrieb Matthias Dellweg <dellweg@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