Details
In this code, the mask for
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/7b9c027f652f54f0.png)
is {{0,0,1},{1,1,1}}. Below, the shapes are given instead of the arrays as a visual aid for the reader:
This function is very specific to the overlap tilings seen in the resource function FindMinimalTilings.
A tile mask is a subset of positions within a rectangular array, such as the
a values in
{{a,a,a},{_,a,_}}. This particular mask is also known as the Tetris T shape,
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/3053949d804ed867.png)
.
The results of
FindMinimalTilings on mask
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/7b9c027f652f54f0.png)
has identical results to rotations and reflections of
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/7b9c027f652f54f0.png)
.
The results of running
FindMinimalTilings on mask
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/3053949d804ed867.png)
has identical results to mask
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/7b9c027f652f54f0.png)
(skew equivalency).
Similarly,
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/1849c0d7d32492ca.png)
and
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/62b4cb51ef6bfe61.png)
are equivalent masks for overlap tiling systems.
Evaluating
ResourceFunction["CanonicalTilingMask"] on any rotation or reflection of masks
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/4428b2e889b82f68.png)
,
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/3c85cefa2319d813.png)
or
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/1e0d252f57b68b6a.png)
returns
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/4428b2e889b82f68.png)
.
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/30bd80d2a93eb6d0.png)
,
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/76d9e1ace1d9ad47.png)
and
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/5d719d041a9f862d.png)
are canonical.
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/475c0c2a8b64f458.png)
is the canonical form of
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/1af8184b0a70ef29.png)
.
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/11f90ceed6aa8f0d.png)
is the canonical form of
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/7105c66486f98f93.png)
.
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/628501a5d5cdf8a8.png)
is the canonical form of
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/1197d6e81fe8c4f0.png)
.
Currently, many hours of computer time are needed to run
FindMinimalTilings on masks
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/41bbd48157dcefb3.png)
,
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/5a0c0729446b6d21.png)
and
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/7e5a5bcc94b0376b.png)
. These are all equivalent to
![](https://www.wolframcloud.com/obj/resourcesystem/images/f60/f6074f21-2d01-4634-9de5-c5939e3e551e/7b9fd30a8ab1eb38.png)
. The point of this function is to find these equivalencies before an expensive run.
For overlap tiling systems, these results only meaningfully apply to 2D shapes. The domino array {{1,1}} can be considered a 1D mask.