[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) |

Hi,
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?
Thanks,
Ludovic.