innerInterval -- Inner interval of a collection of cells

• Usage:

  innerInterval(a, b, Q)

• Inputs:
  • a, a list of two integers representing a point in $\mathbb{Z}^2$
  • b, a list of two integers representing a point in $\mathbb{Z}^2$
  • Q, a collection of cells
• Outputs:
  • true if $[a,b]$ is an inner interval of Q, and false otherwise

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

i2 : innerInterval({1,1}, {3,3}, Q)

o2 = false

i3 : innerInterval({1,1}, {3,2}, Q)

o3 = true