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

# binomialRadical -- Radical of a binomial ideal

- Usage:
    `binomialRadical I`
- Inputs:
  - I, a binomial ideal
- Outputs:
  - the radical of I

## Description

If the input is a cellular binomial ideal then a very fast algorithm is used. If one knows this and also the cellular variables then cellularBinomialRadical should be used.

    i1 : R = QQ[x,y]

    o1 = R

    o1 : PolynomialRing

    i2 : I = ideal (y^2, x*y-y, x^2-1)

                 2            2
    o2 = ideal (y , x*y - y, x  - 1)

    o2 : Ideal of R

    i3 : binomialRadical I

                 2            2
    o3 = ideal (y , x*y - y, x  - 1, y)

    o3 : Ideal of R

## See also

- cellularBinomialRadical -- Radical of a cellular binomial ideal

## For the programmer

The object binomialRadical is a function closure.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/Binomials.m2:1506:0.