cylindrical decomposition((2 x + 3 y) - 6> 0, {x, y})