有时,我们知道某些变量是正数、自然数或实数,这有助于简化表达式。例如,
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 可以简化表达式?