This dataset contains inequality descriptions of polyhedra whose
vertices are extreme functions for Gomory's cyclic master group
problem.

They can be used to reproduce the computational study on vertex
enumeration in section 2 of the paper "New computer-based search
strategies for extreme functions of the Gomory--Johnson infinite group
problem" by Matthias Koeppe and Yuan Zhou,
http://arxiv.org/abs/1506.00017

The polyhedra are provided in the input formats of lrs (also suitable
for cdd), normaliz, panda, and porta.  For each input format, there
are two sets of inequality descriptions.

Examples:

 - lrs_q20f1.ine gives the polyhedron corresponding to the cyclic
   group of order q=20, with a right hand side constant (f) is 1.

 - lrs_remove_redund_q20f1.ine is a nonredundant inequality
   description of the same polytope.
