(* 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[ 91523, 2621] NotebookOptionsPosition[ 88259, 2518] NotebookOutlinePosition[ 88612, 2534] CellTagsIndexPosition[ 88569, 2531] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{ "This", " ", "Mathematica", " ", "notebook", " ", "checks", " ", "that", " ", "for", " ", "a", " ", "particular", " ", "choice", " ", "of", " ", "a", " ", "degeneration"}], ",", " ", RowBox[{ "the", " ", "21", " ", "x", " ", "21", " ", "monodromy", " ", "matrices", " ", "are", " ", "linearly", " ", RowBox[{"independent", ".", " ", "The"}], " ", "reduction", " ", "step", " ", "to", " ", "this", " ", "linear", " ", "algebra", " ", "computation", " ", "is", " ", "described", " ", "in", " ", "the", " ", "paper", " ", "\"\\"", " ", "by", " ", "Alexeev", " ", "et", " ", RowBox[{"al", "."}]}]}], " ", "*)"}], "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ "We", " ", "are", " ", "working", " ", "in", " ", "the", " ", "Minkowski", " ", "space", " ", RowBox[{"I", "^", RowBox[{"{", RowBox[{"6", ",", "1"}], "}"}]}], " ", "with", " ", "the", " ", "following", " ", "inner", " ", RowBox[{"product", ":"}]}], " ", "*)"}], "\[IndentingNewLine]", 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.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.633628541665657*^9, 3.633628773474101*^9}, { 3.633629070907475*^9, 3.633629078298956*^9}, {3.633629759559515*^9, 3.6336297663400497`*^9}, {3.6336509957120953`*^9, 3.633651044610078*^9}, { 3.633651075593733*^9, 3.6336511249834757`*^9}, {3.6336520500288363`*^9, 3.633652061439835*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"First", ",", " ", RowBox[{ "we", " ", "define", " ", "27", " ", "lines", " ", "on", " ", "a", " ", "cubic", " ", "surface"}], ",", " ", RowBox[{ RowBox[{"as", " ", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}], "-", RowBox[{ "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"], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"s", "=", "1"}], ";"}], " ", RowBox[{"(*", " ", RowBox[{"\"\\"", " ", "stands", " ", "for", " ", "\"\\""}], " ", "*)"}]}], "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "6"}], ",", RowBox[{"i", "++"}], ",", " ", RowBox[{ RowBox[{ RowBox[{"line", "[", RowBox[{"[", RowBox[{"s", ",", "i"}], "]"}], "]"}], "=", "1"}], ";", RowBox[{"s", "++"}]}]}], "]"}], "\[IndentingNewLine]", 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]", "]"}], "\[IndentingNewLine]", 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", "++"}]}]}], "]"}]}], "]"}], "\[IndentingNewLine]", RowBox[{"line", "//", "MatrixForm"}]}], "Input", CellChangeTimes->{{3.550077989450477*^9, 3.5500779967988977`*^9}, 3.5500788774792695`*^9, {3.633628788537435*^9, 3.6336288026409693`*^9}, { 3.633651146351266*^9, 3.633651199176322*^9}, {3.6336512380062532`*^9, 3.6336512444385157`*^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.633651245965991*^9, 3.633652074363254*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"Next", ",", " ", RowBox[{"we", " ", "define", " ", "the", " ", "36", " ", "roots"}], ",", " ", RowBox[{ RowBox[{"as", " ", RowBox[{"(", RowBox[{"-", "2"}], ")"}]}], "-", RowBox[{"vectors", " ", "in", " ", RowBox[{"I", "^", RowBox[{"{", RowBox[{"1", ",", "6"}], "}"}]}]}]}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"root", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "36"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "7"}], "}"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"r", "=", "1"}], ";"}], "\[IndentingNewLine]", 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", "++"}]}]}], "]"}]}], "]"}], "\[IndentingNewLine]", 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", "++"}]}]}], "]"}]}], "]"}]}], "]"}], "\[IndentingNewLine]", 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"}]}]}], "]"}], ";"}], "\[IndentingNewLine]", RowBox[{"root", "//", "MatrixForm"}]}]}]], "Input", CellChangeTimes->{{3.5500787924634066`*^9, 3.550078838296028*^9}, 3.5747944214656024`*^9, {3.5747959784576573`*^9, 3.5747959815698357`*^9}, { 3.633628861378131*^9, 3.633628888193221*^9}, {3.633652101300864*^9, 3.633652101717579*^9}}], 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.6336521032152*^9, 3.633652108083516*^9}}] }, Open ]], Cell[BoxData[""], "Input", CellChangeTimes->{{3.550078849416664*^9, 3.5500788733110313`*^9}, { 3.6336512679489326`*^9, 3.633651290484869*^9}, 3.6336520994550047`*^9}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{ "Prods", " ", "is", " ", "the", " ", "matrix", " ", "of", " ", "intersection", " ", "numbers", " ", "between", " ", "lines", " ", "and", " ", "roots"}], ",", " ", RowBox[{ RowBox[{"for", " ", "self"}], "-", "check"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.633629040211006*^9, 3.633629065859332*^9}}], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"Prods", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "36"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "27"}], "}"}]}], "]"}]}], ";"}], " "}], "\[IndentingNewLine]", 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]", RowBox[{"Prods", "//", "MatrixForm"}]}], "Input", CellChangeTimes->{{3.550081756549943*^9, 3.550081787823732*^9}, { 3.550082107071992*^9, 3.550082124992017*^9}, 3.5500821570328493`*^9, { 3.6336290859171667`*^9, 3.633629088828991*^9}, {3.6336513468664083`*^9, 3.633651347226885*^9}}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ { RowBox[{"-", "1"}], "1", "0", "0", "0", "0", RowBox[{"-", "1"}], "1", "0", "0", "0", "0", "0", "1", "1", "1", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0"}, { RowBox[{"-", "1"}], "0", "1", "0", "0", "0", RowBox[{"-", "1"}], "0", "1", "0", "0", "0", "1", "0", "1", "1", "1", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0"}, { RowBox[{"-", "1"}], "0", "0", "1", "0", "0", RowBox[{"-", "1"}], "0", "0", "1", "0", "0", "1", "1", "0", "1", "1", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0"}, { RowBox[{"-", "1"}], "0", "0", "0", "1", "0", RowBox[{"-", "1"}], "0", "0", "0", "1", "0", "1", "1", "1", "0", "1", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], "0", "0", "0", "0", "1", RowBox[{"-", "1"}], "0", "0", "0", "0", "1", "1", "1", "1", "1", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, {"0", RowBox[{"-", "1"}], "1", "0", "0", "0", "0", RowBox[{"-", "1"}], "1", "0", "0", "0", "1", RowBox[{"-", "1"}], "0", "0", "0", "0", "1", "1", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0"}, {"0", RowBox[{"-", "1"}], "0", "1", "0", "0", "0", RowBox[{"-", "1"}], "0", "1", "0", "0", "1", "0", RowBox[{"-", "1"}], "0", "0", "1", "0", "1", "1", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0"}, {"0", RowBox[{"-", "1"}], "0", "0", "1", "0", "0", RowBox[{"-", "1"}], "0", "0", "1", "0", "1", "0", "0", RowBox[{"-", "1"}], "0", "1", "1", "0", "1", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}]}, {"0", RowBox[{"-", "1"}], "0", "0", "0", "1", "0", RowBox[{"-", "1"}], "0", "0", "0", "1", "1", "0", "0", "0", RowBox[{"-", "1"}], "1", "1", "1", "0", "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, {"0", "0", RowBox[{"-", "1"}], "1", "0", "0", "0", "0", RowBox[{"-", "1"}], "1", "0", "0", "0", "1", RowBox[{"-", "1"}], "0", "0", "1", RowBox[{"-", "1"}], "0", "0", "0", "1", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0"}, {"0", "0", RowBox[{"-", "1"}], "0", "1", "0", "0", "0", RowBox[{"-", "1"}], "0", "1", "0", "0", "1", "0", RowBox[{"-", "1"}], "0", "1", "0", RowBox[{"-", "1"}], "0", "1", "0", "1", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}]}, {"0", "0", RowBox[{"-", "1"}], "0", "0", "1", "0", "0", RowBox[{"-", "1"}], "0", "0", "1", "0", "1", "0", "0", RowBox[{"-", "1"}], "1", "0", "0", RowBox[{"-", "1"}], "1", "1", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, {"0", "0", "0", RowBox[{"-", "1"}], "1", "0", "0", "0", "0", RowBox[{"-", "1"}], "1", "0", "0", "0", "1", RowBox[{"-", "1"}], "0", "0", "1", RowBox[{"-", "1"}], "0", "1", RowBox[{"-", "1"}], "0", "0", "1", RowBox[{"-", "1"}]}, {"0", "0", "0", RowBox[{"-", "1"}], "0", "1", "0", "0", "0", RowBox[{"-", "1"}], "0", "1", "0", "0", "1", "0", RowBox[{"-", "1"}], "0", "1", "0", RowBox[{"-", "1"}], "1", "0", RowBox[{"-", "1"}], "1", "0", RowBox[{"-", "1"}]}, {"0", "0", "0", "0", RowBox[{"-", "1"}], "1", "0", "0", "0", "0", RowBox[{"-", "1"}], "1", "0", "0", "0", "1", RowBox[{"-", "1"}], "0", "0", "1", RowBox[{"-", "1"}], "0", "1", RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], "0"}, {"1", "1", "1", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "1", "1", "1"}, {"1", "1", "0", "1", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "1", "1", "0", "0", "1"}, {"1", "1", "0", "0", "1", "0", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", "1", "0", "1", "0", "1", "0"}, {"1", "1", "0", "0", "0", "1", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "1", "1", "0", "1", "0", "0"}, {"1", "0", "1", "1", "0", "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", "0", "1", "1", RowBox[{"-", "1"}], "0", "0", "0", "0", "1"}, {"1", "0", "1", "0", "1", "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "1", "0", "1", "0", RowBox[{"-", "1"}], "0", "0", "1", "0"}, {"1", "0", "1", "0", "0", "1", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "1", "1", "0", "0", "0", RowBox[{"-", "1"}], "1", "0", "0"}, {"1", "0", "0", "1", "1", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "1", "0", "0", "1", "0", "0", "1", RowBox[{"-", "1"}], "0", "0"}, {"1", "0", "0", "1", "0", "1", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "1", "0", "1", "0", "0", "1", "0", "0", RowBox[{"-", "1"}], "0"}, {"1", "0", "0", "0", "1", "1", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", "1", "0", "0", "1", "0", "0", "0", "0", RowBox[{"-", "1"}]}, {"0", "1", "1", "1", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", "1", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0", "1"}, {"0", "1", "1", "0", "1", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "1", "0", "1", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "1", "0"}, {"0", "1", "1", "0", "0", "1", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", "1", "1", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "1", "0", "0"}, {"0", "1", "0", "1", "1", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "1", "0", "0", "1", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", "1", RowBox[{"-", "1"}], "0", "0"}, {"0", "1", "0", "1", "0", "1", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "1", "0", "1", "0", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "1", "0", "0", RowBox[{"-", "1"}], "0"}, {"0", "1", "0", "0", "1", "1", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", "1", "1", "0", "0", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", "0", "0", "0", "0", RowBox[{"-", "1"}]}, {"0", "0", "1", "1", "1", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "1", "0", "0", "0", "1", "0", "0", "0", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0"}, {"0", "0", "1", "1", "0", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "1", "0", "0", "1", "0", "0", "0", "1", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0"}, {"0", "0", "1", "0", "1", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "1", "0", "1", "0", "0", "0", "1", "0", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}]}, {"0", "0", "0", "1", "1", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", "1", "1", "0", "0", "0", "1", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, {"1", "1", "1", "1", "1", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"} }, 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.633651348628417*^9, 3.6336521268157578`*^9}] }, Open ]], Cell[BoxData[ RowBox[{"\[IndentingNewLine]", "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{{3.633651365088065*^9, 3.6336513655150414`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"Now", ",", " ", RowBox[{ "we", " ", "are", " ", "getting", " ", "to", " ", "the", " ", "computation", " ", "itself"}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ RowBox[{ "myroot", " ", "is", " ", "a", " ", "table", " ", "of", " ", "12", " ", "explicit", " ", "vectors"}], ",", " ", RowBox[{ "the", " ", "first", " ", "6", " ", "of", " ", "which", " ", "form", " ", "a", " ", "basis", " ", "of", " ", "E6"}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"myroot", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "7"}], "}"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"myroot", "[", RowBox[{"[", "1", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "21", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"myroot", "[", RowBox[{"[", "2", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "1", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"myroot", "[", RowBox[{"[", "3", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "6", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"myroot", "[", RowBox[{"[", "4", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "10", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"myroot", "[", RowBox[{"[", "5", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "13", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"myroot", "[", RowBox[{"[", "6", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "15", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"myroot", "[", RowBox[{"[", "7", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "36", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"myroot", "[", RowBox[{"[", "8", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "17", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"myroot", "[", RowBox[{"[", "9", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "26", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"myroot", "[", RowBox[{"[", "10", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "11", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"myroot", "[", RowBox[{"[", "11", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "2", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"myroot", "[", RowBox[{"[", "12", "]"}], "]"}], "=", RowBox[{"root", "[", RowBox[{"[", "12", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"myroot", "//", "MatrixForm"}]}]}]], "Input", CellChangeTimes->{{3.633629113579308*^9, 3.633629174789876*^9}, { 3.633649412078511*^9, 3.633649563579213*^9}}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ { RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "1"}, {"1", RowBox[{"-", "1"}], "0", "0", "0", "0", "0"}, {"0", "1", RowBox[{"-", "1"}], "0", "0", "0", "0"}, {"0", "0", "1", RowBox[{"-", "1"}], "0", "0", "0"}, {"0", "0", "0", "1", RowBox[{"-", "1"}], "0", "0"}, {"0", "0", "0", "0", "1", RowBox[{"-", "1"}], "0"}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "2"}, { RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", "1"}, {"0", RowBox[{"-", "1"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "0", "0", "1"}, {"0", "0", "1", "0", RowBox[{"-", "1"}], "0", "0"}, {"1", "0", RowBox[{"-", "1"}], "0", "0", "0", "0"}, {"0", "0", "1", "0", "0", RowBox[{"-", "1"}], "0"} }, 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.633649565942181*^9, 3.633652139020084*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{ RowBox[{ "Let", " ", "us", " ", "check", " ", "that", " ", "the", " ", "first", " ", "6", " ", "vectors", " ", "indeed", " ", "form", " ", "a", " ", "basis", " ", "of", " ", RowBox[{"E6", ".", " ", "We"}], " ", "add", " ", "vector", " ", RowBox[{"(", RowBox[{"1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", RowBox[{"-", "3"}]}], ")"}], " ", "to", " ", "the", " ", "first", " ", "6", " ", "vectors", " ", "and", " ", "check", " ", "that", " ", "the", " ", "determinant", " ", "of", " ", "this", " ", "7", "x7", " ", "matrix", " ", "is"}], " ", "-", "3"}], ",", " ", RowBox[{"as", " ", "expected"}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"first6rootsandk", " ", "=", " ", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "7"}], "}"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "6"}], ",", RowBox[{"i", "++"}], ",", " ", RowBox[{ RowBox[{"first6rootsandk", "[", RowBox[{"[", "i", "]"}], "]"}], "=", RowBox[{"myroot", "[", RowBox[{"[", "i", "]"}], "]"}]}]}], " ", "]"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"first6rootsandk", "[", RowBox[{"[", "7", "]"}], "]"}], " ", "=", " ", RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", RowBox[{"-", "3"}]}], "}"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"Det", "[", "first6rootsandk", "]"}], "\[IndentingNewLine]"}]}]], "Input", CellChangeTimes->{{3.633651393929702*^9, 3.633651569445421*^9}}], Cell[BoxData[ RowBox[{"-", "3"}]], "Output", CellChangeTimes->{{3.6336515520697317`*^9, 3.633651563013505*^9}, 3.633652145902521*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{"ker", " ", "=", " ", RowBox[{ RowBox[{ RowBox[{ RowBox[{"ker", " ", "\\", "oplus_"}], RowBox[{"{", RowBox[{"k", "=", "1"}], "}"}]}], "&"}], RowBox[{ RowBox[{"{", "12", "}"}], " ", "\\", "to"}], " ", "E6"}]}], ",", " ", RowBox[{"which", " ", "is", " ", "identified", " ", "with", " ", "H_", "1", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"\\", "Gamma"}], ",", "Z"}], ")"}], "^", RowBox[{"{", RowBox[{"-", "5"}], "}"}]}]}], ",", " ", RowBox[{"as", " ", "in", " ", "Lemma", " ", "4.8"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.633651577898445*^9, 3.633651620713436*^9}, 3.633651815319562*^9, {3.633652266886241*^9, 3.633652270069182*^9}}], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"ker", "=", RowBox[{"NullSpace", "[", RowBox[{"Transpose", "[", "myroot", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"ker", "//", "MatrixForm"}]}], "Input", CellChangeTimes->{{3.633643550312771*^9, 3.633643592855521*^9}, { 3.633649592093082*^9, 3.633649596884335*^9}, {3.633651791965941*^9, 3.633651818005987*^9}}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", "0", "0", "1", "1", "1", "0", "0", "0", "0", "0", RowBox[{"-", "1"}]}, {"0", "1", "1", "0", "0", "0", "0", "0", "0", "0", RowBox[{"-", "1"}], "0"}, {"0", "0", "0", "1", "1", "0", "0", "0", "0", RowBox[{"-", "1"}], "0", "0"}, {"1", "1", "0", "0", RowBox[{"-", "1"}], "0", "0", "0", RowBox[{"-", "1"}], "0", "0", "0"}, {"1", "0", RowBox[{"-", "1"}], "0", RowBox[{"-", "1"}], "0", "0", RowBox[{"-", "1"}], "0", "0", "0", "0"}, {"2", "1", "0", "1", "0", "1", RowBox[{"-", "1"}], "0", "0", "0", "0", "0"} }, 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.633643561143166*^9, 3.6336435937462397`*^9}, 3.633649600746325*^9, 3.633651623906507*^9, 3.6336521573654327`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"Check", ":"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"ker", " ", ".", " ", "myroot"}], "//", "MatrixForm"}]}]], "Input", CellChangeTimes->{{3.633643649338347*^9, 3.633643689435259*^9}, { 3.6336496055964613`*^9, 3.63364960846777*^9}, 3.6336518213194*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"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", "0"}, {"0", "0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0", "0"} }, 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.6336436717219563`*^9, 3.6336437235398903`*^9, 3.633649610134606*^9, 3.6336516301628857`*^9, 3.6336521646002207`*^9}] }, Open ]], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{ "p", " ", "is", " ", "the", " ", "matrix", " ", "associating", " ", "to", " ", "a", " ", "root", " ", "R_k"}], ",", " ", RowBox[{"1", "\[LessEqual]", "k", "\[LessEqual]", "12"}], ",", " ", RowBox[{ "the", " ", "path", " ", "in", " ", "the", " ", "tree", " ", "T", " ", "of", " ", "Fig", " ", "1"}], ",", " ", RowBox[{"consisting", " ", "of", " ", "edges", " ", "e_i"}], ",", " ", RowBox[{"1", "\[LessEqual]", "i", "\[LessEqual]", RowBox[{ "21", " ", "from", " ", "the", " ", "central", " ", "point", " ", "O", " ", "to", " ", "the", " ", "ramification", " ", "point", " ", "labelled", " ", "by", " ", "R_k"}]}], ",", " ", RowBox[{"as", " ", "in", " ", "Lemma", " ", "4.10"}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.6336292739106903`*^9, 3.633629310750433*^9}, { 3.633629429883218*^9, 3.633629434975404*^9}, {3.633645183341496*^9, 3.63364522138667*^9}, {3.6336452765519876`*^9, 3.633645344124885*^9}, { 3.6336458804962063`*^9, 3.633645895927421*^9}, 3.633651697702435*^9, { 3.633652290144087*^9, 3.633652293612481*^9}, {3.633652734619129*^9, 3.633652753209489*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"p", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "21"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "12"}], "}"}]}], "]"}]}], ";"}], " ", RowBox[{"(*", " ", RowBox[{"edges", "-", "to", "-", "endpoints"}], " ", "*)"}], "\[IndentingNewLine]"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{"The", " ", "rows", " ", "are", " ", "labeled", " ", "A"}], ",", "A0", ",", "A1", ",", "A00", ",", "A01", ",", "A10", ",", "A11", ",", " ", "B", ",", "B0", ",", "B1", ",", "B00", ",", "B01", ",", "B10", ",", "B11", ",", " ", "C", ",", "C0", ",", "C1", ",", "C00", ",", "C01", ",", "C10", ",", RowBox[{"C11", "\[IndentingNewLine]", "A"}], ",", "B", ",", RowBox[{"C", " ", "are", " ", "the", " ", "central", " ", "branches"}], ",", " ", RowBox[{ RowBox[{"A0", "..."}], "C1", " ", "are", " ", "the", " ", "next", " ", "6", " ", "edges"}], ",", " ", RowBox[{ RowBox[{"A00", "..."}], "C11", " ", "are", " ", "the", " ", "next", " ", "12", " ", "edges"}]}], " ", "*)"}]}]}], "Input", CellChangeTimes->{{3.5500833700442295`*^9, 3.5500834421523542`*^9}, { 3.5747944763607426`*^9, 3.5747944773457985`*^9}, {3.574796021618126*^9, 3.574796049089697*^9}, {3.633629321257493*^9, 3.633629347295487*^9}, { 3.633645830669715*^9, 3.6336458664165907`*^9}, {3.633646011634726*^9, 3.633646042185031*^9}, 3.633651698529716*^9}], Cell[BoxData[ RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "0"}], ",", RowBox[{"i", "<", "3"}], ",", RowBox[{"i", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"[", RowBox[{ RowBox[{ RowBox[{"7", "*", "i"}], "+", "1"}], ",", RowBox[{ RowBox[{"4", "*", "i"}], "+", "1"}]}], "]"}], "]"}], "=", RowBox[{ RowBox[{"p", "[", RowBox[{"[", RowBox[{ RowBox[{ RowBox[{"7", "*", "i"}], "+", "1"}], ",", RowBox[{ RowBox[{"4", "*", "i"}], "+", "2"}]}], "]"}], "]"}], "=", RowBox[{ RowBox[{"p", "[", RowBox[{"[", RowBox[{ RowBox[{ RowBox[{"7", "*", "i"}], "+", "1"}], ",", RowBox[{ RowBox[{"4", "*", "i"}], "+", "3"}]}], "]"}], "]"}], "=", RowBox[{ RowBox[{"p", "[", RowBox[{"[", RowBox[{ RowBox[{ RowBox[{"7", "*", "i"}], "+", "1"}], ",", RowBox[{ RowBox[{"4", "*", "i"}], "+", "4"}]}], "]"}], "]"}], "=", "1"}]}]}]}], ";", " ", RowBox[{"(*", " ", RowBox[{"A", " ", "B", " ", "C"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"p", "[", RowBox[{"[", RowBox[{ RowBox[{ RowBox[{"7", "*", "i"}], "+", "2"}], ",", RowBox[{ RowBox[{"4", "*", "i"}], "+", "1"}]}], "]"}], "]"}], "=", RowBox[{ RowBox[{"p", "[", RowBox[{"[", RowBox[{ RowBox[{ RowBox[{"7", "*", "i"}], "+", "2"}], ",", RowBox[{ RowBox[{"4", "*", "i"}], "+", "2"}]}], "]"}], "]"}], "=", "1"}]}], ";", " ", RowBox[{"(*", " ", RowBox[{"A0", " ", "B0", " ", "C0"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"p", "[", RowBox[{"[", RowBox[{ RowBox[{ RowBox[{"7", "*", "i"}], "+", "3"}], ",", RowBox[{ RowBox[{"4", "*", "i"}], "+", "3"}]}], "]"}], "]"}], "=", RowBox[{ RowBox[{"p", "[", RowBox[{"[", RowBox[{ RowBox[{ RowBox[{"7", "*", "i"}], "+", "3"}], ",", RowBox[{ RowBox[{"4", "*", "i"}], "+", "4"}]}], "]"}], "]"}], "=", "1"}]}], ";", " ", RowBox[{"(*", " ", RowBox[{"A1", " ", "B1", " ", "C1"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"p", "[", RowBox[{"[", RowBox[{ RowBox[{ RowBox[{"7", "*", "i"}], "+", "4"}], ",", RowBox[{ RowBox[{"4", "*", "i"}], "+", "1"}]}], "]"}], "]"}], "=", "1"}], ";", RowBox[{"(*", " ", RowBox[{"A00", " ", "B00", " ", "C00"}], " ", "*)"}], "\n", RowBox[{ RowBox[{"p", "[", RowBox[{"[", RowBox[{ RowBox[{ RowBox[{"7", "*", "i"}], "+", "5"}], ",", RowBox[{ RowBox[{"4", "*", "i"}], "+", "2"}]}], "]"}], "]"}], "=", "1"}], ";", RowBox[{"(*", " ", RowBox[{"A01", " ", "B01", " ", "C01"}], " ", "*)"}], "\n", RowBox[{ RowBox[{"p", "[", RowBox[{"[", RowBox[{ RowBox[{ RowBox[{"7", "*", "i"}], "+", "6"}], ",", RowBox[{ RowBox[{"4", "*", "i"}], "+", "3"}]}], "]"}], "]"}], "=", "1"}], ";", RowBox[{"(*", " ", RowBox[{"A10", " ", "B10", " ", "C10"}], " ", "*)"}], "\n", RowBox[{ RowBox[{"p", "[", RowBox[{"[", RowBox[{ RowBox[{ RowBox[{"7", "*", "i"}], "+", "7"}], ",", RowBox[{ RowBox[{"4", "*", "i"}], "+", "4"}]}], "]"}], "]"}], "=", "1"}]}]}], " ", RowBox[{"(*", " ", RowBox[{"A11", " ", "B11", " ", "C11"}], " ", "*)"}], "]"}]], "Input", CellChangeTimes->{{3.550083449492774*^9, 3.550083477816394*^9}, { 3.550083621616619*^9, 3.5500837919813633`*^9}, {3.5500838240621977`*^9, 3.550083836792926*^9}, {3.5500838852316966`*^9, 3.5500838860487432`*^9}, { 3.5500839381607237`*^9, 3.5500839642312155`*^9}, {3.5500840274618316`*^9, 3.5500840604687195`*^9}, {3.5500842867826643`*^9, 3.550084295754177*^9}, 3.5501412507390795`*^9, {3.633651699700642*^9, 3.633651705630446*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"p", "//", "MatrixForm"}]], "Input", CellChangeTimes->{{3.633629363747635*^9, 3.633629367092834*^9}, 3.633651706243824*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", "1", "1", "1", "0", "0", "0", "0", "0", "0", "0", "0"}, {"1", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"}, {"0", "0", "1", "1", "0", "0", "0", "0", "0", "0", "0", "0"}, {"1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"}, {"0", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"}, {"0", "0", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "1", "0", "0", "0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "1", "1", "1", "1", "0", "0", "0", "0"}, {"0", "0", "0", "0", "1", "1", "0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0", "1", "1", "0", "0", "0", "0"}, {"0", "0", "0", "0", "1", "0", "0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "1", "0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0", "1", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0", "0", "1", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0", "0", "0", "1", "1", "1", "1"}, {"0", "0", "0", "0", "0", "0", "0", "0", "1", "1", "0", "0"}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1", "1"}, {"0", "0", "0", "0", "0", "0", "0", "0", "1", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", "1", "0", "0"}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "1", "0"}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "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.633629369969668*^9, 3.633629795602709*^9, 3.633629928193947*^9}] }, Open ]], Cell[BoxData[""], "Input", CellChangeTimes->{ 3.55008422900836*^9, 3.550084282487418*^9, {3.550141339481155*^9, 3.550141349952754*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{ RowBox[{"21.27", " ", "inear", " ", "forms", " ", RowBox[{ RowBox[{"(", RowBox[{"e_i", "^", "s"}], ")"}], "^"}], "*", " ", "on", " ", "the", " ", "12"}], "-", RowBox[{"dimensional", " ", RowBox[{"space", " ", "\\", "oplus_"}], RowBox[{ RowBox[{"{", RowBox[{"k", "=", "1"}], "}"}], "^", RowBox[{"{", "12", "}"}]}], "R_k"}]}], ",", " ", RowBox[{"as", " ", "in", " ", "Lemma", " ", "4.10"}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"eis", " ", "=", " ", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "21"}], "}"}], ",", RowBox[{"{", RowBox[{"s", ",", "27"}], "}"}], ",", RowBox[{"{", RowBox[{"k", ",", "12"}], "}"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "21"}], ",", RowBox[{"i", "++"}], ",", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"s", "=", "1"}], ",", RowBox[{"s", "\[LessEqual]", "27"}], ",", RowBox[{"s", "++"}], ",", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"k", "=", "1"}], ",", RowBox[{"k", "\[LessEqual]", "12"}], ",", RowBox[{"k", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"eis", "[", RowBox[{"[", RowBox[{"i", ",", "s", ",", "k"}], "]"}], "]"}], " ", "=", " ", RowBox[{ RowBox[{"mdot", "[", RowBox[{ RowBox[{"myroot", "[", RowBox[{"[", "k", "]"}], "]"}], ",", RowBox[{"line", "[", RowBox[{"[", "s", "]"}], "]"}]}], "]"}], " ", RowBox[{"p", "[", RowBox[{"[", RowBox[{"i", ",", "k"}], "]"}], "]"}]}]}]}], " ", "]"}]}], "]"}]}], "]"}], "\[IndentingNewLine]", "\[IndentingNewLine]"}]}]], "Input", CellChangeTimes->{{3.633648695686462*^9, 3.63364885150331*^9}, { 3.6336490157548857`*^9, 3.6336491064200983`*^9}, {3.633649148234612*^9, 3.633649248948831*^9}, {3.633649621010475*^9, 3.633649624545087*^9}, { 3.6336503097702427`*^9, 3.633650317641049*^9}, 3.6336517079143476`*^9, 3.633652220419291*^9, {3.6336523039770203`*^9, 3.6336523094282913`*^9}, { 3.63365279959407*^9, 3.6336528226305723`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{"21.27", " ", "linear", " ", "forms"}], " ", "=", " ", RowBox[{ RowBox[{"restrictions", " ", "of", " ", RowBox[{ RowBox[{"(", RowBox[{"e_i", "^", "s"}], ")"}], "^"}], "*", " ", "to", " ", RowBox[{"ker", " ", "\\", "phi"}]}], " ", "=", " ", RowBox[{"rows", " ", "of", " ", "the", " ", "matrix", " ", "ker"}]}]}], " ", "*)"}], RowBox[{ RowBox[{ RowBox[{"l", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "21"}], "}"}], ",", RowBox[{"{", RowBox[{"s", ",", "27"}], "}"}], ",", RowBox[{"{", RowBox[{"f", ",", "6"}], "}"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "21"}], ",", RowBox[{"i", "++"}], ",", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"s", "=", "1"}], ",", RowBox[{"s", "\[LessEqual]", "27"}], ",", RowBox[{"s", "++"}], ",", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"f", "=", "1"}], ",", RowBox[{"f", "\[LessEqual]", "6"}], ",", RowBox[{"f", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"l", "[", RowBox[{"[", RowBox[{"i", ",", "s", ",", "f"}], "]"}], "]"}], "=", RowBox[{"Sum", "[", " ", RowBox[{ RowBox[{ RowBox[{"eis", "[", RowBox[{"[", RowBox[{"i", ",", "s", ",", "k"}], "]"}], "]"}], RowBox[{"ker", "[", RowBox[{"[", RowBox[{"f", ",", "k"}], "]"}], "]"}]}], ",", RowBox[{"{", RowBox[{"k", ",", "1", ",", "12"}], "}"}]}], " ", "]"}]}]}], " ", "]"}]}], "]"}]}], "]"}], "\[IndentingNewLine]"}]}]], "Input", CellChangeTimes->{{3.5747945158590016`*^9, 3.5747945223283715`*^9}, { 3.6336295272035627`*^9, 3.633629567410033*^9}, {3.633629602562314*^9, 3.63362960428304*^9}, 3.633641867440319*^9, {3.633649080453336*^9, 3.6336490811884317`*^9}, {3.6336496368593893`*^9, 3.6336496930818663`*^9}, {3.633649811368552*^9, 3.6336498843795147`*^9}, { 3.633649933935082*^9, 3.633649964077544*^9}, 3.6336518633624897`*^9, 3.6336522245985003`*^9, {3.633652327535727*^9, 3.633652331062409*^9}, { 3.633652837933069*^9, 3.6336528387937307`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{"21.27", " ", "quadratic", " ", "forms", " ", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"e_i", "^", "s"}], ")"}], "^"}], "*"}], "}"}], "^", "2"}]}], " ", "=", " ", RowBox[{ RowBox[{ RowBox[{"l", "[", RowBox[{"i", ",", "s"}], "]"}], ".", "Transpose"}], RowBox[{"(", RowBox[{"l", "[", RowBox[{"i", ",", "s"}], "]"}], ")"}]}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"q", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "21"}], "}"}], ",", RowBox[{"{", RowBox[{"s", ",", "27"}], "}"}], ",", RowBox[{"{", RowBox[{"a", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "6"}], "}"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "21"}], ",", RowBox[{"i", "++"}], ",", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"s", "=", "1"}], ",", RowBox[{"s", "\[LessEqual]", "27"}], ",", RowBox[{"s", "++"}], ",", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"a", "=", "1"}], ",", RowBox[{"a", "\[LessEqual]", "6"}], ",", RowBox[{"a", "++"}], ",", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"b", "=", "1"}], ",", RowBox[{"b", "\[LessEqual]", "6"}], ",", RowBox[{"b", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"q", "[", RowBox[{"[", RowBox[{"i", ",", "s", ",", "a", ",", "b"}], "]"}], "]"}], "=", RowBox[{ RowBox[{"l", "[", RowBox[{"[", RowBox[{"i", ",", "s", ",", "a"}], "]"}], "]"}], RowBox[{"l", "[", RowBox[{"[", RowBox[{"i", ",", "s", ",", "b"}], "]"}], "]"}]}]}]}], " ", "]"}]}], "]"}]}], "]"}]}], "]"}], "\[IndentingNewLine]"}]}]], "Input", CellChangeTimes->{{3.6336499688431997`*^9, 3.633650320096899*^9}, { 3.633652354406386*^9, 3.633652360684909*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"21", " ", "quadratic", " ", RowBox[{"forms", " ", "\\", "sum_"}], RowBox[{ RowBox[{"{", RowBox[{"s", "=", "1"}], "}"}], "^", RowBox[{"{", "27", "}"}]}], " ", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"e_i", "^", "s"}], ")"}], "^"}], "*"}], "}"}], "^", "2"}], " ", "/", " ", "6"}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"Q", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "21"}], "}"}], ",", RowBox[{"{", RowBox[{"a", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "6"}], "}"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "21"}], ",", RowBox[{"i", "++"}], ",", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"a", "=", "1"}], ",", RowBox[{"a", "\[LessEqual]", "6"}], ",", RowBox[{"a", "++"}], ",", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"b", "=", "1"}], ",", RowBox[{"b", "\[LessEqual]", "6"}], ",", RowBox[{"b", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"Q", "[", RowBox[{"[", RowBox[{"i", ",", "a", ",", "b"}], "]"}], "]"}], "=", RowBox[{ RowBox[{"Sum", "[", " ", RowBox[{ RowBox[{"q", "[", RowBox[{"[", RowBox[{"i", ",", "s", ",", "a", ",", "b"}], "]"}], "]"}], ",", RowBox[{"{", RowBox[{"s", ",", "1", ",", "27"}], "}"}]}], " ", "]"}], "/", "6"}]}]}], " ", "]"}]}], "]"}]}], "]"}]}]}]], "Input", CellChangeTimes->{{3.6336502887794724`*^9, 3.6336504522607403`*^9}, { 3.633650578168524*^9, 3.6336505930563717`*^9}, {3.633652395953557*^9, 3.633652400712364*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"Let", " ", "us", " ", "see", " ", "them"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "21"}], ",", RowBox[{"i", "++"}], ",", " ", RowBox[{ RowBox[{"matrix", " ", "=", " ", RowBox[{ RowBox[{"Q", "[", RowBox[{"[", "i", "]"}], "]"}], "//", "MatrixForm"}]}], ";", " ", RowBox[{"Print", "[", "matrix", "]"}]}]}], " ", "]"}]}]], "Input", CellChangeTimes->{{3.6336506165566807`*^9, 3.633650704438416*^9}, { 3.633652417944549*^9, 3.63365242445028*^9}}], Cell[CellGroupData[{ Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"2", RowBox[{"-", "1"}], "2", RowBox[{"-", "1"}], "0", "0"}, { RowBox[{"-", "1"}], "2", RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], "0"}, {"2", RowBox[{"-", "1"}], "2", RowBox[{"-", "1"}], "0", "0"}, { RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], "2", "1", "2"}, {"0", RowBox[{"-", "1"}], "0", "1", "2", "2"}, {"0", "0", "0", "2", "2", "4"} }, 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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.6336524275349197`*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", "0", "0", "0", "0", "0"}, {"0", "2", "0", "1", RowBox[{"-", "1"}], "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "1", "0", "2", "1", "3"}, {"0", RowBox[{"-", "1"}], "0", "1", "2", "3"}, {"0", "0", "0", "3", "3", "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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.6336524275420313`*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"2", RowBox[{"-", "1"}], "2", "0", "1", "2"}, { RowBox[{"-", "1"}], "2", RowBox[{"-", "1"}], "0", RowBox[{"-", "2"}], RowBox[{"-", "1"}]}, {"2", RowBox[{"-", "1"}], "2", "0", "1", "2"}, {"0", "0", "0", "0", "0", "0"}, {"1", RowBox[{"-", "2"}], "1", "0", "2", "1"}, {"2", RowBox[{"-", "1"}], "2", "0", "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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.633652427550961*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "2", "2", "4"}, {"0", "0", "0", "2", "2", "4"}, {"0", "0", "0", "4", "4", "8"} }, 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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.6336524275600367`*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", "0", "0", "0", "0", "0"}, {"0", "2", "0", "2", "0", "2"}, {"0", "0", "0", "0", "0", "0"}, {"0", "2", "0", "2", "0", "2"}, {"0", "0", "0", "0", "0", "0"}, {"0", "2", "0", "2", "0", "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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.63365242756911*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", "0", "0", "0", "0", "0"}, {"0", "2", "0", "0", RowBox[{"-", "2"}], "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", RowBox[{"-", "2"}], "0", "0", "2", "0"}, {"0", "0", "0", "0", "0", "0"} }, 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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.633652427577993*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"2", "0", "2", "0", "0", "2"}, {"0", "0", "0", "0", "0", "0"}, {"2", "0", "2", "0", "0", "2"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"2", "0", "2", "0", "0", "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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.633652427586851*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"2", "0", "1", RowBox[{"-", "1"}], "0", "1"}, {"0", "0", "0", "0", "0", "0"}, {"1", "0", "2", RowBox[{"-", "2"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], "0", RowBox[{"-", "2"}], "2", "1", "1"}, {"0", "0", RowBox[{"-", "1"}], "1", "2", "2"}, {"1", "0", RowBox[{"-", "1"}], "1", "2", "4"} }, 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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.633652427595689*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"2", "0", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1"}, {"0", "0", "0", "0", "0", "0"}, {"1", "0", "2", RowBox[{"-", "2"}], RowBox[{"-", "2"}], RowBox[{"-", "1"}]}, { RowBox[{"-", "1"}], "0", RowBox[{"-", "2"}], "2", "2", "1"}, { RowBox[{"-", "1"}], "0", RowBox[{"-", "2"}], "2", "2", "1"}, {"1", "0", RowBox[{"-", "1"}], "1", "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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.6336524276046886`*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"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", "0", "2", "1"}, {"0", "0", "0", "0", "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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.633652427613549*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"2", "0", "2", RowBox[{"-", "2"}], RowBox[{"-", "2"}], "0"}, {"0", "0", "0", "0", "0", "0"}, {"2", "0", "2", RowBox[{"-", "2"}], RowBox[{"-", "2"}], "0"}, { RowBox[{"-", "2"}], "0", RowBox[{"-", "2"}], "2", "2", "0"}, { RowBox[{"-", "2"}], "0", RowBox[{"-", "2"}], "2", "2", "0"}, {"0", "0", "0", "0", "0", "0"} }, 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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.6336524276226997`*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"2", "0", "0", "0", "0", "2"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"2", "0", "0", "0", "0", "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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.633652427631613*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"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", "0", "0", "0"}, {"0", "0", "0", "0", "0", "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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.633652427640465*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"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", "0", "2", "0"}, {"0", "0", "0", "0", "0", "0"} }, 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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.6336524276493196`*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"2", RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], "0", "0"}, { RowBox[{"-", "1"}], "2", RowBox[{"-", "1"}], "1", "0", "0"}, {"1", RowBox[{"-", "1"}], "2", RowBox[{"-", "1"}], "0", "0"}, { RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], "2", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"} }, 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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.633652427658176*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "2", RowBox[{"-", "1"}], "0", "0"}, {"0", "0", RowBox[{"-", "1"}], "2", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"} }, 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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.633652427667007*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"2", RowBox[{"-", "1"}], "0", "0", "0", "0"}, { RowBox[{"-", "1"}], "2", "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", "0"} }, 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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.6336524276760473`*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "2", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"} }, 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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.6336524276848917`*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "2", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0"} }, 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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.633652427693769*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", "0", "0", "0", "0", "0"}, {"0", "2", "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", "0"} }, 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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.63365242770263*^9}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"2", "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", "0", "0"}, {"0", "0", "0", "0", "0", "0"} }, 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$]]]], "Print", CellChangeTimes->{{3.633650639948928*^9, 3.633650648664117*^9}, 3.633650705579639*^9, 3.633652427711564*^9}] }, Open ]] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ "Now", " ", "convert", " ", "these", " ", "symmetric", " ", "6", "x6", " ", "matrices", " ", "to", " ", "vectors", " ", "in", " ", RowBox[{"Z", "^", RowBox[{"{", "21", "}"}]}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"v", "=", RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{"i", ",", "21"}], "}"}], ",", RowBox[{"{", RowBox[{"n", ",", "21"}], "}"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"i", "=", "1"}], ",", RowBox[{"i", "\[LessEqual]", "21"}], ",", RowBox[{"i", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"n", "=", "1"}], ";", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"a", "=", "1"}], ",", RowBox[{"a", "\[LessEqual]", "6"}], ",", RowBox[{"a", "++"}], ",", "\[IndentingNewLine]", RowBox[{"For", "[", RowBox[{ RowBox[{"b", "=", "a"}], ",", RowBox[{"b", "\[LessEqual]", "6"}], ",", RowBox[{"b", "++"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"v", "[", RowBox[{"[", RowBox[{"i", ",", "n"}], "]"}], "]"}], "=", RowBox[{"Q", "[", RowBox[{"[", RowBox[{"i", ",", "a", ",", "b"}], "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"n", "++"}], ";"}]}], " ", "]"}]}], "]"}]}]}], " ", "]"}], "\[IndentingNewLine]"}]}]], "Input", CellChangeTimes->{{3.633650715391521*^9, 3.6336508875921173`*^9}}], Cell[BoxData[""], "Input", CellChangeTimes->{{3.633650908483429*^9, 3.6336509244645443`*^9}, 3.633652456721648*^9}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ "Here", " ", "are", " ", "the", " ", "21", " ", "matrices", " ", "as", " ", "21", " ", RowBox[{"vectors", ":"}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"v", "//", "MatrixForm"}]}]], "Input", CellChangeTimes->{{3.633650891241632*^9, 3.633650894599763*^9}, { 3.633652458801416*^9, 3.633652459753172*^9}}], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"2", RowBox[{"-", "1"}], "2", RowBox[{"-", "1"}], "0", "0", "2", RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], "0", "2", RowBox[{"-", "1"}], "0", "0", "2", "1", "2", "2", "2", "4"}, {"0", "0", "0", "0", "0", "0", "2", "0", "1", RowBox[{"-", "1"}], "0", "0", "0", "0", "0", "2", "1", "3", "2", "3", "6"}, {"2", RowBox[{"-", "1"}], "2", "0", "1", "2", "2", RowBox[{"-", "1"}], "0", RowBox[{"-", "2"}], RowBox[{"-", "1"}], "2", "0", "1", "2", "0", "0", "0", "2", "1", "2"}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "2", "2", "4", "2", "4", "8"}, {"0", "0", "0", "0", "0", "0", "2", "0", "2", "0", "2", "0", "0", "0", "0", "2", "0", "2", "0", "0", "2"}, {"0", "0", "0", "0", "0", "0", "2", "0", "0", RowBox[{"-", "2"}], "0", "0", "0", "0", "0", "0", "0", "0", "2", "0", "0"}, {"2", "0", "2", "0", "0", "2", "0", "0", "0", "0", "0", "2", "0", "0", "2", "0", "0", "0", "0", "0", "2"}, {"2", "0", "1", RowBox[{"-", "1"}], "0", "1", "0", "0", "0", "0", "0", "2", RowBox[{"-", "2"}], RowBox[{"-", "1"}], RowBox[{"-", "1"}], "2", "1", "1", "2", "2", "4"}, {"2", "0", "1", RowBox[{"-", "1"}], RowBox[{"-", "1"}], "1", "0", "0", "0", "0", "0", "2", RowBox[{"-", "2"}], RowBox[{"-", "2"}], RowBox[{"-", "1"}], "2", "2", "1", "2", "1", "2"}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "2", "1", "2"}, {"2", "0", "2", RowBox[{"-", "2"}], RowBox[{"-", "2"}], "0", "0", "0", "0", "0", "0", "2", RowBox[{"-", "2"}], RowBox[{"-", "2"}], "0", "2", "2", "0", "2", "0", "0"}, {"2", "0", "0", "0", "0", "2", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "2"}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "2"}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "2", "0", "0"}, {"2", RowBox[{"-", "1"}], "1", RowBox[{"-", "1"}], "0", "0", "2", RowBox[{"-", "1"}], "1", "0", "0", "2", RowBox[{"-", "1"}], "0", "0", "2", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "2", RowBox[{"-", "1"}], "0", "0", "2", "0", "0", "0", "0", "0"}, {"2", RowBox[{"-", "1"}], "0", "0", "0", "0", "2", "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", "0", "0", "2", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "2", "0", "0", "0", "0", "0", "0", "0", "0", "0"}, {"0", "0", "0", "0", "0", "0", "2", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"}, {"2", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"} }, 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.6336508958328876`*^9, 3.633652462341496*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"Are", " ", "they", " ", "linearly", " ", RowBox[{"indpendent", "?"}]}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"MatrixRank", "[", "v", "]"}]}]], "Input", CellChangeTimes->{{3.63365092768357*^9, 3.633650946846574*^9}, 3.6336517133093987`*^9}], Cell[BoxData["21"], "Output", CellChangeTimes->{3.633650948089435*^9, 3.6336524665478373`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Det", "[", "v", "]"}]], "Input", CellChangeTimes->{{3.633650951378571*^9, 3.633650953398211*^9}}], Cell[BoxData["4096"], "Output", CellChangeTimes->{3.6336509543919287`*^9, 3.6336524701487837`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"2", "^", "12"}]], "Input", CellChangeTimes->{{3.6336509571983147`*^9, 3.633650962053306*^9}}], Cell[BoxData["4096"], "Output", CellChangeTimes->{3.6336509628866053`*^9, 3.6336524723797207`*^9}] }, Open ]] }, WindowSize->{905, 954}, WindowMargins->{{-2, Automatic}, {Automatic, 0}}, 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, 3199, 77, 148, "Input"], Cell[3759, 99, 776, 24, 46, "Input"], Cell[CellGroupData[{ Cell[4560, 127, 2652, 75, 199, "Input"], Cell[7215, 204, 3069, 103, 471, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[10321, 312, 3779, 107, 216, "Input"], Cell[14103, 421, 3909, 133, 625, "Output"] }, Open ]], Cell[18027, 557, 170, 2, 28, "Input"], Cell[18200, 561, 387, 9, 46, "Input"], Cell[CellGroupData[{ Cell[18612, 574, 1355, 37, 97, "Input"], Cell[19970, 613, 10523, 274, 625, "Output"] }, Open ]], Cell[30508, 890, 148, 2, 63, "Input"], Cell[CellGroupData[{ Cell[30681, 896, 3397, 100, 284, "Input"], Cell[34081, 998, 1625, 51, 217, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[35743, 1054, 1903, 47, 148, "Input"], Cell[37649, 1103, 139, 3, 28, "Output"] }, Open ]], Cell[37803, 1109, 803, 22, 46, "Input"], Cell[CellGroupData[{ Cell[38631, 1135, 380, 9, 46, "Input"], Cell[39014, 1146, 1291, 32, 115, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[40342, 1183, 336, 7, 46, "Input"], Cell[40681, 1192, 944, 23, 115, "Output"] }, Open ]], Cell[41640, 1218, 1207, 23, 63, "Input"], Cell[42850, 1243, 1541, 34, 97, "Input"], Cell[44394, 1279, 4227, 126, 165, "Input"], Cell[CellGroupData[{ Cell[48646, 1409, 151, 3, 28, "Input"], Cell[48800, 1414, 2047, 38, 369, "Output"] }, Open ]], Cell[50862, 1455, 142, 3, 28, "Input"], Cell[51007, 1460, 2542, 66, 165, "Input"], Cell[53552, 1528, 2540, 63, 131, "Input"], Cell[56095, 1593, 2369, 68, 148, "Input"], Cell[58467, 1663, 2090, 59, 114, "Input"], Cell[CellGroupData[{ Cell[60582, 1726, 651, 17, 46, "Input"], Cell[CellGroupData[{ Cell[61258, 1747, 1108, 33, 102, "Print"], Cell[62369, 1782, 932, 25, 102, "Print"], Cell[63304, 1809, 1062, 31, 102, "Print"], Cell[64369, 1842, 888, 23, 102, "Print"], Cell[65260, 1867, 885, 23, 102, "Print"], Cell[66148, 1892, 930, 25, 102, "Print"], Cell[67081, 1919, 886, 23, 102, "Print"], Cell[67970, 1944, 1062, 31, 102, "Print"], Cell[69035, 1977, 1108, 33, 102, "Print"], Cell[70146, 2012, 886, 23, 102, "Print"], Cell[71035, 2037, 1064, 31, 102, "Print"], Cell[72102, 2070, 886, 23, 102, "Print"], Cell[72991, 2095, 886, 23, 102, "Print"], Cell[73880, 2120, 888, 23, 102, "Print"], Cell[74771, 2145, 1062, 31, 102, "Print"], Cell[75836, 2178, 930, 25, 102, "Print"], Cell[76769, 2205, 932, 25, 102, "Print"], Cell[77704, 2232, 888, 23, 102, "Print"], Cell[78595, 2257, 886, 23, 102, "Print"], Cell[79484, 2282, 885, 23, 102, "Print"], Cell[80372, 2307, 886, 23, 102, "Print"] }, Open ]] }, Open ]], Cell[81285, 2334, 1724, 46, 165, "Input"], Cell[83012, 2382, 120, 2, 28, "Input"], Cell[CellGroupData[{ Cell[83157, 2388, 386, 9, 46, "Input"], Cell[83546, 2399, 3727, 81, 369, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[87310, 2485, 317, 7, 46, "Input"], Cell[87630, 2494, 95, 1, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[87762, 2500, 122, 2, 28, "Input"], Cell[87887, 2504, 99, 1, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[88023, 2510, 118, 2, 28, "Input"], Cell[88144, 2514, 99, 1, 28, "Output"] }, Open ]] } ] *) (* End of internal cache information *)