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