Re: [Axiom-mail] Solving inequalities

[Ludovic Courtès]

Hi,

Martin Rubey <address@hidden> writes:

> address@hidden (Ludovic Courtès) writes:
>
>> Hello,
>> 
>> I'm trying to solve an inequality of the following form:
>> 
>>   find all values of x such that f(x) > 1,
>>     where f(x) is an `Expression Integer'
>> 
>> `solve' and `radicalSolve' are apparently not helpful here.  Any idea on
>> how to achieve this?
>
> For polynomial f this can be done using "cylindrical algebraic decompositions"
> (CADs). Quite a bit of this is actually implemented by Renaud Rioboo, see
> AxiomContributions on MathAction. Unfortunately, some pieces are missing in
> order to solve inequalities.
>
> If you were able to fill the gaps, this would be really great.

(Sorry for the late reply.)

Actually, I'm not a mathematician and I'm afraid I wouldn't be able to
contribute to it without attending tens of hours of classes on that
topic.  ;-)

Thanks,
Ludovic.