Description
PolyominoIdeals is a package for making several computations with the inner 2minor ideals attached to collections of cells.
In [AAQ2012] Ayesha Asloob Qureshi establishes a connection between Combinatorial Commutiative Algebra and collection of cells, assigning to every collection of cells the binomial ideal of its inner $2$minors.
Consider the natural partial order on $\NN^2$ and let $a,b \in \N^2$ with $a\leq b$. The set $[a, b] = \{c \in \NN^2 : a \leq c \leq b\}$ is called an interval of $\NN^2$; moreover, if $b=a+(1,1)$, then $[a,b]$ is called a cell of $\NN^2$. An interval $C=[a, b]$, where $a = (i, j)$ and $b = (k, l)$, is said to be a proper interval if $i < k$ and $j < l$. The elements $a, b$ are said the diagonal corners of $C$ and $c = (k, j)$ and $d = (i, l)$ the antidiagonal ones. If $C$ is a cell, then $V(C)=\{a,a+(1,1),a+(0,1),a+(1,0)\}$ is the set of the corners of $C$.
To each collection of cells $\mathcal{P}$, we attach an ideal $I_{\mathcal{P}}$ as following. Let $K$ be a field and $S=K[x_a: a \in V (\mathcal{P})$, where $V (\mathcal{P})$ is the union of the vertices sets of all cells of $\mathcal{P}$. A proper interval $[a, b]$ is called an inner interval of $\mathcal{P}$ if all cells of $[a, b]$ belong to $\mathcal{P}$. The binomial $f= x_ax_b − x_c x_d$ , where $c$ and $d$ are the antidiagonal corners of $[a, b]$, is called an inner 2minor of $\mathcal{P}$, if $[a, b]$ is an inner interval of $\mathcal{P}$. We denote by $I_{\mathcal{P}}$ the ideal generated in $S$ by the inner 2minors of $\mathcal{P}$ and by $K [\mathcal{P}]$ the quotient ring $S/I_{\mathcal{P}}$, called the coordinate ring of $\mathcal{P}$.
The class of ideals attached to a collection of cells includes, for example, the ideals of 2minors of twosided ladders, but it is much more general. Interesting classes of collections of cells are the socalled polyominoes that are well studied in various combinatorial contexts. A collection of cells $\mathcal{P}$ is called a polyomino if for any two cells $A, B \in \mathcal{P}$ there exists a sequence of cells $A=C_1,\dots, C_m=B$ of $\mathcal{P}$ such that $C_i$ and $C_{i+1}$ have an edge in common. In such a case, $I_{\mathcal{P}}$ is called polyomino ideal of $\mathcal{P}$.
The aim of this package is to provide several tools to help mathematicians in the study of polyomino ideals. Every contribution is very welcome.
Literature

[AAQ2012] Ideals generated by 2minors, collections of cells and stack polyominoes (A. A. Qureshi, 2012, J. Algebra).