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

```

• 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