Assuming

Assuming[assum,expr]
$Assumptionsを付加して を評価し,RefineSimplifyIntegrate等の関数のデフォルトの仮定に使用されるようにする.

詳細詳細

  • AssumingAssumptionsオプションを持つすべての関数のデフォルトの仮定に影響を与える.
  • 仮定は方程式,不等式,領域指定,リストあるいはこれらの論理結合であり得る.
  • Assumingのネストした呼出しによる仮定は組み合せられる.
  • Assuming[assum,expr]Block[{$Assumptions=$Assumptions&&assum},expr]に実質的に等しい.
  • Assumingは仮定のリスト に変換する.
2003年に導入
(5.0)