Authors

The first version of this code was written by Chun Yu Hong in summer 2013 during his Research Experience for Undergraduates at UC Davis under supervision by Matthias Koeppe.

It was later revised and extended by Matthias Koeppe and Yuan Zhou.

Peijun Xiao contributed some docstrings and doctests.

Yuan Zhou wrote the electronic compendium of extreme functions.

Masumi Sugiyama contributed the mlr_cpl3_… functions to the compendium, and added functions that convert between group functions and superadditive lifting functions.

Jiawei Wang added code for dual-feasible functions, implemented the subadditivity test using spatial branch and bound, implemented the SPAM linear systems backend with Fourier Motzkin elimination, added some SPAM examples, contributed documentation and doctests, and did some code optimization.

Thanks

This software is based on the paper:

[IR2]

Amitabh Basu, Robert Hildebrand, and Matthias Koeppe, Equivariant perturbation in Gomory and Johnson’s infinite group problem, I. The one-dimensional case, Mathematics of Operations Research (2014), doi:10.1287/moor.2014.0660

Matthias Koeppe wishes to thank Amitabh Basu and Robert Hildebrand for many discussions.

The electronic compendium of extreme functions has been compiled in part using information from the following survey.

[RD]

J.-P. P. Richard and S. S. Dey, The group-theoretic approach in mixed integer programming, 50 Years of Integer Programming 1958-2008 (M. Jünger, T. M. Liebling, D. Naddef, G. L. Nemhauser, W. R. Pulleyblank, G. Reinelt, G. Rinaldi, and L. A. Wolsey, eds.), Springer Berlin Heidelberg, 2010, pp. 727-801, doi:10.1007/978-3-540-68279-0_19, ISBN 978-3-540-68274-5.

The development of this code was made possible in part by grant DMS-1320051 from the National Science Foundation, awarded to Matthias Koeppe.