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

Level and pseudo-Gorenstein binomial edge ideals

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

Building monomial ideals with fixed betti numbers

Multidegrees of binomial edge ideals

Generalized binomial edge ideals of bipartite graphs

On binomial complete intersections

Regularity of Powers of (parity) Binomial Edge Ideals

Ideals of some Green biset functors

Long Abelian ideals

Combinatorics of Borel Ideals

Polyocollection ideals and primary decomposition of polyomino ideals

Integral closures of powers of sums of ideals

Cellular Resolutions of Ideals Defined by Simplicial Homomorphisms

Extremal Betti numbers of some Cohen-Macaulay binomial edge ideals

Cohen-Macaulay Property of Binomial Edge Ideals with Girth of Graphs

Ideals generated by power sums