Need Help in code generation. about matchpy

[ashishkg0022]

https://github.com/ashishkg0022/sympy/tree/rubi_progress/sympy/integrals/rubi
Here is the rubi module
rubi.py contains the manytoonereplacer
rules contain all rules
constraints.py contain constraints.

There are around 7000 rules.

[ashishkg0022]

For few rules I tried this

import re
import os

from sympy.core.expr import Basic
from sympy.integrals.rubi.rubi import rubi_object
from sympy.integrals.rubi.rubi import *
from sympy import *
from sympy.core.singleton import Singleton

from matchpy.matching.code_generation import CodeGenerator
rubi = rubi_object()[0]
GENERATED_TEMPLATE = '''
# -*- coding: utf-8 -*-
from matchpy import *
from sympy import *
from sympy.integrals.rubi.utility_function import *
from sympy.integrals.rubi.constraints import *
from sympy.integrals.rubi.symbol import *
{}
{}
'''.strip()

generator = CodeGenerator(rubi.matcher)
global_code, code = generator.generate_code()
code = GENERATED_TEMPLATE.format(global_code, code)

with open('generated.py', 'w', encoding='utf-8') as f:
    f.write(code)

from generated import match_root

x = symbols('x')
for r, _ in match_root(Integral(x, x)):
print(r)

But this gives an key_error

~/generated.py in match_root(subject)
  27036                                                                                 yield 6, tmp_subst
  27037                                                 subjects2.appendleft(tmp120)
> 27038                                 if 'i1' in subst1 and CustomConstraint(cons_f16)(subst1):
  27039                                         # State 6226
  27040                                         if len(subjects2) >= 1:

~/Envs/sym/lib/python3.6/site-packages/matchpy/expressions/constraints.py in __call__(self, match)
    186 
    187     def __call__(self, match: substitution.Substitution) -> bool:
--> 188         args = dict((name, match[var_name]) for name, var_name in self._variables.items())
    189 
    190         return self.constraint(**args)

~/Envs/sym/lib/python3.6/site-packages/matchpy/expressions/constraints.py in <genexpr>(.0)
    186 
    187     def __call__(self, match: substitution.Substitution) -> bool:
--> 188         args = dict((name, match[var_name]) for name, var_name in self._variables.items())
    189 
    190         return self.constraint(**args)

KeyError: 'u'

What can be the cause of this ?

[ashishkg0022]

Here is some progress sympy/sympy#14988
I got the code generator working. But it is able to match few expression and unable to match many.

[wheerd]

The cause for the error is likely that you are using a variable u in your constraint which is not matched.
I don't have time to help you debug that though. You might also want to look into overriding constraint_repr of the code generator for your custom constraint classes.

[ashishkg0022]

Actually that problem is solved. We have faced a new issue, in which it is able to match some expressions and unable for some. Progress can be seen here sympy/sympy#14988

[ashishkg0022]

@wheerd we are observing that, in code_generation matching, if any constraint returns False, matching is not continued any further. Probably this is the only issue. If this is fixed, our work is done.

[hbarthels]

@wheerd we are observing that, in code_generation matching, if any constraint returns False, matching is not continued any further. Probably this is the only issue. If this is fixed, our work is done.

If I'm not mistaken, this problem is fixed (see #41).