WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

アップグレード情報：

Algebra`AlgebraicInequalities`

新関数SemialgebraicComponentInstancesが組込みの Mathematica カーネルに加わった．

出力は規則のリストとして返される：

Version 5.2 << Algebra`AlgebraicInequalities`; SemialgebraicComponents[{x (x^2 - 2) (x^2 - 3) > 0}, x]
Wolfram Language code: SemialgebraicComponentInstances[{x (x ^ 2 - 2) (x ^ 2 - 3) > 0}, x]

SemialgebraicComponentInstancesは，方程式・不等式の任意のブール結合を取る：

Version 5.2 SemialgebraicComponents[ (x + 1/2)^2 + y^2 < 1 && (x - 1/2)^2 + y^2 == 1, {x, y}] returns unevaluated
Wolfram Language code: SemialgebraicComponentInstances[ (x + (1/2))^2 + y^2 < 1 && (x - (1/2))^2 + y^2 == 1, {x, y}]

方程式をListとして入力することは，ブール演算子Andを使うことに等しい：

Version 5.2 SemialgebraicComponents[{ (x + 1/2)^2 + y^2 < 1, (x - 1/2)^2 + y^2 == 1}, {x, y}] returns unevaluated
Wolfram Language code: SemialgebraicComponentInstances[{ (x + (1/2))^2 + y^2 < 1, (x - (1/2))^2 + y^2 == 1}, {x, y}]

別のブール演算子を使うこともできる：

Version 5.2 SemialgebraicComponents[((x + 1/2)^2 + y^2 < 1 && (x - 1/2)^2 + y^2 == 1) || ((x + 1/2)^2 + y^2 == 1 && (x - 1/2)^2 + y^2 >= 1), {x, y}] returns unevaluated
Wolfram Language code: SemialgebraicComponentInstances[((x + (1/2))^2 + y^2 < 1 && (x - (1/2))^2 + y^2 == 1) || ((x + (1/2))^2 + y^2 == 1 && (x - (1/2))^2 + y^2 ≥ 1), {x, y}]