(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 12.2' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] NotebookDataLength[ 156433, 4502] NotebookOptionsPosition[ 143508, 4289] NotebookOutlinePosition[ 144005, 4307] CellTagsIndexPosition[ 143962, 4304] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[BoxData[ RowBox[{ RowBox[{"pivots", "[", "A_", "]"}], ":=", RowBox[{"Flatten", "[", RowBox[{ RowBox[{"FirstPosition", "[", "1", "]"}], "/@", RowBox[{"Transpose", "[", "A", "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.831194837404834*^9, 3.8311948924696903`*^9}, { 3.831194930347896*^9, 3.831194932848599*^9}}, CellLabel->"In[1]:=",ExpressionUUID->"6afae59f-4ed7-45fe-af4f-8b2b99977aa0"], Cell[BoxData[ RowBox[{ RowBox[{"pMatrix", "[", "n_", "]"}], ":=", RowBox[{"Table", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"Which", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"i", "\[Equal]", "2"}], "&&", RowBox[{"j", "\[Equal]", "1"}]}], "||", RowBox[{ RowBox[{"i", "\[Equal]", "1"}], "&&", RowBox[{"j", "\[Equal]", "2"}]}]}], ",", RowBox[{ RowBox[{"-", "1"}], "/", "2"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"i", "\[Equal]", "j"}], "&&", RowBox[{"i", ">", "2"}]}], ",", "1", ",", "\[IndentingNewLine]", "True", ",", "0"}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", " ", "n"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "n"}], "}"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.831107414093502*^9, 3.83110748040809*^9}, { 3.831107557920609*^9, 3.8311075805621977`*^9}, {3.8311076270925627`*^9, 3.831107722019619*^9}}, CellLabel->"In[2]:=",ExpressionUUID->"89bc4f4e-9b7e-4800-9ecd-24531052a727"], Cell[BoxData[ RowBox[{ RowBox[{"gramMatrix", "[", "W_", "]"}], ":=", RowBox[{"Simplify", "[", RowBox[{ RowBox[{"Transpose", "[", "W", "]"}], ".", RowBox[{"pMatrix", "[", RowBox[{"Length", "[", "W", "]"}], "]"}], ".", "W"}], "]"}]}]], "Input", CellChangeTimes->{{3.831107486071478*^9, 3.831107546093779*^9}, { 3.831109392242589*^9, 3.831109394639595*^9}, {3.831110190169511*^9, 3.831110193792735*^9}}, CellLabel->"In[3]:=",ExpressionUUID->"0366738a-6f35-482c-b716-8ce9d936093f"], Cell[BoxData[ RowBox[{ RowBox[{"linearRelationsMatrix", "[", "G_", "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"RowReduce", "[", "G", "]"}], "[", RowBox[{"[", RowBox[{"1", ";;", RowBox[{"MatrixRank", "[", "G", "]"}]}], "]"}], "]"}], "//", "Transpose"}]}]], "Input", CellChangeTimes->{{3.831109396818718*^9, 3.831109426888632*^9}}, CellLabel->"In[4]:=",ExpressionUUID->"b6ed0b19-08a4-42a8-a0f9-f244b6935f62"], Cell[BoxData[ RowBox[{ RowBox[{"linearRelations", "[", "L_", "]"}], ":=", RowBox[{"Select", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Equal", "[", RowBox[{ SubscriptBox["b", "i"], ",", RowBox[{ RowBox[{"L", "[", RowBox[{"[", "i", "]"}], "]"}], ".", RowBox[{"Table", "[", RowBox[{ SubscriptBox["b", "i"], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"pivots", "[", "L", "]"}]}], "}"}]}], "]"}]}]}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"Length", "[", "L", "]"}]}], "}"}]}], "]"}], ",", RowBox[{ RowBox[{"Not", "[", RowBox[{"BooleanQ", "[", "#", "]"}], "]"}], "&"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.831109446192391*^9, 3.831109495064299*^9}, { 3.8311095335606937`*^9, 3.831109534992022*^9}, {3.831109584393684*^9, 3.831109833956565*^9}, {3.8311098747139893`*^9, 3.8311099163122053`*^9}, { 3.831110035487195*^9, 3.83111004405739*^9}, {3.831110077358601*^9, 3.831110081551445*^9}, {3.831194643897842*^9, 3.8311946492229443`*^9}, { 3.831194680087949*^9, 3.831194680680228*^9}, {3.831194956352386*^9, 3.831195002875142*^9}, {3.831205178380069*^9, 3.831205187846324*^9}}, CellLabel->"In[5]:=",ExpressionUUID->"8245e75c-2d76-48ce-a004-a171152928d8"], Cell[BoxData[ RowBox[{ RowBox[{"linearRelationsFromW", "=", RowBox[{ "linearRelations", "@*", "linearRelationsMatrix", "@*", "gramMatrix"}]}], ";"}]], "Input", CellChangeTimes->{{3.831110103314905*^9, 3.831110162272215*^9}, 3.831206070230084*^9}, CellLabel->"In[6]:=",ExpressionUUID->"ae4cbf02-ecda-41d9-b954-c47ca42f6458"], Cell[BoxData[ RowBox[{ RowBox[{"inverseLinearRelations", "[", "G_", "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"i", "\[Equal]", "#"}], ",", "1", ",", "0"}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"Length", "[", RowBox[{"G", "[", RowBox[{"[", "1", "]"}], "]"}], "]"}]}], "}"}]}], "]"}], "&"}], "/@", RowBox[{"Flatten", "[", RowBox[{ RowBox[{ RowBox[{"FirstPosition", "[", RowBox[{"#", ",", "1"}], "]"}], "&"}], "/@", RowBox[{"(", RowBox[{ RowBox[{"RowReduce", "[", "G", "]"}], "//", RowBox[{"Select", "[", RowBox[{ RowBox[{"Not", "[", RowBox[{"AllTrue", "[", RowBox[{"#", ",", RowBox[{ RowBox[{"#", "\[Equal]", "0"}], "&"}]}], "]"}], "]"}], "&"}], "]"}]}], ")"}]}], "]"}]}]}]], "Input", CellChangeTimes->{{3.831194278291965*^9, 3.831194298458626*^9}, 3.831195204231324*^9}, CellLabel->"In[7]:=",ExpressionUUID->"e879feeb-c143-431d-b60f-65791d8ad5a4"], Cell[BoxData[ RowBox[{ RowBox[{"quadraticFormMatrix", "[", RowBox[{"G_", ",", "L_"}], "]"}], ":=", RowBox[{"Inverse", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{"G", "[", RowBox[{"[", RowBox[{"i", ",", " ", "j"}], "]"}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"pivots", "[", "L", "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"pivots", "[", "L", "]"}]}], "}"}]}], "]"}], "]"}]}]], "Input",\ CellChangeTimes->{{3.831195055004586*^9, 3.83119507699967*^9}, { 3.831195107195753*^9, 3.831195121990181*^9}, {3.831195208095559*^9, 3.831195214781535*^9}}, CellLabel->"In[8]:=",ExpressionUUID->"f4dd8840-fc29-4515-8843-21d6b5328192"], Cell[BoxData[ RowBox[{ RowBox[{"quadraticForm", "[", RowBox[{"Q_", ",", "L_"}], "]"}], ":=", RowBox[{"Module", "[", RowBox[{ RowBox[{"{", RowBox[{"v", "=", RowBox[{"Table", "[", RowBox[{ SubscriptBox["b", "i"], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"pivots", "[", "L", "]"}]}], "}"}]}], "]"}]}], "}"}], ",", RowBox[{"Simplify", "[", RowBox[{ RowBox[{"v", ".", "Q", ".", "v"}], "\[Equal]", "0"}], "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.831195241841057*^9, 3.831195289590564*^9}}, CellLabel->"In[9]:=",ExpressionUUID->"f415d590-d64f-4449-a487-145c6f7994a0"], Cell[BoxData[ RowBox[{ RowBox[{"quadform", "[", "W_", "]"}], ":=", RowBox[{"Module", "[", RowBox[{ RowBox[{"{", RowBox[{"G", "=", RowBox[{"gramMatrix", "[", "W", "]"}]}], "}"}], ",", RowBox[{"Module", "[", RowBox[{ RowBox[{"{", RowBox[{"L", "=", RowBox[{"linearRelationsMatrix", "[", "G", "]"}]}], "}"}], ",", RowBox[{"quadraticForm", "[", RowBox[{ RowBox[{"quadraticFormMatrix", "[", RowBox[{"G", ",", "L"}], "]"}], ",", "L"}], "]"}]}], "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.831195337159152*^9, 3.831195396279203*^9}}, CellLabel->"In[10]:=",ExpressionUUID->"8d447c09-3a46-47da-8902-1542001af8cb"], Cell[BoxData[ RowBox[{ RowBox[{"quadformFromG", "[", "G_", "]"}], ":=", RowBox[{"Module", "[", RowBox[{ RowBox[{"{", RowBox[{"L", "=", RowBox[{"linearRelationsMatrix", "[", "G", "]"}]}], "}"}], ",", RowBox[{"quadraticForm", "[", RowBox[{ RowBox[{"quadraticFormMatrix", "[", RowBox[{"G", ",", "L"}], "]"}], ",", "L"}], "]"}]}], "]"}]}]], "Input",\ CellChangeTimes->{{3.8312049925958433`*^9, 3.8312050200596113`*^9}}, CellLabel->"In[11]:=",ExpressionUUID->"60159612-8269-4730-81d3-7733c61a595c"], Cell[BoxData[ RowBox[{ RowBox[{"getAlphasFromGext", "[", RowBox[{"Gext_", ",", "n_"}], "]"}], ":=", RowBox[{"Gext", "[", RowBox[{"[", RowBox[{ RowBox[{ RowBox[{"n", "+", "1"}], ";;", RowBox[{"-", "1"}]}], ",", RowBox[{"1", ";;", "n"}]}], "]"}], "]"}]}]], "Input", CellChangeTimes->{{3.831215264500795*^9, 3.831215272170022*^9}, { 3.831215316671402*^9, 3.83121545636821*^9}, {3.8312155441030188`*^9, 3.831215591183241*^9}, {3.831215641147872*^9, 3.831215672638311*^9}, { 3.83121645458947*^9, 3.831216467874423*^9}, {3.831218161790608*^9, 3.831218164869608*^9}, {3.8312183025496597`*^9, 3.8312183431105633`*^9}, 3.831218417422567*^9}, CellLabel->"In[12]:=",ExpressionUUID->"4e2ca172-3a40-440d-be33-c82ada769fb4"], Cell[BoxData[ RowBox[{ RowBox[{"generators", "[", RowBox[{"Gext_", ",", "n_"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"alphas", ",", "BigQ", ",", "G", ",", "Q", ",", "L", ",", "Li"}], "}"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"alphas", "=", RowBox[{"getAlphasFromGext", "[", RowBox[{"Gext", ",", "n"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"G", "=", RowBox[{"Gext", "[", RowBox[{"[", RowBox[{ RowBox[{"1", ";;", "n"}], ",", RowBox[{"1", ";;", "n"}]}], "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"L", "=", RowBox[{"linearRelationsMatrix", "[", "G", "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"Q", "=", RowBox[{"quadraticFormMatrix", "[", RowBox[{"G", ",", "L"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"Li", "=", RowBox[{"inverseLinearRelations", "[", "G", "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"BigQ", "=", RowBox[{ RowBox[{"Transpose", "[", "Li", "]"}], ".", "Q", ".", "Li"}]}], ";", "\[IndentingNewLine]", RowBox[{"alphas", "=", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"{", "#", "}"}], "&"}], "/@", "alpha"}], ",", RowBox[{"{", RowBox[{"alpha", ",", "alphas"}], "}"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"IdentityMatrix", "[", "n", "]"}], "-", RowBox[{"2", RowBox[{ RowBox[{"(", RowBox[{"#", ".", RowBox[{"Transpose", "[", "#", "]"}]}], ")"}], ".", "BigQ"}]}]}], ")"}], "&"}], "/@", "alphas"}]}]}], "]"}]}]], "Input", CellChangeTimes->CompressedData[" 1:eJwdxVsoQwEABuDxcmob1jpqW4ttjBG5hDRlbeLFyiUU51AuS5SWVszLag+8 aCVqCk9b5kVCbkOzVhKNsSaj4xaxpCml2BLn38PXJ+8xNhuSORyOhIXzbSnH I5Pv2lLvbRibpgMM1tVyX3CLaDmKIwLqAzvcpi/s56/Gcd2C9w/fyMbSRtl3 ZVIRju+rJPhZXZOJm7KOcvGSQlSEk5SBKiycKdNitytdj9fsoUYcpQ2duN1O 3mEdc/qAY9a3V3xRfRjBO+HBb7weJH4Skz7CzD53Py/EW5+zckxuiBV4M2os xFJxfwkeP+/S4G3VQRsu+PXT2LMX7MMum3UAC6+pIaymXcO40lBuwUxvR84E +1RGqwqnyskrB3sx7WRwNm/xEa8IqCdslvJ5TvaTBkKJfRpPHqYtsQqs7z6r x9zLUOJ/WTrYGA== "], CellLabel->"In[13]:=",ExpressionUUID->"fac793b9-dd04-4cc1-b981-5915e7ad443d"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"G", "=", RowBox[{"gramMatrix", "[", "W", "]"}]}]], "Input", CellChangeTimes->{{3.831724598311686*^9, 3.831724604521737*^9}}, CellLabel->"In[63]:=",ExpressionUUID->"60b582da-ce47-4ec8-a0a8-cbb68490e605"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{ 3.831724604899865*^9, {3.831733906361644*^9, 3.831733931101406*^9}}, CellLabel->"Out[63]=",ExpressionUUID->"e6433845-7bdd-4bb6-a3c6-e23ad168a62e"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"sigmas", "=", RowBox[{"findGeneratorsFromG", "[", "G", "]"}]}]], "Input", CellChangeTimes->{{3.831733944711832*^9, 3.831733952854465*^9}}, CellLabel->"In[64]:=",ExpressionUUID->"14f7bbaf-929f-468e-8da0-bfa642027480"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4", ",", "0", ",", "3", ",", "0", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "3", ",", "0", ",", "4", ",", "0", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "0", ",", "4", ",", "0", ",", RowBox[{"-", "1"}]}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "4", ",", "2", ",", RowBox[{"-", "1"}], ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "3", ",", "3", ",", RowBox[{"-", "1"}], ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4", ",", "3", ",", RowBox[{"-", "1"}], ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "0", ",", RowBox[{"-", "1"}], ",", "3", ",", "3", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "0", ",", RowBox[{"-", "1"}], ",", "2", ",", "4", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "0", ",", RowBox[{"-", "1"}], ",", "3", ",", "4", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "0", ",", "3", ",", RowBox[{"-", "1"}], ",", "3", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "0", ",", "2", ",", RowBox[{"-", "1"}], ",", "4", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "0", ",", "3", ",", RowBox[{"-", "1"}], ",", "4", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "3", ",", "4", ",", "0", ",", RowBox[{"-", "1"}], ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "3", ",", "3", ",", "0", ",", RowBox[{"-", "1"}], ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "2", ",", "4", ",", "0", ",", RowBox[{"-", "1"}], ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "4", ",", RowBox[{"-", "1"}], ",", "3", ",", "0", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "4", ",", RowBox[{"-", "1"}], ",", "2", ",", "0", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "3", ",", RowBox[{"-", "1"}], ",", "3", ",", "0", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", RowBox[{"-", "1"}], ",", "4", ",", "0", ",", "3", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", RowBox[{"-", "1"}], ",", "4", ",", "0", ",", "2", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", RowBox[{"-", "1"}], ",", "3", ",", "0", ",", "3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", RowBox[{"-", "1"}], ",", "0", ",", "4", ",", "3", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", RowBox[{"-", "1"}], ",", "0", ",", "4", ",", "2", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", RowBox[{"-", "1"}], ",", "0", ",", "3", ",", "3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.8317339540070066`*^9}, CellLabel->"Out[64]=",ExpressionUUID->"42353ebc-e5e0-4797-874a-1724f0bf39b6"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"MatrixForm", "[", RowBox[{"L", "=", RowBox[{"linearRelationsMatrix", "[", "G", "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.831724511552237*^9, 3.831724523201714*^9}, { 3.831724573081215*^9, 3.83172457630226*^9}}, CellLabel->"In[15]:=",ExpressionUUID->"2b0e9c94-8bfb-48d1-b4b6-7b61e59a2c2a"], Cell[BoxData[ TemplateBox[{ "Part", "span", "\"\\!\\(\\*RowBox[{\\\"1\\\", \\\";;\\\", RowBox[{\\\"MatrixRank\\\", \ \\\"[\\\", RowBox[{RowBox[{\\\"Transpose\\\", \\\"[\\\", \\\"W\\\", \ \\\"]\\\"}], \\\".\\\", RowBox[{\\\"{\\\", \\\"}\\\"}], \\\".\\\", \ \\\"W\\\"}], \\\"]\\\"}]}]\\) is not a valid Span specification. A Span \ specification should be 1, 2, or 3 machine-sized integers separated by ;;. \ (Any of the integers can be omitted or replaced with All.)\"", 2, 15, 1, 26202881777548931360, "Local"}, "MessageTemplate"]], "Message", "MSG", CellChangeTimes->{3.831733906478146*^9}, CellLabel-> "During evaluation of \ In[15]:=",ExpressionUUID->"d8e03790-f06d-4d95-92ed-8b2bf9f54269"], Cell[BoxData[ TagBox[ RowBox[{"Transpose", "[", RowBox[{ RowBox[{"RowReduce", "[", RowBox[{ RowBox[{"Transpose", "[", "W", "]"}], ".", RowBox[{"{", "}"}], ".", "W"}], "]"}], "\[LeftDoubleBracket]", RowBox[{"1", ";;", RowBox[{"MatrixRank", "[", RowBox[{ RowBox[{"Transpose", "[", "W", "]"}], ".", RowBox[{"{", "}"}], ".", "W"}], "]"}]}], "\[RightDoubleBracket]"}], "]"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{{3.831724511858034*^9, 3.831724523644824*^9}, 3.8317245766248417`*^9, 3.831724608106183*^9, 3.8317339065335693`*^9}, CellLabel-> "Out[15]//MatrixForm=",ExpressionUUID->"63b78641-f103-43b2-9be7-\ 6b968e0f1be5"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"MatrixForm", "[", RowBox[{"Li", "=", RowBox[{"inverseLinearRelations", "[", "G", "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.8317245258461647`*^9, 3.831724528521544*^9}, { 3.831724643944642*^9, 3.831724647557269*^9}}, CellLabel->"In[16]:=",ExpressionUUID->"fb4de4d1-8a77-484f-b05d-b8426caa1cc9"], Cell[BoxData[ TemplateBox[{ "RowReduce", "argx", "\"\\!\\(\\*RowBox[{\\\"RowReduce\\\"}]\\) called with \\!\\(\\*RowBox[{\\\ \"0\\\"}]\\) arguments; 1 argument is expected.\"", 2, 16, 2, 26202881777548931360, "Local"}, "MessageTemplate"]], "Message", "MSG", CellChangeTimes->{3.831733906600644*^9}, CellLabel-> "During evaluation of \ In[16]:=",ExpressionUUID->"34aef24b-ddc0-44af-9366-3eeb3f4f6263"], Cell[BoxData[ TagBox[ RowBox[{"RowReduce", "[", "]"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{3.831724528941494*^9, 3.8317246479121304`*^9, 3.831733906607299*^9}, CellLabel-> "Out[16]//MatrixForm=",ExpressionUUID->"d53bbe28-77ce-42ca-ae67-\ cbd0aa584691"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"L", ".", "Li", ".", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", "2", ",", "4", ",", "10", ",", "12", ",", "15"}], "}"}]}]], "Input", CellChangeTimes->{{3.8317248465152807`*^9, 3.831724851236409*^9}, { 3.831724886448069*^9, 3.83172490037088*^9}}, CellLabel->"In[17]:=",ExpressionUUID->"6f212e3d-48a4-420c-b0a9-b24d1d64e19b"], Cell[BoxData[ RowBox[{ RowBox[{"Transpose", "[", RowBox[{ RowBox[{"RowReduce", "[", RowBox[{ RowBox[{"Transpose", "[", "W", "]"}], ".", RowBox[{"{", "}"}], ".", "W"}], "]"}], "\[LeftDoubleBracket]", RowBox[{"1", ";;", RowBox[{"MatrixRank", "[", RowBox[{ RowBox[{"Transpose", "[", "W", "]"}], ".", RowBox[{"{", "}"}], ".", "W"}], "]"}]}], "\[RightDoubleBracket]"}], "]"}], ".", RowBox[{"RowReduce", "[", "]"}], ".", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", "2", ",", "4", ",", "10", ",", "12", ",", "15"}], "}"}]}]], "Output", CellChangeTimes->{3.8317248516088257`*^9, 3.8317249009883947`*^9, 3.831733906642334*^9}, CellLabel->"Out[17]=",ExpressionUUID->"4de97c17-9a2a-4c69-b4b2-a5d9ae77d610"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"L", ".", "Li"}], "//", "MatrixForm"}]], "Input", CellChangeTimes->{{3.831724757229838*^9, 3.8317247606225367`*^9}}, CellLabel->"In[18]:=",ExpressionUUID->"ea1d0153-4f54-4a30-a400-c74e5ea10596"], Cell[BoxData[ TagBox[ RowBox[{ RowBox[{"Transpose", "[", RowBox[{ RowBox[{"RowReduce", "[", RowBox[{ RowBox[{"Transpose", "[", "W", "]"}], ".", RowBox[{"{", "}"}], ".", "W"}], "]"}], "\[LeftDoubleBracket]", RowBox[{"1", ";;", RowBox[{"MatrixRank", "[", RowBox[{ RowBox[{"Transpose", "[", "W", "]"}], ".", RowBox[{"{", "}"}], ".", "W"}], "]"}]}], "\[RightDoubleBracket]"}], "]"}], ".", RowBox[{"RowReduce", "[", "]"}]}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{3.8317247609196253`*^9, 3.8317339066785927`*^9}, CellLabel-> "Out[18]//MatrixForm=",ExpressionUUID->"db4546a4-6513-493e-b9ab-\ aee7a0249c64"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Li", ".", "L"}], "//", "MatrixForm"}]], "Input", CellChangeTimes->{{3.8317245325290956`*^9, 3.83172453757395*^9}, { 3.8317247128536367`*^9, 3.8317247144385443`*^9}}, CellLabel->"In[19]:=",ExpressionUUID->"25e1f91b-c002-4733-923a-0caf3aaa7dd5"], Cell[BoxData[ TagBox[ RowBox[{ RowBox[{"RowReduce", "[", "]"}], ".", RowBox[{"Transpose", "[", RowBox[{ RowBox[{"RowReduce", "[", RowBox[{ RowBox[{"Transpose", "[", "W", "]"}], ".", RowBox[{"{", "}"}], ".", "W"}], "]"}], "\[LeftDoubleBracket]", RowBox[{"1", ";;", RowBox[{"MatrixRank", "[", RowBox[{ RowBox[{"Transpose", "[", "W", "]"}], ".", RowBox[{"{", "}"}], ".", "W"}], "]"}]}], "\[RightDoubleBracket]"}], "]"}]}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{{3.831724533818581*^9, 3.831724537864985*^9}, 3.8317247151819553`*^9, 3.831733906716614*^9}, CellLabel-> "Out[19]//MatrixForm=",ExpressionUUID->"63cad9cf-5f43-4a56-be82-\ 01b6493dfe2a"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"sigmas", "=", RowBox[{"generators", "[", RowBox[{GridBox[{ {"1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], "0", "0", "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}]}, { RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0"}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", "0", "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}]}, { RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", "0", "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}]}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", "0", "0"}, { RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", "0"}, {"0", "0", "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "1", RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}]}, {"0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{"-", "3"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}]}, {"0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}]}, { RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}]}, { RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}]}, {"0", "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], "1", RowBox[{"-", "3"}], RowBox[{"-", "1"}]}, { RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", "0", "0", RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], "1", RowBox[{"-", "1"}]}, { RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{ RowBox[{"-", "2"}], RowBox[{"Sqrt", "[", "2", "]"}]}], "0", "0", RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1"} }], ",", "6"}], "]"}]}]], "Input", CellChangeTimes->{{3.831215459988925*^9, 3.831215535693565*^9}, { 3.831215605159486*^9, 3.8312156052930803`*^9}, {3.831215925810574*^9, 3.8312159267849092`*^9}, {3.831216893992444*^9, 3.831217012779044*^9}, { 3.831217565608238*^9, 3.8312176084077463`*^9}, {3.831217668572101*^9, 3.831217848093937*^9}, {3.8312179575295467`*^9, 3.831217958560624*^9}, { 3.831218454434473*^9, 3.831218461070653*^9}, {3.8312192995653343`*^9, 3.831219345234679*^9}, {3.8312193796955023`*^9, 3.831219382369019*^9}}, CellLabel->"In[20]:=",ExpressionUUID->"1e7275d7-0881-44f4-ab52-53a98494f405"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "2", ",", "4", ",", RowBox[{"-", "1"}], ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "2", ",", "4", ",", RowBox[{"-", "2"}], ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "2", ",", "4", ",", RowBox[{"-", "2"}], ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "3", ",", RowBox[{"-", "4"}], ",", "6", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "2", ",", RowBox[{"-", "3"}], ",", "6", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "2", ",", RowBox[{"-", "4"}], ",", "6", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", RowBox[{"-", "1"}], ",", "4", ",", "2", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", RowBox[{"-", "2"}], ",", "4", ",", "2", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", RowBox[{"-", "2"}], ",", "4", ",", "2", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"-", "3"}], ",", "2", ",", "4", ",", "6", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "4"}], ",", "3", ",", "4", ",", "6", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "4"}], ",", "2", ",", "4", ",", "6", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"-", "3"}], ",", "6", ",", "4", ",", "2", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "4"}], ",", "6", ",", "4", ",", "3", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "4"}], ",", "6", ",", "4", ",", "2", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "6", ",", RowBox[{"-", "3"}], ",", "2", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "6", ",", RowBox[{"-", "4"}], ",", "3", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "6", ",", RowBox[{"-", "4"}], ",", "2", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"-", "3"}], ",", "6", ",", RowBox[{"-", "4"}], ",", "10", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "4"}], ",", "7", ",", RowBox[{"-", "4"}], ",", "10", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "4"}], ",", "6", ",", RowBox[{"-", "3"}], ",", "10", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"-", "3"}], ",", "10", ",", RowBox[{"-", "4"}], ",", "6", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "4"}], ",", "10", ",", RowBox[{"-", "3"}], ",", "6", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "4"}], ",", "10", ",", RowBox[{"-", "4"}], ",", "7", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{{3.831215539591612*^9, 3.831215549639584*^9}, { 3.8312155950701323`*^9, 3.8312156057647333`*^9}, 3.8312156446265163`*^9, 3.831215675042502*^9, 3.831215927317412*^9, 3.831215997401908*^9, 3.831216048770994*^9, {3.831216084829075*^9, 3.831216096263542*^9}, { 3.8312161418097563`*^9, 3.8312162545331297`*^9}, {3.8312163273658447`*^9, 3.83121633526165*^9}, {3.831216382699875*^9, 3.8312164183492107`*^9}, { 3.83121646155829*^9, 3.8312164715382433`*^9}, {3.831216539046227*^9, 3.8312166087211246`*^9}, {3.831216675025569*^9, 3.831216690811761*^9}, { 3.831216723223968*^9, 3.831216739376601*^9}, {3.8312168086183233`*^9, 3.831216829390913*^9}, {3.8312168615588007`*^9, 3.831216877208156*^9}, 3.831217851972715*^9, {3.8312179092594213`*^9, 3.8312179594293222`*^9}, 3.831217992472834*^9, 3.83121807487899*^9, 3.831218126270625*^9, { 3.831218170027605*^9, 3.831218193016197*^9}, 3.8312182488539658`*^9, 3.831218283692891*^9, {3.831218327478571*^9, 3.8312183498905983`*^9}, 3.8312184226869307`*^9, 3.831218461600767*^9, {3.831218550108727*^9, 3.8312185744010983`*^9}, {3.8312187859142523`*^9, 3.831218984402486*^9}, 3.831219026475367*^9, {3.831219099586753*^9, 3.831219187758944*^9}, { 3.831219363076357*^9, 3.831219382952488*^9}, {3.831247163836287*^9, 3.831247174777843*^9}, 3.831305920065256*^9, 3.8313059599357023`*^9, { 3.831306006180064*^9, 3.8313060226567*^9}, 3.831306336011465*^9, { 3.831306381271515*^9, 3.831306430141878*^9}, 3.831306464840537*^9, { 3.831306497690711*^9, 3.831306538269595*^9}, {3.831306586124851*^9, 3.83130668163654*^9}, 3.83130685112145*^9, 3.831542392381619*^9, 3.831542424887939*^9, 3.8317197020614653`*^9, 3.831733906772625*^9}, CellLabel->"Out[20]=",ExpressionUUID->"1622d249-8481-4a64-8703-748bdf00228f"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"Print", "[", RowBox[{"MatrixForm", "[", "#", "]"}], "]"}], "&"}], "/@", "sigmas"}], ";"}]], "Input", CellChangeTimes->{{3.831247080537026*^9, 3.831247090264936*^9}, 3.831306865635144*^9}, CellLabel->"In[21]:=",ExpressionUUID->"dacce9b4-387a-4f10-a77b-20ec4eb98f2d"], Cell[CellGroupData[{ Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", "0", "0", "0", "0", "0"}, {"0", "1", "0", "0", "0", "0"}, {"0", "0", "1", "0", "0", "0"}, {"4", "2", "4", RowBox[{"-", "1"}], "0", "0"}, {"4", "2", "4", RowBox[{"-", "2"}], "1", "0"}, {"4", "2", "4", RowBox[{"-", "2"}], "0", "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{ 3.831247090841385*^9, {3.83130661326173*^9, 3.831306684004347*^9}, { 3.83130685565565*^9, 3.831306866477697*^9}, 3.831542392401094*^9, 3.831542424907632*^9, 3.831719702090219*^9, 3.831733906819706*^9}, CellLabel-> "During evaluation of \ In[21]:=",ExpressionUUID->"91297213-498c-48fd-8add-66721dc17151"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", "0", "0", "0", "0", "0"}, {"4", "3", RowBox[{"-", "4"}], "6", "0", "0"}, {"4", "2", RowBox[{"-", "3"}], "6", "0", "0"}, {"0", "0", "0", "1", "0", "0"}, {"0", "0", "0", "0", "1", "0"}, {"4", "2", RowBox[{"-", "4"}], "6", "0", "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{ 3.831247090841385*^9, {3.83130661326173*^9, 3.831306684004347*^9}, { 3.83130685565565*^9, 3.831306866477697*^9}, 3.831542392401094*^9, 3.831542424907632*^9, 3.831719702090219*^9, 3.831733906822586*^9}, CellLabel-> "During evaluation of \ In[21]:=",ExpressionUUID->"3425a986-973b-42de-84ed-eb3aeb0b4de1"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", "0", "0", "0", "0", "0"}, {"4", RowBox[{"-", "1"}], "4", "2", "0", "0"}, {"0", "0", "1", "0", "0", "0"}, {"0", "0", "0", "1", "0", "0"}, {"4", RowBox[{"-", "2"}], "4", "2", "1", "0"}, {"4", RowBox[{"-", "2"}], "4", "2", "0", "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{ 3.831247090841385*^9, {3.83130661326173*^9, 3.831306684004347*^9}, { 3.83130685565565*^9, 3.831306866477697*^9}, 3.831542392401094*^9, 3.831542424907632*^9, 3.831719702090219*^9, 3.831733906826713*^9}, CellLabel-> "During evaluation of \ In[21]:=",ExpressionUUID->"dd0b02f8-81a2-4f44-9994-1740a018ee61"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ { RowBox[{"-", "3"}], "2", "4", "6", "0", "0"}, { RowBox[{"-", "4"}], "3", "4", "6", "0", "0"}, {"0", "0", "1", "0", "0", "0"}, {"0", "0", "0", "1", "0", "0"}, { RowBox[{"-", "4"}], "2", "4", "6", "1", "0"}, {"0", "0", "0", "0", "0", "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{ 3.831247090841385*^9, {3.83130661326173*^9, 3.831306684004347*^9}, { 3.83130685565565*^9, 3.831306866477697*^9}, 3.831542392401094*^9, 3.831542424907632*^9, 3.831719702090219*^9, 3.831733906827991*^9}, CellLabel-> "During evaluation of \ In[21]:=",ExpressionUUID->"d2d05bf0-b6d5-450c-aed2-d371f2cbedfd"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ { RowBox[{"-", "3"}], "6", "4", "2", "0", "0"}, {"0", "1", "0", "0", "0", "0"}, {"0", "0", "1", "0", "0", "0"}, { RowBox[{"-", "4"}], "6", "4", "3", "0", "0"}, { RowBox[{"-", "4"}], "6", "4", "2", "1", "0"}, {"0", "0", "0", "0", "0", "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{ 3.831247090841385*^9, {3.83130661326173*^9, 3.831306684004347*^9}, { 3.83130685565565*^9, 3.831306866477697*^9}, 3.831542392401094*^9, 3.831542424907632*^9, 3.831719702090219*^9, 3.831733906829281*^9}, CellLabel-> "During evaluation of \ In[21]:=",ExpressionUUID->"290a1136-abeb-480e-9bdc-8905acfbf15e"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", "0", "0", "0", "0", "0"}, {"0", "1", "0", "0", "0", "0"}, {"4", "6", RowBox[{"-", "3"}], "2", "0", "0"}, {"4", "6", RowBox[{"-", "4"}], "3", "0", "0"}, {"0", "0", "0", "0", "1", "0"}, {"4", "6", RowBox[{"-", "4"}], "2", "0", "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{ 3.831247090841385*^9, {3.83130661326173*^9, 3.831306684004347*^9}, { 3.83130685565565*^9, 3.831306866477697*^9}, 3.831542392401094*^9, 3.831542424907632*^9, 3.831719702090219*^9, 3.831733906830665*^9}, CellLabel-> "During evaluation of \ In[21]:=",ExpressionUUID->"f15772b8-9d8b-445e-96c5-cff6b5226c3a"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ { RowBox[{"-", "3"}], "6", RowBox[{"-", "4"}], "10", "0", "0"}, { RowBox[{"-", "4"}], "7", RowBox[{"-", "4"}], "10", "0", "0"}, { RowBox[{"-", "4"}], "6", RowBox[{"-", "3"}], "10", "0", "0"}, {"0", "0", "0", "1", "0", "0"}, {"0", "0", "0", "0", "1", "0"}, {"0", "0", "0", "0", "0", "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{ 3.831247090841385*^9, {3.83130661326173*^9, 3.831306684004347*^9}, { 3.83130685565565*^9, 3.831306866477697*^9}, 3.831542392401094*^9, 3.831542424907632*^9, 3.831719702090219*^9, 3.8317339068321457`*^9}, CellLabel-> "During evaluation of \ In[21]:=",ExpressionUUID->"3433cbb1-8a48-432e-8bd9-858739c7e722"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ { RowBox[{"-", "3"}], "10", RowBox[{"-", "4"}], "6", "0", "0"}, {"0", "1", "0", "0", "0", "0"}, { RowBox[{"-", "4"}], "10", RowBox[{"-", "3"}], "6", "0", "0"}, { RowBox[{"-", "4"}], "10", RowBox[{"-", "4"}], "7", "0", "0"}, {"0", "0", "0", "0", "1", "0"}, {"0", "0", "0", "0", "0", "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{ 3.831247090841385*^9, {3.83130661326173*^9, 3.831306684004347*^9}, { 3.83130685565565*^9, 3.831306866477697*^9}, 3.831542392401094*^9, 3.831542424907632*^9, 3.831719702090219*^9, 3.8317339068337793`*^9}, CellLabel-> "During evaluation of \ In[21]:=",ExpressionUUID->"ef572e16-e211-4795-9cba-acb1d2ca1202"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"sigmas", "[", RowBox[{"[", "5", "]"}], "]"}], ".", RowBox[{"{", RowBox[{"2", ",", "2", ",", "7", ",", "4", ",", RowBox[{"-", "1"}], ",", "4"}], "}"}]}]], "Input", CellChangeTimes->{{3.831219277376383*^9, 3.83121929137999*^9}, { 3.8312193870037107`*^9, 3.831219414222094*^9}, {3.831219467486017*^9, 3.8312194772628403`*^9}, {3.831219526673534*^9, 3.83121953945252*^9}, { 3.831306706024736*^9, 3.83130679878345*^9}}, CellLabel->"In[22]:=",ExpressionUUID->"688e7e89-2335-43ab-bf07-49551244c00a"], Cell[BoxData[ RowBox[{"{", RowBox[{"42", ",", "2", ",", "7", ",", "44", ",", "39", ",", "4"}], "}"}]], "Output", CellChangeTimes->{{3.831219389495224*^9, 3.831219415075218*^9}, { 3.831219468264454*^9, 3.831219477898222*^9}, {3.8312195276698523`*^9, 3.8312195401776533`*^9}, {3.831306693771055*^9, 3.831306799524205*^9}, 3.831306874610914*^9, 3.831542392429064*^9, 3.831542424934133*^9, 3.831719702122438*^9, 3.8317339068757057`*^9}, CellLabel->"Out[22]=",ExpressionUUID->"48cccd6d-91f8-40d9-ad8a-7e2b3a0b7ca1"] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"allData", "[", "G_", "]"}], ":=", RowBox[{"{", RowBox[{ RowBox[{"quadformFromG", "[", "G", "]"}], ",", RowBox[{"linearRelations", "[", RowBox[{"linearRelationsMatrix", "[", "G", "]"}], "]"}]}], "}"}]}]], "Input", CellChangeTimes->{{3.831205683122826*^9, 3.831205703101096*^9}, { 3.831306883180922*^9, 3.831306885928121*^9}}, CellLabel->"In[23]:=",ExpressionUUID->"7cdb5988-583a-4889-8b21-7e9d007cfc7f"], Cell["Not my code; no clue how it works", "Text", CellChangeTimes->{{3.8312108712095747`*^9, 3.831210876577606*^9}},ExpressionUUID->"5aaecebe-3db7-415d-bc8a-\ 6a7a8474be62"], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"nextCandidate", "[", RowBox[{"s_", ",", "t_", ",", "adj_"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"length", ",", "pos"}], "}"}], ",", RowBox[{ RowBox[{"length", "=", RowBox[{"Length", "[", "adj", "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"pos", "=", RowBox[{"Mod", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"Position", "[", RowBox[{"adj", ",", "s"}], "]"}], "[", RowBox[{"[", RowBox[{"1", ",", "1"}], "]"}], "]"}], "+", "1"}], ",", "length", ",", "1"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"{", RowBox[{"t", ",", RowBox[{"adj", "[", RowBox[{"[", "pos", "]"}], "]"}]}], "}"}]}]}], "]"}]}], ";"}]], "Input", CellChangeTimes->{3.831210886725911*^9}, CellLabel->"In[24]:=",ExpressionUUID->"26cccec1-dcb3-4ea2-a1fd-cd8f1833a2f5"], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"FindFace", "[", RowBox[{"g_", "?", "PlanarGraphQ"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", "emb", "}"}], ",", RowBox[{ RowBox[{"emb", "=", RowBox[{"GraphEmbedding", "[", RowBox[{"g", ",", "\"\\""}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"FindFace", "[", RowBox[{"g", ",", "emb"}], "]"}]}]}], "]"}]}], ";"}], "\[IndentingNewLine]"}], "\n", RowBox[{ RowBox[{"FindFace", "[", RowBox[{ RowBox[{"g_", "?", "PlanarGraphQ"}], ",", "emb_"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ "m", ",", "orderings", ",", "pAdj", ",", "rightF", ",", "s", ",", "t", ",", "initial", ",", "face"}], "}"}], ",", RowBox[{ RowBox[{"m", "=", RowBox[{"AdjacencyMatrix", "[", "g", "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{"pAdj", "[", "v", "]"}], "=", RowBox[{"SortBy", "[", RowBox[{ RowBox[{"Pick", "[", RowBox[{ RowBox[{"VertexList", "[", "g", "]"}], ",", RowBox[{"m", "[", RowBox[{"[", "v", "]"}], "]"}], ",", "1"}], "]"}], ",", RowBox[{ RowBox[{"ArcTan", "@@", RowBox[{"(", RowBox[{ RowBox[{"emb", "[", RowBox[{"[", "v", "]"}], "]"}], "-", RowBox[{"emb", "[", RowBox[{"[", "#", "]"}], "]"}]}], ")"}]}], "&"}]}], "]"}]}], ",", RowBox[{"{", RowBox[{"v", ",", RowBox[{"VertexList", "[", "g", "]"}]}], "}"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{ RowBox[{"rightF", "[", "_", "]"}], ":=", "False"}], ";", "\[IndentingNewLine]", RowBox[{ RowBox[{"Reap", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"!", RowBox[{"rightF", "[", "e", "]"}]}], ",", RowBox[{ RowBox[{"s", "=", RowBox[{"e", "[", RowBox[{"[", "1", "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"t", "=", RowBox[{"e", "[", RowBox[{"[", "2", "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"initial", "=", "s"}], ";", "\[IndentingNewLine]", RowBox[{"face", "=", RowBox[{"{", "s", "}"}]}], ";", "\[IndentingNewLine]", RowBox[{"While", "[", RowBox[{ RowBox[{"t", "=!=", "initial"}], ",", RowBox[{ RowBox[{ RowBox[{"rightF", "[", RowBox[{"UndirectedEdge", "[", RowBox[{"s", ",", "t"}], "]"}], "]"}], "=", "True"}], ";", "\[IndentingNewLine]", RowBox[{ RowBox[{"{", RowBox[{"s", ",", "t"}], "}"}], "=", RowBox[{"nextCandidate", "[", RowBox[{"s", ",", "t", ",", RowBox[{"pAdj", "[", "t", "]"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"face", "=", RowBox[{"Join", "[", RowBox[{"face", ",", RowBox[{"{", "s", "}"}]}], "]"}]}], ";"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"Sow", "[", "face", "]"}], ";"}]}], "]"}], ",", RowBox[{"{", RowBox[{"e", ",", RowBox[{"EdgeList", "[", "g", "]"}]}], "}"}]}], "]"}], "]"}], "[", RowBox[{"[", RowBox[{"2", ",", "1"}], "]"}], "]"}]}]}], "]"}]}]}], "Input", CellChangeTimes->{{3.8312108953940573`*^9, 3.831210895411563*^9}, 3.8312119634327393`*^9, 3.831542420732052*^9}, CellLabel->"In[25]:=",ExpressionUUID->"759a5754-3daf-472d-882e-9ec14e276fb5"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"MatrixForm", "[", RowBox[{"W", "=", GridBox[{ {"2", "2", RowBox[{"-", "1"}], "7", "4", "4"}, {"0", "0", "1", "1", "2", "2"}, {"0", "0", "0", RowBox[{"2", RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{"2", RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{"2", RowBox[{"Sqrt", "[", "2", "]"}]}]}, {"1", RowBox[{"-", "1"}], "0", "0", "1", RowBox[{"-", "1"}]} }]}], "]"}]], "Input", CellChangeTimes->{{3.8311082672815933`*^9, 3.831108356286454*^9}}, CellLabel->"In[62]:=",ExpressionUUID->"f34a66d9-d092-4a23-b3f2-2fabe4238e9d"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"2", "2", RowBox[{"-", "1"}], "7", "4", "4"}, {"0", "0", "1", "1", "2", "2"}, {"0", "0", "0", RowBox[{"2", " ", SqrtBox["2"]}], RowBox[{"2", " ", SqrtBox["2"]}], RowBox[{"2", " ", SqrtBox["2"]}]}, {"1", RowBox[{"-", "1"}], "0", "0", "1", RowBox[{"-", "1"}]} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{{3.83110834128862*^9, 3.8311083567098637`*^9}, 3.831195430923443*^9, 3.831196366350925*^9, 3.831207370852112*^9, 3.83121100187215*^9, 3.831542392496663*^9, 3.831542424974165*^9, 3.8317197021620693`*^9, 3.831724591999769*^9, {3.831733906946054*^9, 3.831733924173818*^9}}, CellLabel-> "Out[62]//MatrixForm=",ExpressionUUID->"71688902-8aec-47a9-8a29-\ ba1bf1bcf1d4"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{"bt", "=", RowBox[{"2", RowBox[{"(", RowBox[{"2", "+", RowBox[{"Sqrt", "[", "3", "]"}]}], ")"}]}]}], "\[IndentingNewLine]", RowBox[{"b", "=", RowBox[{"1", "/", RowBox[{"(", RowBox[{"2", "+", RowBox[{"Sqrt", "[", "3", "]"}]}], ")"}]}]}]}], "Input", CellChangeTimes->{{3.8309606106520023`*^9, 3.830960697855505*^9}, { 3.8309608963092813`*^9, 3.830960898060483*^9}, 3.830963193751027*^9, { 3.830982500480443*^9, 3.830982500714365*^9}}, CellLabel->"In[28]:=",ExpressionUUID->"340ebd40-7f28-4e16-8720-5b3bfc9dabe0"], Cell[BoxData[ RowBox[{"2", " ", RowBox[{"(", RowBox[{"2", "+", SqrtBox["3"]}], ")"}]}]], "Output", CellChangeTimes->{3.831194379932521*^9, 3.831196066703268*^9, 3.831206087181739*^9, 3.831207370954013*^9, 3.8315423925114193`*^9, 3.8315424249947243`*^9, 3.8317197021845512`*^9, 3.83173390698477*^9}, CellLabel->"Out[28]=",ExpressionUUID->"30cd84d4-7aa8-4662-b8db-21538cb0541a"], Cell[BoxData[ FractionBox["1", RowBox[{"2", "+", SqrtBox["3"]}]]], "Output", CellChangeTimes->{3.831194379932521*^9, 3.831196066703268*^9, 3.831206087181739*^9, 3.831207370954013*^9, 3.8315423925114193`*^9, 3.8315424249947243`*^9, 3.8317197021845512`*^9, 3.8317339069866037`*^9}, CellLabel->"Out[29]=",ExpressionUUID->"a12c6b18-af53-4004-91e4-4372488a9df2"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"W", " ", "=", " ", GridBox[{ {"2", "2", "2", "2", "2", "2", "2", "2", "bt", "bt", "bt", "bt", "bt", "bt", "bt", "bt"}, {"1", "1", "1", "1", "1", "1", "1", "1", "b", "b", "b", "b", "b", "b", "b", "b"}, {"1", "1", "1", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", "1", "1", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, {"1", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, {"1", RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}]} }]}]], "Input", CellChangeTimes->{{3.83096052402245*^9, 3.8309605349829683`*^9}, { 3.830960644959939*^9, 3.8309607266845617`*^9}, {3.830960971416868*^9, 3.830960996016148*^9}}, CellLabel->"In[30]:=",ExpressionUUID->"f681ec66-6355-4920-bbf6-f06d5a3d4a87"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "2", ",", RowBox[{"2", " ", RowBox[{"(", RowBox[{"2", "+", SqrtBox["3"]}], ")"}]}], ",", RowBox[{"2", " ", RowBox[{"(", RowBox[{"2", "+", SqrtBox["3"]}], ")"}]}], ",", RowBox[{"2", " ", RowBox[{"(", RowBox[{"2", "+", SqrtBox["3"]}], ")"}]}], ",", RowBox[{"2", " ", RowBox[{"(", RowBox[{"2", "+", SqrtBox["3"]}], ")"}]}], ",", RowBox[{"2", " ", RowBox[{"(", RowBox[{"2", "+", SqrtBox["3"]}], ")"}]}], ",", RowBox[{"2", " ", RowBox[{"(", RowBox[{"2", "+", SqrtBox["3"]}], ")"}]}], ",", RowBox[{"2", " ", RowBox[{"(", RowBox[{"2", "+", SqrtBox["3"]}], ")"}]}], ",", RowBox[{"2", " ", RowBox[{"(", RowBox[{"2", "+", SqrtBox["3"]}], ")"}]}]}], "}"}], ",", RowBox[{"{", RowBox[{ "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", FractionBox["1", RowBox[{"2", "+", SqrtBox["3"]}]], ",", FractionBox["1", RowBox[{"2", "+", SqrtBox["3"]}]], ",", FractionBox["1", RowBox[{"2", "+", SqrtBox["3"]}]], ",", FractionBox["1", RowBox[{"2", "+", SqrtBox["3"]}]], ",", FractionBox["1", RowBox[{"2", "+", SqrtBox["3"]}]], ",", FractionBox["1", RowBox[{"2", "+", SqrtBox["3"]}]], ",", FractionBox["1", RowBox[{"2", "+", SqrtBox["3"]}]], ",", FractionBox["1", RowBox[{"2", "+", SqrtBox["3"]}]]}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1", ",", "1", ",", "1", ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1", ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1", ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1", ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{ 3.831194390295527*^9, {3.8311960685225687`*^9, 3.831196081778158*^9}, 3.8312060886930237`*^9, 3.8312073710129147`*^9, 3.831542392529861*^9, 3.831542425015565*^9, 3.8317197022084923`*^9, 3.83173390705995*^9}, CellLabel->"Out[30]=",ExpressionUUID->"07e29fa2-067d-48ed-9337-8e3cca8ca706"] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"b", "=."}], ";", RowBox[{"bt", "=."}]}]], "Input", CellChangeTimes->{{3.8311960962880583`*^9, 3.831196113655105*^9}, { 3.831196161181222*^9, 3.831196162331032*^9}}, CellLabel->"In[31]:=",ExpressionUUID->"1c3f997e-d820-495f-8ca7-90b29275d826"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"MatrixForm", "[", RowBox[{"G", "=", RowBox[{"gramMatrix", "[", "W", "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.831194403315867*^9, 3.831194413926792*^9}}, CellLabel->"In[32]:=",ExpressionUUID->"858777a7-5c14-4fa1-9028-76443866e688"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "5"}], RowBox[{"-", "7"}]}, { RowBox[{"-", "1"}], "1", RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "7"}], RowBox[{"-", "5"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "3"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "7"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}]}, { RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "7"}], RowBox[{"-", "5"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "5"}], RowBox[{"-", "7"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}]}, { RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "7"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}]}, { RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "7"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}]}, { RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "7"}], RowBox[{"-", "5"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "5"}], RowBox[{"-", "7"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}]}, { RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "7"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}]}, { RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "7"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}]}, { RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "7"}], RowBox[{"-", "5"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "5"}], RowBox[{"-", "7"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}]}, { RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "7"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "3"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "5"}], RowBox[{"-", "7"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], "1", RowBox[{"-", "1"}]}, { RowBox[{"-", "7"}], RowBox[{"-", "5"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{{3.831194407689033*^9, 3.831194414225404*^9}, 3.8311961021207743`*^9, 3.831196371174876*^9, 3.831206092462121*^9, 3.831207371078855*^9, 3.83154239257542*^9, 3.8315424250424643`*^9, 3.831719702257909*^9, 3.8317339071279707`*^9}, CellLabel-> "Out[32]//MatrixForm=",ExpressionUUID->"fd922d4d-637d-4f51-a4b8-\ dce99d620611"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"linearRelationsMatrix", "[", "G", "]"}], "//", "pivots"}]], "Input",\ CellChangeTimes->{{3.831194529568935*^9, 3.831194544316592*^9}, { 3.8311945872707644`*^9, 3.8311945928709927`*^9}, {3.831194902421624*^9, 3.831194939402134*^9}}, CellLabel->"In[33]:=",ExpressionUUID->"7709831e-9c42-45d2-8a41-356203765656"], Cell[BoxData[ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "5", ",", "9"}], "}"}]], "Output", CellChangeTimes->{{3.831194534391061*^9, 3.831194544596918*^9}, 3.831194593294497*^9, {3.831194903305241*^9, 3.831194909955353*^9}, 3.831194940251837*^9, 3.831207371104538*^9, 3.831542392590426*^9, 3.83154242506217*^9, 3.831719702277472*^9, 3.8317339071591587`*^9}, CellLabel->"Out[33]=",ExpressionUUID->"e0ec0858-c1c6-419c-aae4-bebed3dc95ce"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"linearRelationsMatrix", "[", "G", "]"}], "//", "linearRelations"}], "//", "Column"}]], "Input", CellChangeTimes->{{3.831194419687883*^9, 3.8311944219515743`*^9}, { 3.831194477393865*^9, 3.831194498442638*^9}}, CellLabel->"In[34]:=",ExpressionUUID->"75ce78eb-e1e8-46bd-a62c-3aebd71d1af9"], Cell[BoxData[ TagBox[GridBox[{ { RowBox[{ SubscriptBox["b", "4"], "\[Equal]", RowBox[{ RowBox[{"-", SubscriptBox["b", "1"]}], "+", SubscriptBox["b", "2"], "+", SubscriptBox["b", "3"]}]}]}, { RowBox[{ SubscriptBox["b", "6"], "\[Equal]", RowBox[{ RowBox[{"-", SubscriptBox["b", "1"]}], "+", SubscriptBox["b", "2"], "+", SubscriptBox["b", "5"]}]}]}, { RowBox[{ SubscriptBox["b", "7"], "\[Equal]", RowBox[{ RowBox[{"-", SubscriptBox["b", "1"]}], "+", SubscriptBox["b", "3"], "+", SubscriptBox["b", "5"]}]}]}, { RowBox[{ SubscriptBox["b", "8"], "\[Equal]", RowBox[{ RowBox[{ RowBox[{"-", "2"}], " ", SubscriptBox["b", "1"]}], "+", SubscriptBox["b", "2"], "+", SubscriptBox["b", "3"], "+", SubscriptBox["b", "5"]}]}]}, { RowBox[{ SubscriptBox["b", "10"], "\[Equal]", RowBox[{ RowBox[{"-", SubscriptBox["b", "1"]}], "+", SubscriptBox["b", "2"], "+", SubscriptBox["b", "9"]}]}]}, { RowBox[{ SubscriptBox["b", "11"], "\[Equal]", RowBox[{ RowBox[{"-", SubscriptBox["b", "1"]}], "+", SubscriptBox["b", "3"], "+", SubscriptBox["b", "9"]}]}]}, { RowBox[{ SubscriptBox["b", "12"], "\[Equal]", RowBox[{ RowBox[{ RowBox[{"-", "2"}], " ", SubscriptBox["b", "1"]}], "+", SubscriptBox["b", "2"], "+", SubscriptBox["b", "3"], "+", SubscriptBox["b", "9"]}]}]}, { RowBox[{ SubscriptBox["b", "13"], "\[Equal]", RowBox[{ RowBox[{"-", SubscriptBox["b", "1"]}], "+", SubscriptBox["b", "5"], "+", SubscriptBox["b", "9"]}]}]}, { RowBox[{ SubscriptBox["b", "14"], "\[Equal]", RowBox[{ RowBox[{ RowBox[{"-", "2"}], " ", SubscriptBox["b", "1"]}], "+", SubscriptBox["b", "2"], "+", SubscriptBox["b", "5"], "+", SubscriptBox["b", "9"]}]}]}, { RowBox[{ SubscriptBox["b", "15"], "\[Equal]", RowBox[{ RowBox[{ RowBox[{"-", "2"}], " ", SubscriptBox["b", "1"]}], "+", SubscriptBox["b", "3"], "+", SubscriptBox["b", "5"], "+", SubscriptBox["b", "9"]}]}]}, { RowBox[{ SubscriptBox["b", "16"], "\[Equal]", RowBox[{ RowBox[{ RowBox[{"-", "3"}], " ", SubscriptBox["b", "1"]}], "+", SubscriptBox["b", "2"], "+", SubscriptBox["b", "3"], "+", SubscriptBox["b", "5"], "+", SubscriptBox["b", "9"]}]}]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"]], "Output", CellChangeTimes->{{3.831194422362702*^9, 3.8311944470278683`*^9}, { 3.831194478390127*^9, 3.831194498831534*^9}, 3.831194770573347*^9, { 3.831194964202739*^9, 3.83119500607583*^9}, 3.831207371131754*^9, 3.831542392607411*^9, 3.831542425081668*^9, 3.831719702300045*^9, 3.831733907184709*^9}, CellLabel->"Out[34]=",ExpressionUUID->"1f8ef813-7305-4eeb-9c41-a4f909d1bb12"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(", RowBox[{"Q", "=", RowBox[{"quadraticFormMatrix", "[", RowBox[{"G", ",", RowBox[{"linearRelationsMatrix", "[", "G", "]"}]}], "]"}]}], ")"}], "//", "MatrixForm"}]], "Input", CellChangeTimes->{{3.8311951283695393`*^9, 3.8311951300489273`*^9}, { 3.831195228238792*^9, 3.831195235760833*^9}, {3.831195302088871*^9, 3.831195305855007*^9}}, CellLabel->"In[35]:=",ExpressionUUID->"1a24af65-4444-4345-9190-3e9030065556"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ { FractionBox["2", "3"], RowBox[{"-", FractionBox["1", "12"]}], RowBox[{"-", FractionBox["1", "12"]}], RowBox[{"-", FractionBox["1", "12"]}], RowBox[{"-", FractionBox["1", "12"]}]}, { RowBox[{"-", FractionBox["1", "12"]}], FractionBox["1", "6"], RowBox[{"-", FractionBox["1", "12"]}], RowBox[{"-", FractionBox["1", "12"]}], RowBox[{"-", FractionBox["1", "12"]}]}, { RowBox[{"-", FractionBox["1", "12"]}], RowBox[{"-", FractionBox["1", "12"]}], FractionBox["1", "6"], RowBox[{"-", FractionBox["1", "12"]}], RowBox[{"-", FractionBox["1", "12"]}]}, { RowBox[{"-", FractionBox["1", "12"]}], RowBox[{"-", FractionBox["1", "12"]}], RowBox[{"-", FractionBox["1", "12"]}], FractionBox["1", "6"], RowBox[{"-", FractionBox["1", "12"]}]}, { RowBox[{"-", FractionBox["1", "12"]}], RowBox[{"-", FractionBox["1", "12"]}], RowBox[{"-", FractionBox["1", "12"]}], RowBox[{"-", FractionBox["1", "12"]}], FractionBox["1", "6"]} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{ 3.831195130444459*^9, {3.831195231603388*^9, 3.831195236033227*^9}, 3.83119530755203*^9, 3.831207371158412*^9, 3.831542392624728*^9, 3.831542425100697*^9, 3.831719702322307*^9, 3.831733907208432*^9}, CellLabel-> "Out[35]//MatrixForm=",ExpressionUUID->"9877bb8c-02f6-4d6b-8154-\ c50f3775d4b7"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"quadraticForm", "[", RowBox[{"Q", ",", RowBox[{"linearRelationsMatrix", "[", "G", "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.831195296570524*^9, 3.831195315175604*^9}}, CellLabel->"In[36]:=",ExpressionUUID->"25682f5f-59ee-495a-999f-1d64c3564228"], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"4", " ", SubsuperscriptBox["b", "1", "2"]}], "+", SubsuperscriptBox["b", "2", "2"], "+", SubsuperscriptBox["b", "3", "2"], "+", SubsuperscriptBox["b", "5", "2"], "+", SubsuperscriptBox["b", "9", "2"]}], "\[Equal]", RowBox[{ RowBox[{ SubscriptBox["b", "3"], " ", SubscriptBox["b", "5"]}], "+", RowBox[{ SubscriptBox["b", "3"], " ", SubscriptBox["b", "9"]}], "+", RowBox[{ SubscriptBox["b", "5"], " ", SubscriptBox["b", "9"]}], "+", RowBox[{ SubscriptBox["b", "2"], " ", RowBox[{"(", RowBox[{ SubscriptBox["b", "3"], "+", SubscriptBox["b", "5"], "+", SubscriptBox["b", "9"]}], ")"}]}], "+", RowBox[{ SubscriptBox["b", "1"], " ", RowBox[{"(", RowBox[{ SubscriptBox["b", "2"], "+", SubscriptBox["b", "3"], "+", SubscriptBox["b", "5"], "+", SubscriptBox["b", "9"]}], ")"}]}]}]}]], "Output", CellChangeTimes->{3.831195315621129*^9, 3.831207371191777*^9, 3.831542392655108*^9, 3.8315424251279583`*^9, 3.8317197023486834`*^9, 3.831733907238909*^9}, CellLabel->"Out[36]=",ExpressionUUID->"ec2390b1-d380-4cc7-9d46-baa323b58104"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"G", "[", RowBox[{"[", RowBox[{"i", ",", "j"}], "]"}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"pivots", "[", RowBox[{"linearRelationsMatrix", "[", "G", "]"}], "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"pivots", "[", RowBox[{"linearRelationsMatrix", "[", "G", "]"}], "]"}]}], "}"}]}], "]"}], "//", "MatrixForm"}]], "Input", CellChangeTimes->{{3.8311951506161537`*^9, 3.831195192661355*^9}}, CellLabel->"In[37]:=",ExpressionUUID->"cd286a41-7226-4e9c-a896-90a76edcf34e"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], "1", RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "3"}], "1", RowBox[{"-", "3"}], RowBox[{"-", "3"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], "1", RowBox[{"-", "3"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{{3.831195162749529*^9, 3.8311951930978107`*^9}, 3.8312073713296413`*^9, 3.8315423926703787`*^9, 3.8315424251476517`*^9, 3.8317197023688498`*^9, 3.8317339072676086`*^9}, CellLabel-> "Out[37]//MatrixForm=",ExpressionUUID->"f6a18d3c-e2c4-47c5-a2bf-\ 836e90e72cde"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"quadform", "[", "W", "]"}], "//", "Expand"}]], "Input", CellChangeTimes->{{3.8311954001081743`*^9, 3.8311954038105183`*^9}, { 3.831196139992606*^9, 3.831196141101583*^9}}, CellLabel->"In[38]:=",ExpressionUUID->"54f16314-a3b1-47d1-8745-d78faebdbd6a"], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"4", " ", SubsuperscriptBox["b", "1", "2"]}], "+", SubsuperscriptBox["b", "2", "2"], "+", SubsuperscriptBox["b", "3", "2"], "+", SubsuperscriptBox["b", "5", "2"], "+", SubsuperscriptBox["b", "9", "2"]}], "\[Equal]", RowBox[{ RowBox[{ SubscriptBox["b", "1"], " ", SubscriptBox["b", "2"]}], "+", RowBox[{ SubscriptBox["b", "1"], " ", SubscriptBox["b", "3"]}], "+", RowBox[{ SubscriptBox["b", "2"], " ", SubscriptBox["b", "3"]}], "+", RowBox[{ SubscriptBox["b", "1"], " ", SubscriptBox["b", "5"]}], "+", RowBox[{ SubscriptBox["b", "2"], " ", SubscriptBox["b", "5"]}], "+", RowBox[{ SubscriptBox["b", "3"], " ", SubscriptBox["b", "5"]}], "+", RowBox[{ SubscriptBox["b", "1"], " ", SubscriptBox["b", "9"]}], "+", RowBox[{ SubscriptBox["b", "2"], " ", SubscriptBox["b", "9"]}], "+", RowBox[{ SubscriptBox["b", "3"], " ", SubscriptBox["b", "9"]}], "+", RowBox[{ SubscriptBox["b", "5"], " ", SubscriptBox["b", "9"]}]}]}]], "Output", CellChangeTimes->{ 3.831195404278631*^9, 3.831195434933387*^9, {3.831196106539036*^9, 3.8311961413868437`*^9}, 3.8312073713550787`*^9, 3.831542392687602*^9, 3.8315424251676903`*^9, 3.831719702389514*^9, 3.8317339072904787`*^9}, CellLabel->"Out[38]=",ExpressionUUID->"90f65885-eed7-4f27-a0e3-65b8f1b0a5a9"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"AdjacencyGraph", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"#", "\[Equal]", RowBox[{"-", "1"}]}], ",", "1", ",", "0"}], "]"}], "&"}], "/@", "#"}], "&"}], "/@", "G"}], "]"}]], "Input", CellChangeTimes->{{3.831196238388823*^9, 3.831196277432535*^9}, { 3.831196380902429*^9, 3.831196384915271*^9}, {3.831206102562517*^9, 3.831206104294519*^9}}, CellLabel->"In[39]:=",ExpressionUUID->"5a9306e8-9cea-49bb-8f27-2b91314d9a3a"], Cell[BoxData[ GraphicsBox[ NamespaceBox["NetworkGraphics", DynamicModuleBox[{Typeset`graph = HoldComplete[ Graph[{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16}, {Null, SparseArray[ Automatic, {16, 16}, 0, { 1, {{0, 4, 8, 12, 16, 20, 24, 28, 32, 36, 40, 44, 48, 52, 56, 60, 64}, {{2}, {3}, {5}, {9}, {1}, {4}, {6}, {10}, {1}, {4}, {7}, { 11}, {2}, {3}, {8}, {12}, {1}, {6}, {7}, {13}, {2}, {5}, {8}, { 14}, {3}, {5}, {8}, {15}, {4}, {6}, {7}, {16}, {1}, {10}, {11}, { 13}, {2}, {9}, {12}, {14}, {3}, {9}, {12}, {15}, {4}, {10}, {11}, { 16}, {5}, {9}, {14}, {15}, {6}, {10}, {13}, {16}, {7}, {11}, {13}, { 16}, {8}, {12}, {14}, {15}}}, Pattern}]}]]}, TagBox[ GraphicsGroupBox[ GraphicsComplexBox[{{1.5570700282933845`, 1.8175702803485665`}, { 0.7537938818479142, 2.3787933158342636`}, {2.462082564720662, 1.6825168472383258`}, {1.717838435398217, 2.347472709972434}, { 0.853864681517752, 1.0390722235627514`}, {0.07900578909477751, 1.6914982415466815`}, {1.9004769236857144`, 0.9618604113422262}, { 1.0426327053192588`, 1.662258853322355}, {1.4193491800498765`, 0.717911363255552}, {0.562139187574346, 1.4179209725758513`}, { 2.3816404790330514`, 0.688148858360405}, {1.6086442402636627`, 1.3415838657321721`}, {0.7444448403869581, 0.03286405859435515}, {0., 0.6963474867674411}, {1.7071636879743028`, 0.}, {0.9051814194960076, 0.5635092082627097}}, { {Hue[0.6, 0.7, 0.5], Opacity[0.7], Arrowheads[0.], ArrowBox[{{1, 2}, {1, 3}, {1, 5}, {1, 9}, {2, 4}, {2, 6}, {2, 10}, { 3, 4}, {3, 7}, {3, 11}, {4, 8}, {4, 12}, {5, 6}, {5, 7}, {5, 13}, { 6, 8}, {6, 14}, {7, 8}, {7, 15}, {8, 16}, {9, 10}, {9, 11}, {9, 13}, {10, 12}, {10, 14}, {11, 12}, {11, 15}, {12, 16}, {13, 14}, { 13, 15}, {14, 16}, {15, 16}}, 0.026253571160087252`]}, {Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], DiskBox[1, 0.026253571160087252], DiskBox[2, 0.026253571160087252], DiskBox[3, 0.026253571160087252], DiskBox[4, 0.026253571160087252], DiskBox[5, 0.026253571160087252], DiskBox[6, 0.026253571160087252], DiskBox[7, 0.026253571160087252], DiskBox[8, 0.026253571160087252], DiskBox[9, 0.026253571160087252], DiskBox[10, 0.026253571160087252], DiskBox[11, 0.026253571160087252], DiskBox[12, 0.026253571160087252], DiskBox[13, 0.026253571160087252], DiskBox[14, 0.026253571160087252], DiskBox[15, 0.026253571160087252], DiskBox[16, 0.026253571160087252]}}]], MouseAppearanceTag["NetworkGraphics"]], AllowKernelInitialization->False]], DefaultBaseStyle->{ "NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]}, FormatType->TraditionalForm, FrameTicks->None, ImageSize->{462., Automatic}]], "Output", CellChangeTimes->{ 3.831196278019039*^9, {3.8311963752275457`*^9, 3.831196385285953*^9}, { 3.831206096651701*^9, 3.831206104665143*^9}, 3.831207373344346*^9, 3.831542392714926*^9, 3.831542425267604*^9, 3.831719702418312*^9, 3.831733907320828*^9}, CellLabel->"Out[39]=",ExpressionUUID->"5a7f36e7-9e83-4f68-9ef3-928c960d7285"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"quadformFromG", "[", "G", "]"}]], "Input", CellChangeTimes->{{3.831205026500725*^9, 3.8312050352485657`*^9}}, CellLabel->"In[40]:=",ExpressionUUID->"43d9bb93-b274-4c99-99d2-d8ab94c9309f"], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"4", " ", SubsuperscriptBox["b", "1", "2"]}], "+", SubsuperscriptBox["b", "2", "2"], "+", SubsuperscriptBox["b", "3", "2"], "+", SubsuperscriptBox["b", "5", "2"], "+", SubsuperscriptBox["b", "9", "2"]}], "\[Equal]", RowBox[{ RowBox[{ SubscriptBox["b", "3"], " ", SubscriptBox["b", "5"]}], "+", RowBox[{ SubscriptBox["b", "3"], " ", SubscriptBox["b", "9"]}], "+", RowBox[{ SubscriptBox["b", "5"], " ", SubscriptBox["b", "9"]}], "+", RowBox[{ SubscriptBox["b", "2"], " ", RowBox[{"(", RowBox[{ SubscriptBox["b", "3"], "+", SubscriptBox["b", "5"], "+", SubscriptBox["b", "9"]}], ")"}]}], "+", RowBox[{ SubscriptBox["b", "1"], " ", RowBox[{"(", RowBox[{ SubscriptBox["b", "2"], "+", SubscriptBox["b", "3"], "+", SubscriptBox["b", "5"], "+", SubscriptBox["b", "9"]}], ")"}]}]}]}]], "Output", CellChangeTimes->{{3.831205027083984*^9, 3.831205035599906*^9}, 3.831207373561529*^9, 3.831542392730818*^9, 3.831542425288987*^9, 3.831719702427973*^9, 3.8317339073341618`*^9}, CellLabel->"Out[40]=",ExpressionUUID->"1596e610-3a31-4bcc-a540-b7ef314115ce"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ SubscriptBox["G", RowBox[{"triangular", " ", "bipyramidal"}]], "=", GridBox[{ {"1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "7"}]}, { RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}]}, { RowBox[{"-", "7"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1"} }]}]], "Input", CellChangeTimes->{{3.8312050545532827`*^9, 3.831205093968218*^9}, { 3.8312056500751534`*^9, 3.831205654734494*^9}}, CellLabel->"In[41]:=",ExpressionUUID->"9fe11fdf-be05-4827-b7ee-3632cb5d2841"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "7"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "7"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.831205095234825*^9, 3.83120737360776*^9, 3.831542392747333*^9, 3.8315424252958527`*^9, 3.831719702452983*^9, 3.8317339073584967`*^9}, CellLabel->"Out[41]=",ExpressionUUID->"3fdedf6f-4544-424c-a921-90c82a49287a"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"quadformFromG", "[", SubscriptBox["G", RowBox[{"triangular", " ", "bipyramidal"}]], "]"}]], "Input", CellChangeTimes->{{3.8312050988114653`*^9, 3.831205101783531*^9}, { 3.831205658239256*^9, 3.8312056586010427`*^9}}, CellLabel->"In[42]:=",ExpressionUUID->"510e41f3-3510-40b2-8833-d3bf1d87558d"], Cell[BoxData[ RowBox[{ RowBox[{ SubsuperscriptBox["b", "1", "2"], "+", SubsuperscriptBox["b", "2", "2"], "+", SuperscriptBox[ RowBox[{"(", RowBox[{ SubscriptBox["b", "3"], "-", SubscriptBox["b", "4"]}], ")"}], "2"]}], "\[Equal]", RowBox[{ RowBox[{"2", " ", SubscriptBox["b", "2"], " ", RowBox[{"(", RowBox[{ SubscriptBox["b", "3"], "+", SubscriptBox["b", "4"]}], ")"}]}], "+", RowBox[{"2", " ", SubscriptBox["b", "1"], " ", RowBox[{"(", RowBox[{ SubscriptBox["b", "2"], "+", SubscriptBox["b", "3"], "+", SubscriptBox["b", "4"]}], ")"}]}]}]}]], "Output", CellChangeTimes->{3.83120510214622*^9, 3.8312073736490097`*^9, 3.831542392766467*^9, 3.831542425323592*^9, 3.8317197024807167`*^9, 3.831733907383543*^9}, CellLabel->"Out[42]=",ExpressionUUID->"baa0ad37-0969-46c2-b7af-7802a815179f"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"linearRelations", "[", RowBox[{"linearRelationsMatrix", "[", SubscriptBox["G", RowBox[{"triangular", " ", "bipyramidal"}]], "]"}], "]"}], "//", "Column"}]], "Input", CellChangeTimes->{{3.831205112050294*^9, 3.8312051208351917`*^9}, { 3.831205212410445*^9, 3.831205216195744*^9}, {3.831205666392047*^9, 3.8312056665974913`*^9}}, CellLabel->"In[43]:=",ExpressionUUID->"0d54c4c8-e27a-474a-9298-ada5fa42189c"], Cell[BoxData[ TagBox[GridBox[{ { RowBox[{ SubscriptBox["b", "5"], "\[Equal]", RowBox[{ RowBox[{"-", SubscriptBox["b", "1"]}], "+", RowBox[{"2", " ", SubscriptBox["b", "2"]}], "+", RowBox[{"2", " ", SubscriptBox["b", "3"]}], "+", RowBox[{"2", " ", SubscriptBox["b", "4"]}]}]}]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"]], "Output", CellChangeTimes->{{3.831205115320232*^9, 3.831205121352796*^9}, 3.831205216579706*^9, 3.831207373688302*^9, 3.8315423927849827`*^9, 3.831542425339525*^9, 3.8317197025008802`*^9, 3.831733907407769*^9}, CellLabel->"Out[43]=",ExpressionUUID->"12fbcb0e-49b5-4801-83a6-a55a3d15a0b6"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ SubscriptBox["G", RowBox[{"6", "v7f2"}]], "=", GridBox[{ {"1", RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "5"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "7"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], FractionBox[ RowBox[{"-", "5"}], "3"]}, { RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "7"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], FractionBox[ RowBox[{"-", "5"}], "3"], RowBox[{"-", "1"}], "1"} }]}]], "Input", CellChangeTimes->{{3.8312052950565577`*^9, 3.8312053664228907`*^9}, { 3.831205611780993*^9, 3.8312056257460127`*^9}}, CellLabel->"In[44]:=",ExpressionUUID->"de41676f-2547-41f4-a5cd-994c645fcba8"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "5"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "7"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", FractionBox["5", "3"]}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "7"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", FractionBox["5", "3"]}], ",", RowBox[{"-", "1"}], ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.831205376067292*^9, 3.83120737371931*^9, 3.831542392801413*^9, 3.831542425359495*^9, 3.831719702523612*^9, 3.831733907432741*^9}, CellLabel->"Out[44]=",ExpressionUUID->"8c20270e-42d7-48a2-b64c-017404824166"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"quadformFromG", "[", SubscriptBox["G", RowBox[{"6", "v7f2"}]], "]"}]], "Input", CellChangeTimes->{{3.831205379278871*^9, 3.8312053829754057`*^9}, { 3.831205635140277*^9, 3.831205635428679*^9}}, CellLabel->"In[45]:=",ExpressionUUID->"ac7f7607-7f8a-4300-ba01-22e29c0020ef"], Cell[BoxData[ RowBox[{ RowBox[{ SubsuperscriptBox["b", "1", "2"], "+", RowBox[{"9", " ", SubsuperscriptBox["b", "2", "2"]}], "+", SuperscriptBox[ RowBox[{"(", RowBox[{ SubscriptBox["b", "3"], "-", RowBox[{"3", " ", SubscriptBox["b", "4"]}]}], ")"}], "2"]}], "\[Equal]", RowBox[{ RowBox[{"6", " ", SubscriptBox["b", "2"], " ", RowBox[{"(", RowBox[{ SubscriptBox["b", "3"], "-", SubscriptBox["b", "4"]}], ")"}]}], "+", RowBox[{"2", " ", SubscriptBox["b", "1"], " ", RowBox[{"(", RowBox[{ RowBox[{"3", " ", SubscriptBox["b", "2"]}], "+", SubscriptBox["b", "3"], "+", RowBox[{"3", " ", SubscriptBox["b", "4"]}]}], ")"}]}]}]}]], "Output", CellChangeTimes->{3.8312053839007387`*^9, 3.831207373753183*^9, 3.831542392820953*^9, 3.8315424253801947`*^9, 3.8317197025468597`*^9, 3.831733907460184*^9}, CellLabel->"Out[45]=",ExpressionUUID->"05976bb0-d93b-4520-a09d-653cf2c76ed7"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"linearRelations", "[", RowBox[{"linearRelationsMatrix", "[", SubscriptBox["G", RowBox[{"6", "v7f2"}]], "]"}], "]"}], "//", "Column"}]], "Input", CellChangeTimes->{{3.831205386962224*^9, 3.8312053947819357`*^9}, { 3.831205641720022*^9, 3.831205641935877*^9}}, CellLabel->"In[46]:=",ExpressionUUID->"4794f90c-f7eb-4a1f-9467-a18aaee448b3"], Cell[BoxData[ TagBox[GridBox[{ { RowBox[{ SubscriptBox["b", "5"], "\[Equal]", RowBox[{ RowBox[{"2", " ", SubscriptBox["b", "1"]}], "-", RowBox[{"2", " ", SubscriptBox["b", "2"]}], "+", SubscriptBox["b", "3"]}]}]}, { RowBox[{ SubscriptBox["b", "6"], "\[Equal]", RowBox[{ FractionBox[ RowBox[{"2", " ", SubscriptBox["b", "1"]}], "3"], "-", FractionBox[ RowBox[{"2", " ", SubscriptBox["b", "2"]}], "3"], "+", FractionBox[ RowBox[{"2", " ", SubscriptBox["b", "3"]}], "3"], "-", SubscriptBox["b", "4"]}]}]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"]], "Output", CellChangeTimes->{3.831205395107645*^9, 3.831207373786862*^9, 3.8315423928378477`*^9, 3.831542425397616*^9, 3.8317197025671043`*^9, 3.831733907484179*^9}, CellLabel->"Out[46]=",ExpressionUUID->"6e99cc1e-288a-4831-a139-71c5e8f13875"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"quadformFromG", "[", GridBox[{ {"1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1"} }], "]"}]], "Input", CellChangeTimes->{{3.8312055186331463`*^9, 3.831205587691216*^9}}, CellLabel->"In[47]:=",ExpressionUUID->"ccf2ff55-693c-4fef-8d53-91573eb862fb"], Cell[BoxData[ RowBox[{ RowBox[{ SubsuperscriptBox["b", "1", "2"], "+", SubsuperscriptBox["b", "2", "2"], "+", SuperscriptBox[ RowBox[{"(", RowBox[{ SubscriptBox["b", "3"], "-", SubscriptBox["b", "4"]}], ")"}], "2"]}], "\[Equal]", RowBox[{ RowBox[{"2", " ", SubscriptBox["b", "2"], " ", RowBox[{"(", RowBox[{ SubscriptBox["b", "3"], "+", SubscriptBox["b", "4"]}], ")"}]}], "+", RowBox[{"2", " ", SubscriptBox["b", "1"], " ", RowBox[{"(", RowBox[{ SubscriptBox["b", "2"], "+", SubscriptBox["b", "3"], "+", SubscriptBox["b", "4"]}], ")"}]}]}]}]], "Output", CellChangeTimes->{{3.831205562753481*^9, 3.831205588677614*^9}, 3.831207373820695*^9, 3.831542392855438*^9, 3.83154242541956*^9, 3.8317197025887947`*^9, 3.831733907511017*^9}, CellLabel->"Out[47]=",ExpressionUUID->"42abf5a0-2014-42fc-a19a-1a1286036a82"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ SubscriptBox["G", RowBox[{"hexagonal", " ", "pyramid"}]], "=", GridBox[{ {"1", RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "7"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "7"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "5"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "7"}], "1"}, { RowBox[{"-", "7"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "5"}], RowBox[{"-", "7"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "7"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1"} }]}]], "Input", CellChangeTimes->{{3.83120560179744*^9, 3.8312056073727407`*^9}, { 3.83120570783545*^9, 3.8312057648417053`*^9}}, CellLabel->"In[48]:=",ExpressionUUID->"973eb5ad-339b-4945-bf8f-fd36220bcedc"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "7"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "7"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "5"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "7"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "7"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "5"}], ",", RowBox[{"-", "7"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "7"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.8312057658560753`*^9, 3.83120737385758*^9, 3.831542392874598*^9, 3.8315424254403267`*^9, 3.8317197026125517`*^9, 3.831733907535767*^9}, CellLabel->"Out[48]=",ExpressionUUID->"33294d65-11d9-4edd-adfa-eeaa7741661c"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"allData", "[", SubscriptBox["G", RowBox[{"hexagonal", " ", "pyramid"}]], "]"}], "[", RowBox[{"[", "1", "]"}], "]"}], "//", "Expand"}]], "Input", CellChangeTimes->{{3.831205767855706*^9, 3.831205848158939*^9}}, CellLabel->"In[49]:=",ExpressionUUID->"4a283eb1-a2c2-4e9c-bc6a-d80e43244f01"], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"6", " ", SubsuperscriptBox["b", "2", "2"]}], "-", RowBox[{"5", " ", SubscriptBox["b", "2"], " ", SubscriptBox["b", "3"]}], "+", SubsuperscriptBox["b", "3", "2"], "+", RowBox[{"9", " ", SubscriptBox["b", "2"], " ", SubscriptBox["b", "7"]}], "-", RowBox[{"6", " ", SubscriptBox["b", "3"], " ", SubscriptBox["b", "7"]}], "+", RowBox[{"9", " ", SubsuperscriptBox["b", "7", "2"]}]}], "\[Equal]", RowBox[{ RowBox[{"4", " ", SubscriptBox["b", "1"], " ", SubscriptBox["b", "2"]}], "+", RowBox[{ SubscriptBox["b", "1"], " ", SubscriptBox["b", "3"]}], "+", RowBox[{"3", " ", SubscriptBox["b", "1"], " ", SubscriptBox["b", "7"]}]}]}]], "Output", CellChangeTimes->{{3.831205837042835*^9, 3.8312058484620523`*^9}, 3.831207373888626*^9, 3.8315423928954906`*^9, 3.8315424254606743`*^9, 3.8317197026340733`*^9, 3.831733907559771*^9}, CellLabel->"Out[49]=",ExpressionUUID->"ffefa419-2170-4128-a2bc-9bf19c5fc9a4"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"allData", "[", SubscriptBox["G", RowBox[{"hexagonal", " ", "pyramid"}]], "]"}], "[", RowBox[{"[", "2", "]"}], "]"}], "//", "Column"}]], "Input", CellChangeTimes->{{3.8312058541978807`*^9, 3.8312058597572613`*^9}}, CellLabel->"In[50]:=",ExpressionUUID->"b5fcdc33-685f-4f57-a7ae-0b41c2e701f7"], Cell[BoxData[ TagBox[GridBox[{ { RowBox[{ SubscriptBox["b", "4"], "\[Equal]", RowBox[{ SubscriptBox["b", "1"], "-", RowBox[{"2", " ", SubscriptBox["b", "2"]}], "+", RowBox[{"2", " ", SubscriptBox["b", "3"]}]}]}]}, { RowBox[{ SubscriptBox["b", "5"], "\[Equal]", RowBox[{ RowBox[{"2", " ", SubscriptBox["b", "1"]}], "-", RowBox[{"3", " ", SubscriptBox["b", "2"]}], "+", RowBox[{"2", " ", SubscriptBox["b", "3"]}]}]}]}, { RowBox[{ SubscriptBox["b", "6"], "\[Equal]", RowBox[{ RowBox[{"2", " ", SubscriptBox["b", "1"]}], "-", RowBox[{"2", " ", SubscriptBox["b", "2"]}], "+", SubscriptBox["b", "3"]}]}]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"]], "Output", CellChangeTimes->{3.831205860045238*^9, 3.8312073739225073`*^9, 3.8315423929117193`*^9, 3.831542425479426*^9, 3.831719702655299*^9, 3.831733907587859*^9}, CellLabel->"Out[50]=",ExpressionUUID->"ded494aa-7e49-413a-98a7-f5e1c2ecfdf6"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"W", "=", GridBox[{ {"2", "2", RowBox[{"-", "1"}], "7", "4", "4"}, {"0", "0", "1", "1", "2", "2"}, {"0", "0", "0", RowBox[{"2", RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{"2", RowBox[{"Sqrt", "[", "2", "]"}]}], RowBox[{"2", RowBox[{"Sqrt", "[", "2", "]"}]}]}, {"1", RowBox[{"-", "1"}], "0", "0", "1", RowBox[{"-", "1"}]} }]}]], "Input", CellLabel->"In[51]:=",ExpressionUUID->"402cb114-17f5-49f4-896a-b98bffc0bd94"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "2", ",", RowBox[{"-", "1"}], ",", "7", ",", "4", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "2", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", RowBox[{"2", " ", SqrtBox["2"]}], ",", RowBox[{"2", " ", SqrtBox["2"]}], ",", RowBox[{"2", " ", SqrtBox["2"]}]}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", RowBox[{"-", "1"}], ",", "0", ",", "0", ",", "1", ",", RowBox[{"-", "1"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{ 3.831542392930254*^9, 3.831542425497326*^9, 3.831550043943159*^9, 3.831584496276239*^9, {3.8317197026764*^9, 3.831719727567832*^9}, 3.8317339076081877`*^9}, CellLabel->"Out[51]=",ExpressionUUID->"58e0936f-b619-420a-9492-22c7ba69b697"] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"G", "=", RowBox[{"gramMatrix", "[", "W", "]"}]}], ";"}]], "Input", CellChangeTimes->{{3.831211015871591*^9, 3.831211019640984*^9}, { 3.83139436002034*^9, 3.8313943711094522`*^9}}, CellLabel->"In[52]:=",ExpressionUUID->"785b97d1-df45-4acf-be8c-f15e81c63a52"], Cell[CellGroupData[{ Cell[BoxData["G"], "Input", CellChangeTimes->{3.831584606712674*^9}, CellLabel->"In[53]:=",ExpressionUUID->"f882a2d2-9e95-4d18-ba41-a324a4ba4bbc"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{{3.8315846072444763`*^9, 3.83158461140563*^9}, 3.831719702701212*^9, 3.831733907632801*^9}, CellLabel->"Out[53]=",ExpressionUUID->"fb0f7f25-1d9d-49a4-a79f-f3ee9a5d8ac5"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"G", "=", GridBox[{ {"1", RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}]}, { RowBox[{"-", "3"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}]}, { RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], "1", RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], "1", RowBox[{"-", "3"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "5"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "3"}], RowBox[{"-", "3"}], "1", RowBox[{"-", "1"}]}, { RowBox[{"-", "3"}], RowBox[{"-", "3"}], RowBox[{"-", "5"}], RowBox[{"-", "3"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1"} }]}]], "Input", CellChangeTimes->{{3.831546098262713*^9, 3.831546195543068*^9}}, CellLabel->"In[54]:=",ExpressionUUID->"12b991dd-9780-4f27-9cee-c9553d1ba85d"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "3"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "3"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "5"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "3"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}], ",", "1", ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "3"}], ",", "1", ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "5"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "3"}], ",", "1", ",", RowBox[{"-", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "3"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "5"}], ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.831546196730113*^9, 3.831546456579155*^9, 3.831552497483054*^9, 3.831719702722155*^9, 3.831719884467691*^9, 3.831733907663001*^9}, CellLabel->"Out[54]=",ExpressionUUID->"705e58e5-bddb-406b-81cd-a56a6a1d1219"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"linearRelationsMatrix", "[", "G", "]"}], "//", "MatrixForm"}]], "Input", CellChangeTimes->{{3.8315481970603724`*^9, 3.8315482041913424`*^9}}, CellLabel->"In[55]:=",ExpressionUUID->"cbdb9664-a317-4565-b793-624ba213ee58"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", "0", "0", "0"}, {"0", "1", "0", "0"}, {"0", "0", "1", "0"}, {"0", "0", "0", "1"}, {"1", "0", RowBox[{"-", "1"}], "1"}, {"1", "1", RowBox[{"-", "1"}], "0"}, {"0", "1", RowBox[{"-", "1"}], "1"}, {"1", "1", RowBox[{"-", "2"}], "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{{3.8315482004865723`*^9, 3.831548204447329*^9}, 3.8317197027435627`*^9, 3.8317339076848793`*^9}, CellLabel-> "Out[55]//MatrixForm=",ExpressionUUID->"ed46a751-039e-4c4d-a4f2-\ 4853c43e84c0"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"g", "=", RowBox[{"PlanarGraph", "[", RowBox[{"AdjacencyGraph", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"#", "\[Equal]", RowBox[{"-", "1"}]}], ",", "1", ",", "0"}], "]"}], "&"}], "/@", "#"}], "&"}], "/@", "G"}], ",", RowBox[{"VertexLabels", "\[Rule]", "\"\\""}]}], "]"}], "]"}]}]], "Input", CellChangeTimes->{{3.831211024119669*^9, 3.831211051358807*^9}, { 3.8312110865308323`*^9, 3.831211099087179*^9}}, CellLabel->"In[56]:=",ExpressionUUID->"2277b165-cb3b-4c4e-a60c-e2f6d8a782d4"], Cell[BoxData[ GraphicsBox[ NamespaceBox["NetworkGraphics", DynamicModuleBox[{Typeset`graph = HoldComplete[ Graph[{1, 2, 3, 4, 5, 6, 7, 8}, { Null, {{1, 3}, {1, 5}, {1, 6}, {2, 3}, {2, 6}, {2, 7}, {3, 4}, {4, 5}, { 4, 7}, {5, 8}, {6, 8}, {7, 8}}}, { GraphLayout -> "TutteEmbedding", VertexLabels -> {"Name"}}]]}, TagBox[GraphicsGroupBox[{ {Hue[0.6, 0.7, 0.5], Opacity[0.7], Arrowheads[0.], ArrowBox[CompressedData[" 1:eJxTTMoPSmVmYGDgAWImKObqmudjWblqDwMYfLCH0ewxIsZqyxba4JDfD5Hf uAdDvsFE+ZvKe7tQMLhq/2Wf+ZFNQJrzwtF3Rh3tNujmY8gT0C+gb4osvx/d PAg90QbVnQg+uvvR5XGYD1fPf3H7OW2gOER+6h5096LLo5uHLg8AQGiLyQ== "], 0.02261146496815286]}, {Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[ 0.7]}], {DiskBox[{-1.8369701987210297*^-16, 1.}, 0.02261146496815286], InsetBox["1", Offset[{2, 2}, {0.022611464968152677, 1.0226114649681528}], ImageScaled[{0, 0}], BaseStyle->"Graphics"]}, { DiskBox[{0.33335560953035714, 4.082155997157844*^-17}, 0.02261146496815286], InsetBox["2", Offset[{2, 2}, {0.35596707449851, 0.022611464968152903}], ImageScaled[{0, 0}], BaseStyle->"Graphics"]}, { DiskBox[{1., 1.2246467991473532*^-16}, 0.02261146496815286], InsetBox["3", Offset[{2, 2}, {1.0226114649681528, 0.022611464968152983}], ImageScaled[{0, 0}], BaseStyle->"Graphics"]}, { DiskBox[{6.123233995736766*^-17, -1.}, 0.02261146496815286], InsetBox["4", Offset[{2, 2}, {0.022611464968152924, -0.9773885350318472}], ImageScaled[{0, 0}], BaseStyle->"Graphics"]}, { DiskBox[{-1., -2.4492935982947064*^-16}, 0.02261146496815286], InsetBox["5", Offset[{2, 2}, {-0.9773885350318472, 0.022611464968152615}], ImageScaled[{0, 0}], BaseStyle->"Graphics"]}, { DiskBox[{0.00001485079801583078, 0.3333333333333333}, 0.02261146496815286], InsetBox["6", Offset[{2, 2}, {0.022626315766168692, 0.3559447983014862}], ImageScaled[{0, 0}], BaseStyle->"Graphics"]}, { DiskBox[{0.0000148507980159067, -0.3333333333333333}, 0.02261146496815286], InsetBox["7", Offset[{2, 2}, {0.02262631576616877, -0.31072186836518045}], ImageScaled[{0, 0}], BaseStyle->"Graphics"]}, { DiskBox[{-0.33332343280132276, -7.401486830834377*^-17}, 0.02261146496815286], InsetBox["8", Offset[{2, 2}, {-0.3107119678331699, 0.02261146496815279}], ImageScaled[{0, 0}], BaseStyle->"Graphics"]}}}], MouseAppearanceTag["NetworkGraphics"]], AllowKernelInitialization->False]], DefaultBaseStyle->{ "NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]}, FormatType->TraditionalForm, FrameTicks->None]], "Output", CellChangeTimes->{{3.8312110441523523`*^9, 3.831211051836257*^9}, 3.831211099939444*^9, {3.831542392968464*^9, 3.83154242555717*^9}, 3.8315461997012577`*^9, 3.8315464584106913`*^9, 3.831550048418048*^9, 3.831550752983672*^9, 3.831552500274372*^9, 3.8315845020336857`*^9, { 3.831719702778846*^9, 3.831719731749542*^9}, 3.83171988803187*^9, 3.831733907733406*^9}, CellLabel->"Out[56]=",ExpressionUUID->"ac0ad11c-af45-4286-bc2e-a5d7de8451c2"] }, Open ]], Cell[BoxData[""], "Input", CellChangeTimes->{{3.831546202281266*^9, 3.8315462033754187`*^9}}, CellLabel->"In[57]:=",ExpressionUUID->"0155681f-224f-4d1f-81c7-b361a6a3bb9f"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"faces", "=", RowBox[{"FindFace", "[", "g", "]"}]}]], "Input", CellChangeTimes->{{3.83121106031896*^9, 3.831211066776128*^9}}, CellLabel->"In[58]:=",ExpressionUUID->"23a7ac4c-2e19-4242-b389-3017f75bddce"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "3", ",", "4", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "5", ",", "8", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "6", ",", "2", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "6", ",", "8", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "7", ",", "4", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "7", ",", "8", ",", "5"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{ 3.8312110671487427`*^9, {3.831542392989181*^9, 3.831542425567046*^9}, 3.8315462065236588`*^9, 3.831546461268298*^9, 3.831550052652643*^9, 3.831552503343704*^9, 3.83171970279709*^9, 3.831733907760252*^9}, CellLabel->"Out[58]=",ExpressionUUID->"f23c2530-3087-4b3f-88aa-1f3239530721"] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"findGenerators", "[", RowBox[{"faces_", ",", "vertices_", ",", "G_"}], "]"}], ":=", RowBox[{"Table", "[", RowBox[{ RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ "face", ",", "otherVertex", ",", "verticesOnFace", ",", "allVertices", ",", "Gp", ",", "P", ",", "Gnew", ",", "L", ",", "Q", ",", "Qform", ",", "sol1", ",", "sol2", ",", "sols", ",", "coeff", ",", "coeffTable", ",", "small", ",", "Li", ",", "P2"}], "}"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"face", "=", RowBox[{"faces", "[", RowBox[{"[", "i", "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"verticesOnFace", "=", RowBox[{"Sort", "[", RowBox[{"RandomSample", "[", RowBox[{"face", ",", "3"}], "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"otherVertex", "=", RowBox[{"RandomChoice", "[", RowBox[{"Select", "[", RowBox[{"vertices", ",", RowBox[{ RowBox[{"Not", "[", RowBox[{"MemberQ", "[", RowBox[{"face", ",", "#"}], "]"}], "]"}], "&"}]}], "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"allVertices", "=", RowBox[{"Append", "[", RowBox[{"verticesOnFace", ",", "otherVertex"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"P", "=", RowBox[{"Transpose", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"IdentityMatrix", "[", RowBox[{"Length", "[", "vertices", "]"}], "]"}], "[", RowBox[{"[", "#", "]"}], "]"}], "&"}], "/@", RowBox[{"DeleteDuplicates", "[", RowBox[{"Join", "[", RowBox[{"allVertices", ",", "vertices"}], "]"}], "]"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"Gnew", "=", RowBox[{ RowBox[{"Transpose", "[", "P", "]"}], ".", "G", ".", "P"}]}], ";", "\[IndentingNewLine]", RowBox[{"L", "=", RowBox[{"linearRelationsMatrix", "[", "Gnew", "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"Gp", "=", RowBox[{"Table", "[", RowBox[{ RowBox[{"G", "[", RowBox[{"[", RowBox[{"i", ",", "j"}], "]"}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "allVertices"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "allVertices"}], "}"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"Q", "=", RowBox[{"Inverse", "[", "Gp", "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"Qform", "=", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"#", ".", "Q", ".", "#"}], "&"}], "[", RowBox[{"Table", "[", RowBox[{ SubscriptBox["b", "j"], ",", RowBox[{"{", RowBox[{"j", ",", "allVertices"}], "}"}]}], "]"}], "]"}], ")"}], "\[Equal]", "0"}]}], ";", "\[IndentingNewLine]", RowBox[{"sols", "=", RowBox[{"Expand", "[", RowBox[{"FullSimplify", "[", RowBox[{"Total", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"#", "[", RowBox[{"[", "1", "]"}], "]"}], "[", RowBox[{"[", "2", "]"}], "]"}], "&"}], "/@", RowBox[{"Solve", "[", RowBox[{"Qform", ",", SubscriptBox["b", "otherVertex"]}], "]"}]}], "]"}], "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"coeff", "=", RowBox[{"Table", "[", RowBox[{ RowBox[{"sols", "/.", RowBox[{"Table", "[", RowBox[{ RowBox[{ SubscriptBox["b", "i"], "\[Rule]", RowBox[{"If", "[", RowBox[{ RowBox[{"i", "\[Equal]", "curr"}], ",", "1", ",", "0"}], "]"}]}], ",", RowBox[{"{", RowBox[{"i", ",", "allVertices"}], "}"}]}], "]"}]}], ",", RowBox[{"{", RowBox[{"curr", ",", "allVertices"}], "}"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"small", "=", RowBox[{"IdentityMatrix", "[", RowBox[{"Length", "[", "allVertices", "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{ RowBox[{"small", "[", RowBox[{"[", RowBox[{"-", "1"}], "]"}], "]"}], "=", RowBox[{"Table", "[", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"j", "\[Equal]", "4"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"If", "[", RowBox[{ RowBox[{"MemberQ", "[", RowBox[{"verticesOnFace", ",", RowBox[{"allVertices", "[", RowBox[{"[", "j", "]"}], "]"}]}], "]"}], ",", RowBox[{"coeff", "[", RowBox[{"[", "j", "]"}], "]"}], ",", "0"}], "]"}]}], "]"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"Length", "[", "allVertices", "]"}]}], "}"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"Li", "=", RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"j", "\[Equal]", "k"}], ",", "1", ",", "0"}], "]"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"Length", "[", "vertices", "]"}]}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{"k", ",", "allVertices"}], "}"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"P2", "=", RowBox[{"Table", "[", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"j", "\[Equal]", "k"}], ",", "1", ",", "0"}], "]"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"Length", "[", "vertices", "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{"k", ",", RowBox[{"DeleteDuplicates", "[", RowBox[{"Join", "[", RowBox[{"allVertices", ",", "vertices"}], "]"}], "]"}]}], "}"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"P2", ".", "L", ".", "small", ".", "Li"}]}]}], "\[IndentingNewLine]", "]"}], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"Length", "[", "faces", "]"}]}], "}"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.831211980673108*^9, 3.831212009547978*^9}, { 3.831212047936781*^9, 3.831212064698745*^9}, {3.831212136824675*^9, 3.8312121924739923`*^9}, {3.83121282873549*^9, 3.831212895555662*^9}, { 3.8312129593096933`*^9, 3.831213052703521*^9}, {3.8312133826923237`*^9, 3.831213512078041*^9}, {3.831213579312004*^9, 3.831213607562201*^9}, { 3.8312136458477*^9, 3.8312136689119587`*^9}, {3.831213699813815*^9, 3.831213723704392*^9}, {3.8312138140717983`*^9, 3.831213889152441*^9}, { 3.831213941035733*^9, 3.831213957988277*^9}, {3.831213991504438*^9, 3.831214049771612*^9}, {3.8312142057843103`*^9, 3.831214227198838*^9}, { 3.8313934326708517`*^9, 3.83139343995124*^9}, {3.831393489506013*^9, 3.831393506386162*^9}, {3.831393555227632*^9, 3.8313935602186413`*^9}, { 3.8313936045286083`*^9, 3.83139367389612*^9}, {3.831393815407503*^9, 3.8313939935486803`*^9}, {3.83139404462208*^9, 3.831394092415612*^9}, { 3.831394131767799*^9, 3.831394217388193*^9}, {3.831394341420259*^9, 3.831394342312114*^9}, {3.83139445920255*^9, 3.8313945442248793`*^9}, { 3.8313945973518257`*^9, 3.831394680082652*^9}, {3.8313947347981873`*^9, 3.831394898892132*^9}, {3.83139493417336*^9, 3.831395053557044*^9}, { 3.831395100567893*^9, 3.83139518418989*^9}, {3.831395217466712*^9, 3.831395241186327*^9}, {3.831395355721635*^9, 3.8313954066678057`*^9}, { 3.831395475153723*^9, 3.831395516960009*^9}, {3.83139559485061*^9, 3.8313956385922327`*^9}, {3.831395769312038*^9, 3.8313958340021877`*^9}, { 3.831395865647847*^9, 3.83139610784988*^9}, {3.831396182381921*^9, 3.831396202527211*^9}, {3.8313962730948772`*^9, 3.8313963875560293`*^9}, { 3.831396427697093*^9, 3.8313965616329517`*^9}, {3.831396608167254*^9, 3.83139664360338*^9}, {3.83139670106045*^9, 3.8313967846470547`*^9}, { 3.8313968308609743`*^9, 3.8313969389717007`*^9}, 3.831396972519156*^9, { 3.831397018773802*^9, 3.831397020188629*^9}, {3.831397062011731*^9, 3.831397076917077*^9}, {3.8313971287749977`*^9, 3.8313971288803463`*^9}, { 3.831397158974574*^9, 3.831397164029716*^9}, {3.831451905653893*^9, 3.831451941106399*^9}, {3.8314519809069433`*^9, 3.831452094855884*^9}, { 3.831542443369563*^9, 3.83154246854852*^9}, {3.831542595276044*^9, 3.8315426013894053`*^9}, {3.831542828964487*^9, 3.831542862477805*^9}, 3.8315429215303297`*^9, {3.831543065147149*^9, 3.831543089933201*^9}, { 3.8315431288434877`*^9, 3.831543129636121*^9}, {3.83154323687431*^9, 3.831543260658288*^9}, {3.831543295045744*^9, 3.831543299689423*^9}, 3.831543486496207*^9, {3.831543653211835*^9, 3.831543654095707*^9}, { 3.831544292671633*^9, 3.8315442949499702`*^9}, {3.831544329733664*^9, 3.831544394563963*^9}, {3.831544636528879*^9, 3.831544663053648*^9}, 3.831544723323721*^9, 3.831546276666531*^9, {3.8315463223978786`*^9, 3.831546322569023*^9}, {3.831546446056045*^9, 3.83154644840313*^9}, { 3.8315465437277803`*^9, 3.8315465842454453`*^9}, {3.8315466426699533`*^9, 3.831546646606488*^9}, {3.831546727818715*^9, 3.831546788772341*^9}, { 3.831546839246593*^9, 3.8315468396090813`*^9}, {3.83154706753721*^9, 3.8315471373421164`*^9}, {3.831549700570283*^9, 3.831549703647592*^9}, { 3.8315497447736797`*^9, 3.831549761864801*^9}, {3.831549996792459*^9, 3.831550026202232*^9}, {3.831550732962453*^9, 3.831550735264537*^9}, { 3.8315509704443493`*^9, 3.8315509727254343`*^9}, {3.831551320669722*^9, 3.831551407002722*^9}, 3.831551438305327*^9, {3.8315518862869797`*^9, 3.831551891551553*^9}, {3.831552338431473*^9, 3.8315523578513947`*^9}, { 3.8315524412649384`*^9, 3.831552441791979*^9}, {3.831552847687746*^9, 3.8315528556641293`*^9}, 3.831726852424152*^9}, CellLabel->"In[59]:=",ExpressionUUID->"23afecd5-dcb1-4236-8386-1e0ecea0ee84"], Cell[BoxData[ RowBox[{ RowBox[{"findGeneratorsFromG", "[", "G_", "]"}], ":=", RowBox[{"findGenerators", "[", RowBox[{ RowBox[{"FindFace", "[", RowBox[{"PlanarGraph", "[", RowBox[{"AdjacencyGraph", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"#", "\[Equal]", RowBox[{"-", "1"}]}], ",", "1", ",", "0"}], "]"}], "&"}], "/@", "#"}], "&"}], "/@", "G"}], ",", RowBox[{"VertexLabels", "\[Rule]", "\"\\""}]}], "]"}], "]"}], "]"}], ",", RowBox[{"Range", "[", RowBox[{"Length", "[", "G", "]"}], "]"}], ",", "G"}], "]"}]}]], "Input", CellChangeTimes->{{3.831554845925479*^9, 3.8315548977219877`*^9}}, CellLabel->"In[60]:=",ExpressionUUID->"d0340853-0ec5-4158-8d4e-e3eb7970ae3c"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"Print", "[", RowBox[{"MatrixForm", "[", "#", "]"}], "]"}], "&"}], "/@", RowBox[{"findGeneratorsFromG", "[", "G", "]"}]}]], "Input", CellChangeTimes->{{3.83171975708283*^9, 3.831719771106359*^9}}, CellLabel->"In[61]:=",ExpressionUUID->"84a6e091-4d71-409f-9a44-6125e08ae87d"], Cell[CellGroupData[{ Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", "0", "0", "0", "0", "0", "0", "0"}, {"0", "0", "3", "0", "3", "0", "0", RowBox[{"-", "1"}]}, {"0", "0", "1", "0", "0", "0", "0", "0"}, { RowBox[{"-", "1"}], "0", "1", "0", "1", "0", "0", "0"}, {"0", "0", "0", "0", "1", "0", "0", "0"}, {"1", "0", "2", "0", "3", "0", "0", RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], "0", "3", "0", "4", "0", "0", RowBox[{"-", "1"}]}, {"0", "0", "2", "0", "4", "0", "0", RowBox[{"-", "1"}]} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{3.831719771447344*^9, 3.831719917488689*^9, 3.831733907871355*^9}, CellLabel-> "During evaluation of \ In[61]:=",ExpressionUUID->"da8f421d-f27b-4ea9-8a5d-e856fb51aa04"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", "0", "0", "0", "0", "0", "0", "0"}, {"3", "0", "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "4"}, {"3", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "3"}, {"2", "0", "0", "0", "1", "0", RowBox[{"-", "1"}], "3"}, {"0", "0", "0", "0", "1", "0", "0", "0"}, {"1", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "1"}, {"2", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "4"}, {"0", "0", "0", "0", "0", "0", "0", "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{3.831719771447344*^9, 3.831719917488689*^9, 3.831733907873125*^9}, CellLabel-> "During evaluation of \ In[61]:=",ExpressionUUID->"95ba9f3c-6720-4c71-bf8b-6fc425bb6200"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", "0", "0", "0", "0", "0", "0", "0"}, {"0", "1", "0", "0", "0", "0", "0", "0"}, {"0", "0", "1", "0", "0", "0", "0", "0"}, {"3", "2", "1", "0", RowBox[{"-", "1"}], "0", "0", "0"}, {"4", "2", "0", "0", RowBox[{"-", "1"}], "0", "0", "0"}, {"1", "1", RowBox[{"-", "1"}], "0", "0", "0", "0", "0"}, {"3", "3", "0", "0", RowBox[{"-", "1"}], "0", "0", "0"}, {"4", "3", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "0"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{3.831719771447344*^9, 3.831719917488689*^9, 3.831733907876793*^9}, CellLabel-> "During evaluation of \ In[61]:=",ExpressionUUID->"316f726f-8a2e-4bc3-816e-0a9a4bb2aaaf"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", "3", "0", RowBox[{"-", "1"}], "0", "0", "0", "3"}, {"0", "1", "0", "0", "0", "0", "0", "0"}, {"0", "3", "0", RowBox[{"-", "1"}], "0", "0", "1", "2"}, {"0", "2", "0", RowBox[{"-", "1"}], "0", "0", "2", "2"}, {"0", "2", "0", RowBox[{"-", "1"}], "0", "0", "1", "3"}, {"0", "1", "0", "0", "0", "0", RowBox[{"-", "1"}], "1"}, {"0", "0", "0", "0", "0", "0", "1", "0"}, {"0", "0", "0", "0", "0", "0", "0", "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{3.831719771447344*^9, 3.831719917488689*^9, 3.831733907878037*^9}, CellLabel-> "During evaluation of \ In[61]:=",ExpressionUUID->"c354966a-3c8f-4123-ab0a-d63705d584de"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", RowBox[{"-", "1"}], "4", "0", RowBox[{"-", "1"}], "0", "3", "0"}, {"0", "1", "0", "0", "0", "0", "0", "0"}, {"0", "0", "1", "0", "0", "0", "0", "0"}, {"0", RowBox[{"-", "1"}], "1", "0", "0", "0", "1", "0"}, {"0", RowBox[{"-", "2"}], "4", "0", RowBox[{"-", "1"}], "0", "4", "0"}, {"0", "0", "3", "0", RowBox[{"-", "1"}], "0", "3", "0"}, {"0", "0", "0", "0", "0", "0", "1", "0"}, {"0", RowBox[{"-", "1"}], "3", "0", RowBox[{"-", "1"}], "0", "4", "0"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{3.831719771447344*^9, 3.831719917488689*^9, 3.831733907879318*^9}, CellLabel-> "During evaluation of \ In[61]:=",ExpressionUUID->"3cb3a9d0-a815-4ba9-b939-83361b1233c5"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", "0", "0", "3", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "4"}, {"0", "0", "0", "2", "0", RowBox[{"-", "1"}], "1", "3"}, {"0", "0", "0", "3", "0", RowBox[{"-", "1"}], "0", "3"}, {"0", "0", "0", "1", "0", "0", "0", "0"}, {"0", "0", "0", "1", "0", "0", RowBox[{"-", "1"}], "1"}, {"0", "0", "0", "2", "0", RowBox[{"-", "1"}], "0", "4"}, {"0", "0", "0", "0", "0", "0", "1", "0"}, {"0", "0", "0", "0", "0", "0", "0", "1"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Print", CellChangeTimes->{3.831719771447344*^9, 3.831719917488689*^9, 3.831733907880615*^9}, CellLabel-> "During evaluation of \ In[61]:=",ExpressionUUID->"bd7e22c1-1f5c-46a8-abed-01deefa12f35"] }, Open ]], Cell[BoxData[ RowBox[{"{", RowBox[{ "Null", ",", "Null", ",", "Null", ",", "Null", ",", "Null", ",", "Null"}], "}"}]], "Output", CellChangeTimes->{{3.831719760897254*^9, 3.8317197714549294`*^9}, 3.8317199174956703`*^9, 3.831733907881818*^9}, CellLabel->"Out[61]=",ExpressionUUID->"c18df578-33cc-4e51-8487-ae05bf2bb409"] }, Open ]] }, WindowSize->{1419., 770.25}, WindowMargins->{{10.5, Automatic}, {10.5, Automatic}}, TaggingRules->{ "WelcomeScreenSettings" -> {"FEStarting" -> False}, "TryRealOnly" -> False}, FrontEndVersion->"12.2 for Linux x86 (64-bit) (December 12, 2020)", StyleDefinitions->"Default.nb", ExpressionUUID->"e040e796-8bff-4db9-a60c-0104a3118602" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[558, 20, 418, 9, 29, "Input",ExpressionUUID->"6afae59f-4ed7-45fe-af4f-8b2b99977aa0"], Cell[979, 31, 1053, 27, 92, "Input",ExpressionUUID->"89bc4f4e-9b7e-4800-9ecd-24531052a727"], Cell[2035, 60, 509, 11, 29, "Input",ExpressionUUID->"0366738a-6f35-482c-b716-8ce9d936093f"], Cell[2547, 73, 439, 11, 29, "Input",ExpressionUUID->"b6ed0b19-08a4-42a8-a0f9-f244b6935f62"], Cell[2989, 86, 1406, 33, 51, "Input",ExpressionUUID->"8245e75c-2d76-48ce-a004-a171152928d8"], Cell[4398, 121, 342, 8, 29, "Input",ExpressionUUID->"ae4cbf02-ecda-41d9-b954-c47ca42f6458"], Cell[4743, 131, 1140, 33, 29, "Input",ExpressionUUID->"e879feeb-c143-431d-b60f-65791d8ad5a4"], Cell[5886, 166, 740, 20, 29, "Input",ExpressionUUID->"f4dd8840-fc29-4515-8843-21d6b5328192"], Cell[6629, 188, 671, 19, 29, "Input",ExpressionUUID->"f415d590-d64f-4449-a487-145c6f7994a0"], Cell[7303, 209, 708, 19, 29, "Input",ExpressionUUID->"8d447c09-3a46-47da-8902-1542001af8cb"], Cell[8014, 230, 548, 14, 29, "Input",ExpressionUUID->"60159612-8269-4730-81d3-7733c61a595c"], Cell[8565, 246, 773, 17, 29, "Input",ExpressionUUID->"4e2ca172-3a40-440d-be33-c82ada769fb4"], Cell[9341, 265, 2396, 63, 195, "Input",ExpressionUUID->"fac793b9-dd04-4cc1-b981-5915e7ad443d"], Cell[CellGroupData[{ Cell[11762, 332, 231, 4, 29, "Input",ExpressionUUID->"60b582da-ce47-4ec8-a0a8-cbb68490e605"], Cell[11996, 338, 1447, 47, 33, "Output",ExpressionUUID->"e6433845-7bdd-4bb6-a3c6-e23ad168a62e"] }, Open ]], Cell[CellGroupData[{ Cell[13480, 390, 245, 4, 29, "Input",ExpressionUUID->"14f7bbaf-929f-468e-8da0-bfa642027480"], Cell[13728, 396, 6172, 171, 227, "Output",ExpressionUUID->"42353ebc-e5e0-4797-874a-1724f0bf39b6"] }, Open ]], Cell[CellGroupData[{ Cell[19937, 572, 328, 6, 29, "Input",ExpressionUUID->"2b0e9c94-8bfb-48d1-b4b6-7b61e59a2c2a"], Cell[20268, 580, 710, 14, 22, "Message",ExpressionUUID->"d8e03790-f06d-4d95-92ed-8b2bf9f54269"], Cell[20981, 596, 737, 20, 46, "Output",ExpressionUUID->"63b78641-f103-43b2-9be7-6b968e0f1be5"] }, Open ]], Cell[CellGroupData[{ Cell[21755, 621, 333, 6, 29, "Input",ExpressionUUID->"fb4de4d1-8a77-484f-b05d-b8426caa1cc9"], Cell[22091, 629, 417, 10, 22, "Message",ExpressionUUID->"34aef24b-ddc0-44af-9366-3eeb3f4f6263"], Cell[22511, 641, 308, 9, 46, "Output",ExpressionUUID->"d53bbe28-77ce-42ca-ae67-cbd0aa584691"] }, Open ]], Cell[CellGroupData[{ Cell[22856, 655, 369, 8, 29, "Input",ExpressionUUID->"6f212e3d-48a4-420c-b0a9-b24d1d64e19b"], Cell[23228, 665, 788, 21, 33, "Output",ExpressionUUID->"4de97c17-9a2a-4c69-b4b2-a5d9ae77d610"] }, Open ]], Cell[CellGroupData[{ Cell[24053, 691, 230, 4, 29, "Input",ExpressionUUID->"ea1d0153-4f54-4a30-a400-c74e5ea10596"], Cell[24286, 697, 732, 21, 46, "Output",ExpressionUUID->"db4546a4-6513-493e-b9ab-aee7a0249c64"] }, Open ]], Cell[CellGroupData[{ Cell[25055, 723, 282, 5, 29, "Input",ExpressionUUID->"25e1f91b-c002-4733-923a-0caf3aaa7dd5"], Cell[25340, 730, 780, 22, 46, "Output",ExpressionUUID->"63cad9cf-5f43-4a56-be82-01b6493dfe2a"] }, Open ]], Cell[CellGroupData[{ Cell[26157, 757, 7819, 256, 284, "Input",ExpressionUUID->"1e7275d7-0881-44f4-ab52-53a98494f405"], Cell[33979, 1015, 8054, 204, 178, "Output",ExpressionUUID->"1622d249-8481-4a64-8703-748bdf00228f"] }, Open ]], Cell[CellGroupData[{ Cell[42070, 1224, 340, 9, 29, "Input",ExpressionUUID->"dacce9b4-387a-4f10-a77b-20ec4eb98f2d"], Cell[CellGroupData[{ Cell[42435, 1237, 1071, 29, 106, "Print",ExpressionUUID->"91297213-498c-48fd-8add-66721dc17151"], Cell[43509, 1268, 1071, 29, 106, "Print",ExpressionUUID->"3425a986-973b-42de-84ed-eb3aeb0b4de1"], Cell[44583, 1299, 1071, 29, 106, "Print",ExpressionUUID->"dd0b02f8-81a2-4f44-9994-1740a018ee61"], Cell[45657, 1330, 1071, 29, 106, "Print",ExpressionUUID->"d2d05bf0-b6d5-450c-aed2-d371f2cbedfd"], Cell[46731, 1361, 1071, 29, 106, "Print",ExpressionUUID->"290a1136-abeb-480e-9bdc-8905acfbf15e"], Cell[47805, 1392, 1071, 29, 106, "Print",ExpressionUUID->"f15772b8-9d8b-445e-96c5-cff6b5226c3a"], Cell[48879, 1423, 1142, 32, 106, "Print",ExpressionUUID->"3433cbb1-8a48-432e-8bd9-858739c7e722"], Cell[50024, 1457, 1142, 32, 106, "Print",ExpressionUUID->"ef572e16-e211-4795-9cba-acb1d2ca1202"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[51215, 1495, 552, 11, 29, "Input",ExpressionUUID->"688e7e89-2335-43ab-bf07-49551244c00a"], Cell[51770, 1508, 534, 9, 33, "Output",ExpressionUUID->"48cccd6d-91f8-40d9-ad8a-7e2b3a0b7ca1"] }, Open ]], Cell[52319, 1520, 467, 11, 29, "Input",ExpressionUUID->"7cdb5988-583a-4889-8b21-7e9d007cfc7f"], Cell[52789, 1533, 177, 3, 35, "Text",ExpressionUUID->"5aaecebe-3db7-415d-bc8a-6a7a8474be62"], Cell[52969, 1538, 996, 28, 71, "Input",ExpressionUUID->"26cccec1-dcb3-4ea2-a1fd-cd8f1833a2f5"], Cell[53968, 1568, 3990, 106, 298, "Input",ExpressionUUID->"759a5754-3daf-472d-882e-9ec14e276fb5"], Cell[CellGroupData[{ Cell[57983, 1678, 633, 18, 78, "Input",ExpressionUUID->"f34a66d9-d092-4a23-b3f2-2fabe4238e9d"], Cell[58619, 1698, 1196, 34, 147, "Output",ExpressionUUID->"71688902-8aec-47a9-8a29-ba1bf1bcf1d4"] }, Open ]], Cell[CellGroupData[{ Cell[59852, 1737, 580, 14, 51, "Input",ExpressionUUID->"340ebd40-7f28-4e16-8720-5b3bfc9dabe0"], Cell[60435, 1753, 397, 8, 36, "Output",ExpressionUUID->"30cd84d4-7aa8-4662-b8db-21538cb0541a"], Cell[60835, 1763, 373, 7, 51, "Output",ExpressionUUID->"a12c6b18-af53-4004-91e4-4372488a9df2"] }, Open ]], Cell[CellGroupData[{ Cell[61245, 1775, 1270, 37, 95, "Input",ExpressionUUID->"f681ec66-6355-4920-bbf6-f06d5a3d4a87"], Cell[62518, 1814, 3227, 101, 108, "Output",ExpressionUUID->"07e29fa2-067d-48ed-9337-8e3cca8ca706"] }, Open ]], Cell[65760, 1918, 284, 6, 29, "Input",ExpressionUUID->"1c3f997e-d820-495f-8ca7-90b29275d826"], Cell[CellGroupData[{ Cell[66069, 1928, 269, 5, 29, "Input",ExpressionUUID->"858777a7-5c14-4fa1-9028-76443866e688"], Cell[66341, 1935, 7475, 276, 302, "Output",ExpressionUUID->"fd922d4d-637d-4f51-a4b8-dce99d620611"] }, Open ]], Cell[CellGroupData[{ Cell[73853, 2216, 352, 7, 29, "Input",ExpressionUUID->"7709831e-9c42-45d2-8a41-356203765656"], Cell[74208, 2225, 461, 7, 33, "Output",ExpressionUUID->"e0ec0858-c1c6-419c-aae4-bebed3dc95ce"] }, Open ]], Cell[CellGroupData[{ Cell[74706, 2237, 342, 7, 29, "Input",ExpressionUUID->"75ce78eb-e1e8-46bd-a62c-3aebd71d1af9"], Cell[75051, 2246, 3305, 111, 202, "Output",ExpressionUUID->"1f8ef813-7305-4eeb-9c41-a4f909d1bb12"] }, Open ]], Cell[CellGroupData[{ Cell[78393, 2362, 482, 11, 29, "Input",ExpressionUUID->"1a24af65-4444-4345-9190-3e9030065556"], Cell[78878, 2375, 2039, 70, 153, "Output",ExpressionUUID->"9877bb8c-02f6-4d6b-8154-c50f3775d4b7"] }, Open ]], Cell[CellGroupData[{ Cell[80954, 2450, 283, 5, 29, "Input",ExpressionUUID->"25682f5f-59ee-495a-999f-1d64c3564228"], Cell[81240, 2457, 1220, 37, 33, "Output",ExpressionUUID->"ec2390b1-d380-4cc7-9d46-baa323b58104"] }, Open ]], Cell[CellGroupData[{ Cell[82497, 2499, 646, 18, 29, "Input",ExpressionUUID->"cd286a41-7226-4e9c-a896-90a76edcf34e"], Cell[83146, 2519, 1340, 44, 113, "Output",ExpressionUUID->"f6a18d3c-e2c4-47c5-a2bf-836e90e72cde"] }, Open ]], Cell[CellGroupData[{ Cell[84523, 2568, 288, 5, 29, "Input",ExpressionUUID->"54f16314-a3b1-47d1-8745-d78faebdbd6a"], Cell[84814, 2575, 1441, 44, 33, "Output",ExpressionUUID->"90f65885-eed7-4f27-a0e3-65b8f1b0a5a9"] }, Open ]], Cell[CellGroupData[{ Cell[86292, 2624, 538, 14, 29, "Input",ExpressionUUID->"5a9306e8-9cea-49bb-8f27-2b91314d9a3a"], Cell[86833, 2640, 3312, 55, 463, "Output",ExpressionUUID->"5a7f36e7-9e83-4f68-9ef3-928c960d7285"] }, Open ]], Cell[CellGroupData[{ Cell[90182, 2700, 213, 3, 29, "Input",ExpressionUUID->"43d9bb93-b274-4c99-99d2-d8ab94c9309f"], Cell[90398, 2705, 1244, 37, 33, "Output",ExpressionUUID->"1596e610-3a31-4bcc-a540-b7ef314115ce"] }, Open ]], Cell[CellGroupData[{ Cell[91679, 2747, 898, 32, 95, "Input",ExpressionUUID->"9fe11fdf-be05-4827-b7ee-3632cb5d2841"], Cell[92580, 2781, 1158, 36, 33, "Output",ExpressionUUID->"3fdedf6f-4544-424c-a921-90c82a49287a"] }, Open ]], Cell[CellGroupData[{ Cell[93775, 2822, 329, 6, 30, "Input",ExpressionUUID->"510e41f3-3510-40b2-8833-d3bf1d87558d"], Cell[94107, 2830, 905, 27, 33, "Output",ExpressionUUID->"baa0ad37-0969-46c2-b7af-7802a815179f"] }, Open ]], Cell[CellGroupData[{ Cell[95049, 2862, 465, 10, 30, "Input",ExpressionUUID->"0d54c4c8-e27a-474a-9298-ada5fa42189c"], Cell[95517, 2874, 838, 22, 33, "Output",ExpressionUUID->"12fbcb0e-49b5-4801-83a6-a55a3d15a0b6"] }, Open ]], Cell[CellGroupData[{ Cell[96392, 2901, 1200, 45, 129, "Input",ExpressionUUID->"de41676f-2547-41f4-a5cd-994c645fcba8"], Cell[97595, 2948, 1563, 50, 48, "Output",ExpressionUUID->"8c20270e-42d7-48a2-b64c-017404824166"] }, Open ]], Cell[CellGroupData[{ Cell[99195, 3003, 306, 6, 29, "Input",ExpressionUUID->"ac7f7607-7f8a-4300-ba01-22e29c0020ef"], Cell[99504, 3011, 1017, 31, 33, "Output",ExpressionUUID->"05976bb0-d93b-4520-a09d-653cf2c76ed7"] }, Open ]], Cell[CellGroupData[{ Cell[100558, 3047, 390, 8, 29, "Input",ExpressionUUID->"4794f90c-f7eb-4a1f-9467-a18aaee448b3"], Cell[100951, 3057, 1096, 33, 58, "Output",ExpressionUUID->"6e99cc1e-288a-4831-a139-71c5e8f13875"] }, Open ]], Cell[CellGroupData[{ Cell[102084, 3095, 580, 20, 78, "Input",ExpressionUUID->"ccf2ff55-693c-4fef-8d53-91573eb862fb"], Cell[102667, 3117, 929, 27, 33, "Output",ExpressionUUID->"42abf5a0-2014-42fc-a19a-1a1286036a82"] }, Open ]], Cell[CellGroupData[{ Cell[103633, 3149, 1464, 55, 130, "Input",ExpressionUUID->"973eb5ad-339b-4945-bf8f-fd36220bcedc"], Cell[105100, 3206, 1919, 61, 55, "Output",ExpressionUUID->"33294d65-11d9-4edd-adfa-eeaa7741661c"] }, Open ]], Cell[CellGroupData[{ Cell[107056, 3272, 351, 8, 30, "Input",ExpressionUUID->"4a283eb1-a2c2-4e9c-bc6a-d80e43244f01"], Cell[107410, 3282, 1055, 30, 33, "Output",ExpressionUUID->"ffefa419-2170-4128-a2bc-9bf19c5fc9a4"] }, Open ]], Cell[CellGroupData[{ Cell[108502, 3317, 355, 8, 30, "Input",ExpressionUUID->"b5fcdc33-685f-4f57-a7ae-0b41c2e701f7"], Cell[108860, 3327, 1221, 38, 65, "Output",ExpressionUUID->"ded494aa-7e49-413a-98a7-f5e1c2ecfdf6"] }, Open ]], Cell[CellGroupData[{ Cell[110118, 3370, 514, 16, 78, "Input",ExpressionUUID->"402cb114-17f5-49f4-896a-b98bffc0bd94"], Cell[110635, 3388, 908, 25, 36, "Output",ExpressionUUID->"58e0936f-b619-420a-9492-22c7ba69b697"] }, Open ]], Cell[111558, 3416, 300, 6, 29, "Input",ExpressionUUID->"785b97d1-df45-4acf-be8c-f15e81c63a52"], Cell[CellGroupData[{ Cell[111883, 3426, 148, 2, 29, "Input",ExpressionUUID->"f882a2d2-9e95-4d18-ba41-a324a4ba4bbc"], Cell[112034, 3430, 1471, 47, 33, "Output",ExpressionUUID->"fb0f7f25-1d9d-49a4-a79f-f3ee9a5d8ac5"] }, Open ]], Cell[CellGroupData[{ Cell[113542, 3482, 1749, 68, 147, "Input",ExpressionUUID->"12b991dd-9780-4f27-9cee-c9553d1ba85d"], Cell[115294, 3552, 2418, 78, 55, "Output",ExpressionUUID->"705e58e5-bddb-406b-81cd-a56a6a1d1219"] }, Open ]], Cell[CellGroupData[{ Cell[117749, 3635, 259, 5, 29, "Input",ExpressionUUID->"cbdb9664-a317-4565-b793-624ba213ee58"], Cell[118011, 3642, 968, 30, 164, "Output",ExpressionUUID->"ed46a751-039e-4c4d-a4f2-4853c43e84c0"] }, Open ]], Cell[CellGroupData[{ Cell[119016, 3677, 663, 18, 29, "Input",ExpressionUUID->"2277b165-cb3b-4c4e-a60c-e2f6d8a782d4"], Cell[119682, 3697, 3450, 73, 383, "Output",ExpressionUUID->"ac0ad11c-af45-4286-bc2e-a5d7de8451c2"] }, Open ]], Cell[123147, 3773, 173, 2, 29, "Input",ExpressionUUID->"0155681f-224f-4d1f-81c7-b361a6a3bb9f"], Cell[CellGroupData[{ Cell[123345, 3779, 232, 4, 29, "Input",ExpressionUUID->"23a7ac4c-2e19-4242-b389-3017f75bddce"], Cell[123580, 3785, 840, 19, 33, "Output",ExpressionUUID->"f23c2530-3087-4b3f-88aa-1f3239530721"] }, Open ]], Cell[124435, 3807, 10509, 226, 422, "Input",ExpressionUUID->"23afecd5-dcb1-4236-8386-1e0ecea0ee84"], Cell[134947, 4035, 885, 23, 29, "Input",ExpressionUUID->"d0340853-0ec5-4158-8d4e-e3eb7970ae3c"], Cell[CellGroupData[{ Cell[135857, 4062, 330, 7, 29, "Input",ExpressionUUID->"84a6e091-4d71-409f-9a44-6125e08ae87d"], Cell[CellGroupData[{ Cell[136212, 4073, 1149, 32, 139, "Print",ExpressionUUID->"da8f421d-f27b-4ea9-8a5d-e856fb51aa04"], Cell[137364, 4107, 1149, 32, 139, "Print",ExpressionUUID->"95ba9f3c-6720-4c71-bf8b-6fc425bb6200"], Cell[138516, 4141, 1149, 32, 139, "Print",ExpressionUUID->"316f726f-8a2e-4bc3-816e-0a9a4bb2aaaf"], Cell[139668, 4175, 1127, 31, 139, "Print",ExpressionUUID->"c354966a-3c8f-4123-ab0a-d63705d584de"], Cell[140798, 4208, 1193, 34, 139, "Print",ExpressionUUID->"3cb3a9d0-a815-4ba9-b939-83361b1233c5"], Cell[141994, 4244, 1149, 32, 139, "Print",ExpressionUUID->"bd7e22c1-1f5c-46a8-abed-01deefa12f35"] }, Open ]], Cell[143158, 4279, 334, 7, 33, "Output",ExpressionUUID->"c18df578-33cc-4e51-8487-ae05bf2bb409"] }, Open ]] } ] *)