特定の変数が正、自然数、または実数であることがわかっている場合があり、式を単純化するのに役立ちます。例えば、
Integrate[Sign[x], {x, -l/2, l}]
に評価します
ConditionalExpression[
1/2 l (-3 + 6 DiscreteDelta[l] + 2 HeavisideTheta[-l] +
4 HeavisideTheta[l]), l \[Element] Reals]
しかし、lが実際の正の数であることがわかっている場合、実際には-l/2を見ています。Mathematicaが式を簡略化できるように、この追加情報または制約を指定する方法はありますか?