DocumentationMathematica組込み関数代数計算式の操作
$Assumptions
$AssumptionsはSimplify,Refine,Integrate等の関数で使われるAssumptionsオプションのデフォルト設定である.
$Assumptionsの値はAssumingを使って変更することができる. $Assumptionsの初期設定はTrueである. 参照セクション:3.3.10. 次も参照:Assuming,Block. バージョン5.0の新関数
他の例