This code allows one to work with local views and slack in the minimisation program discussed in the paper at https://doi.org/10.37236/7743.
- Sage (http://www.sagemath.org/), tested with v8.0.
- Jupyter, included in Sage.
- Additional Python packages:
cytoolz,joblib, andtqdm. These are best installed from the command line withsage -pip install cytoolz joblib tqdm.
The code for computing the necessary representative local views and slack is in the files local_views.pyx and properties.pyx. The Jupyter notebook d4.ipynb allows the user to step through the computations that produce the desired results.
Open Sage with the Jupyter notebook (e.g. sage -n jupyter on the command line) and open d4.ipynb in the Jupyter interface. Then step through the cells, executing the commands in order.
d4.ipynb, a Jupyter notebook for performing computationslocal_views.pyx, Cython code for computing sets of representative local viewsproperties.pyx, Cython code for computing properties of local viewsREADME.md, this readme file with instructions for using the code
Copyright (C) 2018 Ewan Davies, email: research@ewandavies.org, url: www.ewandavies.org