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

1765 lines
50 KiB
Mathematica
Raw Permalink Normal View History

updates
2021-06-22 06:58:34 -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[ 51550, 1756]
NotebookOptionsPosition[ 48104, 1690]
NotebookOutlinePosition[ 48505, 1706]
CellTagsIndexPosition[ 48462, 1703]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[
RowBox[{
RowBox[{"glue", "[",
RowBox[{"G_", ",", "n_", ",", "m_", ",", "p_"}], "]"}], ":=",
RowBox[{"Block", "[",
RowBox[{
RowBox[{"{",
RowBox[{
"horizontal", ",", "vertical", ",", "eqs", ",", "solution", ",",
"indices"}], "}"}], ",", "\[IndentingNewLine]",
RowBox[{
RowBox[{"horizontal", "=",
RowBox[{"Inverse", "[",
RowBox[{"G", "\[LeftDoubleBracket]",
RowBox[{
RowBox[{
RowBox[{"n", "-", "2"}], ";;",
RowBox[{"n", "+", "1"}]}], ",",
RowBox[{
RowBox[{"n", "-", "2"}], ";;",
RowBox[{"n", "+", "1"}]}]}], "\[RightDoubleBracket]"}], "]"}]}],
";", "\[IndentingNewLine]",
RowBox[{"vertical", "=",
RowBox[{"Inverse", "[",
RowBox[{"G", "\[LeftDoubleBracket]",
RowBox[{
RowBox[{
RowBox[{"n", "-", "p"}], ";;",
RowBox[{"n", "-", "p", "+", "3"}]}], ",",
RowBox[{
RowBox[{"n", "-", "p"}], ";;",
RowBox[{"n", "-", "p", "+", "3"}]}]}], "\[RightDoubleBracket]"}],
"]"}]}], ";", "\[IndentingNewLine]",
RowBox[{"eqs", "=",
RowBox[{"Table", "[",
RowBox[{
RowBox[{
RowBox[{"G", "\[LeftDoubleBracket]",
RowBox[{"j", ",",
RowBox[{"n", "+", "1", "+", "i"}]}], "\[RightDoubleBracket]"}],
"\[Equal]",
RowBox[{"horizontal", ".",
RowBox[{"G", "\[LeftDoubleBracket]",
RowBox[{
RowBox[{
RowBox[{"n", "-", "2"}], ";;",
RowBox[{"n", "+", "1"}]}], ",",
RowBox[{"n", "+", "1", "+", "i"}]}], "\[RightDoubleBracket]"}],
".",
RowBox[{"G", "\[LeftDoubleBracket]",
RowBox[{"j", ",",
RowBox[{
RowBox[{"n", "-", "2"}], ";;",
RowBox[{"n", "+", "1"}]}]}], "\[RightDoubleBracket]"}]}]}], ",",
RowBox[{"{",
RowBox[{"i", ",",
RowBox[{"m", "-", "1", "-", "p"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{"j", ",",
RowBox[{"n", "-", "p"}]}], "}"}]}], "]"}]}], ";",
"\[IndentingNewLine]",
RowBox[{"eqs", "=",
RowBox[{"Flatten", "[",
RowBox[{"AppendTo", "[",
RowBox[{"eqs", ",",
RowBox[{"Table", "[",
RowBox[{
RowBox[{
RowBox[{"G", "\[LeftDoubleBracket]",
RowBox[{"i", ",",
RowBox[{"n", "+", "1", "+", "j"}]}], "\[RightDoubleBracket]"}],
"\[Equal]",
RowBox[{"vertical", ".",
RowBox[{"G", "\[LeftDoubleBracket]",
RowBox[{"i", ",",
RowBox[{
RowBox[{"n", "-", "p"}], ";;",
RowBox[{"n", "-", "p", "+", "3"}]}]}],
"\[RightDoubleBracket]"}], ".",
RowBox[{"G", "\[LeftDoubleBracket]",
RowBox[{
RowBox[{
RowBox[{"n", "-", "p"}], ";;",
RowBox[{"n", "-", "p", "+", "3"}]}], ",",
RowBox[{"n", "+", "1", "+", "j"}]}],
"\[RightDoubleBracket]"}]}]}], ",",
RowBox[{"{",
RowBox[{"i", ",",
RowBox[{"n", "-", "p"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{"j", ",",
RowBox[{"m", "-", "1", "-", "p"}]}], "}"}]}], "]"}]}], "]"}],
"]"}]}], ";", "\[IndentingNewLine]",
RowBox[{"indices", "=",
RowBox[{"Join", "[",
RowBox[{
RowBox[{"{", "1", "}"}], ",",
RowBox[{"Range", "[",
RowBox[{
RowBox[{"n", "-", "p", "+", "1"}], ",",
RowBox[{"n", "-", "p", "+", "3"}]}], "]"}], ",",
RowBox[{"{",
RowBox[{"n", "+", "m", "-", "p"}], "}"}]}], "]"}]}], ";",
"\[IndentingNewLine]",
RowBox[{"solution", "=",
RowBox[{
RowBox[{"G", "\[LeftDoubleBracket]",
RowBox[{"1", ",",
RowBox[{"n", "+", "m", "-", "p"}]}], "\[RightDoubleBracket]"}],
"\[Rule]",
RowBox[{"Min", "[",
RowBox[{
RowBox[{"Solve", "[",
RowBox[{
RowBox[{"Det", "[",
RowBox[{"G", "\[LeftDoubleBracket]",
RowBox[{"indices", ",", "indices"}], "\[RightDoubleBracket]"}],
"]"}], "\[Equal]", "0"}], "]"}], "/.",
RowBox[{
RowBox[{"{",
RowBox[{
SubscriptBox["x",
RowBox[{"_", ",", "_"}]], "\[Rule]", "y_"}], "}"}], "\[Rule]",
"y"}]}], "]"}]}]}], ";", "\[IndentingNewLine]",
RowBox[{"G", "/.",
RowBox[{"Flatten", "[",
RowBox[{"Join", "[",
RowBox[{
RowBox[{"Solve", "[",
RowBox[{"eqs", "/.", "solution"}], "]"}], ",",
RowBox[{"{", "solution", "}"}]}], "]"}], "]"}]}]}]}],
"\[IndentingNewLine]", "]"}]}]], "Input",
CellChangeTimes->CompressedData["
1:eJwdz1soQwEAxvGT1bJyeaJcSmto2lGWZsJW9rTy5NKpyS0ZRiPK5YGGyCXU
2lwTYhFtIxPngRQjhJZh7hI2hz1IRFLsOw9fv8evP7+4OkvtRxBElG+w+duP
s9nnTQ+1BLHmLeiHt3xGU5Oj8EPhHIclTOUklBZKZmHdc4YZpon1q3Bm728N
mj+dB5BUCh1QHKM6gaJvzimk3a5z6ErkMrCdGvljf7oTOHafSxfrgVCkWQyG
XVcrIbDhYC4ULtw+hcNxzUQEHJDK+JDoSBLAJvONEFati0nYL1PlQOrBqIJc
nbYUhkRWlMHM9kYtpFvuaiBZ+6WDPMlKK5QfunuhPz3dBwP2KQN8z1cYYTYj
mICescYp2O2Qz8PfHYsFDqZSNqiQExuwXhNnhyerhjO4m0tfQmPPG2tRm+ce
RianPLKdJvIV2k3HP/DIKwzb9jkn0MTB+M7yBHht9RZA5ZBVDcNjX3TQxqMY
uBxBs/4DTu0aTA==
"],
CellLabel->"In[1]:=",ExpressionUUID->"f999f2c9-b767-4605-ad2f-66ff04e65410"],
Cell[BoxData[
RowBox[{"G", "=", GridBox[{
{"1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "5"}],
SubscriptBox["x", "1"],
SubscriptBox["x", "2"]},
{
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "5"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
SubscriptBox["x", "3"],
SubscriptBox["x", "4"]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "5"}], "/", "3"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "5"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "7"}],
RowBox[{"-", "1"}],
RowBox[{"-", "5"}]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "5"}], "/", "3"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}]},
{
RowBox[{"-", "5"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "7"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "5"}],
RowBox[{"-", "1"}]},
{
SubscriptBox["x", "1"],
SubscriptBox["x", "3"],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "5"}], "1",
RowBox[{"-", "1"}]},
{
SubscriptBox["x", "2"],
SubscriptBox["x", "4"],
RowBox[{"-", "1"}],
RowBox[{"-", "5"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}], "1"}
}]}]], "Input",
CellChangeTimes->{{3.832422218555759*^9, 3.832422325108529*^9}, {
3.8324236820856867`*^9,
3.83242368337696*^9}},ExpressionUUID->"f957def0-1991-4ad4-be6c-\
777c0f169eba"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"G", "=", GridBox[{
{"1",
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "5"}],
RowBox[{"-", "3"}],
SubscriptBox["x", "1"],
SubscriptBox["x", "2"],
SubscriptBox["x", "3"],
SubscriptBox["x", "4"]},
{
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "5"}],
SubscriptBox["x", "5"],
SubscriptBox["x", "6"],
SubscriptBox["x", "7"],
SubscriptBox["x", "8"]},
{
RowBox[{"-", "3"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "5"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
SubscriptBox["x", "9"],
SubscriptBox["x", "10"],
SubscriptBox["x", "11"],
SubscriptBox["x", "12"]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "3"}],
RowBox[{"-", "5"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}],
SubscriptBox["x", "13"],
SubscriptBox["x", "14"],
SubscriptBox["x", "15"],
SubscriptBox["x", "16"]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "5"}],
RowBox[{"-", "3"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "5"}],
RowBox[{"-", "3"}]},
{
RowBox[{"-", "3"}],
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "5"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "5"}]},
{
RowBox[{"-", "5"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "5"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}],
RowBox[{"-", "3"}]},
{
RowBox[{"-", "3"}],
RowBox[{"-", "5"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "3"}],
RowBox[{"-", "5"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}]},
{
SubscriptBox["x", "1"],
SubscriptBox["x", "5"],
SubscriptBox["x", "9"],
SubscriptBox["x", "13"],
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "5"}],
RowBox[{"-", "3"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}]},
{
SubscriptBox["x", "2"],
SubscriptBox["x", "6"],
SubscriptBox["x", "10"],
SubscriptBox["x", "14"],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "5"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "3"}]},
{
SubscriptBox["x", "3"],
SubscriptBox["x", "7"],
SubscriptBox["x", "11"],
SubscriptBox["x", "15"],
RowBox[{"-", "5"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}]},
{
SubscriptBox["x", "4"],
SubscriptBox["x", "8"],
SubscriptBox["x", "12"],
SubscriptBox["x", "16"],
RowBox[{"-", "3"}],
RowBox[{"-", "5"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "3"}],
RowBox[{"-", "1"}], "1"}
}]}]], "Input",
CellChangeTimes->{{3.832425495463873*^9, 3.832425495736977*^9}, {
3.83242558398379*^9, 3.832425925773366*^9}},
CellLabel->
"In[189]:=",ExpressionUUID->"01950520-4975-4032-9488-ba944f6be667"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "5"}], ",",
RowBox[{"-", "3"}], ",",
SubscriptBox["x", "1"], ",",
SubscriptBox["x", "2"], ",",
SubscriptBox["x", "3"], ",",
SubscriptBox["x", "4"]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "5"}], ",",
SubscriptBox["x", "5"], ",",
SubscriptBox["x", "6"], ",",
SubscriptBox["x", "7"], ",",
SubscriptBox["x", "8"]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "5"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
SubscriptBox["x", "9"], ",",
SubscriptBox["x", "10"], ",",
SubscriptBox["x", "11"], ",",
SubscriptBox["x", "12"]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "5"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",",
SubscriptBox["x", "13"], ",",
SubscriptBox["x", "14"], ",",
SubscriptBox["x", "15"], ",",
SubscriptBox["x", "16"]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "5"}], ",",
RowBox[{"-", "3"}], ",", "1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "5"}], ",",
RowBox[{"-", "3"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "5"}], ",",
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "5"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "5"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "5"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "3"}], ",",
RowBox[{"-", "5"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "5"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
SubscriptBox["x", "1"], ",",
SubscriptBox["x", "5"], ",",
SubscriptBox["x", "9"], ",",
SubscriptBox["x", "13"], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "5"}], ",",
RowBox[{"-", "3"}], ",", "1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
SubscriptBox["x", "2"], ",",
SubscriptBox["x", "6"], ",",
SubscriptBox["x", "10"], ",",
SubscriptBox["x", "14"], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "5"}], ",",
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
SubscriptBox["x", "3"], ",",
SubscriptBox["x", "7"], ",",
SubscriptBox["x", "11"], ",",
SubscriptBox["x", "15"], ",",
RowBox[{"-", "5"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
SubscriptBox["x", "4"], ",",
SubscriptBox["x", "8"], ",",
SubscriptBox["x", "12"], ",",
SubscriptBox["x", "16"], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "5"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "3"}], ",",
RowBox[{"-", "1"}], ",", "1"}], "}"}]}], "}"}]], "Output",
CellChangeTimes->{3.83242232608099*^9, 3.832425927669907*^9},
CellLabel->
"Out[189]=",ExpressionUUID->"5180951d-31b5-476f-8e6d-aab90ae5b475"]
}, Open ]],
Cell[BoxData[
RowBox[{
RowBox[{"fullGlue", "[",
RowBox[{"G1_", ",", "G2_", ",", "p_"}], "]"}], ":=",
RowBox[{"glue", "[",
RowBox[{
RowBox[{"glueGramMatrix", "[",
RowBox[{"G1", ",", "G2", ",", "p"}], "]"}], ",",
RowBox[{"Length", "[", "G1", "]"}], ",",
RowBox[{"Length", "[", "G2", "]"}], ",", "p"}], "]"}]}]], "Input",
CellChangeTimes->{
3.832424922982353*^9, {3.832427829577507*^9, 3.8324278572062473`*^9}},
CellLabel->"In[4]:=",ExpressionUUID->"615a355b-596d-472f-94cd-927b8299d0e7"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Solve", "[",
RowBox[{
RowBox[{
RowBox[{"Det", "[",
RowBox[{"G", "\[LeftDoubleBracket]",
RowBox[{
RowBox[{"{",
RowBox[{"1", ",", "3", ",", "4", ",", "5", ",", "8"}], "}"}], ",",
RowBox[{"{",
RowBox[{"1", ",", "3", ",", "4", ",", "5", ",", "8"}], "}"}]}],
"\[RightDoubleBracket]"}], "]"}], "\[Equal]", "0"}], ",",
SubscriptBox["x", "2"]}], "]"}]], "Input",
CellChangeTimes->{{3.8324244822437277`*^9, 3.832424529365712*^9}},
CellLabel->
"In[110]:=",ExpressionUUID->"3dd3361c-c70d-4e3e-b28c-397db32aac5f"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{
SubscriptBox["x", "2"], "\[Rule]",
RowBox[{"-", "7"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
SubscriptBox["x", "2"], "\[Rule]",
RowBox[{"-", "1"}]}], "}"}]}], "}"}]], "Output",
CellChangeTimes->{{3.832424508544813*^9, 3.832424529765347*^9}},
CellLabel->
"Out[110]=",ExpressionUUID->"0448ad18-c931-4f02-8839-359966c52d02"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Solve", "/@",
RowBox[{"(",
RowBox[{"%107", "/.", "%110"}], ")"}]}]], "Input",
CellChangeTimes->{{3.832424559879184*^9, 3.8324245921715384`*^9}},
CellLabel->
"In[115]:=",ExpressionUUID->"74f211b9-24bd-401d-b2fd-a18a5ddc4785"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"{",
RowBox[{
RowBox[{
SubscriptBox["x", "1"], "\[Rule]",
RowBox[{"-", "5"}]}], ",",
RowBox[{
SubscriptBox["x", "3"], "\[Rule]",
RowBox[{"-", "7"}]}], ",",
RowBox[{
SubscriptBox["x", "4"], "\[Rule]",
RowBox[{"-", "5"}]}]}], "}"}], "}"}], ",",
RowBox[{"{",
RowBox[{"{",
RowBox[{
RowBox[{
SubscriptBox["x", "1"], "\[Rule]", "1"}], ",",
RowBox[{
SubscriptBox["x", "3"], "\[Rule]",
RowBox[{"-", "1"}]}], ",",
RowBox[{
SubscriptBox["x", "4"], "\[Rule]", "1"}]}], "}"}], "}"}]}],
"}"}]], "Output",
CellChangeTimes->{{3.832424569185465*^9, 3.8324245924962797`*^9}},
CellLabel->
"Out[115]=",ExpressionUUID->"e7884380-20ab-401a-a301-3157c7ba591d"]
}, Open ]],
Cell[BoxData[
RowBox[{
RowBox[{"glueGramMatrix", "[",
RowBox[{"G1_", ",", "G2_", ",", "p_"}], "]"}], ":=",
RowBox[{"With", "[",
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{"n", "=",
RowBox[{"Length", "[", "G1", "]"}]}], ",",
RowBox[{"m", "=",
RowBox[{"Length", "[", "G2", "]"}]}]}], "}"}], ",",
"\[IndentingNewLine]",
RowBox[{"Table", "[",
RowBox[{
RowBox[{"Which", "[",
RowBox[{
RowBox[{
RowBox[{"i", "\[LessEqual]", "n"}], "&&",
RowBox[{"j", "\[LessEqual]", "n"}]}], ",",
RowBox[{"G1", "\[LeftDoubleBracket]",
RowBox[{"i", ",", "j"}], "\[RightDoubleBracket]"}], ",",
RowBox[{
RowBox[{"i", ">", "n"}], "&&",
RowBox[{"j", "\[LessEqual]",
RowBox[{"n", "-", "p"}]}]}], ",",
SubscriptBox["x",
RowBox[{"j", ",", "i"}]], ",",
RowBox[{
RowBox[{"j", ">", "n"}], "&&",
RowBox[{"i", "\[LessEqual]",
RowBox[{"n", "-", "p"}]}]}], ",",
SubscriptBox["x",
RowBox[{"i", ",", "j"}]], ",", "True", ",",
RowBox[{"G2", "\[LeftDoubleBracket]",
RowBox[{
RowBox[{"i", "-", "n", "+", "p"}], ",",
RowBox[{"j", "-", "n", "+", "p"}]}], "\[RightDoubleBracket]"}]}],
"]"}], ",",
RowBox[{"{",
RowBox[{"i", ",",
RowBox[{"n", "+", "m", "-", "p"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{"j", ",",
RowBox[{"n", "+", "m", "-", "p"}]}], "}"}]}], "]"}]}],
"]"}]}]], "Input",
CellChangeTimes->{{3.832425993368229*^9, 3.832426233098795*^9}},
CellLabel->"In[3]:=",ExpressionUUID->"b6af5bc4-928a-40e1-8325-3626a9de38d8"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"G1", "=", 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.832674065984256*^9, 3.832674083191337*^9}},
CellLabel->"In[5]:=",ExpressionUUID->"2a3113f6-946e-4b32-8617-ab3d55655a00"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",", "1"}], "}"}]}], "}"}]], "Output",
CellChangeTimes->{3.832674084395731*^9},
CellLabel->"Out[5]=",ExpressionUUID->"f345f937-d297-4a13-8bcb-ffdd420827f0"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"G2", "=", GridBox[{
{"1",
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}]},
{
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2",
SqrtBox["5"]}]}],
RowBox[{"-", "1"}]},
{
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}]},
{
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}]},
{
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2",
SqrtBox["5"]}]}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}], "1"}
}]}]], "Input",
CellChangeTimes->{{3.832674085352474*^9, 3.832674181942419*^9}},
CellLabel->"In[6]:=",ExpressionUUID->"b3ae9c13-d493-4697-8333-3d9edc1ba63f"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-",
SqrtBox["5"]}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}], ",",
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}]}], ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-",
SqrtBox["5"]}], ",",
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}], ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",",
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}], ",",
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-",
SqrtBox["5"]}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",",
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}]}], ",",
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}], ",",
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-",
SqrtBox["5"]}], ",",
RowBox[{"-", "1"}], ",", "1"}], "}"}]}], "}"}]], "Output",
CellChangeTimes->{3.83267418306073*^9},
CellLabel->"Out[6]=",ExpressionUUID->"9d4137e2-9991-4eb0-98a8-2b0aa64b603a"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"P", "=", GridBox[{
{"1", "0", "0", "0", "0", "0"},
{"0", "0", "0", "1", "0", "0"},
{"0", "0", "0", "0", "1", "0"},
{"0", "1", "0", "0", "0", "0"},
{"0", "0", "1", "0", "0", "0"},
{"0", "0", "0", "0", "0", "1"}
}]}]], "Input",
CellChangeTimes->{{3.8326741868753157`*^9, 3.832674199930592*^9}, {
3.83267440508881*^9, 3.832674455435916*^9}},
CellLabel->"In[13]:=",ExpressionUUID->"c8ac3ddd-18d0-40fd-8b46-84c7ada2b6ee"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}],
",",
RowBox[{"{",
RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}],
",",
RowBox[{"{",
RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}],
",",
RowBox[{"{",
RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}],
",",
RowBox[{"{",
RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}],
",",
RowBox[{"{",
RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]}],
"}"}]], "Output",
CellChangeTimes->{{3.832674429836738*^9, 3.832674456723296*^9}},
CellLabel->"Out[13]=",ExpressionUUID->"ab9890c8-0d54-4876-84a7-ca6f97fb99e6"]
}, Open ]],
Cell[BoxData[
RowBox[{
RowBox[{"pair", "[", "b_", "]"}], ":=",
RowBox[{"Simplify", "[",
FractionBox[
RowBox[{"3", "-", "b"}],
RowBox[{"1", "+", "b"}]], "]"}]}]], "Input",
CellChangeTimes->{{3.832674237716852*^9, 3.832674260142042*^9}},
CellLabel->"In[9]:=",ExpressionUUID->"24973d47-3e40-49df-b9ac-1e91346352ec"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"pair", "[",
RowBox[{"-",
SqrtBox["5"]}], "]"}]], "Input",
CellChangeTimes->{{3.8326742486020517`*^9, 3.832674251608989*^9}},
CellLabel->"In[10]:=",ExpressionUUID->"cae1dc9c-5903-409e-971e-87886d4ae1b2"],
Cell[BoxData[
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}]], "Output",
CellChangeTimes->{{3.83267425194075*^9, 3.832674261683975*^9}},
CellLabel->"Out[10]=",ExpressionUUID->"c59017f1-1198-4cbd-b48b-928f16986f05"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"G2", "=",
RowBox[{"P", ".", "G2", ".", "P"}]}]], "Input",
CellChangeTimes->{{3.832674459512735*^9, 3.832674475541298*^9}},
CellLabel->"In[16]:=",ExpressionUUID->"2515a339-c144-46eb-84e7-af5fd6108388"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{"{",
RowBox[{"1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-",
SqrtBox["5"]}], ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-",
SqrtBox["5"]}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}]}], ",",
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}], ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",",
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}], ",",
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}]}], ",", "1", ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-",
SqrtBox["5"]}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}], ",",
RowBox[{"-", "1"}], ",", "1", ",",
RowBox[{"-", "1"}]}], "}"}], ",",
RowBox[{"{",
RowBox[{
RowBox[{"-", "1"}], ",",
RowBox[{"-",
SqrtBox["5"]}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",",
RowBox[{"-", "1"}], ",", "1"}], "}"}]}], "}"}]], "Output",
CellChangeTimes->{{3.832674463864221*^9, 3.832674478299007*^9}},
CellLabel->"Out[16]=",ExpressionUUID->"680dff19-d67c-4db0-b9ad-618910afd8fa"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{
RowBox[{"(",
RowBox[{"G4", "=",
RowBox[{
RowBox[{"fullGlue", "[",
RowBox[{"G1", ",", "G2", ",", "3"}], "]"}], "//", "FullSimplify"}]}],
")"}], "//", "MatrixForm"}]], "Input",
CellChangeTimes->{{3.832674481113288*^9, 3.832674503370751*^9}, {
3.832674573442276*^9, 3.83267457759165*^9}},
CellLabel->"In[21]:=",ExpressionUUID->"6276d38d-a243-4a3f-b561-a2434cfc9431"],
Cell[BoxData[
TagBox[
RowBox[{"(", "\[NoBreak]", GridBox[{
{"1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{
RowBox[{
RowBox[{"-", "3"}], " ",
RowBox[{"(",
RowBox[{"2", "+",
SqrtBox["5"]}], ")"}]}], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"22", "+",
RowBox[{"10", " ",
SqrtBox["5"]}]}]]}]}],
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}], "-",
RowBox[{"4", " ",
SqrtBox[
RowBox[{"2", "+",
SqrtBox["5"]}]]}]}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"2", " ",
RowBox[{"(",
RowBox[{"1", "+",
SqrtBox["5"]}], ")"}]}]]}]}]},
{
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}], "1",
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}]}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}]},
{
RowBox[{
RowBox[{
RowBox[{"-", "3"}], " ",
RowBox[{"(",
RowBox[{"2", "+",
SqrtBox["5"]}], ")"}]}], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"22", "+",
RowBox[{"10", " ",
SqrtBox["5"]}]}]]}]}],
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}]}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}]},
{
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}], "-",
RowBox[{"4", " ",
SqrtBox[
RowBox[{"2", "+",
SqrtBox["5"]}]]}]}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}]},
{
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"2", " ",
RowBox[{"(",
RowBox[{"1", "+",
SqrtBox["5"]}], ")"}]}]]}]}],
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
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.8326744886230593`*^9, 3.832674504120941*^9},
3.832674578303258*^9},
CellLabel->
"Out[21]//MatrixForm=",ExpressionUUID->"f5127081-a131-489a-bcd7-\
d20fd3b74507"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"MatrixForm", "[", "G4", "]"}]], "Input",
CellChangeTimes->{{3.832674599724738*^9, 3.832674601684904*^9}},
CellLabel->"In[23]:=",ExpressionUUID->"b27d84b8-b7d5-4d81-b44b-4e8b7c2034e9"],
Cell[BoxData[
TagBox[
RowBox[{"(", "\[NoBreak]", GridBox[{
{"1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{
RowBox[{
RowBox[{"-", "3"}], " ",
RowBox[{"(",
RowBox[{"2", "+",
SqrtBox["5"]}], ")"}]}], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"22", "+",
RowBox[{"10", " ",
SqrtBox["5"]}]}]]}]}],
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}], "-",
RowBox[{"4", " ",
SqrtBox[
RowBox[{"2", "+",
SqrtBox["5"]}]]}]}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"2", " ",
RowBox[{"(",
RowBox[{"1", "+",
SqrtBox["5"]}], ")"}]}]]}]}]},
{
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}], "1",
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}]}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}]},
{
RowBox[{
RowBox[{
RowBox[{"-", "3"}], " ",
RowBox[{"(",
RowBox[{"2", "+",
SqrtBox["5"]}], ")"}]}], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"22", "+",
RowBox[{"10", " ",
SqrtBox["5"]}]}]]}]}],
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}]}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}]},
{
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}], "-",
RowBox[{"4", " ",
SqrtBox[
RowBox[{"2", "+",
SqrtBox["5"]}]]}]}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}]},
{
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"2", " ",
RowBox[{"(",
RowBox[{"1", "+",
SqrtBox["5"]}], ")"}]}]]}]}],
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
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.832674602058792*^9},
CellLabel->
"Out[23]//MatrixForm=",ExpressionUUID->"d97d210e-1587-49d3-9933-\
94e99ba07521"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{
RowBox[{
RowBox[{"glue", "[",
RowBox[{
RowBox[{"glueGramMatrix", "[",
RowBox[{"G4", ",", "G1", ",", "3"}], "]"}], ",", "7", ",", "4", ",",
"3"}], "]"}], "//", "FullSimplify"}], "//", "MatrixForm"}]], "Input",
CellChangeTimes->{{3.8326746671170483`*^9, 3.832674735452971*^9}},
CellLabel->"In[31]:=",ExpressionUUID->"de0860f0-b1c9-4fda-894d-e0156497c813"],
Cell[BoxData[
TagBox[
RowBox[{"(", "\[NoBreak]", GridBox[{
{"1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{
RowBox[{
RowBox[{"-", "3"}], " ",
RowBox[{"(",
RowBox[{"2", "+",
SqrtBox["5"]}], ")"}]}], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"22", "+",
RowBox[{"10", " ",
SqrtBox["5"]}]}]]}]}],
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}], "-",
RowBox[{"4", " ",
SqrtBox[
RowBox[{"2", "+",
SqrtBox["5"]}]]}]}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"2", " ",
RowBox[{"(",
RowBox[{"1", "+",
SqrtBox["5"]}], ")"}]}]]}]}],
RowBox[{
RowBox[{"-", "23"}], "-",
RowBox[{"14", " ",
SqrtBox["5"]}], "-",
RowBox[{"8", " ",
SqrtBox[
RowBox[{"22", "+",
RowBox[{"10", " ",
SqrtBox["5"]}]}]]}]}]},
{
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
SubscriptBox["x",
RowBox[{"2", ",", "8"}]]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}],
SubscriptBox["x",
RowBox[{"3", ",", "8"}]]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}], "1",
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}]}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
SubscriptBox["x",
RowBox[{"4", ",", "8"}]]},
{
RowBox[{
RowBox[{
RowBox[{"-", "3"}], " ",
RowBox[{"(",
RowBox[{"2", "+",
SqrtBox["5"]}], ")"}]}], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"22", "+",
RowBox[{"10", " ",
SqrtBox["5"]}]}]]}]}],
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}]}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}]},
{
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}], "-",
RowBox[{"4", " ",
SqrtBox[
RowBox[{"2", "+",
SqrtBox["5"]}]]}]}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}]},
{
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"2", " ",
RowBox[{"(",
RowBox[{"1", "+",
SqrtBox["5"]}], ")"}]}]]}]}],
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}]},
{
RowBox[{
RowBox[{"-", "23"}], "-",
RowBox[{"14", " ",
SqrtBox["5"]}], "-",
RowBox[{"8", " ",
SqrtBox[
RowBox[{"22", "+",
RowBox[{"10", " ",
SqrtBox["5"]}]}]]}]}],
SubscriptBox["x",
RowBox[{"2", ",", "8"}]],
SubscriptBox["x",
RowBox[{"3", ",", "8"}]],
SubscriptBox["x",
RowBox[{"4", ",", "8"}]],
RowBox[{"-", "1"}],
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.832674671475613*^9, 3.8326746754382687`*^9}, {
3.832674705699757*^9, 3.832674735766183*^9}},
CellLabel->
"Out[31]//MatrixForm=",ExpressionUUID->"ce59baac-19e9-4425-b469-\
4a2b68163b5b"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{
RowBox[{
RowBox[{"fullGlue", "[",
RowBox[{"G4", ",", "G1", ",", "3"}], "]"}], "//", "FullSimplify"}], "//",
"MatrixForm"}]], "Input",
CellChangeTimes->{{3.832674580064239*^9, 3.832674590260797*^9}, {
3.832674630389757*^9, 3.832674646866309*^9}},
CellLabel->"In[26]:=",ExpressionUUID->"d906309d-9308-42ea-a74c-3ca60757f2ee"],
Cell[BoxData[
TagBox[
RowBox[{"(", "\[NoBreak]", GridBox[{
{"1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{
RowBox[{
RowBox[{"-", "3"}], " ",
RowBox[{"(",
RowBox[{"2", "+",
SqrtBox["5"]}], ")"}]}], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"22", "+",
RowBox[{"10", " ",
SqrtBox["5"]}]}]]}]}],
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}], "-",
RowBox[{"4", " ",
SqrtBox[
RowBox[{"2", "+",
SqrtBox["5"]}]]}]}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"2", " ",
RowBox[{"(",
RowBox[{"1", "+",
SqrtBox["5"]}], ")"}]}]]}]}],
RowBox[{
RowBox[{"-", "23"}], "-",
RowBox[{"14", " ",
SqrtBox["5"]}], "-",
RowBox[{"8", " ",
SqrtBox[
RowBox[{"22", "+",
RowBox[{"10", " ",
SqrtBox["5"]}]}]]}]}]},
{
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
SubscriptBox["x",
RowBox[{"2", ",", "8"}]]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}],
SubscriptBox["x",
RowBox[{"3", ",", "8"}]]},
{
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}], "1",
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}]}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
SubscriptBox["x",
RowBox[{"4", ",", "8"}]]},
{
RowBox[{
RowBox[{
RowBox[{"-", "3"}], " ",
RowBox[{"(",
RowBox[{"2", "+",
SqrtBox["5"]}], ")"}]}], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"22", "+",
RowBox[{"10", " ",
SqrtBox["5"]}]}]]}]}],
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}]}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}]},
{
RowBox[{
RowBox[{"-", "3"}], "-",
RowBox[{"2", " ",
SqrtBox["5"]}], "-",
RowBox[{"4", " ",
SqrtBox[
RowBox[{"2", "+",
SqrtBox["5"]}]]}]}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"]}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}],
RowBox[{"-", "1"}]},
{
RowBox[{
RowBox[{"-", "2"}], "-",
SqrtBox["5"], "-",
RowBox[{"2", " ",
SqrtBox[
RowBox[{"2", " ",
RowBox[{"(",
RowBox[{"1", "+",
SqrtBox["5"]}], ")"}]}]]}]}],
RowBox[{"-", "1"}],
RowBox[{"-",
SqrtBox["5"]}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}],
RowBox[{"-", "1"}], "1",
RowBox[{"-", "1"}]},
{
RowBox[{
RowBox[{"-", "23"}], "-",
RowBox[{"14", " ",
SqrtBox["5"]}], "-",
RowBox[{"8", " ",
SqrtBox[
RowBox[{"22", "+",
RowBox[{"10", " ",
SqrtBox["5"]}]}]]}]}],
SubscriptBox["x",
RowBox[{"2", ",", "8"}]],
SubscriptBox["x",
RowBox[{"3", ",", "8"}]],
SubscriptBox["x",
RowBox[{"4", ",", "8"}]],
RowBox[{"-", "1"}],
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.832674591681738*^9, {3.832674632148775*^9, 3.8326746474507027`*^9}},
CellLabel->
"Out[26]//MatrixForm=",ExpressionUUID->"1e6a1bf8-0d7c-4f84-8a2a-\
355e2660e45f"]
}, Open ]]
},
WindowSize->{1425., 776.25},
WindowMargins->{{7.5, Automatic}, {7.5, Automatic}},
FrontEndVersion->"12.2 for Linux x86 (64-bit) (December 12, 2020)",
StyleDefinitions->"Default.nb",
ExpressionUUID->"d69326ff-8541-4cab-b66d-cadeed97da21"
]
(* End of Notebook Content *)
(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[558, 20, 5528, 144, 196, "Input",ExpressionUUID->"f999f2c9-b767-4605-ad2f-66ff04e65410"],
Cell[6089, 166, 1866, 72, 147, "Input",ExpressionUUID->"f957def0-1991-4ad4-be6c-777c0f169eba"],
Cell[CellGroupData[{
Cell[7980, 242, 3963, 150, 216, "Input",ExpressionUUID->"01950520-4975-4032-9488-ba944f6be667"],
Cell[11946, 394, 5021, 161, 96, "Output",ExpressionUUID->"5180951d-31b5-476f-8e6d-aab90ae5b475"]
}, Open ]],
Cell[16982, 558, 523, 12, 29, "Input",ExpressionUUID->"615a355b-596d-472f-94cd-927b8299d0e7"],
Cell[CellGroupData[{
Cell[17530, 574, 596, 15, 29, "Input",ExpressionUUID->"3dd3361c-c70d-4e3e-b28c-397db32aac5f"],
Cell[18129, 591, 424, 13, 33, "Output",ExpressionUUID->"0448ad18-c931-4f02-8839-359966c52d02"]
}, Open ]],
Cell[CellGroupData[{
Cell[18590, 609, 259, 6, 29, "Input",ExpressionUUID->"74f211b9-24bd-401d-b2fd-a18a5ddc4785"],
Cell[18852, 617, 849, 28, 33, "Output",ExpressionUUID->"e7884380-20ab-401a-a301-3157c7ba591d"]
}, Open ]],
Cell[19716, 648, 1719, 47, 51, "Input",ExpressionUUID->"b6af5bc4-928a-40e1-8325-3626a9de38d8"],
Cell[CellGroupData[{
Cell[21460, 699, 561, 20, 78, "Input",ExpressionUUID->"2a3113f6-946e-4b32-8617-ab3d55655a00"],
Cell[22024, 721, 741, 24, 33, "Output",ExpressionUUID->"f345f937-d297-4a13-8bcb-ffdd420827f0"]
}, Open ]],
Cell[CellGroupData[{
Cell[22802, 750, 1419, 58, 137, "Input",ExpressionUUID->"b3ae9c13-d493-4697-8333-3d9edc1ba63f"],
Cell[24224, 810, 1774, 64, 58, "Output",ExpressionUUID->"9d4137e2-9991-4eb0-98a8-2b0aa64b603a"]
}, Open ]],
Cell[CellGroupData[{
Cell[26035, 879, 471, 11, 113, "Input",ExpressionUUID->"c8ac3ddd-18d0-40fd-8b46-84c7ada2b6ee"],
Cell[26509, 892, 815, 22, 33, "Output",ExpressionUUID->"ab9890c8-0d54-4876-84a7-ca6f97fb99e6"]
}, Open ]],
Cell[27339, 917, 333, 8, 46, "Input",ExpressionUUID->"24973d47-3e40-49df-b9ac-1e91346352ec"],
Cell[CellGroupData[{
Cell[27697, 929, 235, 5, 33, "Input",ExpressionUUID->"cae1dc9c-5903-409e-971e-87886d4ae1b2"],
Cell[27935, 936, 224, 5, 33, "Output",ExpressionUUID->"c59017f1-1198-4cbd-b48b-928f16986f05"]
}, Open ]],
Cell[CellGroupData[{
Cell[28196, 946, 229, 4, 29, "Input",ExpressionUUID->"2515a339-c144-46eb-84e7-af5fd6108388"],
Cell[28428, 952, 1800, 64, 58, "Output",ExpressionUUID->"680dff19-d67c-4db0-b9ad-618910afd8fa"]
}, Open ]],
Cell[CellGroupData[{
Cell[30265, 1021, 418, 10, 29, "Input",ExpressionUUID->"6276d38d-a243-4a3f-b561-a2434cfc9431"],
Cell[30686, 1033, 3576, 135, 187, "Output",ExpressionUUID->"f5127081-a131-489a-bcd7-d20fd3b74507"]
}, Open ]],
Cell[CellGroupData[{
Cell[34299, 1173, 209, 3, 29, "Input",ExpressionUUID->"b27d84b8-b7d5-4d81-b44b-4e8b7c2034e9"],
Cell[34511, 1178, 3524, 134, 187, "Output",ExpressionUUID->"d97d210e-1587-49d3-9933-94e99ba07521"]
}, Open ]],
Cell[CellGroupData[{
Cell[38072, 1317, 407, 9, 29, "Input",ExpressionUUID->"de0860f0-b1c9-4fda-894d-e0156497c813"],
Cell[38482, 1328, 4613, 172, 217, "Output",ExpressionUUID->"ce59baac-19e9-4425-b469-4a2b68163b5b"]
}, Open ]],
Cell[CellGroupData[{
Cell[43132, 1505, 364, 8, 29, "Input",ExpressionUUID->"d906309d-9308-42ea-a74c-3ca60757f2ee"],
Cell[43499, 1515, 4589, 172, 217, "Output",ExpressionUUID->"1e6a1bf8-0d7c-4f84-8a2a-355e2660e45f"]
}, Open ]]
}
]
*)
Reference in a new issue Copy permalink