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.
A short user guide is available here.
The source code can be downloaded from the following link: (zip archive).