FourierMotzkinGUI
A basic GUI for Fourier-Motzkin Elimination
FourierMotzkinGUI is a piece of software (M-code) which provides a basic Graphical User Interface for Fourier-Motzkin Elimination (FME) with particular focus on applications to information theory. This algorithm is useful to simplify achievable regions by eliminating meaningless quantities (if possible) but its application by hands can take hours.
The tool is able to work with symbolic quantities, but does not perform any symbolic simplifications. For instance, it can manipulate quantities I(U;A) and I(V;A|U) (as formal quantities) but will not simplify I(U;A)+I(V;A|U) as I(UV;A). Final results will thus contain some redundant inequalities which can be easily eliminated by standard manipulation.
The software, provided below, is released under GPL and comes with no warranty. If you have any trouble and/or suggestion, please feel free to contact me via the contact form.
User guide
A short user guide is available here.
Source code
The source code can be downloaded from the following link: (zip archive).