Reduce

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

Reduce[expr,vars,dom]
領域 dom で簡約を行う.通常RealsIntegersComplexes等である.

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

  • 命題 expr は次の論理結合のいずれでもよい.
  • lhs==rhs方程式
    lhs!=rhs不等式
    または 不等式
    exprdom領域指定
    {x,y,}reg領域指定
    ForAll[x,cond,expr]全称記号
    Exists[x,cond,expr]存在記号
  • Reduce[expr,vars]の結果は常に と全く等しい数学的な集合を表す.
  • Reduce[{expr1,expr2,},vars]Reduce[expr1&&expr2&&,vars]と等価である.
  • Reduce[expr,vars]はデフォルトで不等式に代数的に現れる限定子は実数で,その他の限定子は複素数であると仮定する.
  • Reduce[expr,vars,dom]はすべての変数とパラメータを領域 に属するものに限る.
  • domRealsであるか,あるいはIntegersRationalsのような部分集合の場合,すべての定数と関数の値もまた実数に限られる.
  • Reduce[expr&&varsReals,vars,Complexes]は実数と仮定される変数の簡約を行うが,関数の値は複素数であっても構わない.
  • Reduce[expr,vars,Integers]は整数についてディオファントス(Diophantus)方程式を簡約する.
  • Reduce[,xreg,Reals]は, x が領域 reg になるように制限する.x の異なる座標にはIndexed[x,i]を使って言及することができる.
  • Reduce[expr,{x1,x2,},]は,実質的に , , に対する制約条件の論理結合として表現する.ただし各条件は直前ののみが関連するものとする.
  • 中のを含まない代数的変数は独立パラメータとして扱われる.
  • Reduce[expr,]の結果にLogicalExpandを適用すると,という形式の式が与えられる.ただし,各 が定義する集合中の個々の構成要素であると考えられる.
  • は解体してはならないが,異なる次元を持つことはできる.LogicalExpandの後,各 という形式になる.
  • LogicalExpandがなければ,Reduceはデフォルトで の条件をネストしたものを連続したレベルでOrAndを交互に組み合せて返す.
  • expr が実数あるいは複素数の領域の整方程式と不等式のみを含む場合は,Reduceは原則的に常にすべての について直接解くことができる.
  • が超越条件や整数領域を含んでいる場合,Reduceはしばしば結果に付加的なパラメータを導入する.
  • が多項式条件のみを含む場合,Reduce[expr,vars,Reals]の柱状代数分解(CAD)を与える.
  • Reduceは整数についてのすべての線形方程式と不等式の明示的な解の表示を与えることができ,文献中のディオファントス方程式の大部分を解くことができる.
  • が実数または複素数の領域で多項式条件のみを含む場合,Reduce[expr,vars]は結果に数量的変数が含まれないように常に限定子を除去する.
  • 指定可能なオプション
  • BacksubstitutionFalse逆置換によってほどいた結果を与えるか否か  »
    CubicsFalseすべての三次関数を解くために明示的な根号を使うか否か  »
    GeneratedParametersC生成したパラメータの命名法  »
    Modulus0整数に仮定するモジュール  »
    QuarticsFalse四次方程式を解くために明示的な根号を使うか否か  »
  • Reduce[expr,{x1,x2,},Backsubstitution->True]は,特定の の条件が以前の に最低限しか依存しないように,のために以前に生成された方程式の値が逆置換された形を与える. »
1988年に導入
(1.0)
| 2014年に修正
(10.0)