MATHEMATICA 組込みシンボル

Reduce

Reduce[expr, vars]
vars について方程式あるいは不等式を解き，限定子を除去することで，命題 expr を簡約する．

Reduce[expr, vars, dom]
領域 dom で簡約を行う．通常はReals，Integers，Complexes等である．

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

命題 expr は次の論理結合のいずれでもよい．

	lhs==rhs	方程式
	lhs!=rhs	不等式
	または	不等式
	exprdom	領域指定
	ForAll[x,cond,expr]	全称記号
	Exists[x,cond,expr]	存在記号

Reduce[expr, vars]の結果は常にと全く等しい数学的な集合を表す．
Reduce[{expr₁, expr₂, ...}, vars]はReduce[expr₁&&expr₂&&..., vars]と等価である．
Reduce[expr, vars]はデフォルトで不等式に代数的に現れる限定子は実数で，その他の限定子は複素数であると仮定する．
Reduce[expr, vars, dom]はすべての変数とパラメータを領域に属するものに限る．
dom がRealsであるか，あるいはIntegersやRationalsのような部分集合の場合，すべての定数と関数の値もまた実数に限られる．
Reduce[expr&&varsReals, vars, Complexes]は実数と仮定される変数の簡約を行うが，関数の値は複素数であっても構わない．
Reduce[expr, vars, Integers]は整数についてディオファントス(Diophantus)方程式を簡約する．
Reduce[expr, {x₁, x₂, ...}, ...]は，実質的にを , , ...に対する制約条件の論理結合として表現する．ただし各条件は直前ののみが関連するものとする．
中のを含まない代数的変数は独立パラメータとして扱われる．
Reduce[expr, ...]の結果にLogicalExpandを適用すると，という形式の式が与えられる．ただし，各はが定義する集合中の個々の構成要素であると考えられる．
は解体してはならないが，異なる次元を持つことはできる．LogicalExpandの後，各はという形式になる．
LogicalExpandがなければ，Reduceはデフォルトでの条件をネストしたものを連続したレベルでOrとAndを交互に組み合せて返す．
expr が実数あるいは複素数の領域の整方程式と不等式のみを含む場合は，Reduceは原則的に常にすべてのについて直接解くことができる．
が超越条件や整数領域を含んでいる場合，Reduceはしばしば結果に付加的なパラメータを導入する．
が多項式条件のみを含む場合，Reduce[expr, vars, Reals]はの柱状代数分解(CAD)を与える．
Reduceは整数についてのすべての線形方程式と不等式の明示的な解の表示を与えることができ，文献中のディオファントス方程式の大部分を解くことができる．
が実数または複素数の領域で多項式条件のみを含む場合，Reduce[expr, vars]は結果に数量的変数が含まれないように常に限定子を除去する．
指定可能なオプション：

Backsubstitution	False	逆置換によってほどいた結果を与えるか否か »
Cubics	False	すべての三次関数を解くために明示的な根号を使うか否か »
GeneratedParameters	C	生成したパラメータの命名法 »
Modulus	0	整数に仮定するモジュール »
Quartics	False	四次方程式を解くために明示的な根号を使うか否か »