[GiNaC-devel] Fix for pattern matching

[Alexei Sheplyakov]

Hi,

On Thu, Dec 5, 2013 at 1:11 PM, Matthias Dellweg
<dellweg at 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