MATHEMATICA 組込みシンボル

FullSimplify

FullSimplify[expr]
初等関数と特殊関数を含む式 expr に多種の変換法を試し，得られた中で最も簡約された形を返す．

FullSimplify[expr, assum]
前提条件を使用して簡約する．

詳細とオプション 詳細とオプション

FullSimplifyは，少なくともSimplifyの返す形と同じ程度に簡約できるが，時間が長くかかることもある．
指定可能なオプション：

	Assumptions	$Assumptions	assum に付加するデフォルトの前提条件
	ComplexityFunction	Automatic	生成された式の持つ複雑な形の取扱い方
	ExcludedForms	{}	変換したくない部分式の形を指定するパターン
	TimeConstraint	Infinity	1回の変換処理の制限時間（秒単位）
	TransformationFunctions	Automatic	式の変換に試す関数

FullSimplifyは，RootReduceを使いRootオブジェクトを含む式を処理する．
FullSimplifyは，ほとんどの特殊関数に対し変換操作ができるようになっている．
ForAll[vars, axioms]の形式の前提条件では，FullSimplifyは記号関数を含む式および方程式のみを簡約する． »
Assumingを用いてFullSimplifyのデフォルトの前提条件を指定することができる．

例題 例題 すべて開く すべて閉じる

例 (3)例 (3)

特殊関数を含む式を簡約する：

Out[1]=

仮定を使って簡約する：

Out[1]=

結合性の仮定から簡単な定理を証明する：

Out[1]=

スコープ (8)スコープ (8)

オプション (8)オプション (8)

アプリケーション (6)アプリケーション (6)

特性と関係 (7)特性と関係 (7)

考えられる問題 (2)考えられる問題 (2)

おもしろい例題 (1)おもしろい例題 (1)

関連項目 関連項目

Simplify Factor Expand PowerExpand ComplexExpand TrigExpand Element FunctionExpand Assuming RootReduce TrigFactor TrigReduce

チュートリアル チュートリアル

関連リンク 関連リンク

バージョン 3 の新機能 | バージョン 6 での修正機能

Mathematica 9 is now available!

400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »

Try Now

Buy/Upgrade

New to Mathematica? Find your learning path »

Have a question? Ask support »

© 2013 About Wolfram