Leaklens

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