sympy__sympy-19487
Rewrite sign as abs
Verdict: the fix is stated in the issue (Tier A).
I made `_eval_rewrite_as_Abs()` for the `sign` class which gives the following: ``` >>> sign(x).rewrite(Abs) Piecewise((0, Eq(x, 0)), (x/Abs(x), True)) ```
The text states the fix: “I made `_eval_rewrite_as_Abs()` for the `sign` class which gives the following: ``` >>> sign(x).rewrite(Abs) Piecewise((0, Eq(x, 0)), (x/Abs(x), True)) ```”
All SWE-bench Lite tasks · more sympy/sympy tasks · How the check works