×

Decompositions of binomial ideals. (English) Zbl 1311.13038

Summary: The Macaulay2 package Binomials contains implementations of specialized algorithms for binomial ideals, including primary decomposition into binomial ideals. The current implementation works in characteristic zero. Primary decomposition is restricted to binomial ideals with trivial coefficients to avoid computations over the algebraic numbers. The basic ideas of the algorithms go back to Eisenbud and Sturmfels’ seminal paper on the subject. Two recent improvements of the algorithms are discussed and examples are presented.

MSC:

13P15 Solving polynomial systems; resultants
13C99 Theory of modules and ideals in commutative rings