Services & Resources / Wolfram Forums / MathGroup Archive

MathGroup Archive 2008

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Fourier-Motzkin elimination

  • To: mathgroup at
  • Subject: [mg91401] Re: Fourier-Motzkin elimination
  • From: Christopher Henrich <chenrich at>
  • Date: Wed, 20 Aug 2008 04:04:37 -0400 (EDT)
  • References: <g8ea35$4fb$>

In article <g8ea35$4fb$1 at>,
 Ravi Balasubramanian <bravi at> wrote:

> Hello friends,
> I have a set of inequalities
> A . x <= b,
> where x is a six-element symbolic vector {x1, x2, x3, x4, x5, x6}, A is 
> a 14x6 matrix, and b is a  14-element vector.
> I want to reduce these inequalities to two variables, say, x5 and x6, so 
> that I can visualize these constraints.  For example, I want to 
> transform the above inequalities to the form:
> A2 . {x5, x6} <= b2
> Apparently, this process is called Fourier-Motzkin elimination where you 
> can choose which variables to eliminate.  Is there a Mathematica package 
> to do this?
> Ravi
> The University of Washington
> Seattle, WA

is a package which I submitted to the Wolfram Library Archive; it uses 
Fourier-Motzkin elimination to eliminate variables from a system f 
linear inequalities.

Christopher J. Henrich
chenrich at

  • Prev by Date: Re: NDSolve[] with nested If[] and Piecewise[] usage:
  • Next by Date: Re: Connecting pipes
  • Previous by thread: Fourier-Motzkin elimination
  • Next by thread: Possible Bug with Specific Combination of Integrate and Assumptions