next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Binomials :: binomialAssociatedPrimes

binomialAssociatedPrimes -- Associated primes of a binomial ideal

Synopsis

Description

First a cellular decomposition is run, then the associated primes of each cellular component are determined.
i1 : R = QQ[x,y]

o1 = R

o1 : PolynomialRing
i2 : I = ideal(x^2-y,y^2-x)

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

o2 : Ideal of R
i3 : binomialAssociatedPrimes I
-------------------------------------------------
4ti2 version 1.3.2, Copyright (C) 2006 4ti2 team.
4ti2 comes with ABSOLUTELY NO WARRANTY.
This is free software, and you are welcome
to redistribute it under certain conditions.
For details, see the file COPYING.
-------------------------------------------------
Using 64 bit integers.
4ti2 Total Time:  0.00 secs.
Not yet implemented
I will compute a primary decomposition and take radicals!
using temporary file name /tmp/M2-22735-0/0
Primary Decomposition found, taking radicals now:

o3 = {ideal (y - 1, x - 1), ideal (y - ww , x + ww  + 1), ideal (y + ww  + 1,
                                         3        3                    3     
     ------------------------------------------------------------------------
     x - ww ), ideal (y, x, x, y)}
           3

o3 : List

See also