(* Content-type: application/mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 6.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 145, 7] NotebookDataLength[ 46692, 1241] NotebookOptionsPosition[ 45874, 1213] NotebookOutlinePosition[ 46213, 1228] CellTagsIndexPosition[ 46170, 1225] WindowFrame->Normal ContainsDynamic->True *) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", RowBox[{ RowBox[{ RowBox[{ "This", " ", "file", " ", "contains", " ", "all", " ", "the", " ", "possible", " ", "SA", " ", "partitions", " ", "for", " ", "non"}], "-", RowBox[{"periodic", " ", RowBox[{"tilings", ".", " ", "The"}], " ", "other", " ", "partitions", " ", "are", " ", "all", " ", "excluded", " ", "by", " ", "obvious", " ", "periodicity", " ", "due", " ", "to", " ", "the", " ", "C"}], "-", RowBox[{"M", " ", "condition", " ", RowBox[{"T2", ".", " ", "For"}], " ", "example"}]}], ",", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "16", ",", "3", ",", "9"}], "}"}]}], "}"}], " ", "is", " ", "not", " ", "listed", " ", "here", " ", RowBox[{"because", ":", "\[IndentingNewLine]", RowBox[{"due", " ", "to", " ", "condition", " ", "T2"}]}]}], ",", " ", RowBox[{ "the", " ", "second", " ", "tile", " ", "must", " ", "be", " ", "divisible", " ", RowBox[{"by", " ", "\[IndentingNewLine]", "\\", "Phi_"}], "8"}], ",", "16", ",", "3", ",", "9", ",", "24", ",", "48", ",", "72", ",", RowBox[{ "144", " ", "and", " ", "this", " ", "is", " ", "too", " ", "much"}], ",", " ", RowBox[{"it", " ", "implies", " ", RowBox[{"periodicity", "."}]}]}], "\[IndentingNewLine]", "*)"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ RowBox[{"Some", " ", "of", " ", RowBox[{"SA", "'"}], "s", " ", "here", " ", "imply", " ", "more", " ", "divisibility", " ", RowBox[{"by", " ", "\\", RowBox[{"Phi", "'"}]}], "s", " ", "than", " ", "required", " ", "by", " ", RowBox[{"T2", ".", " ", "The"}], " ", "reason", " ", "is", " ", "that", " ", "if", " ", "we", " ", "fill", " ", "out", " ", "T2"}], ",", " ", RowBox[{ RowBox[{ RowBox[{ "then", " ", "we", " ", "see", " ", "that", " ", "certain", " ", "further", " ", "elements", " ", "must", " ", "go", " ", "to", " ", "one", " ", "of", " ", "the", " ", "components", " ", "to", " ", "keep", " ", "the", " ", "chance", " ", "of", " ", "non"}], "-", RowBox[{ RowBox[{"periodicity", ".", " ", "E", ".", "g", ".", " ", "in"}], " ", "case", " ", "of", " ", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "16", ",", "12", ",", "48"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "8", ",", "9", ",", "18", ",", "72"}], "}"}]}], "}"}]}]}], ";", " ", RowBox[{ "we", " ", "see", " ", "that", " ", "144", " ", "must", " ", "come", " ", "in", " ", "the", " ", "second", " ", "component"}]}], ",", " ", RowBox[{ RowBox[{ "and", " ", "then", " ", "36", " ", "must", " ", "go", " ", "in", " ", "the", " ", RowBox[{"first", ".", " ", "These"}], " ", "are", " ", "listed", " ", RowBox[{"here", ":", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "9", ",", "12", ",", "36"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "8", ",", "16"}], "}"}]}], "}"}]}]}], ";", " ", "18"}], ",", "72", ",", "144", ",", "6", ",", "24", ",", RowBox[{"48", ";", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "8", ",", "16", ",", "24", ",", "48", ",", "72"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "9", ",", "18", ",", "36", ",", "144"}], "}"}]}], "}"}], ";", " ", "6"}], ",", RowBox[{"12", ";", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "8", ",", "9", ",", "24", ",", "72"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "16"}], "}"}]}], "}"}], ";", "6"}], ",", "12", ",", "48", ",", "18", ",", "36", ",", RowBox[{"144", ";", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "16", ",", "12", ",", "48", ",", "36"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "8", ",", "9", ",", "18", ",", "72", ",", "144"}], "}"}]}], "}"}], ";", " ", "6"}], ",", RowBox[{"24", ";", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "8", ",", "9", ",", "36", ",", "72", ",", "144"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "16", ",", "6", ",", "48", ",", "18"}], "}"}]}], "}"}], ";", "12"}], ",", RowBox[{"24", ";"}]}], "*)"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"Dynamic", "[", RowBox[{"{", RowBox[{"j", ",", "k"}], "}"}], "]"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"n", "=", "144"}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"S", "=", RowBox[{"{", RowBox[{ "2", ",", "4", ",", "8", ",", "3", ",", "6", ",", "12", ",", "24", ",", "9", ",", "18", ",", "36", ",", "72", ",", " ", "16", ",", " ", "48", ",", "144"}], "}"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"SAA", "=", RowBox[{"{", RowBox[{"2", ",", "3", ",", "4", ",", "8", ",", "9", ",", "16"}], "}"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"PS", "=", RowBox[{"Subsets", "[", "S", "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"PSA", "=", RowBox[{"Subsets", "[", "SAA", "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"PA", "=", RowBox[{"Array", "[", RowBox[{ RowBox[{"0", "&"}], ",", " ", RowBox[{"Length", "[", "PSA", "]"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"j", "=", "1"}], ",", " ", RowBox[{"j", "\[LessEqual]", RowBox[{"Length", "[", "PSA", "]"}]}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"PA", "[", RowBox[{"[", "j", "]"}], "]"}], "=", RowBox[{"{", RowBox[{ RowBox[{"PSA", "[", RowBox[{"[", "j", "]"}], "]"}], ",", " ", RowBox[{"Complement", "[", RowBox[{"SAA", ",", " ", RowBox[{"PSA", "[", RowBox[{"[", "j", "]"}], "]"}]}], "]"}]}], "}"}]}], ";", "\[IndentingNewLine]", RowBox[{"j", "++"}]}]}], "]"}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", "\[IndentingNewLine]", "\[IndentingNewLine]", "\[IndentingNewLine]", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"A", "=", RowBox[{"Array", "[", RowBox[{ RowBox[{"0", "&"}], ",", " ", "100000"}], "]"}]}], ";", RowBox[{"k", "=", "1"}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"j", "=", "1"}], ",", " ", RowBox[{"j", "\[LessEqual]", RowBox[{"Length", "[", "PS", "]"}]}], ",", " ", RowBox[{ RowBox[{"H", "=", RowBox[{"PS", "[", RowBox[{"[", "j", "]"}], "]"}]}], ";", RowBox[{"d", "=", "1"}], ";", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"m", "=", "1"}], ",", " ", RowBox[{"m", "\[LessEqual]", RowBox[{"Length", "[", "H", "]"}]}], ",", " ", RowBox[{ RowBox[{"d", "=", RowBox[{"LCM", "[", RowBox[{"d", ",", RowBox[{"H", "[", RowBox[{"[", "m", "]"}], "]"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"m", "++"}]}]}], "]"}], ";", " ", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"d", "\[Equal]", "n"}], ",", " ", RowBox[{ RowBox[{"b", "=", "1"}], ";", " ", RowBox[{"G", "=", RowBox[{"Complement", "[", RowBox[{"S", ",", "H"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"mm", "=", "1"}], ",", " ", RowBox[{"mm", "\[LessEqual]", RowBox[{"Length", "[", "G", "]"}]}], ",", " ", RowBox[{ RowBox[{"b", "=", RowBox[{"LCM", "[", RowBox[{"b", ",", RowBox[{"G", "[", RowBox[{"[", "mm", "]"}], "]"}]}], "]"}]}], ";", " ", "\[IndentingNewLine]", RowBox[{"mm", "++"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"b", "\[Equal]", "n"}], ",", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"A", "[", RowBox[{"[", "k", "]"}], "]"}], "=", RowBox[{"{", RowBox[{"H", ",", "G"}], "}"}]}], ";", RowBox[{"k", "=", RowBox[{"k", "+", "1"}]}]}]}], "]"}]}]}], "]"}], ";", "\[IndentingNewLine]", " ", RowBox[{"j", "++"}]}]}], "]"}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"A", "=", RowBox[{"Drop", "[", RowBox[{ RowBox[{"A", "\[Union]", RowBox[{"{", "0", "}"}]}], ",", "1"}], "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"Length", "[", "A", "]"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"MemberQ", "[", RowBox[{"A", ",", " ", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"16", ",", "144"}], "}"}], ",", RowBox[{"{", RowBox[{ "2", ",", "3", ",", "4", ",", "6", ",", "8", ",", "9", ",", "12", ",", "18", ",", "24", ",", "36", ",", "48", ",", "72"}], "}"}]}], "}"}]}], "]"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"TW", "=", RowBox[{"{", RowBox[{"2", ",", "4", ",", "8", ",", "16"}], "}"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"TH", "=", RowBox[{"{", RowBox[{"3", ",", "9"}], "}"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"j", "=", "1"}], ",", " ", RowBox[{"j", "\[LessEqual]", RowBox[{"Length", "[", "A", "]"}]}], ",", " ", RowBox[{ RowBox[{"S2", "=", RowBox[{"TW", "\[Intersection]", RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "1"}], "]"}], "]"}]}]}], ";", " ", RowBox[{"S3", "=", RowBox[{"TH", "\[Intersection]", " ", RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "1"}], "]"}], "]"}]}]}], ";", " ", RowBox[{"SA", "=", RowBox[{"Array", "[", RowBox[{ RowBox[{"0", "&"}], ",", RowBox[{"{", RowBox[{ RowBox[{"Length", "[", "S2", "]"}], ",", RowBox[{"Length", "[", "S3", "]"}]}], "}"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"x", "=", "1"}], ",", RowBox[{"x", "\[LessEqual]", RowBox[{"Length", "[", "S2", "]"}]}], ",", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"y", "=", "1"}], ",", " ", RowBox[{"y", "\[LessEqual]", RowBox[{"Length", "[", "S3", "]"}]}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"SA", "[", RowBox[{"[", RowBox[{"x", ",", "y"}], "]"}], "]"}], "=", RowBox[{ RowBox[{"S2", "[", RowBox[{"[", "x", "]"}], "]"}], RowBox[{"S3", "[", RowBox[{"[", "y", "]"}], "]"}]}]}], ";", "\[IndentingNewLine]", RowBox[{"y", "++"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"x", "++"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"SA", "=", RowBox[{"Flatten", "[", "SA", "]"}]}], ";", " ", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"Not", "[", RowBox[{ RowBox[{"SA", "\[Intersection]", RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "1"}], "]"}], "]"}]}], "\[Equal]", RowBox[{"SA", "\[Union]", RowBox[{"{", "}"}]}]}], "]"}], ",", RowBox[{ RowBox[{"A", "[", RowBox[{"[", "j", "]"}], "]"}], "=", "0"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"j", "++"}]}]}], "]"}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"A", "=", RowBox[{"Drop", "[", RowBox[{ RowBox[{"A", "\[Union]", RowBox[{"{", "0", "}"}]}], ",", "1"}], "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"MemberQ", "[", RowBox[{"A", ",", " ", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"16", ",", "144"}], "}"}], ",", RowBox[{"{", RowBox[{ "2", ",", "3", ",", "4", ",", "6", ",", "8", ",", "9", ",", "12", ",", "18", ",", "24", ",", "36", ",", "48", ",", "72"}], "}"}]}], "}"}]}], "]"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"Length", "[", "A", "]"}], "\[IndentingNewLine]", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"j", "=", "1"}], ",", " ", RowBox[{"j", "\[LessEqual]", RowBox[{"Length", "[", "A", "]"}]}], ",", " ", RowBox[{ RowBox[{"S2", "=", RowBox[{"TW", "\[Intersection]", RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "2"}], "]"}], "]"}]}]}], ";", " ", RowBox[{"S3", "=", RowBox[{"TH", "\[Intersection]", " ", RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "2"}], "]"}], "]"}]}]}], ";", " ", RowBox[{"SA", "=", RowBox[{"Array", "[", RowBox[{ RowBox[{"0", "&"}], ",", RowBox[{"{", RowBox[{ RowBox[{"Length", "[", "S2", "]"}], ",", RowBox[{"Length", "[", "S3", "]"}]}], "}"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"x", "=", "1"}], ",", RowBox[{"x", "\[LessEqual]", RowBox[{"Length", "[", "S2", "]"}]}], ",", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"y", "=", "1"}], ",", " ", RowBox[{"y", "\[LessEqual]", RowBox[{"Length", "[", "S3", "]"}]}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"SA", "[", RowBox[{"[", RowBox[{"x", ",", "y"}], "]"}], "]"}], "=", RowBox[{ RowBox[{"S2", "[", RowBox[{"[", "x", "]"}], "]"}], RowBox[{"S3", "[", RowBox[{"[", "y", "]"}], "]"}]}]}], ";", "\[IndentingNewLine]", RowBox[{"y", "++"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"x", "++"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"SA", "=", RowBox[{"Flatten", "[", "SA", "]"}]}], ";", " ", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"Not", "[", RowBox[{ RowBox[{"SA", "\[Intersection]", RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "2"}], "]"}], "]"}]}], "\[Equal]", RowBox[{"SA", "\[Union]", RowBox[{"{", "}"}]}]}], "]"}], ",", RowBox[{ RowBox[{"A", "[", RowBox[{"[", "j", "]"}], "]"}], "=", "0"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"j", "++"}]}]}], "]"}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"A", "=", RowBox[{"Drop", "[", RowBox[{ RowBox[{"A", "\[Union]", RowBox[{"{", "0", "}"}]}], ",", "1"}], "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"MemberQ", "[", RowBox[{"A", ",", " ", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"16", ",", "144"}], "}"}], ",", RowBox[{"{", RowBox[{ "2", ",", "3", ",", "4", ",", "6", ",", "8", ",", "9", ",", "12", ",", "18", ",", "24", ",", "36", ",", "48", ",", "72"}], "}"}]}], "}"}]}], "]"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"Length", "[", "A", "]"}], "\[IndentingNewLine]", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"j", "=", "1"}], ",", RowBox[{"j", "\[LessEqual]", RowBox[{"Length", "[", "A", "]"}]}], ",", " ", RowBox[{ RowBox[{ RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "1"}], "]"}], "]"}], "=", RowBox[{ RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "1"}], "]"}], "]"}], "\[Union]", RowBox[{"{", "}"}]}]}], ";", " ", RowBox[{ RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "2"}], "]"}], "]"}], "=", RowBox[{ RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "2"}], "]"}], "]"}], "\[Union]", RowBox[{"{", "}"}]}]}], ";", "\[IndentingNewLine]", RowBox[{"j", "++"}]}]}], "]"}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"j", "=", "1"}], ",", " ", RowBox[{"j", "\[LessEqual]", RowBox[{"Length", "[", "A", "]"}]}], ",", " ", RowBox[{ RowBox[{"P", "=", RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "1"}], "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", RowBox[{"j", "+", "1"}]}], ",", RowBox[{"i", "\[LessEqual]", RowBox[{"Length", "[", "A", "]"}]}], ",", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"P", "\[Equal]", RowBox[{"A", "[", RowBox[{"[", RowBox[{"i", ",", "2"}], "]"}], "]"}]}], ",", " ", RowBox[{ RowBox[{ RowBox[{"A", "[", RowBox[{"[", "j", "]"}], "]"}], "=", "0"}], ";", " ", RowBox[{"i", "=", RowBox[{ RowBox[{"Length", "[", "A", "]"}], "+", "1"}]}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"i", "++"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"j", "++"}]}]}], "]"}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"A", "=", RowBox[{"Drop", "[", RowBox[{ RowBox[{"A", "\[Union]", RowBox[{"{", "0", "}"}]}], ",", "1"}], "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"Length", "[", "A", "]"}], "\[IndentingNewLine]", RowBox[{"A", ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"j", "=", "1"}], ",", " ", RowBox[{"j", "\[LessEqual]", RowBox[{"Length", "[", "A", "]"}]}], ",", " ", RowBox[{ RowBox[{ RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "1"}], "]"}], "]"}], "=", RowBox[{ RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "1"}], "]"}], "]"}], "\[Intersection]", "SAA"}]}], ";", " ", RowBox[{ RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "2"}], "]"}], "]"}], "=", RowBox[{ RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "2"}], "]"}], "]"}], "\[Intersection]", "SAA"}]}], ";", " ", "\[IndentingNewLine]", RowBox[{"j", "++"}]}]}], "]"}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"A", "=", RowBox[{"Drop", "[", RowBox[{ RowBox[{"A", "\[Union]", RowBox[{"{", "0", "}"}]}], ",", "1"}], "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"Length", "[", "A", "]"}], "\[IndentingNewLine]", RowBox[{"A", ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"j", "=", "1"}], ",", " ", RowBox[{"j", "\[LessEqual]", RowBox[{"Length", "[", "A", "]"}]}], ",", " ", RowBox[{ RowBox[{"M", "=", RowBox[{"{", RowBox[{ RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "2"}], "]"}], "]"}], ",", RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "1"}], "]"}], "]"}]}], "}"}]}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MemberQ", "[", RowBox[{"A", ",", " ", "M"}], "]"}], ",", " ", RowBox[{ RowBox[{"A", "[", RowBox[{"[", "j", "]"}], "]"}], "=", "0"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"j", "++"}]}]}], "]"}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"A", "=", RowBox[{"Drop", "[", RowBox[{ RowBox[{"A", "\[Union]", RowBox[{"{", "0", "}"}]}], ",", "1"}], "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"Length", "[", "A", "]"}], "\[IndentingNewLine]", "A", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"PB", "=", RowBox[{"Array", "[", RowBox[{ RowBox[{"0", "&"}], ",", " ", RowBox[{"2", RowBox[{"Length", "[", "A", "]"}]}]}], "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"j", "=", "1"}], ",", " ", RowBox[{"j", "\[LessEqual]", RowBox[{"Length", "[", "A", "]"}]}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"PB", "[", RowBox[{"[", RowBox[{ RowBox[{"2", "j"}], "-", "1"}], "]"}], "]"}], "=", RowBox[{"A", "[", RowBox[{"[", "j", "]"}], "]"}]}], ";", " ", RowBox[{ RowBox[{"PB", "[", RowBox[{"[", RowBox[{"2", "j"}], "]"}], "]"}], "=", RowBox[{"{", RowBox[{ RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "2"}], "]"}], "]"}], ",", RowBox[{"A", "[", RowBox[{"[", RowBox[{"j", ",", "1"}], "]"}], "]"}]}], "}"}]}], ";", "\[IndentingNewLine]", RowBox[{"j", "++"}]}]}], "]"}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"PP", "=", RowBox[{"Complement", "[", RowBox[{"PA", ",", " ", "PB"}], "]"}]}], "\[IndentingNewLine]", "\[IndentingNewLine]", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"(*", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "9", ",", "16"}], "}"}]}], "}"}], ";", " ", "60", ";", "6", ";", "162", ";", "12", ";", " ", "jo", ";", "OK", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "8", ",", "16"}], "}"}]}], "}"}], ";", " ", "0", ";", "jo", ";", " ", "Doc", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "8", ",", "9"}], "}"}]}], "}"}], ";", " ", "0", ";", " ", "jo", ";", " ", "Doc", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "8", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "16"}], "}"}]}], "}"}], ";", " ", "0", ";", " ", "jo", ";", " ", "Doc", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "8", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "9"}], "}"}]}], "}"}], ";", " ", "0", ";", " ", "jo", ";", " ", "Doc", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "8", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "16"}], "}"}]}], "}"}], ";", " ", "0", ";", " ", "jo", ";", " ", "Doc", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "8", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "9"}], "}"}]}], "}"}], ";", " ", "0", ";", " ", "bytheory", ";", " ", "Doc", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "8"}], "}"}]}], "}"}], ";", " ", "324", ";", "6", ";", " ", "jo", ";", "OK", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"8", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "4"}], "}"}]}], "}"}], ";", " ", "0", ";", " ", "jo", ";", "OK", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "16"}], "}"}]}], "}"}], ";", " ", "0", ";", " ", "jo", ";", "OK", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "4", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "9"}], "}"}]}], "}"}], ";", " ", "0", ";", " ", "jo", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "8", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "16"}], "}"}]}], "}"}], ";", " ", "0", ";", " ", "jo", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "8", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "9"}], "}"}]}], "}"}], ";", " ", "0", ";", " ", "jo", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "4", ",", "8", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "9"}], "}"}]}], "}"}], ";", " ", "0", ";", " ", "bytheoryandnumerics", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "4", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "8"}], "}"}]}], "}"}], ";", " ", "8640", ";", " ", "3", ";", " ", "jo", ";", "OK", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "8", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}]}], "}"}], ";", " ", "36", ";", "6", ";", " ", "jo", ";", " ", "OK", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "8", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "9"}], "}"}]}], "}"}], ";", " ", "0", ";", " ", "jo", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "8", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3"}], "}"}]}], "}"}], ";", " ", "0", ";", " ", "jo", ";", "OK", ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "4", ",", "8", ",", "16"}], "}"}], ",", RowBox[{"{", "9", "}"}]}], "}"}], ";", " ", "0", ";", " ", "jo", ";"}], "\[IndentingNewLine]", "*)"}], "\[IndentingNewLine]", " "}]}]], "Input",\ CellChangeTimes->{{3.431055099390625*^9, 3.431055100859375*^9}, { 3.431055189578125*^9, 3.431055222109375*^9}, {3.431055318390625*^9, 3.4310553328125*^9}, {3.431055381546875*^9, 3.4310553840625*^9}, { 3.431055451890625*^9, 3.43105545996875*^9}, {3.43105563665625*^9, 3.431055643453125*^9}, {3.43105571425*^9, 3.43105574225*^9}, { 3.431055811203125*^9, 3.431055828953125*^9}, {3.431056027328125*^9, 3.431056030359375*^9}, {3.431057815421875*^9, 3.431057855265625*^9}, { 3.431058728953125*^9, 3.431058729203125*^9}, {3.4310588494375*^9, 3.431058876859375*^9}, {3.431058913265625*^9, 3.431058946578125*^9}, { 3.431058981171875*^9, 3.4310592670625*^9}, {3.4310653630625*^9, 3.431065364109375*^9}, {3.4310865143125*^9, 3.4310865320625*^9}, { 3.4310943029375*^9, 3.4310943125*^9}, {3.431095054515625*^9, 3.43109505575*^9}, {3.431099457125*^9, 3.4310994616875*^9}, { 3.43110580384375*^9, 3.4311058206875*^9}, {3.431109527625*^9, 3.4311095301875*^9}, {3.431142041921875*^9, 3.431142050265625*^9}, { 3.43114242296875*^9, 3.43114242446875*^9}, {3.43114253234375*^9, 3.431142533390625*^9}, {3.431142604234375*^9, 3.431142605140625*^9}, { 3.431142691640625*^9, 3.43114269278125*^9}, {3.431142780796875*^9, 3.4311427819375*^9}, {3.4311432174375*^9, 3.431143219140625*^9}, { 3.431143355484375*^9, 3.431143356578125*^9}, {3.4311434263125*^9, 3.43114342734375*^9}, {3.4311466733125*^9, 3.43114667403125*^9}, { 3.431155129734375*^9, 3.431155194390625*^9}, {3.43115565259375*^9, 3.431155654828125*^9}, {3.43115839578125*^9, 3.4311583964375*^9}, { 3.4311763550625*^9, 3.431176355578125*^9}, {3.431177058515625*^9, 3.43117705915625*^9}, {3.43118462034375*^9, 3.431184630640625*^9}, { 3.431231846234375*^9, 3.431231891796875*^9}, {3.431261496125*^9, 3.431261503046875*^9}, {3.43133760709375*^9, 3.431337614453125*^9}, { 3.431341848703125*^9, 3.4313418821875*^9}, {3.431342142578125*^9, 3.431342143421875*^9}, {3.43134349225*^9, 3.4313435045625*^9}, { 3.43134966890625*^9, 3.431349670859375*^9}, {3.43145754478125*^9, 3.4314575574375*^9}, {3.43150935221875*^9, 3.431509377453125*^9}, { 3.43150941321875*^9, 3.431509462234375*^9}, {3.431509640671875*^9, 3.43150964909375*^9}, {3.431514006453125*^9, 3.4315140238125*^9}, { 3.431529675359375*^9, 3.431529737828125*^9}, {3.431529776046875*^9, 3.431529801046875*^9}, {3.4315374783125*^9, 3.4315374913125*^9}, { 3.4316864931875*^9, 3.4316865045*^9}, {3.43170826784375*^9, 3.431708285265625*^9}, {3.43170832346875*^9, 3.431708378734375*^9}, { 3.431762585328125*^9, 3.4317625963125*^9}, {3.431777896609375*^9, 3.431777906859375*^9}, {3.43178037215625*^9, 3.43178037971875*^9}, { 3.431780422953125*^9, 3.4317804324375*^9}, {3.431849874375*^9, 3.43184987471875*^9}, {3.43185063378125*^9, 3.431850719203125*^9}, { 3.431850754890625*^9, 3.43185082825*^9}, {3.431851096984375*^9, 3.431851100078125*^9}, {3.4318699158125*^9, 3.431869916359375*^9}, { 3.432203115484375*^9, 3.43220311921875*^9}, {3.432203244296875*^9, 3.43220329796875*^9}, {3.432203330203125*^9, 3.432203332140625*^9}, { 3.4322043203125*^9, 3.432204321625*^9}, {3.432204412828125*^9, 3.432204429171875*^9}, {3.432209463*^9, 3.432209698734375*^9}, { 3.432209785015625*^9, 3.43220978784375*^9}, {3.43220982553125*^9, 3.432210282390625*^9}, {3.4322167275625*^9, 3.432216749953125*^9}, { 3.433512268171875*^9, 3.433512454765625*^9}, {3.43351248946875*^9, 3.433512672015625*^9}, {3.433513660390625*^9, 3.433513705796875*^9}, { 3.4335140125*^9, 3.433514157*^9}, {3.43351422809375*^9, 3.433514262171875*^9}, {3.433515335984375*^9, 3.433515343046875*^9}, { 3.433515384765625*^9, 3.433515386875*^9}, {3.4335172974375*^9, 3.433517374359375*^9}, 3.433517428078125*^9, 3.43361524446875*^9}], Cell[BoxData[ DynamicBox[ToBoxes[{$CellContext`j, $CellContext`k}, StandardForm], ImageSizeCache->{53.1875, {2., 8.}}]], "Output", CellChangeTimes->{ 3.433511915296875*^9, 3.433512682859375*^9, 3.433513718828125*^9, 3.43351417359375*^9, {3.433514236734375*^9, 3.43351426396875*^9}, 3.433517386015625*^9, 3.4335174444375*^9}], Cell[BoxData["11520"], "Output", CellChangeTimes->{ 3.433511915296875*^9, 3.433512682859375*^9, 3.433513718828125*^9, 3.43351417359375*^9, {3.433514236734375*^9, 3.43351426396875*^9}, 3.433517386015625*^9, 3.4335174463125*^9}], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.433511915296875*^9, 3.433512682859375*^9, 3.433513718828125*^9, 3.43351417359375*^9, {3.433514236734375*^9, 3.43351426396875*^9}, 3.433517386015625*^9, 3.4335174463125*^9}], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.433511915296875*^9, 3.433512682859375*^9, 3.433513718828125*^9, 3.43351417359375*^9, {3.433514236734375*^9, 3.43351426396875*^9}, 3.433517386015625*^9, 3.43351744715625*^9}], Cell[BoxData["4683"], "Output", CellChangeTimes->{ 3.433511915296875*^9, 3.433512682859375*^9, 3.433513718828125*^9, 3.43351417359375*^9, {3.433514236734375*^9, 3.43351426396875*^9}, 3.433517386015625*^9, 3.43351744715625*^9}], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.433511915296875*^9, 3.433512682859375*^9, 3.433513718828125*^9, 3.43351417359375*^9, {3.433514236734375*^9, 3.43351426396875*^9}, 3.433517386015625*^9, 3.43351744753125*^9}], Cell[BoxData["790"], "Output", CellChangeTimes->{ 3.433511915296875*^9, 3.433512682859375*^9, 3.433513718828125*^9, 3.43351417359375*^9, {3.433514236734375*^9, 3.43351426396875*^9}, 3.433517386015625*^9, 3.433517447546875*^9}], Cell[BoxData["395"], "Output", CellChangeTimes->{ 3.433511915296875*^9, 3.433512682859375*^9, 3.433513718828125*^9, 3.43351417359375*^9, {3.433514236734375*^9, 3.43351426396875*^9}, 3.433517386015625*^9, 3.43351744928125*^9}], Cell[BoxData["33"], "Output", CellChangeTimes->{ 3.433511915296875*^9, 3.433512682859375*^9, 3.433513718828125*^9, 3.43351417359375*^9, {3.433514236734375*^9, 3.43351426396875*^9}, 3.433517386015625*^9, 3.433517449296875*^9}], Cell[BoxData["22"], "Output", CellChangeTimes->{ 3.433511915296875*^9, 3.433512682859375*^9, 3.433513718828125*^9, 3.43351417359375*^9, {3.433514236734375*^9, 3.43351426396875*^9}, 3.433517386015625*^9, 3.433517449296875*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "9", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "8", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "8", ",", "9"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "8", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "8", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "9"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "8", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "8", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "9"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "8"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"8", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "4"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "4", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "4", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "9"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "8", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "8", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "9"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "4", ",", "8", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "9"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "4", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "8"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "8", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "8", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "8", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "9"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "8", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "4", ",", "8", ",", "9"}], "}"}], ",", RowBox[{"{", "16", "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "4", ",", "8", ",", "16"}], "}"}], ",", RowBox[{"{", "9", "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{ 3.433511915296875*^9, 3.433512682859375*^9, 3.433513718828125*^9, 3.43351417359375*^9, {3.433514236734375*^9, 3.43351426396875*^9}, 3.433517386015625*^9, 3.433517449296875*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "4", ",", "8", ",", "9", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", "2", "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4", ",", "8", ",", "9", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", "3", "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "8", ",", "9", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", "4", "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "8", ",", "9", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", "8", "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "4", ",", "9", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "8", ",", "9", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4", ",", "9", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "8", ",", "9"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "9", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "9", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "8"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "4", ",", "8", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "16"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "8"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "8", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "4", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", "8", "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "8", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", "4", "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "4", ",", "8", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", "3", "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4", ",", "8", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", "2", "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "4", ",", "8", ",", "9", ",", "16"}], "}"}], ",", RowBox[{"{", "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{ 3.433511915296875*^9, 3.433512682859375*^9, 3.433513718828125*^9, 3.43351417359375*^9, {3.433514236734375*^9, 3.43351426396875*^9}, 3.433517386015625*^9, 3.4335174493125*^9}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{ "The", " ", "excluded", " ", "cases", " ", "are", " ", "listed", " ", RowBox[{"here", ".", " ", "They"}], " ", "all", " ", "trivially", " ", "make", " ", "one", " ", "of", " ", "the", " ", "tiles", " ", "periodic"}], ",", " ", RowBox[{"except", " ", "in", " ", "the", " ", "case", " ", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "4", ",", "8", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "16"}], "}"}]}], "}"}], " ", "which", " ", "is", " ", "slightly", " ", RowBox[{"tricky", ".", " ", "In"}], " ", "that", " ", "case", " ", "the", " ", "point", " ", "is", " ", "that", " ", "whereever", " ", "144", " ", "comes"}], ",", " ", RowBox[{"that", " ", "part", " ", "will", " ", "be", " ", RowBox[{"periodic", ".", " ", "E", ".", "g", ".", " ", "if"}], " ", "it", " ", "goes", " ", "to", " ", RowBox[{"{", RowBox[{"3", ",", "16"}], "}"}]}], ",", " ", RowBox[{ "then", " ", "notice", " ", "that", " ", "48", " ", "is", " ", "also", " ", "there", " ", "by", " ", "condition", " ", "T2"}], ",", " ", RowBox[{"so", " ", "we", " ", "have", " ", RowBox[{"{", RowBox[{"3", ",", "16", ",", " ", "48", ",", " ", "144"}], "}"}], " ", "which", " ", "is", " ", RowBox[{"periodic", "!"}]}]}], " ", "*)"}], "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{{3.43360136415625*^9, 3.433601588421875*^9}}] }, WindowSize->{674, 567}, WindowMargins->{{0, Automatic}, {Automatic, 0}}, FrontEndVersion->"6.0 for Microsoft Windows (32-bit) (June 19, 2007)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[590, 23, 33043, 827, 3352, "Input"], Cell[33636, 852, 338, 6, 30, "Output"], Cell[33977, 860, 237, 4, 30, "Output"], Cell[34217, 866, 236, 4, 30, "Output"], Cell[34456, 872, 237, 4, 30, "Output"], Cell[34696, 878, 237, 4, 30, "Output"], Cell[34936, 884, 237, 4, 30, "Output"], Cell[35176, 890, 237, 4, 30, "Output"], Cell[35416, 896, 236, 4, 30, "Output"], Cell[35655, 902, 236, 4, 30, "Output"], Cell[35894, 908, 236, 4, 30, "Output"], Cell[36133, 914, 4318, 136, 164, "Output"], Cell[40454, 1052, 3847, 122, 145, "Output"] }, Open ]], Cell[44316, 1177, 1554, 34, 172, "Input"] } ] *) (* End of internal cache information *)