Sage includes a couple of different linear programming solvers, which may be relevant - cvxopt, cddlib, and I think Nathan Cohen added GLPK as an optional package. I'm not sure how well they could be integrated into the symbolics, I suppose adding support for what maxima can do might be the easiest route.
-Marshall On Oct 17, 5:42 pm, "ma...@mendelu.cz" <ma...@mendelu.cz> wrote: > On 17 říj, 23:27, 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. > > Many thanks for this information! Very interesting! > > Robert > > > FWIW > > > Robert Dodier --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
