Manuel Krebber

You can use the underlying matcher to find out which rules match: `replacer.matcher.match(subject)`. If you want to see the replacement steps that are taken, there is currently no function for...

Sorry, I didn't realize that the labels used by the `ManyToOneReplacer` are the replacement lambda functions and do not contain the patterns. Here is a workaround you can try until...

You need to make sure that the rules lead to replacements that are not matched by the same rule again and again. Otherwise, you get an infinite loop. Probably some...

That would be great. ⁣Sent from Blue ​ On Mar 20, 2018, 07:13, at 07:13, Ashish Kumar Gaurav wrote: >```python >rubi_integrate(x**4*sqrt(a + b*x**2),x) >```` >It results into a recursion error....

That is nothing that can be changed in MatchPy. It seems that the replacement functions are calling the integration replacement recursively. That can lead to infinite recursion if the new...

I mean that when you have rules like `f(a)` and `f(x_)` where the latter is more general than the former, then the order can be important. If a single ManyToOneMatcher...

But that is what I mean. The order of the rules matters. Many-to-one matching means that all patterns are matched simultaneously. Hence it is not deterministic in which order matches...

Integrating it into the one-to-one matching would be relatively easy, but I don't know about the many-to-one case. My gut feeling is that would be complicated if you want to...

You could change `substitute()` to take an optional argument for the sort key which it passes down to the `sorted()` function. That way it does not break existing uses but...

For operations, matchpy uses the ABCMeta metaclass which allows registering any type as a subclass: https://docs.python.org/3/library/abc.html#abc.ABCMeta.register I don't know if there is a need for doing the same for wildcards,...