[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Solving inequalities
From: |
Ludovic Courtès |
Subject: |
Re: [Axiom-mail] Solving inequalities |
Date: |
Thu, 16 Nov 2006 09:34:16 +0100 |
User-agent: |
Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux) |
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.