Re: Solving inequalities

Hi,

Ralf Hemmecke <[email protected]> writes:

> The problem is, as Martin has already pointed out, that your problem
> is undecidable if you do not restrict f to a certain class of
> functions (like for example polynomial functions). So nobody will be
> able to write a general solver for your problem.
>
> Could you specify they type of functions more clearly, ie, replace
> "Expression Integer" to some smaller class of functions?

Yes, I can restrict it to a `Fraction Polynomial Integer'.
Does it help?

Thanks,
Ludovic.