bennetgoeckner/bennetgoeckner: Sage code for "Resolving Stanley's conjecture on k-fold acyclic complexes"

This contains code that verifies that the complex Omega_3 in Remark 3.5 in "Resolving Stanley's conjecture on k-fold acyclic complexes" is a counterexample to Conjecture 2.4 in "A combinatorial decomposition of acyclic simplicial complexes."