Sometimes it is of interest to know all integral points contained in a polyhedron which is given by a system of linear equa- tions 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 con- text '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 polyhe- dron 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 over- flow occurs with the systems integer arithmetic then the computations can be restarted with a multiple precision integer arithmetic.