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`MinimizeExperimental`ValueFunction

Experimental`Resolve

FilledSmallSquare Resolve[ausdr] versucht, Quantoren in ausdr zu eliminieren.

FilledSmallSquare Resolve kann mit Quantoren der Form Exists[x, bedingung, ausdr] und ForAll[x, bedingung, ausdr] umgehen.

FilledSmallSquare Exists[x, c, ausdr] kann in der Form eingegeben werden.

FilledSmallSquare ForAll[x, c, ausdr] kann in der Form eingegeben werden.

FilledSmallSquare Variablenlisten können in Exists und ForAll verwendet werden.

FilledSmallSquare Die Algorithmen von Resolve werden automatisch in FullSimplify eingesetzt.

FilledSmallSquare Siehe auch: CylindricalAlgebraicDecomposition, FullSimplify.

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`MinimizeExperimental`ValueFunction