This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.

ConditionalExpression

 ConditionalExpression is a symbolic construct that represents the expression expr when the condition cond is True.
• 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.
There is a solution only when :
The answer is valid when the condition is satisfied:
There is a solution only when :
 Out[1]=

The answer is valid when the condition is satisfied:
 Out[1]=
 Scope   (16)
Conditional solutions:
Parametrized solutions:
Conditionally valid integration results:
Conditionally valid summation results:
Conditionally valid Fourier series:
ConditionalExpression with True or False conditions:
Mathematical functions with ConditionalExpression arguments:
Boolean combinations of equations and inequalities involving ConditionalExpression:
Inverse of a function with a restricted domain:
Simplify a conditional expression:
Find solutions of equations involving conditional expressions:
Plot a function with a restricted domain:
Piecewise function involving conditional expressions:
Transform a conditionally valid expression:
Conditionally valid expressions in calculus functions:
ConditionalExpression with True condition evaluates to its first argument:
ConditionalExpression with False condition evaluates to Undefined:
ConditionalExpression is propagated from the arguments of mathematical functions:
ConditionalExpression is propagated from the arguments of equations and inequalities:
ConditionalExpression is propagated from the arguments of Boolean functions:
For functions taking the Assumptions option, argument conditions are used as assumptions:
Refine, Simplify, and FullSimplify use the conditions to transform the values:
For functions taking the Assumptions option, argument conditions are used as assumptions:
ConditionalExpression subexpressions that are not arguments are not used:
New in 8