文章目录 Maxima不等式 solve_rat_ineq fourier_elim Maxima不等式 solve_rat_ineq load("solve_rat_ineq"); solve_rat_ineq(x^2 - 4 > 0); fourier_elim 求解 线性不等式组