Determining the right-hand vectors of an irredundant linear inequality system

Two methods are discussed for determining the set of all b for which the system Ax⩽b (A-constant) is irredundant. For {n=fixed,m=var} and {m-n=fixed,m=var}, the first method is of polynomial complexity and worked significantly faster. The set turns out to be a convex open unbounded polyhedron.