Re: Fourier-Motzkin elimination

*To*: mathgroup at smc.vnet.net*Subject*: [mg91401] Re: Fourier-Motzkin elimination*From*: Christopher Henrich <chenrich at monmouth.com>*Date*: Wed, 20 Aug 2008 04:04:37 -0400 (EDT)*References*: <g8ea35$4fb$1@smc.vnet.net>

In article <g8ea35$4fb$1 at smc.vnet.net>, Ravi Balasubramanian <bravi at cs.washington.edu> 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 Here <http://library.wolfram.com/infocenter/MathSource/7034/> 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 monmouth.com htp://www.mathinteract.com