Как я могу заставить Mathematica упростить производную Sign? Следующее
FullSimplify[D[Sign[x], x], x > 0]
не работает. Все, что он производит, это
Sign'[x]
(С другой стороны,
FullSimplify[D[Abs[x], x], x > 0]
проходит.)