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. _______________________________________________ Axiom-math mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
