Abstract:Recently Gouveia, Thomas and the authors introduced the slack realization space, a new model for the realization space of a polytope. It represents each polytope by its slack matrix, the matrix obtained by evaluating each facet inequality at each vertex. Unlike the classical model, the slack model naturally mods out projective transformations. It is inherently algebraic, arising as the positive part of a variety of a saturated determinantal ideal, and provides a new computational tool to study classical realizability problems for polytopes. We introduce the package SlackIdeals for Macaulay2, that provides methods for creating and manipulating slack matrices and slack ideals of convex polytopes and matroids. Slack ideals are often difficult to compute. To improve the power of the slack model, we develop two strategies to simplify computations: we scale as many entries of the slack matrix as possible to one; we then obtain a reduced slack model combining the slack variety with the more compact Grassmannian realization space model. This allows us to study slack ideals that were previously out of computational reach. As applications, we show that the well-known Perles polytope does not admit rational realizations and prove the non-realizability of a large quasi-simplicial sphere.

Homological Shift Ideals: Macaulay2 Package

PolyominoIdeals: a package for Macaulay2 to work with the inner $2$-minor ideals of collections of cells

A Step towards Computational Derived Algebraic Geometry: The RepHomology Package For Macaulay2

Hadamard Product of Monomial Ideals and the Hadamard Package

Homological shifts of polymatroidal ideals

Slack Ideals in Macaulay2

SCMAlgebras: a Macaulay2 package to check sequential Cohen-Macaulayness

Coding theory package for Macaulay2

Some homological properties of Borel type ideals

Shift modules, strongly stable ideals, and their dualities

Simplicial complexes in Macaulay2

A Duality between Hilbert Functions of Lex Ideals and Quotients

Cohen–Macaulayness of Vertex Splittable Monomial Ideals

The MorseResolutions package for Macaulay2

The OIGroebnerBases Package for Macaulay2

Matching Fields in Macaulay2

VersalDeformations - a package for computing versal deformations and local Hilbert schemes

Homology of multiple complexes and Mayer-Vietoris spectral sequences

A better comparison of cdh- and ldh-cohomologies

CellularResolutions M2 Package

Cohen-Macaulayness of vertex splittable monomial ideals