This is documentation for Mathematica 4, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

 Documentation /  Mathematica /  Das Mathematica Buch /  Mathematica Nachschlageteil /  Experimentelle Kontext-Objekte in Mathematica 4 /

Experimental`CompileEvaluateExperimental`ExistsRealQ

Experimental`CylindricalAlgebraicDecomposition

FilledSmallSquare CylindricalAlgebraicDecomposition[ungln, , , ... ] ermittelt eine Zerlegung des Gebietes, das durch die Ungleichungen ungln repräsentiert wird, in zylindrische Teile, deren Richtungen den aufeinanderfolgenden entsprechen.

FilledSmallSquare Beispiel: Experimental`CylindricalAlgebraicDecomposition[x^2 + y^2 < 1, x, y]LongRightArrow.

FilledSmallSquare CylindricalAlgebraicDecomposition nimmt an, daß alle Variablen reell sind.

FilledSmallSquare Listen oder logische Kombinationen von Ungleichungen können angegeben werden.

FilledSmallSquare CylindricalAlgebraicDecomposition liefert Ungleichungen, deren Schranken im allgemeinen algebraische Funktionen enthalten.

FilledSmallSquare Die Algorithmen von CylindricalAlgebraicDecomposition werden automatisch in FullSimplify und Resolve eingesetzt.

FilledSmallSquare Siehe auch: ExistsRealQ, ForAllRealQ, ImpliesRealQ, Resolve, Minimize.

FilledSmallSquare 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.

Experimental`CompileEvaluateExperimental`ExistsRealQ