CylindricalDecompositionFunction

CylindricalDecompositionFunction[data][x1,x2,…] represents a cylindrical algebraic formula in x1,x2,….

Examples

Create a cylindrical decomposition function:

CylindricalDecomposition[x^2 + y^2 < 1, {x, y}, "Function"]

Please visit the official Wolfram Language Reference for more details.