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 |