This is Sage code for computation and experimentation with the (1-dimensional) Gomory-Johnson infinite group problem, including an electronic compendium of extreme functions.
See the survey "Light on the Infinite Group Relaxation" (http://www.optimization-online.org/DB_HTML/2014/10/4620.html) for the mathematical background and a table of functions in the electronic compendium. See also the paper "An electronic compendium of extreme functions for the Gomory--Johnson infinite group problem" (http://www.optimization-online.org/DB_HTML/2014/11/4646.html) for a discussion of several functions in the compendium.
See http://www.sagemath.org/doc/tutorial/ for information on how to use Sage.
See file AUTHORS.rst and also THANKS.rst
The code is released under the GNU General Public License, version 2, or any later version as published by the Free Software Foundation.
- Install Sage from http://www.sagemath.org/
- Download the code from https://github.com/mkoeppe/infinite-group-relaxation-code.git
- From the directory of the infinite-group-relaxation-code, start Sage. You can either use the terminal or the worksheet.
At the Sage prompt, type:
import igp; from igp import *- Follow the instructions and examples in demo.sage.
- Create a user account at https://cloud.sagemath.com
- Log in at https://cloud.sagemath.com
- Create a new project "Group relaxation" (or any name)
- Open the project
- Create a directory: Paste in the weblink: https://github.com/mkoeppe/infinite-group-relaxation-code.git and hit enter
- Enter that directory
- Click "+ New", select "Sage worksheet"
Type:
import igp; from igp import *and hit shift+enter
- Follow the instructions and examples in demo.sage.
To update the code to the latest version:
- In the project "Group relaxation", open the directory "infinite-group-relaxation-code".
In the line "Terminal command...", enter:
git pull