iespo(1) iespo(1) NAME iespo iespo - enumeration of equations and inequalities that are valid for a convex cone and a convex hull SYNOPSIS iespo [-v] fname_with_'.ieq' fname_with_'.poi' DESCRIPTION iespo is a simple enumeration routine which enumerates the subset of equations and inequalities in the 'ieq' input file which are valid (not necessarily facet inducing) for the polyhedron given by the The output is written into an 'ieq'-file, whose name is derived from the 'poi'-input filename. OPTIONS -v Prints a table in the output file which indicates strong validity SEE ALSO porta(1), dim(1), fmel(1), portsort(1), traf(1), fctp(1), posie(1), vint(1) rt(1), traf(1), fctp(1), posie(1), vint(1) February 16, 1994 1