On Oct 17, 5:27 pm, Robert Dodier <robert.dod...@gmail.com> wrote:
> ma...@mendelu.cz wrote:
> > does Sage solve inequlitites? According to Maxima mail list (
> >http://thread.gmane.org/gmane.comp.mathematics.maxima.general/28497/f...
> > ) Maxima can do at elast someting in this area. I was not able to find
> > out, wheather Sage can somehow solve ineqaulities - via maxima or via
> > another way. Can it?
>
> Maybe the Maxima share package fourier_elim is useful to you.
> There is no documentation, but there are some examples in
> rtest_fourier_elim.mac. Also look in the mailing list archive for
> some mention of it. I'm sure the author (Barton Willis) would be
> happy to answer questions posted to the mailing list.
Yes, Barton's fourier_elim package and the solve_rat_ineq stuff should
definitely be wrapped. Incidentally, his to_poly_solver package is
now wrapping certain inequality solving as well, and we do already
have that as an option in our solve() command.
Do you think that solve() would automatically call this/some LP thing,
or would it be better to have a separate command?
- kcrisman
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
