On Thursday, May 15, 2014 8:45:47 AM UTC+1, Jeroen Demeyer wrote: > > > IMHO, Jeroen needs to use Fourier-Motzkin elimination. > Yes, something like that. Elimination based purely on the H-rep without > first computing the V-rep. Is this implemented in Sage? In PPL? >
So is that the question, you have a problem where you can not compute the V-representation of the initial set of inequalities? There is no special support for doing the Fourier-Motzkin elimination of variables in Sage, but then its a pretty straightforward reshuffling of the inequalities. Then one can hope to apply double description in lower dimension. If you eliminate all but very few variables (e.g. 0 or 1 left) it you can also use linear programming. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
