This repository contains files that describe the inequalities that govern certain causal
structures. These structures are described in the Master Thesis by Laurens Ligthart.

The repository is split up into maps that contain files for different causal structures.
The causal structures that have been discussed are:

Extended triangle
Extended triangle with connections
Causal #9
Causal #11
General cccq
General ccqq

There are three file types:

.ine 			The H-representation for the lrs programs
.ext			The V-representation for the lrs programs
.ieq			The H-representation for the Porta programs

For information about formating of .ine or .ext files, we refer to the documentation for
lrslib at http://cgm.cs.mcgill.ca/~avis/C/lrs.html. For information about formatting of
.ieq files, we refer to the Porta documentation at http://comopt.ifi.uni-heidelberg.de/software/PORTA/

All files are based on Shannon and von Neumann inequalities and (in)equalities implied 
by the causal structure. In addition, other inequalities were included based on the file 
name:

noZY			-
class			Classical Zhang-Yeung (ZY) inequalities
quantum			cccq and ccqq ZY inequalities
ZY				Classical, cccq and ccqq ZY inequalities
allZY			All classical and quantum ZY inequalities (including unproven ones)
allqZY			All quantum ZY inequalities (including unproven ones)
families_x		Classical, cccq and ccqq ZY inequalities, and inequalities of the 
				infinite family up to s=x for ccqc ZY inequalities

If the filename contains the letters FM, the Fourier-Motzkin elimination was successful.
The file then contains the relevant inequalities for the 2^4-1=15 remaining entries of 
the entropy vector if it is an .ine or .ieq file, or the extremal rays of the 15 dimen-
sional cone if it is an .ext file. Otherwise, the file contains the relevant inequalities 
that hold before the Fourier-Motzkin elimination is performed.
Redundancy has been removed from all .ine files with the redund program of lrs.

For questions, feel free to send an email to [email protected]