groebner basis, cylindrical algebraic decomposition