wball/Circle-Packings
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Circle-Packings/graham_matrix/gram_matrix_to_quadform.nb

4511 lines
153 KiB
Mathematica
Raw Normal View History

mathematica
2021-06-03 11:57:57 -07:00
(* 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", ",", "\"\<PlanarEmbedding\>\""}], "]"}]}], ";",
"\[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]", "\"\<Name\>\""}]}], "]"}],
"]"}]}]], "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]", "\"\<Name\>\""}]}], "]"}], "]"}],
"]"}], ",",
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 ]]
}
]
*)
Reference in a new issue Copy permalink