Sometimes it is of interest to know all integral points contained in a polyhedron which is given by a system of linear equations and inequalities. For this one has the function 'vint' which enumerates all the valid integral points within given bounds. As a special function in this context 'fctp' checks the facet inducing property of a set of linear inequalities for a polyhedron given as a convex hull plus a convex cone. The function 'fctp' uses a function 'dim', which computes the dimension of a polyhedron given as a convex hull plus a convex cone. Finally 'portsort' is helpful to make datafiles readable.
All functions read and write the data from and to files.
Such files can be manipulated by the user with a default texteditor. If an arithmetic overflow occurs with the systems integer arithmetic then the computations can be restarted with a double precision integer arithmetic. See the GNU General Public License for more details.