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