FunctionExpand

FunctionExpand[expr]は，式expr中の特殊関数および他のある種の関数に対し展開操作を試し，可能であれば複合化された引数を簡約した形にする．

FunctionExpand[expr, assum]は前提条件を用いて展開する．

FunctionExpandは，簡約化処理に非常に多くの規則を使用する．

FunctionExpandは，ある種の三角関数および特殊関数に適用される．

FunctionExpandは，FullSimplifyの処理において自動的に呼び出される．

FunctionExpandでの前提条件は，Simplifyのように指定できる．

例：FunctionExpand[expr, x Reals]は，xが実数との仮定の下で展開を実行する．

FunctionExpandのオプションAssumptionsを使ってassumに付加するデフォルトの前提条件を指定することができる．

Assumptionsのデフォルト設定は$Assumptionsである．

Assumingを用いてFunctionExpandのデフォルトの前提条件を指定することができる．

参照セクション：3.2.13.

実装に関するノート：A.9.5.

次も参照：TrigExpand，TrigToExp， ComplexExpand，FullSimplify．

バージョン3の新関数．バージョン5.0で大幅改訂

他の例