Factor with extension=True drops a factor of y-1 I guess this related (or a duplicate of?) 5786

Factor with extension=True drops a factor of y-1 I guess this related (or a duplicate of?) 5786: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). This is from stackoverflow: https://stackoverflow.com/questions/60682765/python-sympy-factoring-polynomial-over-complex-numbers julia In 9 : z =…

The task

This is from stackoverflow: https://stackoverflow.com/questions/60682765/python-sympy-factoring-polynomial-over-complex-numbers ```julia In [9]: z = expand((x-1)*(y-1))

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