Subject: error in solving x^4> -2 via solve_rat_ineq
From: Robert Marik
Date: Fri, 22 Jan 2010 14:55:06 +0000 (UTC)
Dear all,
I observed the following bug when trying to work with solve_rat_ineq. I think it
is a bug (complex numbers do not form ordered set) and the answer should be 'all'
sage: maxima("(load(\"solve_rat_ineq.mac\"),solve_rat_ineq(x^4>-2))")
[[x>-(-1)^(1/4)*2^(1/4),x<(-1)^(1/4)*2^(1/4)]]
Robert