ConditionalExpression

ConditionalExpression[expr,cond]
条件 condTrueであるときの式 expr を表す記号構造である.

詳細詳細

  • ConditionalExpression[expr,True]を評価すると expr になる.
  • ConditionalExpression[expr,False]を評価するとUndefinedになる.
  • ConditionalExpressionは,数学関数の引数,方程式と不等式,ブール演算子から自動的に伝播する.つまり,h[ConditionalExpression[e1,c1],ConditionalExpression[e2,c2],]ConditionalExpression[h[e1,e2,],c1&&c2&&]に変換される.
  • 関数が仮定を取る場合は,ConditionalExpressionの引数の条件の部分が仮定に加えられる.
  • 条件式に適用された代数変換の関数は第1引数に適用される.
2010年に導入
(8.0)