[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-math] Re: [Axiom-mail] Solving inequalities

From: Ludovic Courtès
Subject: [Axiom-math] Re: [Axiom-mail] Solving inequalities
Date: Thu, 16 Nov 2006 10:00:06 +0100
User-agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux)


Ralf Hemmecke <address@hidden> 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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]