The output is written into a file the name of which is de- rived from with suffix '.ieq'. The output is written into a file with suffix '.poi' the name of which is derived from . Inequalities which are recognized to be facet-inducing for the finite linear system are printed into a file as soon as they are identified. This arithmetic is not as efficient as the system's integer arithmetic with respect to time and storage requirements. Such hexadecimal format can not be reread as input.
Output is written into a file named .poi.