generic cylindrical algebraic decomposition