help

Hello,

I'm learning Eclipse & got very interested in it.

I heard that Eclipse can solve polynomial inequations of the form:
	a_n*x^n + a_{n-1}*x^{n-1} + ... + a_1*x >= a
(where a's are constants & x is a variable neded to solve for (a's & x are
rational)). For example: 3.5*x^2 + 2*x >= 3.

Could you pls tell me whether Eclipse can solve this kind of inequation and
pls hint me how.

Thanks,
.Tuan.