Upgrading from:

Algebra`AlgebraicInequalities`

New function SemialgebraicComponentInstances has been added to the built-in Mathematica kernel.

The output is returned as a list of rules:

Version 5.2 << Algebra`AlgebraicInequalities`; SemialgebraicComponents[{x (x^2 - 2) (x^2 - 3) > 0}, x]

SemialgebraicComponentInstances accepts arbitrary Boolean combinations of equations and inequalities:

Version 5.2 SemialgebraicComponents[ (x + 1/2)^2 + y^2 < 1 && (x - 1/2)^2 + y^2 == 1, {x, y}] returns unevaluated

Entering the equations as a List is equivalent to using the Boolean operator And:

Version 5.2 SemialgebraicComponents[{ (x + 1/2)^2 + y^2 < 1, (x - 1/2)^2 + y^2 == 1}, {x, y}] returns unevaluated

You may also use other Boolean operators:

Version 5.2 SemialgebraicComponents[((x + 1/2)^2 + y^2 < 1 && (x - 1/2)^2 + y^2 ⩵ 1) || ((x + 1/2)^2 + y^2 ⩵ 1 && (x - 1/2)^2 + y^2 ≥ 1), {x, y}] returns unevaluated