CyclicPolytopeRes

CyclicPolytopeRes -- The unprojection structure of the Stanley-Reisner ring of the boundary complex of a cyclic polytope. This package computes the minimal resolution of the Stanley-Reisner ring of the boundary complexes Δ(d,m) of cyclic polytopes of dimension d on m vertices using unprojection theory. We implement the results of ”J. Boehm, S. Papadakis: On the structure of Stanley-Reisner rings associated to cyclic polytopes”, http://arxiv.org/abs/0912.2152, connecting Stanley-Reisner rings and unprojection to give a formula for the minimal resolutions.