6 Dec
2013
6 Dec
'13
9:47 a.m.
Hi, On Thu, Dec 5, 2013 at 1:11 PM, Matthias Dellweg <dellweg@tp1.uni-duesseldorf.de> wrote:
while using GiNaC, I came across a strange behaviour with pattern matching in products having more than one wildcard. The match succeeded in a probablistic fashion.
Could you please give some examples so I can make a proper test case?
My conclusion is, that expairseq::match dishonors the rule, that repl_lst will remain unchanged whenever false is returned. See the attached patch, which solves the problem for me.
Thanks for the patch. I've glanced through it and it looks reasonable. I'll do more test and merge it during the next week (I'm a bit busy at the moment). Best regards, Alexei