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

Experimental`CylindricalAlgebraicDecompositionExperimental`ExtendedLinearSolve

Experimental`ExistsRealQ

FilledSmallSquareExistsRealQ[ineqs, , , ... ] tests whether there exist real values of the for which the inequalities and equations ineqs are satisfied.

FilledSmallSquare See also: ForAllRealQ, ImpliesRealQ, InequalityInstance, Eliminate, CylindricalAlgebraicDecomposition.

FilledSmallSquare Note: this is an experimental feature, and in future versions of Mathematica it may not be supported, or may have a different specification.

Experimental`CylindricalAlgebraicDecompositionExperimental`ExtendedLinearSolve