hullComplex I
hullComplex(t,I)
Given a monomial ideal $I$, this function returns the hull complex of that ideal. If an rational number $t$ is provided, this will set the base used in the exponents used to construct the polytope as described in ``Combinatorial Commutative Algebra.'' The resulting complex is only a resolution for $t\gg 0$. In particular $t > (n+1)!$ is sufficient where $n$ is the number of variables in the ring. If t is not provided, $(n+1)!+1$ will be used.
The example given below can be found as Example 4.23 in MillerSturmfels' ``Combinatorial Commutative Algebra.'' In this example, the resolution supported on the hull complex is minimal, but this is not always the case. We also see that for $t=3/2$ the resulting complex is no longer a resolution.









The object hullComplex is a method function.