portsort(1) portsort(1) NAME portsort portsort - sort inequalities or point systems SYNOPSIS portsort [-s] filename_with_suffix_'.ieq'_or_'.poi' DESCRIPTION portsort puts the points or inequalities into an increas- ing order according to the following criteria: 1. right hand sides of inequalities or equations 2. frequency of the values -5 .. -1, 1 .. 5 3. lexicographical order Addi- tionally portsort formats the output. The output filename arises from the filename of the input file by appending the suffix of the input filename once again. OPTIONS --ss Appending a statistical part to each line contain- ing the number of nonzero coefficients SEE ALSO porta(1), dim(1), fmel(1), iespo(1), traf(1), fctp(1), posie(1), vint(1) February 16, 1994 1