(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 8.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 157, 7] NotebookDataLength[ 96510, 2740] NotebookOptionsPosition[ 89715, 2523] NotebookOutlinePosition[ 90070, 2539] CellTagsIndexPosition[ 90027, 2536] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[BoxData[ RowBox[{"\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ RowBox[{ "This", " ", "Mathematica", " ", "notebook", " ", "checks", " ", "that", " ", RowBox[{"h", "^", "0"}], RowBox[{"(", RowBox[{ RowBox[{"2", "K"}], "-", RowBox[{"5", "L"}]}], ")"}]}], "=", RowBox[{ "0", " ", "on", " ", "a", " ", "particular", " ", "degeneration", " ", "of", " ", "E6", " ", "covers"}]}], " ", "*)"}], "\[IndentingNewLine]", "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{{3.5500779031465406`*^9, 3.5500779631439724`*^9}, { 3.5500782898726606`*^9, 3.550078290438693*^9}, {3.5500787502069902`*^9, 3.550078759880543*^9}, {3.5501505487388945`*^9, 3.5501505804987106`*^9}, { 3.5501508091077867`*^9, 3.550150814530097*^9}, 3.5501516970925765`*^9, { 3.5501519120878735`*^9, 3.5501519161151037`*^9}, {3.550152285227216*^9, 3.550152292802649*^9}, {3.5747944072657905`*^9, 3.5747944111220107`*^9}, { 3.5747959474738855`*^9, 3.574795950370051*^9}, {3.574800013187431*^9, 3.5748000191227703`*^9}, 3.596661939666045*^9, {3.596662109611874*^9, 3.596662142191687*^9}, {3.596662274643841*^9, 3.596662276322804*^9}, { 3.59673876101357*^9, 3.5967387625872927`*^9}, {3.6379508897073507`*^9, 3.63795100932655*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[ RowBox[{ StyleBox[" ", "Subsubtitle"], RowBox[{"(*", " ", RowBox[{ "We", " ", "first", " ", "define", " ", "lines", " ", "as", " ", "vectors", " ", "in", " ", "the", " ", "Minkowski", " ", "space", " ", RowBox[{"I", "^", RowBox[{"{", RowBox[{"6", ",", "1"}], "}"}]}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"line", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "27"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "7"}], "}"}]}], "]"}]}], ";"}]}]], "Input", Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[ RowBox[{ RowBox[{"s", "=", "1"}], ";"}]], "Input", CellChangeTimes->{{3.5966622082160683`*^9, 3.596662209043421*^9}, 3.597149137308716*^9}], Cell[BoxData[ RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "6"}], ",", RowBox[{"i", "++"}], ",", " ", RowBox[{ RowBox[{ RowBox[{"line", "[", RowBox[{"[", RowBox[{"s", ",", "i"}], "]"}], "]"}], "=", "1"}], ";", RowBox[{"s", "++"}]}]}], "]"}]], "Input", CellChangeTimes->{{3.550078009468622*^9, 3.550078117775817*^9}}], Cell[BoxData[ RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "6"}], ",", RowBox[{"i", "++"}], ",", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"line", "[", RowBox[{"[", RowBox[{"s", ",", "7"}], "]"}], "]"}], "=", "2"}], ";", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"k", "=", "1"}], ",", RowBox[{"k", "\[LessEqual]", "6"}], ",", RowBox[{"k", "++"}], ",", " ", RowBox[{"If", "[", RowBox[{ RowBox[{"k", "\[NotEqual]", "i"}], ",", RowBox[{ RowBox[{"line", "[", RowBox[{"[", RowBox[{"s", ",", "k"}], "]"}], "]"}], "=", RowBox[{"-", "1"}]}]}], "]"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"s", "++"}]}]}], "\[IndentingNewLine]", "]"}]], "Input", CellChangeTimes->{{3.5500781367879047`*^9, 3.550078161567322*^9}, { 3.5500782050068064`*^9, 3.5500782788010273`*^9}, {3.5500783334581532`*^9, 3.550078367801118*^9}}], Cell[BoxData[ RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "6"}], ",", RowBox[{"i", "++"}], ",", " ", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"j", "=", RowBox[{"i", "+", "1"}]}], ",", RowBox[{"j", "\[LessEqual]", "6"}], ",", RowBox[{"j", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"line", "[", RowBox[{"[", RowBox[{"s", ",", "7"}], "]"}], "]"}], "=", "1"}], ";", " ", RowBox[{ RowBox[{"line", "[", RowBox[{"[", RowBox[{"s", ",", "i"}], "]"}], "]"}], "=", RowBox[{"-", "1"}]}], ";", " ", RowBox[{ RowBox[{"line", "[", RowBox[{"[", RowBox[{"s", ",", "j"}], "]"}], "]"}], "=", RowBox[{"-", "1"}]}], ";", " ", RowBox[{"s", "++"}]}]}], "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.550078410662569*^9, 3.550078481401615*^9}, { 3.550078527434248*^9, 3.5500785518096423`*^9}, {3.550078602080518*^9, 3.5500786036896095`*^9}, {3.5500786632580166`*^9, 3.550078668945342*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"line", "//", "MatrixForm", " "}]], "Input", CellChangeTimes->{{3.550078582677408*^9, 3.550078588463739*^9}, { 3.550078779831684*^9, 3.550078785231993*^9}, {3.628964459002729*^9, 3.628964462895033*^9}}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", "0", "0", "0", "0", "0", "0"}, {"0", "1", "0", "0", "0", "0", "0"}, {"0", "0", "1", "0", "0", "0", "0"}, {"0", "0", "0", "1", "0", "0", "0"}, {"0", "0", "0", "0", "1", "0", "0"}, {"0", "0", "0", "0", "0", "1", "0"}, {"0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "2"}, { RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "2"}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "2"}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "2"}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "2"}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "2"}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", "0", "1"}, { RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "0", "1"}, { RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "1"}, { RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", "1"}, { RowBox[{"-", "1"}], "0", "0", "0", "0", RowBox[{"-", "1"}], "1"}, {"0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", "1"}, {"0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "1"}, {"0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "1"}, {"0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "1"}, {"0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "1"}, {"0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "1"}, {"0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "1"}, {"0", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "1"}, {"0", "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "1"}, {"0", "0", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1"} }, GridBoxAlignment->{ "Columns" -> {{Center}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{3.628964527127555*^9, 3.6289787465687027`*^9, 3.628980308468082*^9, 3.628980849667048*^9, 3.629072542584282*^9, 3.629115101289261*^9, 3.629557343034646*^9}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{ StyleBox["(*", "Subsubtitle"], " ", StyleBox[ RowBox[{ RowBox[{"Define", " ", "roots"}], ",", " ", RowBox[{"as", " ", "vectors", " ", "in", " ", RowBox[{"I", "^", RowBox[{"{", RowBox[{"6", ",", "1"}], "}"}]}]}]}], "Subsubtitle"], StyleBox[" ", "Subsubtitle"], StyleBox["*)", "Subsubtitle"]}], "\[IndentingNewLine]", RowBox[{ RowBox[{"root", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "36"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "7"}], "}"}]}], "]"}]}], ";"}]}]], "Input", CellChangeTimes->{{3.5500787924634066`*^9, 3.550078838296028*^9}, 3.5747944214656024`*^9, {3.5747959784576573`*^9, 3.5747959815698357`*^9}, { 3.596662298278082*^9, 3.596662301887429*^9}, {3.5967387655876923`*^9, 3.596738767059164*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[ RowBox[{ RowBox[{"r", "=", "1"}], ";"}]], "Input", CellChangeTimes->{{3.550078849416664*^9, 3.5500788733110313`*^9}}], Cell[BoxData[ RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "6"}], ",", RowBox[{"i", "++"}], ",", " ", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"j", "=", RowBox[{"i", "+", "1"}]}], ",", RowBox[{"j", "\[LessEqual]", "6"}], ",", RowBox[{"j", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"root", "[", RowBox[{"[", RowBox[{"r", ",", "i"}], "]"}], "]"}], "=", "1"}], ";", RowBox[{ RowBox[{"root", "[", RowBox[{"[", RowBox[{"r", ",", "j"}], "]"}], "]"}], "=", RowBox[{"-", "1"}]}], ";", " ", RowBox[{"r", "++"}]}]}], "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.5500789124982724`*^9, 3.5500789358396077`*^9}}], Cell[BoxData[ RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "6"}], ",", RowBox[{"i", "++"}], ",", " ", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"j", "=", RowBox[{"i", "+", "1"}]}], ",", RowBox[{"j", "\[LessEqual]", "6"}], ",", RowBox[{"j", "++"}], ",", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"k", "=", RowBox[{"j", "+", "1"}]}], ",", RowBox[{"k", "\[LessEqual]", "6"}], ",", RowBox[{"k", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"root", "[", RowBox[{"[", RowBox[{"r", ",", "7"}], "]"}], "]"}], "=", "1"}], ";", RowBox[{ RowBox[{"root", "[", RowBox[{"[", RowBox[{"r", ",", "i"}], "]"}], "]"}], "=", RowBox[{"-", "1"}]}], ";", RowBox[{ RowBox[{"root", "[", RowBox[{"[", RowBox[{"r", ",", "j"}], "]"}], "]"}], "=", RowBox[{"-", "1"}]}], ";", " ", RowBox[{ RowBox[{"root", "[", RowBox[{"[", RowBox[{"r", ",", "k"}], "]"}], "]"}], "=", RowBox[{"-", "1"}]}], ";", RowBox[{"r", "++"}]}]}], "]"}]}], "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.5500790145281086`*^9, 3.550079069923277*^9}, { 3.5500791185050554`*^9, 3.550079119601118*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"root", "[", RowBox[{"[", RowBox[{"36", ",", "7"}], "]"}], "]"}], "=", "2"}], ";", " ", RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "6"}], ",", RowBox[{"i", "++"}], ",", " ", RowBox[{ RowBox[{"root", "[", RowBox[{"[", RowBox[{"36", ",", "i"}], "]"}], "]"}], "=", RowBox[{"-", "1"}]}]}], "]"}]}]], "Input", CellChangeTimes->{{3.5500791964065113`*^9, 3.5500792411750717`*^9}, 3.5500792812793655`*^9, 3.550079355710623*^9}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"Check", " ", "all", " ", "36", " ", "roots"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"root", "//", "MatrixForm", " "}]}]], "Input", CellChangeTimes->{{3.637951093725792*^9, 3.637951115220036*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", RowBox[{"-", "1"}], "0", "0", "0", "0", "0"}, {"1", "0", RowBox[{"-", "1"}], "0", "0", "0", "0"}, {"1", "0", "0", RowBox[{"-", "1"}], "0", "0", "0"}, {"1", "0", "0", "0", RowBox[{"-", "1"}], "0", "0"}, {"1", "0", "0", "0", "0", RowBox[{"-", "1"}], "0"}, {"0", "1", RowBox[{"-", "1"}], "0", "0", "0", "0"}, {"0", "1", "0", RowBox[{"-", "1"}], "0", "0", "0"}, {"0", "1", "0", "0", RowBox[{"-", "1"}], "0", "0"}, {"0", "1", "0", "0", "0", RowBox[{"-", "1"}], "0"}, {"0", "0", "1", RowBox[{"-", "1"}], "0", "0", "0"}, {"0", "0", "1", "0", RowBox[{"-", "1"}], "0", "0"}, {"0", "0", "1", "0", "0", RowBox[{"-", "1"}], "0"}, {"0", "0", "0", "1", RowBox[{"-", "1"}], "0", "0"}, {"0", "0", "0", "1", "0", RowBox[{"-", "1"}], "0"}, {"0", "0", "0", "0", "1", RowBox[{"-", "1"}], "0"}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", "1"}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "1"}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "1"}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "1"}, { RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "1"}, { RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "1"}, { RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "1"}, { RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "1"}, { RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "1"}, { RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1"}, {"0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "1"}, {"0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "1"}, {"0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "1"}, {"0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "1"}, {"0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "1"}, {"0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1"}, {"0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "1"}, {"0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "1"}, {"0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1"}, {"0", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1"}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "2"} }, GridBoxAlignment->{ "Columns" -> {{Center}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{3.628964566674959*^9, 3.628978746662198*^9, 3.628980308541321*^9, 3.628980849750758*^9, 3.629072542677186*^9, 3.6291151014416723`*^9, 3.62955734310993*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Dimensions", "[", "root", "]"}]], "Input", CellChangeTimes->{{3.628979987517077*^9, 3.628979993438006*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{"36", ",", "7"}], "}"}]], "Output", CellChangeTimes->{3.6289799941063643`*^9, 3.628980308599821*^9, 3.6289808497816267`*^9, 3.629072542704995*^9, 3.6291151014690113`*^9, 3.629557343141522*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"Define", " ", "Minkowski", " ", "product", " ", "in", " ", RowBox[{"I", "^", RowBox[{"{", RowBox[{"6", ",", "1"}], "}"}]}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.6289646010930967`*^9, 3.6289646192725163`*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[ RowBox[{ RowBox[{"mdot", "[", RowBox[{"x_", ",", "y_"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"x", "[", RowBox[{"[", "7", "]"}], "]"}], "*", RowBox[{"y", "[", RowBox[{"[", "7", "]"}], "]"}]}], "-", RowBox[{ RowBox[{"x", "[", RowBox[{"[", "1", "]"}], "]"}], "*", RowBox[{"y", "[", RowBox[{"[", "1", "]"}], "]"}]}], "-", RowBox[{ RowBox[{"x", "[", RowBox[{"[", "2", "]"}], "]"}], "*", RowBox[{"y", "[", RowBox[{"[", "2", "]"}], "]"}]}], "-", RowBox[{ RowBox[{"x", "[", RowBox[{"[", "3", "]"}], "]"}], "*", RowBox[{"y", "[", RowBox[{"[", "3", "]"}], "]"}]}], "-", RowBox[{ RowBox[{"x", "[", RowBox[{"[", "4", "]"}], "]"}], "*", RowBox[{"y", "[", RowBox[{"[", "4", "]"}], "]"}]}], "-", RowBox[{ RowBox[{"x", "[", RowBox[{"[", "5", "]"}], "]"}], "*", RowBox[{"y", "[", RowBox[{"[", "5", "]"}], "]"}]}], "-", RowBox[{ RowBox[{"x", "[", RowBox[{"[", "6", "]"}], "]"}], "*", RowBox[{"y", "[", RowBox[{"[", "6", "]"}], "]"}]}]}]}]], "Input", CellChangeTimes->{{3.5500796091281176`*^9, 3.5500796152634687`*^9}, { 3.55007966284019*^9, 3.5500796819282813`*^9}, {3.5500797309680862`*^9, 3.550079760879797*^9}, {3.5500797966718445`*^9, 3.550079867850916*^9}, { 3.550079913120505*^9, 3.550079937534901*^9}, {3.5500799782252283`*^9, 3.550080011912155*^9}, {3.5500802388661366`*^9, 3.550080246608579*^9}, { 3.5500805758644114`*^9, 3.550080591553309*^9}, 3.550080793225844*^9, { 3.5500808540573235`*^9, 3.550080944841516*^9}, 3.550333542541541*^9}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{"Prods", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "36"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "27"}], "}"}]}], "]"}]}], ";"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.550081756549943*^9, 3.550081787823732*^9}, { 3.550082107071992*^9, 3.550082124992017*^9}, 3.5500821570328493`*^9}], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"For", "[", RowBox[{ RowBox[{"n", "=", "1"}], ",", RowBox[{"n", "\[LessEqual]", "36"}], ",", RowBox[{"n", "++"}], ",", " ", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"m", "=", "1"}], ",", RowBox[{"m", "\[LessEqual]", "27"}], ",", RowBox[{"m", "++"}], ",", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{"Prods", "[", RowBox[{"[", RowBox[{"n", ",", "m"}], "]"}], "]"}], "=", RowBox[{"mdot", "[", " ", RowBox[{ RowBox[{"root", "[", RowBox[{"[", "n", "]"}], "]"}], ",", RowBox[{"line", "[", RowBox[{"[", "m", "]"}], "]"}]}], " ", "]"}]}]}], " ", "]"}]}], "]"}], " ", "*)"}], "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{{3.550079765753076*^9, 3.5500797855202065`*^9}, { 3.5500806927370963`*^9, 3.5500806928151007`*^9}, {3.5500807287521563`*^9, 3.5500807726556673`*^9}, {3.550080810202815*^9, 3.550080829904942*^9}, { 3.550080970705995*^9, 3.5500810261361656`*^9}, {3.5500814410328965`*^9, 3.5500815355063*^9}, {3.5500817251551476`*^9, 3.550081750361589*^9}, { 3.5500817967222404`*^9, 3.5500818139142237`*^9}, {3.550081891377655*^9, 3.550081909008663*^9}, {3.550082026410378*^9, 3.550082041962268*^9}, { 3.5500821311783705`*^9, 3.5500821371447115`*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"Prods", "//", "MatrixForm"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.550080343182103*^9, 3.5500803553668003`*^9}, { 3.550081854855566*^9, 3.5500818611829276`*^9}, {3.5500819351521587`*^9, 3.550082009759426*^9}, {3.550082050791773*^9, 3.5500820547910013`*^9}, { 3.5500821177356014`*^9, 3.550082141257947*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{"twroot", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "7"}], "}"}]}], "]"}]}], " ", ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{"12", " ", "roots", " ", "of", " ", "E6"}], ",", " ", RowBox[{ "the", " ", "first", " ", "6", " ", "roots", " ", "chosen", " ", "to", " ", "form", " ", "a", " ", "basis"}]}], " ", "*)"}]}]}], "Input", CellChangeTimes->{{3.550083151273717*^9, 3.550083220704688*^9}, { 3.5747945330729856`*^9, 3.574794552865118*^9}, {3.5966615893147573`*^9, 3.596661590856559*^9}, {3.596661623052053*^9, 3.596661641710383*^9}, { 3.637951161735816*^9, 3.637951166698503*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"twroot", "[", RowBox[{"[", "1", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "21", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"twroot", "[", RowBox[{"[", "2", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "1", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"twroot", "[", RowBox[{"[", "3", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "6", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"twroot", "[", RowBox[{"[", "4", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "10", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"twroot", "[", RowBox[{"[", "5", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "13", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"twroot", "[", RowBox[{"[", "6", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "15", "]"}], "]"}]}], ";"}]}], "Input", CellChangeTimes->{{3.5500832250879383`*^9, 3.550083244785065*^9}, { 3.596661594098905*^9, 3.596661594505076*^9}, {3.596661866652814*^9, 3.596661886416223*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"Next", " ", "6", " ", "roots"}], " ", "*)"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{ RowBox[{"twroot", "[", RowBox[{"[", "7", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "5", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"twroot", "[", RowBox[{"[", "8", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "35", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"twroot", "[", RowBox[{"[", "9", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "16", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"twroot", "[", RowBox[{"[", "10", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "33", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"twroot", "[", RowBox[{"[", "11", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "26", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"twroot", "[", RowBox[{"[", "12", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "25", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "12"}], ",", RowBox[{"i", "++"}], ",", " ", RowBox[{"Print", "[", RowBox[{"twroot", "[", RowBox[{"[", "i", "]"}], "]"}], "]"}]}], " ", "]"}], "\[IndentingNewLine]"}]}]], "Input", CellChangeTimes->{{3.5501437283367896`*^9, 3.5501437592335567`*^9}, { 3.550150780779166*^9, 3.5501508277788544`*^9}, {3.5501508840430727`*^9, 3.550150884996127*^9}, {3.55015104047602*^9, 3.550151071966821*^9}, { 3.5501511055307407`*^9, 3.5501511311502066`*^9}, {3.550151163991085*^9, 3.5501511660862045`*^9}, 3.550151250789049*^9, 3.5501513686337895`*^9, { 3.550151402279714*^9, 3.5501514686395097`*^9}, {3.5501515224435873`*^9, 3.5501515406876307`*^9}, {3.5501516086625185`*^9, 3.5501516506469197`*^9}, {3.550151726950284*^9, 3.550151743755245*^9}, { 3.550151790974946*^9, 3.5501518293191395`*^9}, {3.5501518670662985`*^9, 3.5501518981610765`*^9}, {3.5748077071274986`*^9, 3.574807840165108*^9}, { 3.5748078899809575`*^9, 3.574807937533677*^9}, {3.574808047526969*^9, 3.5748080520512276`*^9}, {3.574808097272814*^9, 3.57480820210281*^9}, { 3.5748083265399275`*^9, 3.5748083442419395`*^9}, {3.5748083858683205`*^9, 3.5748084026502805`*^9}, {3.574808464989846*^9, 3.5748084862600627`*^9}, { 3.574808534924846*^9, 3.5748085907720404`*^9}, {3.596661684441613*^9, 3.596661840598634*^9}, {3.596661907724865*^9, 3.596661920412527*^9}, { 3.5966624014775476`*^9, 3.596662414109383*^9}, {3.5967257987121363`*^9, 3.596725803206503*^9}, {3.596731574616569*^9, 3.596731588951284*^9}, { 3.596738513336134*^9, 3.596738532214819*^9}, {3.6289798877535553`*^9, 3.628979901711754*^9}, {3.628979960991695*^9, 3.628979999318734*^9}, { 3.6289800858305492`*^9, 3.628980087380315*^9}, {3.628980138701635*^9, 3.6289801388029213`*^9}, {3.6289802008104067`*^9, 3.628980261244021*^9}, { 3.629557276591748*^9, 3.629557308947974*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", "0", ",", RowBox[{"-", "1"}], ",", "0", ",", RowBox[{"-", "1"}], ",", "0", ",", "1"}], "}"}]], "Print", CellChangeTimes->{ 3.596738533657393*^9, 3.596811912059064*^9, 3.5968120706714697`*^9, { 3.5968122023904037`*^9, 3.596812206320817*^9}, 3.597149124430526*^9, 3.597149833016757*^9, 3.628964659445393*^9, 3.628978746778083*^9, { 3.628979910286394*^9, 3.6289799146937447`*^9}, {3.628980016229649*^9, 3.628980018894259*^9}, 3.628980092019679*^9, 3.628980140189869*^9, 3.6289802024392557`*^9, {3.628980233521887*^9, 3.628980263255555*^9}, 3.62898030868556*^9, 3.62898084986546*^9, 3.629072542892148*^9, 3.6291151016009083`*^9, 3.629557343208994*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{"1", ",", RowBox[{"-", "1"}], ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}]], "Print", CellChangeTimes->{ 3.596738533657393*^9, 3.596811912059064*^9, 3.5968120706714697`*^9, { 3.5968122023904037`*^9, 3.596812206320817*^9}, 3.597149124430526*^9, 3.597149833016757*^9, 3.628964659445393*^9, 3.628978746778083*^9, { 3.628979910286394*^9, 3.6289799146937447`*^9}, {3.628980016229649*^9, 3.628980018894259*^9}, 3.628980092019679*^9, 3.628980140189869*^9, 3.6289802024392557`*^9, {3.628980233521887*^9, 3.628980263255555*^9}, 3.62898030868556*^9, 3.62898084986546*^9, 3.629072542892148*^9, 3.6291151016009083`*^9, 3.6295573432134533`*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", "1", ",", RowBox[{"-", "1"}], ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}]], "Print", CellChangeTimes->{ 3.596738533657393*^9, 3.596811912059064*^9, 3.5968120706714697`*^9, { 3.5968122023904037`*^9, 3.596812206320817*^9}, 3.597149124430526*^9, 3.597149833016757*^9, 3.628964659445393*^9, 3.628978746778083*^9, { 3.628979910286394*^9, 3.6289799146937447`*^9}, {3.628980016229649*^9, 3.628980018894259*^9}, 3.628980092019679*^9, 3.628980140189869*^9, 3.6289802024392557`*^9, {3.628980233521887*^9, 3.628980263255555*^9}, 3.62898030868556*^9, 3.62898084986546*^9, 3.629072542892148*^9, 3.6291151016009083`*^9, 3.6295573432181807`*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", RowBox[{"-", "1"}], ",", "0", ",", "0", ",", "0"}], "}"}]], "Print", CellChangeTimes->{ 3.596738533657393*^9, 3.596811912059064*^9, 3.5968120706714697`*^9, { 3.5968122023904037`*^9, 3.596812206320817*^9}, 3.597149124430526*^9, 3.597149833016757*^9, 3.628964659445393*^9, 3.628978746778083*^9, { 3.628979910286394*^9, 3.6289799146937447`*^9}, {3.628980016229649*^9, 3.628980018894259*^9}, 3.628980092019679*^9, 3.628980140189869*^9, 3.6289802024392557`*^9, {3.628980233521887*^9, 3.628980263255555*^9}, 3.62898030868556*^9, 3.62898084986546*^9, 3.629072542892148*^9, 3.6291151016009083`*^9, 3.629557343222906*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", RowBox[{"-", "1"}], ",", "0", ",", "0"}], "}"}]], "Print", CellChangeTimes->{ 3.596738533657393*^9, 3.596811912059064*^9, 3.5968120706714697`*^9, { 3.5968122023904037`*^9, 3.596812206320817*^9}, 3.597149124430526*^9, 3.597149833016757*^9, 3.628964659445393*^9, 3.628978746778083*^9, { 3.628979910286394*^9, 3.6289799146937447`*^9}, {3.628980016229649*^9, 3.628980018894259*^9}, 3.628980092019679*^9, 3.628980140189869*^9, 3.6289802024392557`*^9, {3.628980233521887*^9, 3.628980263255555*^9}, 3.62898030868556*^9, 3.62898084986546*^9, 3.629072542892148*^9, 3.6291151016009083`*^9, 3.629557343227601*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1", ",", RowBox[{"-", "1"}], ",", "0"}], "}"}]], "Print", CellChangeTimes->{ 3.596738533657393*^9, 3.596811912059064*^9, 3.5968120706714697`*^9, { 3.5968122023904037`*^9, 3.596812206320817*^9}, 3.597149124430526*^9, 3.597149833016757*^9, 3.628964659445393*^9, 3.628978746778083*^9, { 3.628979910286394*^9, 3.6289799146937447`*^9}, {3.628980016229649*^9, 3.628980018894259*^9}, 3.628980092019679*^9, 3.628980140189869*^9, 3.6289802024392557`*^9, {3.628980233521887*^9, 3.628980263255555*^9}, 3.62898030868556*^9, 3.62898084986546*^9, 3.629072542892148*^9, 3.6291151016009083`*^9, 3.62955734323234*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", RowBox[{"-", "1"}], ",", "0"}], "}"}]], "Print", CellChangeTimes->{ 3.596738533657393*^9, 3.596811912059064*^9, 3.5968120706714697`*^9, { 3.5968122023904037`*^9, 3.596812206320817*^9}, 3.597149124430526*^9, 3.597149833016757*^9, 3.628964659445393*^9, 3.628978746778083*^9, { 3.628979910286394*^9, 3.6289799146937447`*^9}, {3.628980016229649*^9, 3.628980018894259*^9}, 3.628980092019679*^9, 3.628980140189869*^9, 3.6289802024392557`*^9, {3.628980233521887*^9, 3.628980263255555*^9}, 3.62898030868556*^9, 3.62898084986546*^9, 3.629072542892148*^9, 3.6291151016009083`*^9, 3.6295573432371264`*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1"}], "}"}]], "Print", CellChangeTimes->{ 3.596738533657393*^9, 3.596811912059064*^9, 3.5968120706714697`*^9, { 3.5968122023904037`*^9, 3.596812206320817*^9}, 3.597149124430526*^9, 3.597149833016757*^9, 3.628964659445393*^9, 3.628978746778083*^9, { 3.628979910286394*^9, 3.6289799146937447`*^9}, {3.628980016229649*^9, 3.628980018894259*^9}, 3.628980092019679*^9, 3.628980140189869*^9, 3.6289802024392557`*^9, {3.628980233521887*^9, 3.628980263255555*^9}, 3.62898030868556*^9, 3.62898084986546*^9, 3.629072542892148*^9, 3.6291151016009083`*^9, 3.629557343242002*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]], "Print", CellChangeTimes->{ 3.596738533657393*^9, 3.596811912059064*^9, 3.5968120706714697`*^9, { 3.5968122023904037`*^9, 3.596812206320817*^9}, 3.597149124430526*^9, 3.597149833016757*^9, 3.628964659445393*^9, 3.628978746778083*^9, { 3.628979910286394*^9, 3.6289799146937447`*^9}, {3.628980016229649*^9, 3.628980018894259*^9}, 3.628980092019679*^9, 3.628980140189869*^9, 3.6289802024392557`*^9, {3.628980233521887*^9, 3.628980263255555*^9}, 3.62898030868556*^9, 3.62898084986546*^9, 3.629072542892148*^9, 3.6291151016009083`*^9, 3.629557343246874*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", "0", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "0", ",", RowBox[{"-", "1"}], ",", "1"}], "}"}]], "Print", CellChangeTimes->{ 3.596738533657393*^9, 3.596811912059064*^9, 3.5968120706714697`*^9, { 3.5968122023904037`*^9, 3.596812206320817*^9}, 3.597149124430526*^9, 3.597149833016757*^9, 3.628964659445393*^9, 3.628978746778083*^9, { 3.628979910286394*^9, 3.6289799146937447`*^9}, {3.628980016229649*^9, 3.628980018894259*^9}, 3.628980092019679*^9, 3.628980140189869*^9, 3.6289802024392557`*^9, {3.628980233521887*^9, 3.628980263255555*^9}, 3.62898030868556*^9, 3.62898084986546*^9, 3.629072542892148*^9, 3.6291151016009083`*^9, 3.629557343251864*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "0", ",", "0", ",", "1"}], "}"}]], "Print", CellChangeTimes->{ 3.596738533657393*^9, 3.596811912059064*^9, 3.5968120706714697`*^9, { 3.5968122023904037`*^9, 3.596812206320817*^9}, 3.597149124430526*^9, 3.597149833016757*^9, 3.628964659445393*^9, 3.628978746778083*^9, { 3.628979910286394*^9, 3.6289799146937447`*^9}, {3.628980016229649*^9, 3.628980018894259*^9}, 3.628980092019679*^9, 3.628980140189869*^9, 3.6289802024392557`*^9, {3.628980233521887*^9, 3.628980263255555*^9}, 3.62898030868556*^9, 3.62898084986546*^9, 3.629072542892148*^9, 3.6291151016009083`*^9, 3.629557343256712*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", "0", ",", "0", ",", "0", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1"}], "}"}]], "Print", CellChangeTimes->{ 3.596738533657393*^9, 3.596811912059064*^9, 3.5968120706714697`*^9, { 3.5968122023904037`*^9, 3.596812206320817*^9}, 3.597149124430526*^9, 3.597149833016757*^9, 3.628964659445393*^9, 3.628978746778083*^9, { 3.628979910286394*^9, 3.6289799146937447`*^9}, {3.628980016229649*^9, 3.628980018894259*^9}, 3.628980092019679*^9, 3.628980140189869*^9, 3.6289802024392557`*^9, {3.628980233521887*^9, 3.628980263255555*^9}, 3.62898030868556*^9, 3.62898084986546*^9, 3.629072542892148*^9, 3.6291151016009083`*^9, 3.629557343261529*^9}] }, Open ]] }, Open ]], Cell[BoxData["\[IndentingNewLine]"], "Input", CellChangeTimes->{3.637951231868937*^9}], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{ RowBox[{ "mh", " ", "is", " ", "a", " ", "matrix", " ", "computing", " ", "H_", "1", RowBox[{"(", RowBox[{"Gamma", ",", "k"}], ")"}]}], " ", "=", " ", RowBox[{ RowBox[{"H", "^", "0"}], RowBox[{"(", RowBox[{"C", ",", " ", "k"}], ")"}]}]}], ",", " ", RowBox[{"s", "=", "sheet"}], ",", " ", RowBox[{"e", "=", "edge"}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ RowBox[{"in", " ", "plain", " ", "terms"}], ",", " ", RowBox[{ RowBox[{ "this", " ", "is", " ", "the", " ", "matrix", " ", "for", " ", "the", " ", "directed", " ", "graph", " ", RowBox[{"Gamma", ".", " ", "27"}], " ", "vertices"}], " ", "=", " ", RowBox[{"27", " ", "sheets"}]}]}], " ", "*)"}]}]], "Input", CellChangeTimes->{{3.637951214132299*^9, 3.6379512187386923`*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"mh", "=", RowBox[{"Table", "[", RowBox[{"0", ",", " ", RowBox[{"{", RowBox[{"s", ",", "27"}], "}"}], ",", " ", RowBox[{"{", RowBox[{"e", ",", "72"}], "}"}]}], "]"}]}], ";"}], " "}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"e", "=", "0"}], ";", " ", RowBox[{"(*", " ", RowBox[{ "will", " ", "increase", " ", "e", " ", "6", " ", "times", " ", "for", " ", "each", " ", "of", " ", "the", " ", "roots"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"newline", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"k", ",", "7"}], "}"}]}], "]"}]}], ";", " ", RowBox[{"(*", " ", RowBox[{ "will", " ", "be", " ", "used", " ", "to", " ", "identify", " ", "a", " ", "reflected", " ", "line"}], " ", "*)"}], RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "12"}], ",", RowBox[{"i", "++"}], ",", " ", RowBox[{"(*", " ", RowBox[{ RowBox[{"12", " ", "ramification", " ", "points"}], ",", " ", RowBox[{"12", " ", "twroots"}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"s", "=", "1"}], ",", RowBox[{"s", "\[LessEqual]", "27"}], ",", RowBox[{"s", "++"}], ",", "\[IndentingNewLine]", RowBox[{"If", "[", " ", RowBox[{ RowBox[{ RowBox[{"mdot", "[", RowBox[{ RowBox[{"twroot", "[", RowBox[{"[", "i", "]"}], "]"}], ",", RowBox[{"line", "[", RowBox[{"[", "s", "]"}], "]"}]}], "]"}], "\[Equal]", "1"}], ",", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"e", "++"}], ";", "\[IndentingNewLine]", RowBox[{ RowBox[{"mh", "[", RowBox[{"[", RowBox[{"s", ",", "e"}], "]"}], "]"}], "=", "1"}], ";", "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ RowBox[{ "now", " ", "find", " ", "the", " ", "reflected", " ", "line", " ", RowBox[{"line", "[", RowBox[{"[", "s", "]"}], "]"}]}], "+", RowBox[{"twroot", "[", RowBox[{"[", "i", "]"}], "]"}]}], " ", "*)"}], " ", "\[IndentingNewLine]", RowBox[{"newline", "=", RowBox[{ RowBox[{"line", "[", RowBox[{"[", "s", "]"}], "]"}], "+", RowBox[{"twroot", "[", RowBox[{"[", "i", "]"}], "]"}]}]}], " ", ";", "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ "find", " ", "the", " ", "opposite", " ", "line", " ", "and", " ", "modify", " ", "mh", " ", "accordingly"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"s2", "=", "1"}], ",", RowBox[{"s2", "\[LessEqual]", "27"}], ",", RowBox[{"s2", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"newline", "\[Equal]", RowBox[{"line", "[", RowBox[{"[", "s2", "]"}], "]"}]}], ",", " ", RowBox[{ RowBox[{"mh", "[", RowBox[{"[", RowBox[{"s2", ",", "e"}], "]"}], "]"}], "=", RowBox[{"-", "1"}]}], ",", "\"\<\>\""}], " ", "]"}], ";"}]}], "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", "}"}], ",", " ", "\"\<\>\""}], "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{"mh", "//", "MatrixForm"}], " ", "*)"}]}], "\[IndentingNewLine]", RowBox[{"Print", "[", RowBox[{"\"\\"", ",", RowBox[{"MatrixRank", "[", RowBox[{"NullSpace", "[", "mh", "]"}], "]"}]}], "]"}], "\[IndentingNewLine]"}], "Input", CellChangeTimes->{{3.5967254331712303`*^9, 3.596725495032549*^9}, { 3.596725542438154*^9, 3.596725561974675*^9}, {3.5967256176203337`*^9, 3.5967257162850847`*^9}, {3.5967302898194237`*^9, 3.5967303479117804`*^9}, {3.596730392581856*^9, 3.596730499558177*^9}, { 3.596730550111059*^9, 3.596730601449121*^9}, {3.5967306415017157`*^9, 3.596730780788369*^9}, {3.5967308380312157`*^9, 3.596730843668302*^9}, { 3.596730874445916*^9, 3.596730880410213*^9}, {3.5967309273394737`*^9, 3.596730929675468*^9}, {3.596731116753207*^9, 3.5967311197527246`*^9}, { 3.596731297395957*^9, 3.596731308296986*^9}, {3.596731525673128*^9, 3.596731526335273*^9}, 3.596731677360248*^9, {3.596731742423017*^9, 3.596731863944714*^9}, {3.5967319304852552`*^9, 3.596731934980653*^9}, { 3.596732002098279*^9, 3.596732032170697*^9}, {3.5967320760233183`*^9, 3.596732110813154*^9}, {3.596732143717235*^9, 3.5967322609457273`*^9}, { 3.596732315177302*^9, 3.596732334086285*^9}, {3.5967330737163887`*^9, 3.5967333006518993`*^9}, {3.596733356873233*^9, 3.596733448342051*^9}, { 3.5967334916174793`*^9, 3.596733501188623*^9}, {3.5967335690853777`*^9, 3.596733713547153*^9}, 3.596733876570369*^9, {3.596733918514894*^9, 3.5967340042634*^9}, {3.596734183432672*^9, 3.596734197709732*^9}, { 3.596738548778296*^9, 3.5967386140145197`*^9}, {3.628973958340575*^9, 3.6289739982587233`*^9}, {3.6289801080437527`*^9, 3.6289801109232693`*^9}, {3.637951188516924*^9, 3.637951204681573*^9}}], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"h^0(C,K)=\"\>", "\[InvisibleSpace]", "46"}], SequenceForm["h^0(C,K)=", 46], Editable->False]], "Print", CellChangeTimes->{ 3.596738620563051*^9, 3.5968119121566467`*^9, 3.596812070753812*^9, 3.596812212047449*^9, 3.597149124568622*^9, 3.597149833104652*^9, { 3.628966130496829*^9, 3.6289661379021797`*^9}, 3.628978746986002*^9, 3.628979923985982*^9, 3.628980025305223*^9, {3.628980099688034*^9, 3.628980112833488*^9}, 3.628980143466485*^9, {3.6289802090726*^9, 3.628980266732374*^9}, 3.628980308859701*^9, 3.628980850049119*^9, 3.629072543085142*^9, 3.6291151017879972`*^9, 3.629557343300808*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{ "Compute", " ", "the", " ", "number", " ", "of", " ", "points", " ", "on", " ", "each", " ", RowBox[{"sheet", ".", " ", "They"}], " ", "all", " ", "should", " ", "be"}], " ", "\[GreaterEqual]", RowBox[{"4", " ", "for", " ", "computing", " ", RowBox[{"h", "^", "0"}], RowBox[{"(", RowBox[{ RowBox[{"2", "K"}], "-", RowBox[{"5", "L"}]}], ")"}]}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"Clear", "[", "ns", "]"}], ";", RowBox[{"ns", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"s", ",", "27"}], "}"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"s", "=", "1"}], ",", RowBox[{"s", "\[LessEqual]", "27"}], ",", RowBox[{"s", "++"}], ",", " ", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"e", "=", "1"}], ",", RowBox[{"e", "\[LessEqual]", "72"}], ",", RowBox[{"e", "++"}], ",", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"ns", "[", RowBox[{"[", "s", "]"}], "]"}], "+=", RowBox[{ RowBox[{"mh", "[", RowBox[{"[", RowBox[{"s", ",", "e"}], "]"}], "]"}], "^", "2"}]}]}], " ", "]"}]}], "]"}], "\[IndentingNewLine]", RowBox[{"Print", "[", "ns", "]"}]}]}]], "Input", CellChangeTimes->{{3.628980181363065*^9, 3.628980181978901*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[ RowBox[{"{", RowBox[{ "5", ",", "4", ",", "6", ",", "5", ",", "5", ",", "5", ",", "5", ",", "6", ",", "4", ",", "5", ",", "5", ",", "5", ",", "5", ",", "7", ",", "4", ",", "8", ",", "4", ",", "6", ",", "7", ",", "5", ",", "5", ",", "5", ",", "5", ",", "5", ",", "4", ",", "8", ",", "6"}], "}"}]], "Print", CellChangeTimes->{ 3.6289801574124727`*^9, {3.628980189716524*^9, 3.62898024172931*^9}, 3.62898027179928*^9, 3.6289803088872232`*^9, 3.628980850077093*^9, 3.629072543142495*^9, 3.6291151018258133`*^9, 3.6295573433254347`*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"Define", " ", "points", " ", "on", " ", RowBox[{"P", "^", "1"}], " ", "below"}], " ", "*)"}]], "Input", CellChangeTimes->{{3.6289783006500196`*^9, 3.628978309244898*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[ RowBox[{ RowBox[{"q", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"pt", ",", "12"}], "}"}]}], "]"}]}], ";"}]], "Input", CellChangeTimes->{{3.628978312993799*^9, 3.628978337844103*^9}}], Cell[BoxData[ RowBox[{"For", "[", RowBox[{ RowBox[{"pt", "=", "1"}], ",", RowBox[{"pt", "\[LessEqual]", "12"}], ",", RowBox[{"pt", "++"}], ",", " ", RowBox[{ RowBox[{"q", "[", RowBox[{"[", "pt", "]"}], "]"}], "=", RowBox[{"pt", "^", "2"}]}]}], "]"}]], "Input", CellChangeTimes->{{3.62897834034092*^9, 3.6289783538457203`*^9}, { 3.628980839725089*^9, 3.6289808400017223`*^9}}], Cell[CellGroupData[{ Cell[BoxData["q"], "Input", CellChangeTimes->{{3.628978357860162*^9, 3.6289783658113003`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "1", ",", "4", ",", "9", ",", "16", ",", "25", ",", "36", ",", "49", ",", "64", ",", "81", ",", "100", ",", "121", ",", "144"}], "}"}]], "Output", CellChangeTimes->{{3.628978361213498*^9, 3.628978366547831*^9}, 3.628978747099103*^9, 3.6289799382766523`*^9, 3.6289803089925117`*^9, { 3.628980844099596*^9, 3.6289808501653347`*^9}, 3.6290725432539873`*^9, 3.629115101904701*^9, 3.629557343371456*^9}] }, Open ]], Cell[BoxData[""], "Input", CellChangeTimes->{{3.628974047645981*^9, 3.628974151235672*^9}, { 3.628974227245645*^9, 3.628974231066243*^9}, {3.628974380359343*^9, 3.628974423741419*^9}, {3.628976304008629*^9, 3.628976310659333*^9}, 3.6289800464700947`*^9}], Cell[BoxData[""], "Input", CellChangeTimes->{{3.62898017840172*^9, 3.628980186606841*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"Degrees", " ", "of", " ", "polynomials"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"degs", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"s", ",", "27"}], "}"}]}], "]"}]}], ";"}]}]], "Input", CellChangeTimes->{{3.628976481247821*^9, 3.628976510954603*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[ RowBox[{"For", "[", RowBox[{ RowBox[{"s", "=", "1"}], ",", RowBox[{"s", "\[LessEqual]", "27"}], ",", RowBox[{"s", "++"}], ",", " ", RowBox[{ RowBox[{"degs", "[", RowBox[{"[", "s", "]"}], "]"}], "=", RowBox[{"2", RowBox[{"(", RowBox[{ RowBox[{"ns", "[", RowBox[{"[", "s", "]"}], "]"}], "-", "2"}], ")"}]}]}]}], " ", "]"}]], "Input", CellChangeTimes->{{3.6289765293681297`*^9, 3.628976581049121*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Print", "[", "degs", "]"}]], "Input", CellChangeTimes->{{3.628976583448085*^9, 3.628976587234561*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "6", ",", "4", ",", "8", ",", "6", ",", "6", ",", "6", ",", "6", ",", "8", ",", "4", ",", "6", ",", "6", ",", "6", ",", "6", ",", "10", ",", "4", ",", "12", ",", "4", ",", "8", ",", "10", ",", "6", ",", "6", ",", "6", ",", "6", ",", "6", ",", "4", ",", "12", ",", "8"}], "}"}]], "Print", CellChangeTimes->{{3.6289765878251743`*^9, 3.6289766138673477`*^9}, 3.628978747296228*^9, 3.628980309107336*^9, 3.628980850238227*^9, 3.629072543405971*^9, 3.6291151020609922`*^9, 3.62955734344121*^9}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"numofunknowns", "=", "0"}], ";"}]], "Input", CellChangeTimes->{{3.628976617649046*^9, 3.628976656967307*^9}}], Cell[BoxData[ RowBox[{"For", "[", RowBox[{ RowBox[{"s", "=", "1"}], ",", RowBox[{"s", "\[LessEqual]", "27"}], ",", RowBox[{"s", "++"}], ",", " ", RowBox[{"numofunknowns", "+=", RowBox[{"(", RowBox[{ RowBox[{"degs", "[", RowBox[{"[", "s", "]"}], "]"}], "+", "1"}], ")"}]}]}], " ", "]"}]], "Input", CellChangeTimes->{{3.628976660767261*^9, 3.628976683221739*^9}}], Cell[CellGroupData[{ Cell[BoxData["numofunknowns"], "Input", CellChangeTimes->{{3.628976685293293*^9, 3.6289766891980953`*^9}}], Cell[BoxData["207"], "Output", CellChangeTimes->{3.628976690332481*^9, 3.6289787474635344`*^9, 3.628980309192596*^9, 3.6289808503017263`*^9, 3.629072543497751*^9, 3.629115102204018*^9, 3.629557343491127*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{"numofequations", "=", "72"}], "\[IndentingNewLine]", RowBox[{"numofunknowns", "-", "numofequations"}]}], "Input", CellChangeTimes->{{3.628976704430204*^9, 3.628976755111264*^9}}], Cell[BoxData["72"], "Output", CellChangeTimes->{{3.628976744351716*^9, 3.6289767561173058`*^9}, 3.628978747506575*^9, 3.62898030925043*^9, 3.62898085034888*^9, 3.6290725435605803`*^9, 3.6291151022486267`*^9, 3.629557343509198*^9}], Cell[BoxData["135"], "Output", CellChangeTimes->{{3.628976744351716*^9, 3.6289767561173058`*^9}, 3.628978747506575*^9, 3.62898030925043*^9, 3.62898085034888*^9, 3.6290725435605803`*^9, 3.6291151022486267`*^9, 3.6295573435127153`*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{"this", " ", "is", " ", "the", " ", "expected", " ", RowBox[{"h", "^", "0"}], RowBox[{"(", RowBox[{"2", "K"}], ")"}]}], "=", RowBox[{ RowBox[{"3", RowBox[{"(", RowBox[{"g", "-", "1"}], ")"}]}], "=", "3.45"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.628976767756785*^9, 3.6289768035512466`*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"Unknowns", " ", "are", " ", RowBox[{ RowBox[{"x", "[", "j", "]"}], ".", " ", "Matrix"}], " ", "is", " ", RowBox[{"m", "[", RowBox[{"e", ",", "j"}], "]"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.628976746606653*^9, 3.628976749387207*^9}, { 3.628976824986189*^9, 3.628976860389303*^9}, {3.628977121997723*^9, 3.628977152638706*^9}, {3.637951295911901*^9, 3.63795130401624*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[ RowBox[{ RowBox[{"m", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"e", ",", "72"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "numofunknowns"}], "}"}]}], "]"}]}], ";"}]], "Input"], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{ RowBox[{ "Now", " ", "we", " ", "are", " ", "going", " ", "to", " ", "construct", " ", "the", " ", "system", " ", "of", " ", "linear", " ", "equations", " ", "with", " ", "numofunknowns", " ", "and", " ", RowBox[{"numofequations", ".", " ", "For"}], " ", "each", " ", "of", " ", "27", " ", "sheets", " ", "we", " ", "create", " ", "variables", " ", "and", " ", "compute", " ", "the", " ", "coefficient", " ", "of", " ", "e"}], "-", RowBox[{"th", " ", "equation", " ", "in", " ", RowBox[{"x", "[", "j", "]"}]}]}], ",", " ", RowBox[{ RowBox[{"for", " ", "all", " ", "1"}], "\[LessEqual]", "e", "\[LessEqual]", RowBox[{"72", " ", "equations"}]}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.628976864536522*^9, 3.628976927399742*^9}, { 3.628977053726844*^9, 3.628977087964363*^9}, {3.6289771698513536`*^9, 3.628977206041868*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"j", "=", "0"}], ";"}], RowBox[{"(*", " ", RowBox[{ RowBox[{ "we", " ", "will", " ", "start", " ", "with", " ", "variable", " ", "j"}], "=", RowBox[{"1", " ", "below"}]}], " ", "*)"}]}]], "Input", CellChangeTimes->{{3.628977418610527*^9, 3.628977428771185*^9}, { 3.62897787729845*^9, 3.628977895984682*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"s", "=", "1"}], ",", RowBox[{"s", "\[LessEqual]", "27"}], ",", RowBox[{"s", "++"}], ",", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"d", "=", "0"}], ",", RowBox[{"d", "\[LessEqual]", RowBox[{"degs", "[", RowBox[{"[", "s", "]"}], "]"}]}], ",", RowBox[{"d", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"j", "++"}], ";", " ", RowBox[{"(*", " ", RowBox[{"go", " ", "to", " ", "the", " ", "next", " ", "variable"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"e", "=", "0"}], ";", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"pt", "=", "1"}], ",", RowBox[{"pt", "\[LessEqual]", "12"}], ",", RowBox[{"pt", "++"}], ",", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{"denom", "=", "1"}], ";", "\[IndentingNewLine]", RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"pt2", "=", "1"}], ",", RowBox[{"pt2", "\[LessEqual]", "12"}], ",", RowBox[{"pt2", "++"}], ",", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"pt2", "\[NotEqual]", "pt"}], ",", RowBox[{"denom", "*=", RowBox[{ RowBox[{"(", RowBox[{"pt", "-", "pt2"}], ")"}], "^", "2"}]}]}], "]"}]}], "\[IndentingNewLine]", "]"}], "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"k", "=", "1"}], ",", RowBox[{"k", "\[LessEqual]", "6"}], ",", RowBox[{"k", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"e", "++"}], ";", "\[IndentingNewLine]", RowBox[{ RowBox[{"m", "[", RowBox[{"[", RowBox[{"e", ",", "j"}], "]"}], "]"}], "=", RowBox[{ RowBox[{"mh", "[", RowBox[{"[", RowBox[{"s", ",", "e"}], "]"}], "]"}], RowBox[{ RowBox[{ RowBox[{"q", "[", RowBox[{"[", "pt", "]"}], "]"}], "^", "d"}], "/", "denom"}]}]}], ";"}]}], "\[IndentingNewLine]", "]"}]}]}]}], "\[IndentingNewLine]", "]"}]}]}], "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", "]"}], "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{{3.62897737539924*^9, 3.628977485973053*^9}, { 3.628977714127912*^9, 3.6289777716935463`*^9}, {3.628977990937402*^9, 3.6289781866551847`*^9}, {3.6289783780690613`*^9, 3.62897867700665*^9}, { 3.628978856334217*^9, 3.628978859028516*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Dimensions", "[", "m", "]"}]], "Input", CellChangeTimes->{{3.628978804241075*^9, 3.6289788086866417`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{"72", ",", "207"}], "}"}]], "Output", CellChangeTimes->{3.628978809621698*^9, 3.628978869350881*^9, 3.6289803095310907`*^9, 3.628980850612513*^9, 3.62907254384133*^9, 3.62911510250218*^9, 3.629557343731779*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"So", " ", "what", " ", "is", " ", RowBox[{"h", "^", "0"}], RowBox[{ RowBox[{"(", RowBox[{"2", "K"}], ")"}], "?"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.628979015352947*^9, 3.628979027906434*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"numofunknowns", "-", RowBox[{"MatrixRank", "[", "m", "]"}]}]], "Input", CellChangeTimes->{{3.628978911602137*^9, 3.628979001396549*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData["135"], "Output", CellChangeTimes->{{3.628978942596136*^9, 3.628979031276319*^9}, 3.6289803096093063`*^9, 3.62898085068993*^9, 3.629072543894525*^9, 3.629115102577113*^9, 3.6295573437755003`*^9}, Background->RGBColor[1, 0.9, 0.8]] }, Open ]], Cell[BoxData[""], "Input", CellChangeTimes->{{3.628979004721526*^9, 3.62897901290771*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{ "Now", " ", "let", " ", "us", " ", "repeat", " ", "these", " ", "computations", " ", "but", " ", "set", " ", "the", " ", "degree", " ", "of", " ", "each", " ", "polynomial", " ", "to", " ", "be", " ", "5", " ", "less"}], ",", " ", RowBox[{"to", " ", "compute", " ", RowBox[{"h", "^", "0"}], RowBox[{"(", RowBox[{ RowBox[{"2", "K"}], "-", RowBox[{"5", "L"}]}], ")"}]}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.628979062192367*^9, 3.628979112170968*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[ RowBox[{ RowBox[{"degs", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"s", ",", "27"}], "}"}]}], "]"}]}], ";"}]], "Input"], Cell[BoxData[ RowBox[{"For", "[", RowBox[{ RowBox[{"s", "=", "1"}], ",", RowBox[{"s", "\[LessEqual]", "27"}], ",", RowBox[{"s", "++"}], ",", " ", RowBox[{ RowBox[{"degs", "[", RowBox[{"[", "s", "]"}], "]"}], "=", RowBox[{"Max", "[", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{ RowBox[{"2", RowBox[{"(", RowBox[{ RowBox[{"ns", "[", RowBox[{"[", "s", "]"}], "]"}], "-", "2"}], ")"}]}], "-", "5"}]}], "]"}]}]}], " ", "]"}]], "Input", CellChangeTimes->{{3.628979498814309*^9, 3.628979542474687*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Print", "[", "degs", "]"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{"1", ",", RowBox[{"-", "1"}], ",", "3", ",", "1", ",", "1", ",", "1", ",", "1", ",", "3", ",", RowBox[{"-", "1"}], ",", "1", ",", "1", ",", "1", ",", "1", ",", "5", ",", RowBox[{"-", "1"}], ",", "7", ",", RowBox[{"-", "1"}], ",", "3", ",", "5", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", RowBox[{"-", "1"}], ",", "7", ",", "3"}], "}"}]], "Print", CellChangeTimes->{{3.628979519904353*^9, 3.62897954946811*^9}, 3.6289803096997213`*^9, 3.628980850781351*^9, 3.629072543998294*^9, 3.629115102667822*^9, 3.629557343824973*^9}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"numofunknowns", "=", "0"}], ";"}]], "Input", CellChangeTimes->{3.6289793867781363`*^9}], Cell[BoxData[ RowBox[{"For", "[", RowBox[{ RowBox[{"s", "=", "1"}], ",", RowBox[{"s", "\[LessEqual]", "27"}], ",", RowBox[{"s", "++"}], ",", " ", RowBox[{"numofunknowns", "+=", RowBox[{"(", RowBox[{ RowBox[{"degs", "[", RowBox[{"[", "s", "]"}], "]"}], "+", "1"}], ")"}]}]}], " ", "]"}]], "Input"], Cell[CellGroupData[{ Cell[BoxData["numofunknowns"], "Input", CellChangeTimes->{{3.628979562532618*^9, 3.628979566076983*^9}}], Cell[BoxData["72"], "Output", CellChangeTimes->{3.6289795672859087`*^9, 3.628980309755385*^9, 3.628980850874048*^9, 3.629072544083208*^9, 3.629115102739813*^9, 3.629557343880557*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"numofequations", "=", "72"}], "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{3.628979663891363*^9}], Cell[BoxData["72"], "Output", CellChangeTimes->{3.628979573955708*^9, 3.628979666266087*^9, 3.628980309799*^9, 3.628980850934039*^9, 3.629072544120236*^9, 3.629115102785828*^9, 3.6295573439000063`*^9}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{"This", " ", "is", " ", "the", " ", "expected", " ", RowBox[{"h", "^", "0"}], RowBox[{"(", RowBox[{ RowBox[{"2", "K"}], "-", RowBox[{"5", "L"}]}], ")"}]}], ":"}], " ", "*)"}], "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{ 3.628979426376734*^9, {3.628979585841663*^9, 3.628979590356731*^9}, { 3.6289796844399633`*^9, 3.628979688210206*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"numofunknowns", "-", "numofequations"}]], "Input"], Cell[BoxData["0"], "Output", CellChangeTimes->{3.628979680254537*^9, 3.6289803098782797`*^9, 3.6289808510094547`*^9, 3.629072544209072*^9, 3.629115102861539*^9, 3.62955734392924*^9}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"m", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"e", ",", "72"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "numofunknowns"}], "}"}]}], "]"}]}], ";"}]], "Input"], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"j", "=", "0"}], ";"}], RowBox[{"(*", " ", RowBox[{ RowBox[{ "we", " ", "will", " ", "start", " ", "with", " ", "variable", " ", "j"}], "=", RowBox[{"1", " ", "below"}]}], " ", "*)"}], "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{3.628979447448807*^9}], Cell[BoxData[ RowBox[{"For", "[", RowBox[{ RowBox[{"s", "=", "1"}], ",", RowBox[{"s", "\[LessEqual]", "27"}], ",", RowBox[{"s", "++"}], ",", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"d", "=", "0"}], ",", RowBox[{"d", "\[LessEqual]", RowBox[{"degs", "[", RowBox[{"[", "s", "]"}], "]"}]}], ",", RowBox[{"d", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"j", "++"}], ";", " ", RowBox[{"(*", " ", RowBox[{"go", " ", "to", " ", "the", " ", "next", " ", "variable"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"e", "=", "0"}], ";", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"pt", "=", "1"}], ",", RowBox[{"pt", "\[LessEqual]", "12"}], ",", RowBox[{"pt", "++"}], ",", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{"denom", "=", "1"}], ";", "\[IndentingNewLine]", RowBox[{ RowBox[{"For", "[", RowBox[{ RowBox[{"pt2", "=", "1"}], ",", RowBox[{"pt2", "\[LessEqual]", "12"}], ",", RowBox[{"pt2", "++"}], ",", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"pt2", "\[NotEqual]", "pt"}], ",", RowBox[{"denom", "*=", RowBox[{ RowBox[{"(", RowBox[{"pt", "-", "pt2"}], ")"}], "^", "2"}]}]}], "]"}]}], "\[IndentingNewLine]", "]"}], "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"k", "=", "1"}], ",", RowBox[{"k", "\[LessEqual]", "6"}], ",", RowBox[{"k", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"e", "++"}], ";", "\[IndentingNewLine]", RowBox[{ RowBox[{"m", "[", RowBox[{"[", RowBox[{"e", ",", "j"}], "]"}], "]"}], "=", RowBox[{ RowBox[{"mh", "[", RowBox[{"[", RowBox[{"s", ",", "e"}], "]"}], "]"}], RowBox[{ RowBox[{ RowBox[{"q", "[", RowBox[{"[", "pt", "]"}], "]"}], "^", "d"}], "/", "denom"}]}]}], ";"}]}], "\[IndentingNewLine]", "]"}]}]}]}], "\[IndentingNewLine]", "]"}]}]}], "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", "]"}]], "Input"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"So", " ", "what", " ", "is", " ", RowBox[{"h", "^", "0"}], RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"2", "K"}], "-", RowBox[{"5", "L"}]}], ")"}], "?"}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"numofunknowns", "-", RowBox[{"MatrixRank", "[", "m", "]"}]}]}]], "Input", CellChangeTimes->{{3.628979470031777*^9, 3.628979481057456*^9}, { 3.6289797117456837`*^9, 3.6289797128174133`*^9}}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData["0"], "Output", CellChangeTimes->{ 3.628979639198722*^9, {3.628979704157185*^9, 3.628979713977068*^9}, 3.62898031005836*^9, 3.628980851191321*^9, 3.6290725444006023`*^9, 3.629115103088228*^9, 3.629557344035431*^9}, Background->RGBColor[1, 0.9, 0.8]] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{"We", " ", "are", " ", "done", " ", "with", " ", "2", "K"}], "-", RowBox[{"5", "L"}]}], " ", "*)"}], "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{{3.637950864084023*^9, 3.6379508736012793`*^9}}, Background->RGBColor[1, 0.85, 0.85]], Cell[BoxData[ RowBox[{"\[IndentingNewLine]", "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{{3.6379508579517527`*^9, 3.637950858219811*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{ "Checking", " ", "if", " ", "a", " ", "multiple", " ", "of", " ", "3", "K"}], "-", RowBox[{"10", "L", " ", "is", " ", "zero"}]}], " ", "*)"}], "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{{3.6290709643596983`*^9, 3.629070999845243*^9}, 3.629071128114665*^9}, Background->RGBColor[1, 0.9, 0.8]], Cell[BoxData[ RowBox[{ RowBox[{"matrix", "=", RowBox[{"mh", ".", RowBox[{"Transpose", "[", "mh", "]"}]}]}], ";"}]], "Input", CellChangeTimes->{{3.6290710670872107`*^9, 3.62907109801215*^9}, { 3.6290711304339933`*^9, 3.6290711317145147`*^9}, 3.6291152962196293`*^9}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"matrix", "//", "MatrixForm"}]], "Input", CellChangeTimes->{{3.629072559737647*^9, 3.629072564550596*^9}}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"5", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], "4", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0"}, {"0", RowBox[{"-", "1"}], "6", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0"}, {"0", "0", RowBox[{"-", "1"}], "5", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}]}, {"0", "0", "0", RowBox[{"-", "1"}], "5", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0"}, { RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "5", "0", "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0"}, {"0", "0", "0", "0", "0", "0", "5", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}]}, {"0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "6", RowBox[{"-", "1"}], "0", "0", "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0"}, {"0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "4", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "5", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}]}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "5", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0"}, {"0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "5", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0"}, {"0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "5", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0"}, {"0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", RowBox[{"-", "1"}], "7", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0"}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "4", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0"}, {"0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "8", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}]}, {"0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", RowBox[{"-", "1"}], "4", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0"}, { RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "6", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0"}, {"0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "7", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "5", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "5", "0", "0", RowBox[{"-", "1"}], "0", "0", "0"}, {"0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "5", RowBox[{"-", "1"}], "0", "0", "0", "0"}, { RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "5", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0"}, {"0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "5", "0", RowBox[{"-", "1"}], "0"}, {"0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "4", RowBox[{"-", "1"}], "0"}, {"0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "8", RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "6"} }, GridBoxAlignment->{ "Columns" -> {{Center}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{3.629072565530621*^9, 3.62911510321356*^9, 3.6291152999824963`*^9, 3.6295573440871267`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"MatrixRank", "[", "matrix", "]"}]], "Input", CellChangeTimes->{{3.629116297417835*^9, 3.629116305115595*^9}}], Cell[BoxData["26"], "Output", CellChangeTimes->{3.629116305803392*^9, 3.629557344124989*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"range2", "=", RowBox[{"Range", "[", "26", "]"}]}]], "Input", CellChangeTimes->{{3.629115109205203*^9, 3.6291151145438013`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "1", ",", "2", ",", "3", ",", "4", ",", "5", ",", "6", ",", "7", ",", "8", ",", "9", ",", "10", ",", "11", ",", "12", ",", "13", ",", "14", ",", "15", ",", "16", ",", "17", ",", "18", ",", "19", ",", "20", ",", "21", ",", "22", ",", "23", ",", "24", ",", "25", ",", "26"}], "}"}]], "Output", CellChangeTimes->{3.62911511591438*^9, 3.629557344158237*^9}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"matrix2", "=", RowBox[{"matrix", "[", RowBox[{"[", RowBox[{"range2", ",", "range2"}], "]"}], "]"}]}], ";"}]], "Input", CellChangeTimes->{{3.629071136766069*^9, 3.629071162336782*^9}, { 3.62911512203734*^9, 3.629115127583024*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Det", "[", "matrix2", "]"}]], "Input", CellChangeTimes->{{3.629115142066966*^9, 3.62911514581505*^9}}], Cell[BoxData["66409341882720000"], "Output", CellChangeTimes->{3.6291151466953707`*^9, 3.629557344196712*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"range3", "=", RowBox[{"Flatten", "[", RowBox[{"Join", "[", RowBox[{ RowBox[{"Range", "[", "25", "]"}], ",", RowBox[{"{", "27", "}"}]}], "]"}], "]"}]}]], "Input", CellChangeTimes->{{3.629115149054508*^9, 3.629115192246492*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "1", ",", "2", ",", "3", ",", "4", ",", "5", ",", "6", ",", "7", ",", "8", ",", "9", ",", "10", ",", "11", ",", "12", ",", "13", ",", "14", ",", "15", ",", "16", ",", "17", ",", "18", ",", "19", ",", "20", ",", "21", ",", "22", ",", "23", ",", "24", ",", "25", ",", "27"}], "}"}]], "Output", CellChangeTimes->{{3.629115164632681*^9, 3.629115192946437*^9}, 3.629557344224455*^9}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"matrix3", "=", RowBox[{"matrix", "[", RowBox[{"[", RowBox[{"range3", ",", "range3"}], "]"}], "]"}]}], ";"}]], "Input", CellChangeTimes->{{3.629115196630731*^9, 3.62911521249244*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Det", "[", "matrix3", "]"}]], "Input", CellChangeTimes->{{3.6291152147919683`*^9, 3.629115217340789*^9}}], Cell[BoxData["66409341882720000"], "Output", CellChangeTimes->{3.629115218116693*^9, 3.629116365447866*^9, 3.629557344258479*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FactorInteger", "[", "41669757357466680", "]"}]], "Input", NumberMarks->False], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"17", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"9491", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"18394711", ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.629116367580433*^9, 3.6295573442785263`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"vector", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "27"}], "}"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.6291152308235292`*^9, 3.6291152632752953`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}]], "Output", CellChangeTimes->{{3.629115244270208*^9, 3.629115263810418*^9}, 3.629557344319632*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"vector2", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "26"}], "}"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.629071245356112*^9, 3.629071258324751*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}]], "Output", CellChangeTimes->{ 3.629071259976796*^9, 3.629072544699893*^9, 3.629115103277315*^9, { 3.629115247943302*^9, 3.629115265883457*^9}, 3.629557344357561*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"vector3", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "26"}], "}"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.6291152488554993`*^9, 3.629115259371324*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}]], "Output", CellChangeTimes->{{3.629115260041346*^9, 3.6291152673807287`*^9}, 3.629557344403166*^9}] }, Open ]], Cell[BoxData[ RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "27"}], ",", RowBox[{"i", "++"}], ",", " ", RowBox[{ RowBox[{"vector", "[", RowBox[{"[", "i", "]"}], "]"}], "=", RowBox[{ RowBox[{"3", RowBox[{"ns", "[", RowBox[{"[", "i", "]"}], "]"}]}], "-", "16"}]}]}], "]"}]], "Input", CellChangeTimes->{{3.6290711753564796`*^9, 3.6290712297336683`*^9}, { 3.6291152705450287`*^9, 3.629115277579129*^9}}], Cell[CellGroupData[{ Cell[BoxData["vector"], "Input", CellChangeTimes->{{3.629115283376295*^9, 3.629115284635159*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "4"}], ",", "2", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "2", ",", RowBox[{"-", "4"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "5", ",", RowBox[{"-", "4"}], ",", "8", ",", RowBox[{"-", "4"}], ",", "2", ",", "5", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "4"}], ",", "8", ",", "2"}], "}"}]], "Output", CellChangeTimes->{3.6291152854258842`*^9, 3.6295573444591017`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"vector2", "=", RowBox[{"vector", "[", RowBox[{"[", "range2", "]"}], "]"}]}]], "Input", CellChangeTimes->{{3.6290712369634132`*^9, 3.629071239238846*^9}, { 3.629116322123446*^9, 3.629116337337575*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "4"}], ",", "2", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "2", ",", RowBox[{"-", "4"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "5", ",", RowBox[{"-", "4"}], ",", "8", ",", RowBox[{"-", "4"}], ",", "2", ",", "5", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "4"}], ",", "8"}], "}"}]], "Output", CellChangeTimes->{{3.629071240092424*^9, 3.629071268484025*^9}, 3.6290725448142633`*^9, 3.6291151033361807`*^9, {3.629116332092169*^9, 3.629116338398761*^9}, 3.629557344478023*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"vector3", "=", RowBox[{"vector", "[", RowBox[{"[", "range3", "]"}], "]"}]}]], "Input", CellChangeTimes->{{3.629116340611699*^9, 3.629116348866137*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "4"}], ",", "2", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "2", ",", RowBox[{"-", "4"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "5", ",", RowBox[{"-", "4"}], ",", "8", ",", RowBox[{"-", "4"}], ",", "2", ",", "5", ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", RowBox[{"-", "4"}], ",", "2"}], "}"}]], "Output", CellChangeTimes->{3.6291163494138317`*^9, 3.629557344520748*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData["41669757357466680"], "Input", CellChangeTimes->{{3.629075156223606*^9, 3.629075157378417*^9}}], Cell[BoxData["41669757357466680"], "Output", CellChangeTimes->{3.629115103474324*^9, 3.629557344571467*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"answer2", "=", RowBox[{ RowBox[{"Inverse", "[", "matrix2", "]"}], ".", "vector2"}]}]], "Input", CellChangeTimes->{{3.629071275040824*^9, 3.629071284626802*^9}, { 3.629116378721738*^9, 3.6291163805758123`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"-", FractionBox["310348", "334615"]}], ",", RowBox[{"-", FractionBox["479808", "334615"]}], ",", FractionBox["1025", "66923"], ",", RowBox[{"-", FractionBox["165411", "334615"]}], ",", RowBox[{"-", FractionBox["47377", "66923"]}], ",", RowBox[{"-", FractionBox["314132", "334615"]}], ",", RowBox[{"-", FractionBox["165411", "334615"]}], ",", FractionBox["1025", "66923"], ",", RowBox[{"-", FractionBox["479808", "334615"]}], ",", RowBox[{"-", FractionBox["310348", "334615"]}], ",", RowBox[{"-", FractionBox["314132", "334615"]}], ",", RowBox[{"-", FractionBox["47377", "66923"]}], ",", RowBox[{"-", FractionBox["297047", "334615"]}], ",", FractionBox["21498", "334615"], ",", RowBox[{"-", FractionBox["253294", "334615"]}], ",", FractionBox["141144", "334615"], ",", RowBox[{"-", FractionBox["532909", "334615"]}], ",", RowBox[{"-", FractionBox["39882", "334615"]}], ",", FractionBox["21498", "334615"], ",", RowBox[{"-", FractionBox["220798", "334615"]}], ",", RowBox[{"-", FractionBox["383303", "334615"]}], ",", RowBox[{"-", FractionBox["297047", "334615"]}], ",", RowBox[{"-", FractionBox["383303", "334615"]}], ",", RowBox[{"-", FractionBox["220798", "334615"]}], ",", RowBox[{"-", FractionBox["532909", "334615"]}], ",", FractionBox["141144", "334615"]}], "}"}]], "Output", CellChangeTimes->{3.629071285489757*^9, 3.62907254491648*^9, 3.629115103525675*^9, 3.629116381355237*^9, 3.6295573446081343`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"answer3", "=", RowBox[{ RowBox[{"Inverse", "[", "matrix3", "]"}], ".", "vector3"}]}]], "Input", CellChangeTimes->{{3.629116384174984*^9, 3.62911640660905*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"-", FractionBox["451492", "334615"]}], ",", RowBox[{"-", FractionBox["620952", "334615"]}], ",", RowBox[{"-", FractionBox["136019", "334615"]}], ",", RowBox[{"-", FractionBox["61311", "66923"]}], ",", RowBox[{"-", FractionBox["378029", "334615"]}], ",", RowBox[{"-", FractionBox["455276", "334615"]}], ",", RowBox[{"-", FractionBox["61311", "66923"]}], ",", RowBox[{"-", FractionBox["136019", "334615"]}], ",", RowBox[{"-", FractionBox["620952", "334615"]}], ",", RowBox[{"-", FractionBox["451492", "334615"]}], ",", RowBox[{"-", FractionBox["455276", "334615"]}], ",", RowBox[{"-", FractionBox["378029", "334615"]}], ",", RowBox[{"-", FractionBox["438191", "334615"]}], ",", RowBox[{"-", FractionBox["119646", "334615"]}], ",", RowBox[{"-", FractionBox["394438", "334615"]}], ",", "0", ",", RowBox[{"-", FractionBox["674053", "334615"]}], ",", RowBox[{"-", FractionBox["181026", "334615"]}], ",", RowBox[{"-", FractionBox["119646", "334615"]}], ",", RowBox[{"-", FractionBox["361942", "334615"]}], ",", RowBox[{"-", FractionBox["524447", "334615"]}], ",", RowBox[{"-", FractionBox["438191", "334615"]}], ",", RowBox[{"-", FractionBox["524447", "334615"]}], ",", RowBox[{"-", FractionBox["361942", "334615"]}], ",", RowBox[{"-", FractionBox["674053", "334615"]}], ",", RowBox[{"-", FractionBox["141144", "334615"]}]}], "}"}]], "Output", CellChangeTimes->{{3.629116400161757*^9, 3.629116407392456*^9}, 3.629557344642888*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"answer2", "-", "answer3"}]], "Input", CellChangeTimes->{{3.6291164140571938`*^9, 3.629116418942863*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["141144", "334615"], ",", FractionBox["282288", "334615"]}], "}"}]], "Output", CellChangeTimes->{3.629116419850878*^9, 3.629557344675722*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{"huge", " ", "denominators"}], " ", "=", RowBox[{">", " ", RowBox[{ RowBox[{"3", "K"}], "-", RowBox[{"10", "L", " ", "is", " ", "not", " ", "an", " ", "n"}], "-", RowBox[{"torsion", " ", "for", " ", "n"}]}], "\[LessEqual]", RowBox[{"1000000000", " ", "at", " ", "least"}]}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.629071391058013*^9, 3.6290714338889627`*^9}}, Background->RGBColor[1, 0.85, 0.85]] }, WindowSize->{905, 954}, WindowMargins->{{Automatic, 219}, {46, Automatic}}, FrontEndVersion->"10.0 for Mac OS X x86 (32-bit, 64-bit Kernel) (June 27, \ 2014)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[557, 20, 1342, 27, 113, "Input"], Cell[1902, 49, 634, 18, 62, "Input"], Cell[2539, 69, 161, 4, 28, "Input"], Cell[2703, 75, 408, 12, 28, "Input"], Cell[3114, 89, 1047, 28, 97, "Input"], Cell[4164, 119, 1129, 30, 63, "Input"], Cell[CellGroupData[{ Cell[5318, 153, 231, 4, 28, "Input"], Cell[5552, 159, 3187, 105, 471, "Output"] }, Open ]], Cell[8754, 267, 931, 25, 67, "Input"], Cell[9688, 294, 135, 3, 28, "Input"], Cell[9826, 299, 818, 23, 63, "Input"], Cell[10647, 324, 1442, 40, 131, "Input"], Cell[12092, 366, 578, 17, 28, "Input"], Cell[CellGroupData[{ Cell[12695, 387, 303, 7, 62, "Input"], Cell[13001, 396, 4026, 135, 625, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[17064, 536, 132, 2, 28, "Input"], Cell[17199, 540, 238, 5, 28, "Output"] }, Open ]], Cell[17452, 548, 315, 7, 44, "Input"], Cell[17770, 557, 1651, 46, 46, "Input"], Cell[19424, 605, 432, 12, 28, "Input"], Cell[19859, 619, 1412, 31, 80, "Input"], Cell[21274, 652, 367, 6, 28, "Input"], Cell[21644, 660, 841, 21, 62, "Input"], Cell[22488, 683, 1275, 39, 114, "Input"], Cell[CellGroupData[{ Cell[23788, 726, 3376, 74, 199, "Input"], Cell[CellGroupData[{ Cell[27189, 804, 752, 14, 21, "Print"], Cell[27944, 820, 719, 13, 21, "Print"], Cell[28666, 835, 719, 13, 21, "Print"], Cell[29388, 850, 714, 12, 21, "Print"], Cell[30105, 864, 714, 12, 21, "Print"], Cell[30822, 878, 713, 12, 21, "Print"], Cell[31538, 892, 716, 12, 21, "Print"], Cell[32257, 906, 752, 14, 21, "Print"], Cell[33012, 922, 755, 15, 21, "Print"], Cell[33770, 939, 752, 14, 21, "Print"], Cell[34525, 955, 752, 14, 21, "Print"], Cell[35280, 971, 752, 14, 21, "Print"] }, Open ]] }, Open ]], Cell[36059, 989, 87, 1, 46, "Input"], Cell[36149, 992, 978, 26, 79, "Input"], Cell[CellGroupData[{ Cell[37152, 1022, 5709, 129, 369, "Input"], Cell[42864, 1153, 675, 12, 21, "Print"] }, Open ]], Cell[CellGroupData[{ Cell[43576, 1170, 1574, 44, 130, "Input"], Cell[45153, 1216, 574, 10, 21, "Print"] }, Open ]], Cell[45742, 1229, 257, 5, 44, "Input"], Cell[46002, 1236, 246, 7, 28, "Input"], Cell[46251, 1245, 412, 11, 28, "Input"], Cell[CellGroupData[{ Cell[46688, 1260, 95, 1, 28, "Input"], Cell[46786, 1263, 456, 8, 28, "Output"] }, Open ]], Cell[47257, 1274, 266, 4, 28, "Input"], Cell[47526, 1280, 91, 1, 28, "Input"], Cell[47620, 1283, 419, 12, 62, "Input"], Cell[48042, 1297, 479, 15, 28, "Input"], Cell[CellGroupData[{ Cell[48546, 1316, 127, 2, 28, "Input"], Cell[48676, 1320, 552, 9, 21, "Print"] }, Open ]], Cell[49243, 1332, 145, 3, 28, "Input"], Cell[49391, 1337, 409, 12, 28, "Input"], Cell[CellGroupData[{ Cell[49825, 1353, 107, 1, 28, "Input"], Cell[49935, 1356, 214, 3, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[50186, 1364, 206, 3, 46, "Input"], Cell[50395, 1369, 239, 3, 28, "Output"], Cell[50637, 1374, 242, 3, 28, "Output"] }, Open ]], Cell[50894, 1380, 431, 12, 44, "Input"], Cell[51328, 1394, 487, 10, 44, "Input"], Cell[51818, 1406, 254, 8, 28, "Input"], Cell[52075, 1416, 1001, 21, 96, "Input"], Cell[53079, 1439, 381, 11, 28, "Input"], Cell[53463, 1452, 2831, 66, 301, "Input"], Cell[CellGroupData[{ Cell[56319, 1522, 131, 2, 28, "Input"], Cell[56453, 1526, 256, 5, 28, "Output"] }, Open ]], Cell[56724, 1534, 305, 8, 44, "Input"], Cell[CellGroupData[{ Cell[57054, 1546, 200, 4, 44, "Input"], Cell[57257, 1552, 253, 4, 44, "Output"] }, Open ]], Cell[57525, 1559, 91, 1, 28, "Input"], Cell[57619, 1562, 604, 15, 62, "Input"], Cell[58226, 1579, 182, 6, 28, "Input"], Cell[58411, 1587, 602, 19, 28, "Input"], Cell[CellGroupData[{ Cell[59038, 1610, 61, 1, 28, "Input"], Cell[59102, 1613, 610, 12, 21, "Print"] }, Open ]], Cell[59727, 1628, 123, 3, 28, "Input"], Cell[59853, 1633, 343, 11, 28, "Input"], Cell[CellGroupData[{ Cell[60221, 1648, 105, 1, 28, "Input"], Cell[60329, 1651, 189, 3, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[60555, 1659, 141, 3, 46, "Input"], Cell[60699, 1664, 208, 3, 28, "Output"] }, Open ]], Cell[60922, 1670, 496, 14, 62, "Input"], Cell[CellGroupData[{ Cell[61443, 1688, 74, 1, 28, "Input"], Cell[61520, 1691, 189, 3, 28, "Output"] }, Open ]], Cell[61724, 1697, 254, 8, 28, "Input"], Cell[61981, 1707, 335, 11, 46, "Input"], Cell[62319, 1720, 2472, 61, 284, "Input"], Cell[CellGroupData[{ Cell[64816, 1785, 531, 15, 62, "Input"], Cell[65350, 1802, 274, 5, 44, "Output"] }, Open ]], Cell[65639, 1810, 316, 7, 62, "Input"], Cell[65958, 1819, 148, 2, 63, "Input"], Cell[66109, 1823, 396, 11, 62, "Input"], Cell[66508, 1836, 281, 6, 28, "Input"], Cell[CellGroupData[{ Cell[66814, 1846, 130, 2, 28, "Input"], Cell[66947, 1850, 7688, 191, 471, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[74672, 2046, 134, 2, 28, "Input"], Cell[74809, 2050, 93, 1, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[74939, 2056, 155, 3, 28, "Input"], Cell[75097, 2061, 408, 7, 28, "Output"] }, Open ]], Cell[75520, 2071, 282, 7, 28, "Input"], Cell[CellGroupData[{ Cell[75827, 2082, 127, 2, 28, "Input"], Cell[75957, 2086, 110, 1, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[76104, 2092, 274, 7, 28, "Input"], Cell[76381, 2101, 437, 8, 28, "Output"] }, Open ]], Cell[76833, 2112, 233, 6, 28, "Input"], Cell[CellGroupData[{ Cell[77091, 2122, 130, 2, 28, "Input"], Cell[77224, 2126, 133, 2, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[77394, 2133, 103, 2, 28, "Input"], Cell[77500, 2137, 544, 17, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[78081, 2159, 232, 6, 28, "Input"], Cell[78316, 2167, 430, 8, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[78783, 2180, 229, 6, 28, "Input"], Cell[79015, 2188, 489, 9, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[79541, 2202, 231, 6, 28, "Input"], Cell[79775, 2210, 422, 8, 28, "Output"] }, Open ]], Cell[80212, 2221, 498, 14, 28, "Input"], Cell[CellGroupData[{ Cell[80735, 2239, 98, 1, 28, "Input"], Cell[80836, 2242, 752, 22, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[81625, 2269, 234, 5, 28, "Input"], Cell[81862, 2276, 864, 24, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[82763, 2305, 183, 4, 28, "Input"], Cell[82949, 2311, 740, 22, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[83726, 2338, 109, 1, 28, "Input"], Cell[83838, 2341, 108, 1, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[83983, 2347, 242, 5, 28, "Input"], Cell[84228, 2354, 1666, 50, 124, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[85931, 2409, 190, 4, 28, "Input"], Cell[86124, 2415, 1701, 54, 124, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[87862, 2474, 129, 2, 28, "Input"], Cell[87994, 2478, 1209, 29, 124, "Output"] }, Open ]], Cell[89218, 2510, 493, 11, 44, "Input"] } ] *) (* End of internal cache information *)