Boole-Bell-type inequalities in Mathematica
arXiv:quant-ph/0105083
Abstract
Classical Pitowsky correlation polytopes are reviewed with particular emphasis on the Minkowski-Weyl representation theorem. The inequalities representing the faces of polytopes are Boole's ``conditions of possible experience.'' Many of these inequalities have been discussed in the context of Bell's inequalities. We introduce CddIF, a Mathematica package created as an interface between Mathematica and the cdd program by Komei Fukuda, which represents a highly efficient method to solve the hull problem for general classical correlation polytopes.
29 pages, all files necessary to process Mathematica in an MS Windows environment are at http://tph.tuwien.ac.at/~svozil/cdd/, the original cdd package is at http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html