i3 : binomialAssociatedPrimes I
Not yet implemented
I will compute a primary decomposition and take radicals!
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
|