Equivariant perturbation in Gomory and Johnson's infinite group problem (V). Software for the continuous and discontinuous 1-row case

We present software for investigations with cut-generating functions in the Gomory–Johnson model and extensions, implemented in the computer algebra system SageMath.

[1]  Ellis L. Johnson,et al.  T-space and cutting planes , 2003, Math. Program..

[2]  Jean-Philippe P. Richard,et al.  The Group-Theoretic Approach in Mixed Integer Programming , 2010, 50 Years of Integer Programming.

[3]  Matthias Köppe,et al.  New computer-based search strategies for extreme functions of the Gomory–Johnson infinite group problem , 2017, Math. Program. Comput..

[4]  Matthias Köppe,et al.  Light on the infinite group relaxation II: sufficient conditions for extremality, sequences, and algorithms , 2016, 4OR.

[5]  Matthias Köppe,et al.  Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. I. The One-Dimensional Case , 2012, Math. Oper. Res..

[6]  Jean-Philippe P. Richard,et al.  Relations between facets of low- and high-dimensional group problems , 2010, Math. Program..

[7]  Marco Di Summa,et al.  Extreme functions with an arbitrary number of slopes , 2016, IPCO.

[8]  Matthias Köppe,et al.  Equivariant perturbation in Gomory and Johnson’s infinite group problem—III: foundations for the k-dimensional case with applications to k=2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \us , 2014, Mathematical Programming.

[9]  Matthias Köppe,et al.  Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. VI. The Curious Case of Two-Sided Discontinuous Functions , 2016 .

[10]  Matthias Köppe,et al.  Light on the infinite group relaxation I: foundations and taxonomy , 2014, 4OR.

[11]  R. Gomory.  AN ALGORITHM FOR THE MIXED INTEGER PROBLEM , 1960 .

[12]  Denise R. McLane-Davison,et al.  Lifting , 2016, Physiotherapy.

[13]  Ellis L. Johnson,et al.  Some continuous functions related to corner polyhedra , 1972, Math. Program..

[14]  Yanjun Li,et al.  Valid inequalities for MIPs and group polyhedra from approximate liftings , 2009, Math. Program..

[15]  Matthias Köppe,et al.  Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems , 2016, ISCO.

[16]  Marco Molinaro,et al.  Minimal Cut-Generating Functions are Nearly Extreme , 2016, IPCO.

[17]  Jean-Philippe P. Richard,et al.  New inequalities for finite and infinite group problems from approximate lifting , 2008 .

[18]  Ellis L. Johnson.  On the group problem for mixed integer programming , 1974 .

[19]  Laurence A. Wolsey,et al.  Lifting, superadditivity, mixed integer rounding and single node flow sets revisited , 2003, 4OR.

[20]  Gérard Cornuéjols,et al.  Cut-Generating Functions and S-Free Sets , 2015, Math. Oper. Res..

[21]  Cláudio Alves,et al.  Dual-Feasible Functions for Integer Programming and Combinatorial Optimization: Basics, Extensions and Applications , 2016 .

[22]  R. Gomory.  Some polyhedra related to combinatorial problems , 1969 .

[23]  Yanjun Li,et al.  On the extreme inequalities of infinite group problems , 2009, Math. Program..

[24]  Matthias Köppe,et al.  An electronic compendium of extreme functions for the Gomory-Johnson infinite group problem , 2014, Oper. Res. Lett..