|
Experimental`CylindricalAlgebraicDecomposition
 CylindricalAlgebraicDecomposition[ungln,   ,  , ...  ] ermittelt eine Zerlegung des Gebietes, das durch die Ungleichungen ungln repräsentiert wird, in zylindrische Teile, deren Richtungen den aufeinanderfolgenden  entsprechen.
Beispiel: Experimental`CylindricalAlgebraicDecomposition[x^2 + y^2 < 1,  x, y ]  .
CylindricalAlgebraicDecomposition nimmt an, daß alle Variablen reell sind.
Listen oder logische Kombinationen von Ungleichungen können angegeben werden.
CylindricalAlgebraicDecomposition liefert Ungleichungen, deren Schranken im allgemeinen algebraische Funktionen enthalten.
Die Algorithmen von CylindricalAlgebraicDecomposition werden automatisch in FullSimplify und Resolve eingesetzt.
Siehe auch: ExistsRealQ, ForAllRealQ, ImpliesRealQ, Resolve, Minimize.
Bitte beachten: Dies ist eine experimentelle Eigenschaft, und in zukünftigen Versionen von Mathematica wird sie vielleicht nicht mehr unterstützt oder erhält eine andere Spezifikation.
|
