 Redundancy may be implied by other inequalities or by inequalities in information theory (a.k.a.Shannon type inequalities).A recently developed open-source software for MATLAB performs the elimination, while identifying and removing redundant inequalities.