Задание дополнительной информации для Mathematica для упрощения выражений

Question

Иногда мы знаем, что некоторые переменные являются положительными или натуральными числами или реальными, и это помогает упростить выражения. Например,

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/2. Есть ли способ указать эту дополнительную информацию или ограничение, чтобы Mathematica могла упростить выражение?

Answer 1

Это, как правило, оценивают быстрее, если вы укажете Assumptions внутри Integrate:

Integrate[Sign[x], {x, -l/2, l}, Assumptions -> l > 0] 

Answer 2

Я нашел ответ, вы можете указать предположения, такие как

Simplify[Integrate[Sign[x], {x, -l/2, l}], l > 0] 

, которая сводится к l/2.