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