FME-IT package for MATLAB

By Ido B. Gattegno, Ziv Goldfeld and Haim H. Permuter

Fourier-Motzkin elimination (FME) algorithm for information theoretic inequalities. This package combines the FME procedure together with an information theoretic inequality prover (ITIP).

If you find this package useful in your research, share it with others. [bibtex].


The FME-IT package for MATLAB combines two algorithms:

  1. Fourier-Motzkin Elimination (FME) algorithm [1]

  2. Information Theoretic Inequality Prover (ITIP) [2]

The two algorithms form a tool for eliminating variables (such as rates) from a system of linear inequalities that consist Shannon's information measures, and removing redundant inequalities due to Shannon-type information inequalities.


Contact information

This software is programmed by Ido B. Gattegno.
If you have any comments on the software, such as bug reports or questions, please send them directly to the author:

Information about usage of the software and mathematical background are given in the User-guide documentation attached to the software and a mathematical background document, respectively.
Please read these documents before contacting the author.



The author would like to thank Mr. Bho Matthiesen for reporting bugs, offering solutions and testing this software.


[1] A. Schrijver, Theory of linear and integer programming. John Wiley & Sons, 1998.

[2] R. W. Yeung, Information theory and network coding. Springer Science & Business Media, 2008.

[3] A. El-Gamal and Y.H. Kim, Network information theory. Cambridge University Press, 2011.

[4] T. Sun and K.H. Kobayashi, A new achievable rate region for the interference channel. IEEE transactions on information theory , 1981, vol. 27, no. 1, pp. 49-60.

[5] S. Jibrin and D. Stover, Identifying redundant linear constraints in systems of linear matrix inequality constraints. Journal of Interdisciplinary Mathematics, 2007, vol. 10, no. 5, pp.601-617.

Heart Health