Macaulay2 » Documentation
Packages » Binomials :: Binomials
next | previous | forward | backward | up | index | toc

Binomials -- a package for binomial ideals

Description

Binomials is a package for binomial ideals with a particular focus on intersection decompositions and associated primes. For instance, if the input is a unital binomial ideal (that is generated by monomials and differences of monomials) then the functionbinomialPrimaryDecompositioncomputes a primary decomposition into binomial ideals. To this end a cyclotomic field extension of the coefficient field may be necessary which is automatically constructed using the package Cyclotomic. Binomials also implements the data type partialCharacter (see [ES96]) and several convenience functions to transform binomials into exponent vectors and vice versa. Those may be useful for manual inspection of binomial ideals.There is no special datatype for binomial ideals implemented, one just uses ideals.

Literature

Author

Certification a gold star

Version 1.0 of this package was accepted for publication in volume 4 of The Journal of Software for Algebra and Geometry: Macaulay2 on 2012-02-06, in the article Decompositions of binomial ideals (DOI: 10.2140/jsag.2012.4.1). That version can be obtained from the journal or from the Macaulay2 source code repository.

Version

This documentation describes version 1.2.1 of Binomials.

Source code

The source code from which this documentation is derived is in the file Binomials.m2.

Exports

For the programmer

The object Binomials is a package.