fctp(1) fctp(1)
NAME fctp
fctp - checks inequalities for facet-inducing property
SYNOPSIS
fctp fname_with_suffix_'.ieq' fname_with_suffix_'.poi'
DESCRIPTION
fctp performs a check whether the inequalities given in
the the 'poi'-input file. For all inequalities fctp does
the following: In a first step fctp checks if the inequal-
ity is valid. If this is not the case fctp writes
the points and rays which are not valid into a file. In a
second step fctp computes those valid points and rays
which satisfy the inequality with equality and - if there
are any - writes them into a file. For these points and
rays the dimension is computed by using the routine 'dim'.
The filenames result from the ieq-filename by append-
ing first the number of the corresponding inequality and
then the suffix '.poi' resp. '.poi.poi'.
SEE ALSO
porta(1), dim(1), fmel(1), iespo(1), portsort(1), traf(1),
posie(1), vint(1) t(1)
February 16, 1994 1