 |
BUILT-IN MATHEMATICA SYMBOL
ConditionalExpression
ConditionalExpression[expr, cond]
is a symbolic construct that represents the expression expr when the condition cond is True.
Details
- ConditionalExpression[expr, True] evaluates to expr.
- ConditionalExpression[expr, False] evaluates to Undefined.
- ConditionalExpression is automatically propagated from the arguments of mathematical functions, equations and inequalities, and Boolean operators, i.e.,
is transformed to ConditionalExpression[h[e1, e2, ...], c1&&c2&&
]. - If a function takes assumptions then the conditional part of ConditionalExpression arguments gets added to the assumptions.
- Algebraic transformation functions applied to a conditional expression apply to the first argument.
New in 8
