tvn wrote: > I am not familiar with Maxima at all so even it has the FM method, > how likely will it be available in Sage ? There are several
All of Maxima is in Sage. So you could use Maxima directly, through sage: maxima_console() or you could send Maxima commands in Sage but have them come back to Sage (some documentation at http://www.sagemath.org/doc/reference/sage/interfaces/maxima.html). Or you could create a Sage object that has Maxima methods and use that. I don't know if this would work for a system of equations. However, I think that some of this is even already exposed in Sage - see, for instance, the patch (now included) at http://trac.sagemath.org/sage_trac/attachment/ticket/7325/trac_7325-final-for-real.patch and in particular the "documentation" for fourier_elim at http://maxima.cvs.sourceforge.net/viewvc/maxima/maxima/share/contrib/fourier_elim/rtest_fourier_elim.mac for more info. It would be great if there was more to wrap that was robust which would help something. > implementations of FM method in languages such as C though. In which case you could presumably write a Cython extension/ interface. I don't know how that all works, but there are lots of resources to help you in the developer guide for Sage and Cython. Good luck! - kcrisman kcrisman wrote: > On Jan 25, 12:16 am, Robert Dodier <robert.dod...@gmail.com> wrote: > > On Jan 23, 11:47 pm, tvn <nguyenthanh...@gmail.com> wrote: > > > > > hi, just wondering if the Fourier-Motzkin algorithm for eliminating > > > variable from a system of linear inequalities is implemented somewhere in > > > Sage ? > > > > Well, Maxima has the function fourier_elim. I don't know anything > > about it. It is undocumented, but you can ask about on the mailing > > list. > > I believe that the Maxima fourier_elim might do this. Barton Willis > is the person to ask about whether the 'Motzkin' is part of it, on the > Maxima list (though I think he reads this as well). It's a nice > package. > > - kcrisman -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
