Supplementary Materials for "Unimodular Binary Hierarchical Models"

This webpage contains supplementary material for the paper Unimodular Binary Hierarchical Models by Daniel Irving Bernstein and Seth Sullivant. 

The file prop41.m2 provides Macaulay 2 code that uses 4ti2 to verify the non-unimodularity of certain complexes in Proposition 4.1. The file prop79.m2 provides Macaulay 2 code that uses 4ti2 to verify the non-unimodularity of certain complexes in Proposition 7.9. In each case the code exhibits a Graver basis element of the corresponding matrix which has an entry of absolute value greater than 1.