Fourier-Motzkin elimination
- To: mathgroup at smc.vnet.net
- Subject: [mg91390] Fourier-Motzkin elimination
- From: Ravi Balasubramanian <bravi at cs.washington.edu>
- Date: Tue, 19 Aug 2008 07:16:52 -0400 (EDT)
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