SemialgebraicComponentInstances

SemialgebraicComponentInstances[ineqs, {x₁, x₂, ...}]
gives at least one sample point in each connected component of the semialgebraic set defined by the inequalities ineqs in the variables x₁, x₂, ....

MORE INFORMATION

SemialgebraicComponentInstances assumes that all variables are real.

Lists or logical combinations of inequalities can be given.

Any solution to the set of inequalities can be connected by a continuous path to one of the points returned by SemialgebraicComponentInstances.

SemialgebraicComponentInstances produces a list of rules for variables, of the same type as Solve.

EXAMPLES

CLOSE ALL

Basic Examples (1)

Find at least one sample point in each distinct component:

Scope (3)

Properties & Relations (2)

SEE ALSO

FindInstance Reduce CylindricalDecomposition GenericCylindricalDecomposition

TUTORIALS

The Representation of Solution Sets

MORE ABOUT

Polynomial Systems

New in 6.0: Symbolic Computation

New in 6

Ask a question about this page | Suggest an improvement | Leave a message for the team