HF RL Explorer

Matrix determinant raises Invalid NaN comparison with particular symbolic entries from sympy import from…

Matrix determinant raises Invalid NaN comparison with particular symbolic entries from sympy import from…: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). Correct me if I'm wrong but isn't the Bareiss algorithm only valid for integer matrices, which cannot be assumed here?

The task

Correct me if I'm wrong but isn't the Bareiss algorithm only valid for integer matrices, which cannot be assumed here?

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