HF RL Explorer

Mod function lambdify bug Description: When lambdifying any function of structure like expr Mod(a, b) sympy…

Mod function lambdify bug Description: When lambdifying any function of structure like expr Mod(a, b) sympy…: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). This is an example from Sympy online shell from sympy import Mod, lambdify, symbols x, y = symbols('x y') expr = -Mod(x, y) f =…

The task

This is an example from Sympy online shell ``` >>> from sympy import Mod, lambdify, symbols >>> x, y = symbols('x y') >>> expr = -Mod(x, y) >>> f = lambdify([x, y], expr) >>> f(3, 7) -3 >>> inspect.getsource(f) def _lambdifygenerated(x, y): return (-mod(x, y))

Part of Lego-X/Lego-RL-SWE-Bench-Verified.