polyoIdeal -- Ideal of inner 2-minors of a collection of cells

Usage:

polyoIdeal Q
Inputs:
- Q, a collection of cells
Optional inputs:
- Field => ..., default value QQ, optional argument for polyoIdeal and adjacent2MinorIdeal
- RingChoice => ..., default value 1, optional argument for polyoIdeal
- TermOrder => ..., default value Lex, optional argument for polyoIdeal and adjacent2MinorIdeal
Outputs:
- the inner 2-minors ideal of the collection of cells encoded by Q

Description

Let $\mathcal{P}$ be a collection of cells. This routine returns the ideal $I_{\mathcal{P}}$ of the inner 2-minors of $\mathcal{P}$.
Moreover, if $\mathcal{P}$ is a polyomino, then it returns the polyomino ideal of $\mathcal{P}$.

i1 : Q = cellCollection {{1,1}, {2,1}, {2,2}}

o1 = {{1, 1}, {2, 1}, {2, 2}}

o1 : CollectionOfCells

i2 : I = polyoIdeal Q

o2 = ideal (x   x    - x   x   , x   x    - x   x   , x   x    - x   x   ,
             3,3 2,1    3,1 2,3   3,2 2,1    3,1 2,2   2,2 1,1    2,1 1,2 
     ------------------------------------------------------------------------
     x   x    - x   x   , x   x    - x   x   )
      3,3 2,2    3,2 2,3   3,2 1,1    3,1 1,2

o2 : Ideal of QQ[x   , x   , x   , x   , x   , x   , x   , x   ]
                  3,3   3,2   3,1   2,3   2,2   2,1   1,2   1,1

i3 : Q= cellCollection {{1, 1}, {2, 1}, {3, 1}, {3, 2}, {3, 3}, {2, 3}, {1, 3}, {1, 2}};

i4 : I = polyoIdeal Q

o4 = ideal (x   x    - x   x   , x   x    - x   x   , x   x    - x   x   ,
             2,3 1,2    2,2 1,3   2,4 1,1    2,1 1,4   4,4 3,1    4,1 3,4 
     ------------------------------------------------------------------------
     x   x    - x   x   , x   x    - x   x   , x   x    - x   x   , x   x   
      4,3 3,2    4,2 3,3   3,4 1,3    3,3 1,4   3,2 2,1    3,1 2,2   4,2 1,1
     ------------------------------------------------------------------------
     - x   x   , x   x    - x   x   , x   x    - x   x   , x   x    -
        4,1 1,2   2,4 1,2    2,2 1,4   4,4 3,2    4,2 3,4   2,4 1,3  
     ------------------------------------------------------------------------
     x   x   , x   x    - x   x   , x   x    - x   x   , x   x    - x   x   ,
      2,3 1,4   4,4 3,3    4,3 3,4   3,2 1,1    3,1 1,2   4,4 2,3    4,3 2,4 
     ------------------------------------------------------------------------
     x   x    - x   x   , x   x    - x   x   , x   x    - x   x   , x   x   
      2,2 1,1    2,1 1,2   4,2 3,1    4,1 3,2   2,3 1,1    2,1 1,3   4,3 3,1
     ------------------------------------------------------------------------
     - x   x   , x   x    - x   x   , x   x    - x   x   , x   x    -
        4,1 3,3   4,4 1,3    4,3 1,4   3,4 2,3    3,3 2,4   4,2 2,1  
     ------------------------------------------------------------------------
     x   x   )
      4,1 2,2

o4 : Ideal of QQ[x   , x   , x   , x   , x   , x   , x   , x   , x   , x   , x   , x   , x   , x   , x   , x   ]
                  4,4   4,3   4,2   4,1   3,4   3,3   3,2   3,1   2,4   2,3   2,2   2,1   1,4   1,3   1,2   1,1

Ways to use polyoIdeal:

polyoIdeal(CollectionOfCells)

For the programmer

The object polyoIdeal is a method function with options.

The source of this document is in PolyominoIdeals.m2:1111:0.