The difference of MatrixSymbols prints as a sum with (-1) coefficient Internally, differences like a-b are…
The difference of MatrixSymbols prints as a sum with (-1) coefficient Internally, differences like a-b are…: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). Based on a Stack Overflow post (https://stackoverflow.com/q/48826611)
The task
Based on a [Stack Overflow post](https://stackoverflow.com/q/48826611)
Part of Lego-X/Lego-RL-SWE-Bench-Verified.