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 continue with a double precision integer arithmetic. This program package may be freely copied for others. Use this adress also to give notice to us about bugs which you have detected. Heidelberg Heilbronner Str.