Talk:Cylindrical algebraic decomposition