This is the supplemental Macaulay2 code for the paper "Resolution of degenerate mirror families via toric morphisms"
which is available at http://arxiv.org/abs/1308.0778.
Statement in Proposition 3.3
Statement in Lemma 3.4