Abstract:Given an ideal $I$ in a polynomial ring $K[x_1,\dots,x_n]$ over a field $K$, we present a complete algorithm to compute the binomial part of $I$, i.e., the subideal ${\rm Bin}(I)$ of $I$ generated by all monomials and binomials in $I$. This is achieved step-by-step. First we collect and extend several algorithms for computing exponent lattices in different kinds of fields. Then we generalize them to compute exponent lattices of units in 0-dimensional $K$-algebras, where we have to generalize the computation of the separable part of an algebra to non-perfect fields in characteristic $p$. Next we examine the computation of unit lattices in affine $K$-algebras, as well as their associated characters and lattice ideals. This allows us to calculate ${\rm Bin}(I)$ when $I$ is saturated with respect to the indeterminates by reducing the task to the 0-dimensional case. Finally, we treat the computation of ${\rm Bin}(I)$ for general ideals by computing their cellular decomposition and dealing with finitely many special ideals called $(s,t)$-binomial parts. All algorithms have been implemented in SageMath.

Binomial ideals attached to finite collections of cells

Binomial ideals attached to finite collections of cells

On algebraic properties of some non-prime ideals of collections of cells

Computing the Binomial Part of a Polynomial Ideal

Minimal cellular resolutions of powers of matching field ideals

Building monomial ideals with fixed betti numbers

Level and pseudo-Gorenstein binomial edge ideals

Ideals of some Green biset functors

Depth of Binomial Edge Ideals in terms of Diameter and Vertex Connectivity

Multidegrees of binomial edge ideals

On binomial complete intersections

Combinatorics of Borel Ideals

Multigraded generic initial ideals of determinantal ideals

Cellular Resolutions of Ideals Defined by Simplicial Homomorphisms

Hilbert series of fiber cones of ideals of almost minimal mixed multiplicity

Long Abelian ideals

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

Integral closures of powers of sums of ideals

On Posets, Monomial Ideals, Gorenstein Ideals and their Combinatorics

Polyocollection ideals and primary decomposition of polyomino ideals

Some homological properties of ideals with cohomological dimension one