HF RL Explorer

Evaluating powers of TensorProduct Powers of tensor product expressions are not possible to evaluate with…

Evaluating powers of TensorProduct Powers of tensor product expressions are not possible to evaluate with…: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). This is an example session showing the issue In 1 : from sympy import from sympy.physics.quantum import TensorProduct as tp from…

The task

This is an example session showing the issue ``` In [1]: from sympy import * from sympy.physics.quantum import TensorProduct as tp from sympy.physics.quantum import tensor_product_simp as tps from sympy.physics.paulialgebra import Pauli a = Symbol('a', commutative=False)

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