Mathematica 9 is now available
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 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