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