diff --git a/7v7f5.nb b/7v7f5.nb new file mode 100644 index 0000000..034c212 --- /dev/null +++ b/7v7f5.nb @@ -0,0 +1,1004 @@ +(* Content-type: application/vnd.wolfram.mathematica *) + +(*** Wolfram Notebook File ***) +(* http://www.wolfram.com/nb *) + +(* CreatedBy='Mathematica 12.3' *) + +(*CacheID: 234*) +(* Internal cache information: +NotebookFileLineBreakTest +NotebookFileLineBreakTest +NotebookDataPosition[ 158, 7] +NotebookDataLength[ 40105, 994] +NotebookOptionsPosition[ 39008, 969] +NotebookOutlinePosition[ 39399, 985] +CellTagsIndexPosition[ 39356, 982] +WindowFrame->Normal*) + +(* Beginning of Notebook Content *) +Notebook[{ + +Cell[CellGroupData[{ +Cell[BoxData[{ + RowBox[{"biggermat", "=", + RowBox[{"(", "\[NoBreak]", GridBox[{ + { + RowBox[{"-", "1"}], "1", "\[Placeholder]", "1", "1", "\[Placeholder]", + "\[Placeholder]", "0", "0", "\[Placeholder]", "0", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]"}, + {"1", + RowBox[{"-", "1"}], "1", "1", "\[Placeholder]", "1", "1", + "\[Placeholder]", "0", "0", "0", "0", "0", "\[Placeholder]"}, + {"\[Placeholder]", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]", "\[Placeholder]", "0", "\[Placeholder]", "0", + "\[Placeholder]", "0"}, + {"1", "1", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "\[Placeholder]", "0", + "\[Placeholder]", "\[Placeholder]", "0", "0", "\[Placeholder]", "0"}, + {"1", "\[Placeholder]", "\[Placeholder]", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "0", "0", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "0"}, + {"\[Placeholder]", "1", "\[Placeholder]", "\[Placeholder]", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "0", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "0", "0"}, + {"\[Placeholder]", "1", "1", "\[Placeholder]", "\[Placeholder]", "1", + RowBox[{"-", "1"}], "\[Placeholder]", "\[Placeholder]", "0", + "\[Placeholder]", "\[Placeholder]", "0", "0"}, + {"0", "\[Placeholder]", "\[Placeholder]", "0", "0", "\[Placeholder]", + "\[Placeholder]", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "1", "\[Placeholder]", + "\[Placeholder]", "1"}, + {"0", "0", "\[Placeholder]", "\[Placeholder]", "0", "0", + "\[Placeholder]", "1", + RowBox[{"-", "1"}], "\[Placeholder]", "1", "\[Placeholder]", "1", "1"}, + {"\[Placeholder]", "0", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", + RowBox[{"-", "1"}], "\[Placeholder]", "1", "1", "1"}, + {"0", "0", "\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "1", "1", "\[Placeholder]", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "\[Placeholder]"}, + {"\[Placeholder]", "0", "0", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "1", "1", + RowBox[{"-", "1"}], "\[Placeholder]", "1"}, + {"\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "0", "0", "\[Placeholder]", "1", "1", + "\[Placeholder]", "\[Placeholder]", + RowBox[{"-", "1"}], "1"}, + {"\[Placeholder]", "\[Placeholder]", "0", "0", "0", "0", "0", "1", "1", + "1", "\[Placeholder]", "1", "1", + RowBox[{"-", "1"}]} + }], "\[NoBreak]", ")"}]}], "\[IndentingNewLine]", + RowBox[{"matzeros", "=", + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"\[Placeholder]", "1", "1", "\[Placeholder]", "\[Placeholder]", "0", + "0", "\[Placeholder]", "0", "\[Placeholder]"}, + {"1", "\[Placeholder]", "\[Placeholder]", "1", "1", "\[Placeholder]", + "0", "0", "0", "0"}, + {"1", "\[Placeholder]", "\[Placeholder]", "1", "\[Placeholder]", "0", + "0", "\[Placeholder]", "\[Placeholder]", "\[Placeholder]"}, + {"\[Placeholder]", "1", "1", "\[Placeholder]", "1", "\[Placeholder]", + "0", "\[Placeholder]", "\[Placeholder]", "0"}, + {"\[Placeholder]", "1", "\[Placeholder]", "1", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "0", "\[Placeholder]", "0"}, + {"0", "\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "1", "\[Placeholder]", "1", "\[Placeholder]"}, + {"0", "0", "0", "0", "\[Placeholder]", "1", "\[Placeholder]", + "\[Placeholder]", "1", "1"}, + {"\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", "0", + "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", + "1"}, + {"0", "0", "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "1", + "1", "\[Placeholder]", "\[Placeholder]", "\[Placeholder]"}, + {"\[Placeholder]", "0", "\[Placeholder]", "0", "0", "\[Placeholder]", + "1", "1", "\[Placeholder]", "\[Placeholder]"} + }], "\[NoBreak]", ")"}]}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"vars", " ", "=", " ", + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"a31", "1", "a141"}, + {"1", "1", "a142"}, + {"a35", "1", "0"}, + {"a36", "a46", "0"}, + {"1", "a47", "0"}, + {"a38", "0", "1"}, + {"a39", "a49", "1"}, + {"0", "a410", "1"}, + {"a311", "0", "a1411"}, + {"a313", "a413", "1"} + }], "\[NoBreak]", ")"}]}], + "\[IndentingNewLine]"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"bil", "[", + RowBox[{"a_", ",", "b_"}], "]"}], ":=", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"1", "/", "2"}], + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "3"}], "]"}], "]"}], "^", "2"}], "+", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}], "^", "2"}], "-", "1"}], + ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}], ")"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}]}], ")"}]}]}], "+", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "3"}], "]"}], "]"}], "^", "2"}], "+", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}], "^", "2"}], "-", "1"}], + ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}]}], ")"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}], ")"}]}]}]}], ")"}]}], + "-", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "3"}], "]"}], "]"}], "*", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "3"}], "]"}], "]"}]}], "-", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}], "*", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}]}], "==", + RowBox[{"matzeros", "[", + RowBox[{"[", + RowBox[{"a", ",", "b"}], "]"}], "]"}]}]}], + "\[IndentingNewLine]"}], "\[IndentingNewLine]", + RowBox[{"NSolve", "[", + RowBox[{ + RowBox[{"bil", "[", + RowBox[{"1", ",", "2"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "3"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "4"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "4"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"7", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"7", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"8", ",", "10"}], "]"}], "&&", + RowBox[{"a311", ">", "0"}], "&&", + RowBox[{"a49", ">", "0"}], "&&", + RowBox[{"a142", ">", "0"}], "&&", + RowBox[{"a1411", ">", "0"}], "&&", + RowBox[{"a36", ">", "0"}], "&&", + RowBox[{"a47", ">", "0"}]}], "]"}]}], "Input", + CellChangeTimes->{{3.8321500432163486`*^9, 3.832150059840227*^9}, { + 3.832150794285283*^9, 3.832150875560014*^9}, {3.832150916470787*^9, + 3.83215101914321*^9}, {3.832151061102829*^9, 3.832151104539521*^9}, { + 3.832151224028414*^9, 3.8321513209068947`*^9}, {3.832151365985897*^9, + 3.8321513892653933`*^9}, {3.832151491683951*^9, 3.8321515338727283`*^9}, { + 3.832151569899502*^9, 3.832151588812272*^9}, {3.8321516385135403`*^9, + 3.832151639682611*^9}, {3.832151678327362*^9, 3.832151824409404*^9}, { + 3.83215186998283*^9, 3.832151878535943*^9}, {3.83215192024076*^9, + 3.83215203290609*^9}, {3.8321520967120647`*^9, 3.83215265960375*^9}, { + 3.8321695818503227`*^9, + 3.832169583972975*^9}},ExpressionUUID->"20dce438-8cdc-474f-858e-\ +036756ff41fd"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"-", "1"}], ",", "1", ",", "\[Placeholder]", ",", "1", ",", "1", + ",", "\[Placeholder]", ",", "\[Placeholder]", ",", "0", ",", "0", ",", + "\[Placeholder]", ",", "0", ",", "\[Placeholder]", ",", "\[Placeholder]", + ",", "\[Placeholder]"}], "}"}], ",", + RowBox[{"{", + RowBox[{"1", ",", + RowBox[{"-", "1"}], ",", "1", ",", "1", ",", "\[Placeholder]", ",", "1", + ",", "1", ",", "\[Placeholder]", ",", "0", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "\[Placeholder]"}], "}"}], ",", + RowBox[{"{", + RowBox[{"\[Placeholder]", ",", "1", ",", + RowBox[{"-", "1"}], ",", "1", ",", "\[Placeholder]", ",", + "\[Placeholder]", ",", "1", ",", "\[Placeholder]", ",", "\[Placeholder]", + ",", "0", ",", "\[Placeholder]", ",", "0", ",", "\[Placeholder]", ",", + "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"1", ",", "1", ",", "1", ",", + RowBox[{"-", "1"}], ",", "1", ",", "\[Placeholder]", ",", + "\[Placeholder]", ",", "0", ",", "\[Placeholder]", ",", "\[Placeholder]", + ",", "0", ",", "0", ",", "\[Placeholder]", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "1", ",", "\[Placeholder]", ",", "\[Placeholder]", ",", "1", ",", + RowBox[{"-", "1"}], ",", "1", ",", "\[Placeholder]", ",", "0", ",", "0", + ",", "\[Placeholder]", ",", "\[Placeholder]", ",", "\[Placeholder]", ",", + "\[Placeholder]", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "\[Placeholder]", ",", "1", ",", "\[Placeholder]", ",", "\[Placeholder]", + ",", "1", ",", + RowBox[{"-", "1"}], ",", "1", ",", "\[Placeholder]", ",", "0", ",", + "\[Placeholder]", ",", "\[Placeholder]", ",", "\[Placeholder]", ",", "0", + ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "\[Placeholder]", ",", "1", ",", "1", ",", "\[Placeholder]", ",", + "\[Placeholder]", ",", "1", ",", + RowBox[{"-", "1"}], ",", "\[Placeholder]", ",", "\[Placeholder]", ",", + "0", ",", "\[Placeholder]", ",", "\[Placeholder]", ",", "0", ",", "0"}], + "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "\[Placeholder]", ",", "\[Placeholder]", ",", "0", ",", "0", + ",", "\[Placeholder]", ",", "\[Placeholder]", ",", + RowBox[{"-", "1"}], ",", "1", ",", "\[Placeholder]", ",", "1", ",", + "\[Placeholder]", ",", "\[Placeholder]", ",", "1"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "\[Placeholder]", ",", "\[Placeholder]", ",", "0", + ",", "0", ",", "\[Placeholder]", ",", "1", ",", + RowBox[{"-", "1"}], ",", "\[Placeholder]", ",", "1", ",", + "\[Placeholder]", ",", "1", ",", "1"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "\[Placeholder]", ",", "0", ",", "0", ",", "\[Placeholder]", ",", + "\[Placeholder]", ",", "\[Placeholder]", ",", "0", ",", "\[Placeholder]", + ",", "\[Placeholder]", ",", + RowBox[{"-", "1"}], ",", "\[Placeholder]", ",", "1", ",", "1", ",", + "1"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "\[Placeholder]", ",", "0", ",", "\[Placeholder]", + ",", "\[Placeholder]", ",", "\[Placeholder]", ",", "1", ",", "1", ",", + "\[Placeholder]", ",", + RowBox[{"-", "1"}], ",", "1", ",", "\[Placeholder]", ",", + "\[Placeholder]"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "\[Placeholder]", ",", "0", ",", "0", ",", "0", ",", "\[Placeholder]", + ",", "\[Placeholder]", ",", "\[Placeholder]", ",", "\[Placeholder]", ",", + "\[Placeholder]", ",", "1", ",", "1", ",", + RowBox[{"-", "1"}], ",", "\[Placeholder]", ",", "1"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "\[Placeholder]", ",", "0", ",", "\[Placeholder]", ",", "\[Placeholder]", + ",", "\[Placeholder]", ",", "0", ",", "0", ",", "\[Placeholder]", ",", + "1", ",", "1", ",", "\[Placeholder]", ",", "\[Placeholder]", ",", + RowBox[{"-", "1"}], ",", "1"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "\[Placeholder]", ",", "\[Placeholder]", ",", "0", ",", "0", ",", "0", + ",", "0", ",", "0", ",", "1", ",", "1", ",", "1", ",", "\[Placeholder]", + ",", "1", ",", "1", ",", + RowBox[{"-", "1"}]}], "}"}]}], "}"}]], "Output", + CellChangeTimes->{3.832152667102006*^9}, + CellLabel->"Out[19]=",ExpressionUUID->"2bacacb9-fa82-4024-bfa5-01abed5e7a1e"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + "\[Placeholder]", ",", "1", ",", "1", ",", "\[Placeholder]", ",", + "\[Placeholder]", ",", "0", ",", "0", ",", "\[Placeholder]", ",", "0", + ",", "\[Placeholder]"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "1", ",", "\[Placeholder]", ",", "\[Placeholder]", ",", "1", ",", "1", + ",", "\[Placeholder]", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "1", ",", "\[Placeholder]", ",", "\[Placeholder]", ",", "1", ",", + "\[Placeholder]", ",", "0", ",", "0", ",", "\[Placeholder]", ",", + "\[Placeholder]", ",", "\[Placeholder]"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "\[Placeholder]", ",", "1", ",", "1", ",", "\[Placeholder]", ",", "1", + ",", "\[Placeholder]", ",", "0", ",", "\[Placeholder]", ",", + "\[Placeholder]", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "\[Placeholder]", ",", "1", ",", "\[Placeholder]", ",", "1", ",", + "\[Placeholder]", ",", "\[Placeholder]", ",", "\[Placeholder]", ",", "0", + ",", "\[Placeholder]", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "\[Placeholder]", ",", "0", ",", "\[Placeholder]", ",", + "\[Placeholder]", ",", "\[Placeholder]", ",", "1", ",", "\[Placeholder]", + ",", "1", ",", "\[Placeholder]"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "0", ",", "0", ",", "\[Placeholder]", ",", "1", ",", + "\[Placeholder]", ",", "\[Placeholder]", ",", "1", ",", "1"}], "}"}], + ",", + RowBox[{"{", + RowBox[{ + "\[Placeholder]", ",", "0", ",", "\[Placeholder]", ",", "\[Placeholder]", + ",", "0", ",", "\[Placeholder]", ",", "\[Placeholder]", ",", + "\[Placeholder]", ",", "\[Placeholder]", ",", "1"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "0", ",", "0", ",", "\[Placeholder]", ",", "\[Placeholder]", ",", + "\[Placeholder]", ",", "1", ",", "1", ",", "\[Placeholder]", ",", + "\[Placeholder]", ",", "\[Placeholder]"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "\[Placeholder]", ",", "0", ",", "\[Placeholder]", ",", "0", ",", "0", + ",", "\[Placeholder]", ",", "1", ",", "1", ",", "\[Placeholder]", ",", + "\[Placeholder]"}], "}"}]}], "}"}]], "Output", + CellChangeTimes->{3.832152667108571*^9}, + CellLabel->"Out[20]=",ExpressionUUID->"f871aabb-d6d6-428d-84d7-e863e0783e4b"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{"a31", ",", "1", ",", "a141"}], "}"}], ",", + RowBox[{"{", + RowBox[{"1", ",", "1", ",", "a142"}], "}"}], ",", + RowBox[{"{", + RowBox[{"a35", ",", "1", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"a36", ",", "a46", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"1", ",", "a47", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{"a38", ",", "0", ",", "1"}], "}"}], ",", + RowBox[{"{", + RowBox[{"a39", ",", "a49", ",", "1"}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "a410", ",", "1"}], "}"}], ",", + RowBox[{"{", + RowBox[{"a311", ",", "0", ",", "a1411"}], "}"}], ",", + RowBox[{"{", + RowBox[{"a313", ",", "a413", ",", "1"}], "}"}]}], "}"}]], "Output", + CellChangeTimes->{3.832152667112417*^9}, + CellLabel->"Out[21]=",ExpressionUUID->"099da394-2626-4330-b9e5-3ad8a130e4dd"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{"{", + RowBox[{ + RowBox[{"a141", "\[Rule]", "2.4697275952269337`"}], ",", + RowBox[{"a1411", "\[Rule]", "2.049777197312833`"}], ",", + RowBox[{"a142", "\[Rule]", "1.2963318565217516`"}], ",", + RowBox[{"a31", "\[Rule]", "10.069648589016966`"}], ",", + RowBox[{"a311", "\[Rule]", "4.705241457994818`"}], ",", + RowBox[{"a313", "\[Rule]", "3.085629640185284`"}], ",", + RowBox[{"a35", "\[Rule]", "6.259316253508969`"}], ",", + RowBox[{"a36", "\[Rule]", "3.7605551381951643`"}], ",", + RowBox[{"a38", "\[Rule]", "8.964266836885285`"}], ",", + RowBox[{"a39", "\[Rule]", "4.259025378890466`"}], ",", + RowBox[{"a410", "\[Rule]", "3.085629640185284`"}], ",", + RowBox[{"a413", "\[Rule]", "4.259025378890466`"}], ",", + RowBox[{"a46", "\[Rule]", "2.810332335507997`"}], ",", + RowBox[{"a47", "\[Rule]", "3.7605551381951643`"}], ",", + RowBox[{"a49", "\[Rule]", "1.619611817809534`"}]}], "}"}], + "}"}]], "Output", + CellChangeTimes->{3.8321526681142273`*^9}, + CellLabel->"Out[23]=",ExpressionUUID->"cd9b271e-3740-4444-b6d8-c95c813908f3"] +}, Open ]], + +Cell[BoxData[ + RowBox[{ + RowBox[{"{", + RowBox[{ + "a141", ",", "a1411", ",", "a142", ",", "a31", ",", "a311", ",", "a313", + ",", "a35", ",", "a36", ",", "a38", ",", "a39", ",", "a410", ",", "a413", + ",", "a46", ",", "a47", ",", "a49"}], "}"}], "/.", "\[VeryThinSpace]", + "%23"}]], "Input", + NumberMarks->False, + CellLabel->"In[24]:=",ExpressionUUID->"59acae29-7797-4b97-a80b-1f3c2530857e"], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"RootApproximant", "[", + RowBox[{"{", + RowBox[{ + "2.4697275952269337`", ",", "2.049777197312833`", ",", + "1.2963318565217516`", ",", "10.069648589016966`", ",", + "4.705241457994818`", ",", "3.085629640185284`", ",", + "6.259316253508969`", ",", "3.7605551381951643`", ",", + "8.964266836885285`", ",", "4.259025378890466`", ",", + "3.085629640185284`", ",", "4.259025378890466`", ",", + "2.810332335507997`", ",", "3.7605551381951643`", ",", + "1.619611817809534`"}], "}"}], "]"}]], "Input", + CellChangeTimes->{{3.8321526959377203`*^9, 3.8321527021775637`*^9}}, + CellLabel->"In[25]:=",ExpressionUUID->"bb5d4c93-fb5c-4648-883a-02f121fe5328"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"2.47\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 2.46972759522705187507085611287038773298`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "2"}], "+", + RowBox[{"2", " ", "#1"}], "+", + RowBox[{"2", " ", + SuperscriptBox["#1", "3"]}], "-", + SuperscriptBox["#1", "4"], "+", + SuperscriptBox["#1", "5"], "-", + RowBox[{"3", " ", + SuperscriptBox["#1", "6"]}], "+", + RowBox[{"2", " ", + SuperscriptBox["#1", "8"]}], "+", + SuperscriptBox["#1", "9"], "-", + SuperscriptBox["#1", "10"], "-", + RowBox[{"2", " ", + SuperscriptBox["#1", "11"]}], "-", + RowBox[{"2", " ", + SuperscriptBox["#1", "12"]}], "-", + RowBox[{"2", " ", + SuperscriptBox["#1", "14"]}], "+", + SuperscriptBox["#1", "15"]}], "&"}], ",", "1"}], "]"}], + Short[#, 7]& ], 2.469727595227052}, + "NumericalApproximation"], + Root[-2 + 2 # + 2 #^3 - #^4 + #^5 - 3 #^6 + 2 #^8 + #^9 - #^10 - 2 #^11 - + 2 #^12 - 2 #^14 + #^15& , 1, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"2.05\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 2.04977719731280938475492803263477981091`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"17", "+", + RowBox[{"4", " ", "#1"}], "-", + RowBox[{"2", " ", + SuperscriptBox["#1", "2"]}], "-", + RowBox[{"4", " ", + SuperscriptBox["#1", "3"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "1"}], "]"}], + Short[#, 7]& ], 2.0497771973128094`}, + "NumericalApproximation"], + Root[17 + 4 # - 2 #^2 - 4 #^3 + #^4& , 1, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"1.30\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 1.29633185652175098034888378606410697103`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"2", "+", + RowBox[{"7", " ", "#1"}], "+", + RowBox[{"5", " ", + SuperscriptBox["#1", "2"]}], "+", + RowBox[{"16", " ", + SuperscriptBox["#1", "3"]}], "-", + SuperscriptBox["#1", "4"], "-", + RowBox[{"17", " ", + SuperscriptBox["#1", "6"]}], "-", + RowBox[{"16", " ", + SuperscriptBox["#1", "7"]}], "+", + RowBox[{"16", " ", + SuperscriptBox["#1", "8"]}]}], "&"}], ",", "3"}], "]"}], + Short[#, 7]& ], 1.296331856521751}, + "NumericalApproximation"], + Root[2 + 7 # + 5 #^2 + 16 #^3 - #^4 - 17 #^6 - 16 #^7 + 16 #^8& , 3, 0]], + ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"10.1\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 10.06964858901710613281466066837310791016`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"37", "+", + RowBox[{"8", " ", "#1"}], "-", + RowBox[{"22", " ", + SuperscriptBox["#1", "2"]}], "-", + RowBox[{"8", " ", + SuperscriptBox["#1", "3"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "2"}], "]"}], + Short[#, 7]& ], 10.069648589017106`}, + "NumericalApproximation"], + Root[37 + 8 # - 22 #^2 - 8 #^3 + #^4& , 2, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"4.71\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 4.70524145799482340635222499258816242218`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "7"}], "+", "#1", "+", + SuperscriptBox["#1", "2"], "-", + RowBox[{"4", " ", + SuperscriptBox["#1", "3"]}], "+", + RowBox[{"12", " ", + SuperscriptBox["#1", "4"]}], "+", + RowBox[{"4", " ", + SuperscriptBox["#1", "6"]}], "-", + RowBox[{"3", " ", + SuperscriptBox["#1", "7"]}], "+", + RowBox[{"9", " ", + SuperscriptBox["#1", "8"]}], "+", + SuperscriptBox["#1", "10"], "-", + RowBox[{"5", " ", + SuperscriptBox["#1", "11"]}], "+", + SuperscriptBox["#1", "12"]}], "&"}], ",", "4"}], "]"}], + Short[#, 7]& ], 4.705241457994823}, + "NumericalApproximation"], + Root[-7 + # + #^2 - 4 #^3 + 12 #^4 + 4 #^6 - 3 #^7 + 9 #^8 + #^10 - + 5 #^11 + #^12& , 4, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"3.09\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 3.08562964018539576116495481983292847872`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"5", " ", "#1"}], "+", + RowBox[{"2", " ", + SuperscriptBox["#1", "2"]}], "+", + RowBox[{"2", " ", + SuperscriptBox["#1", "3"]}], "+", + RowBox[{"3", " ", + SuperscriptBox["#1", "5"]}], "-", + RowBox[{"6", " ", + SuperscriptBox["#1", "6"]}], "-", + RowBox[{"11", " ", + SuperscriptBox["#1", "7"]}], "+", + SuperscriptBox["#1", "8"], "+", + SuperscriptBox["#1", "9"]}], "&"}], ",", "3"}], "]"}], + Short[#, 7]& ], 3.0856296401853958`}, + "NumericalApproximation"], + Root[-2 - 5 # + 2 #^2 + 2 #^3 + 3 #^5 - 6 #^6 - 11 #^7 + #^8 + #^9& , 3, + 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"6.26\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 6.25931625350906895022262688144110143185`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"10", " ", "#1"}], "-", + RowBox[{"6", " ", + SuperscriptBox["#1", "3"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "2"}], "]"}], + Short[#, 7]& ], 6.259316253509069}, + "NumericalApproximation"], + Root[-1 - 10 # - 6 #^3 + #^4& , 2, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"3.76\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 3.76055513819522824192631560435984283686`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "13"}], "-", + RowBox[{"10", " ", "#1"}], "+", + RowBox[{"12", " ", + SuperscriptBox["#1", "2"]}], "-", + RowBox[{"6", " ", + SuperscriptBox["#1", "3"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "2"}], "]"}], + Short[#, 7]& ], 3.7605551381952282`}, + "NumericalApproximation"], + Root[-13 - 10 # + 12 #^2 - 6 #^3 + #^4& , 2, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"8.96\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 8.96426683688528491700253653107210993767`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "12"}], "+", + RowBox[{"17", " ", "#1"}], "-", + RowBox[{"10", " ", + SuperscriptBox["#1", "2"]}], "-", + RowBox[{"6", " ", + SuperscriptBox["#1", "3"]}], "+", + RowBox[{"17", " ", + SuperscriptBox["#1", "4"]}], "+", + RowBox[{"2", " ", + SuperscriptBox["#1", "5"]}], "-", + RowBox[{"7", " ", + SuperscriptBox["#1", "6"]}], "-", + RowBox[{"6", " ", + SuperscriptBox["#1", "7"]}], "+", + RowBox[{"19", " ", + SuperscriptBox["#1", "8"]}], "-", + RowBox[{"11", " ", + SuperscriptBox["#1", "9"]}], "+", + SuperscriptBox["#1", "10"]}], "&"}], ",", "4"}], "]"}], + Short[#, 7]& ], 8.964266836885285}, + "NumericalApproximation"], + Root[-12 + 17 # - 10 #^2 - 6 #^3 + 17 #^4 + 2 #^5 - 7 #^6 - 6 #^7 + + 19 #^8 - 11 #^9 + #^10& , 4, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"4.26\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 4.25902537889046595154241003911010921001`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"4", "-", + RowBox[{"10", " ", "#1"}], "+", + RowBox[{"21", " ", + SuperscriptBox["#1", "2"]}], "+", + RowBox[{"10", " ", + SuperscriptBox["#1", "3"]}], "-", + RowBox[{"3", " ", + SuperscriptBox["#1", "4"]}], "+", + SuperscriptBox["#1", "5"], "-", + RowBox[{"4", " ", + SuperscriptBox["#1", "6"]}], "-", + RowBox[{"2", " ", + SuperscriptBox["#1", "8"]}], "-", + RowBox[{"8", " ", + SuperscriptBox["#1", "9"]}], "+", + RowBox[{"2", " ", + SuperscriptBox["#1", "10"]}]}], "&"}], ",", "2"}], "]"}], + Short[#, 7]& ], 4.259025378890466}, + "NumericalApproximation"], + Root[4 - 10 # + 21 #^2 + 10 #^3 - 3 #^4 + #^5 - 4 #^6 - 2 #^8 - 8 #^9 + + 2 #^10& , 2, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"3.09\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 3.08562964018539576116495481983292847872`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "2"}], "-", + RowBox[{"5", " ", "#1"}], "+", + RowBox[{"2", " ", + SuperscriptBox["#1", "2"]}], "+", + RowBox[{"2", " ", + SuperscriptBox["#1", "3"]}], "+", + RowBox[{"3", " ", + SuperscriptBox["#1", "5"]}], "-", + RowBox[{"6", " ", + SuperscriptBox["#1", "6"]}], "-", + RowBox[{"11", " ", + SuperscriptBox["#1", "7"]}], "+", + SuperscriptBox["#1", "8"], "+", + SuperscriptBox["#1", "9"]}], "&"}], ",", "3"}], "]"}], + Short[#, 7]& ], 3.0856296401853958`}, + "NumericalApproximation"], + Root[-2 - 5 # + 2 #^2 + 2 #^3 + 3 #^5 - 6 #^6 - 11 #^7 + #^8 + #^9& , 3, + 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"4.26\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 4.25902537889046595154241003911010921001`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"4", "-", + RowBox[{"10", " ", "#1"}], "+", + RowBox[{"21", " ", + SuperscriptBox["#1", "2"]}], "+", + RowBox[{"10", " ", + SuperscriptBox["#1", "3"]}], "-", + RowBox[{"3", " ", + SuperscriptBox["#1", "4"]}], "+", + SuperscriptBox["#1", "5"], "-", + RowBox[{"4", " ", + SuperscriptBox["#1", "6"]}], "-", + RowBox[{"2", " ", + SuperscriptBox["#1", "8"]}], "-", + RowBox[{"8", " ", + SuperscriptBox["#1", "9"]}], "+", + RowBox[{"2", " ", + SuperscriptBox["#1", "10"]}]}], "&"}], ",", "2"}], "]"}], + Short[#, 7]& ], 4.259025378890466}, + "NumericalApproximation"], + Root[4 - 10 # + 21 #^2 + 10 #^3 - 3 #^4 + #^5 - 4 #^6 - 2 #^8 - 8 #^9 + + 2 #^10& , 2, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"2.81\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 2.81033233550803762668124363699462264776`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"7", "-", + RowBox[{"18", " ", "#1"}], "-", + RowBox[{"8", " ", + SuperscriptBox["#1", "2"]}], "+", + RowBox[{"2", " ", + SuperscriptBox["#1", "3"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "2"}], "]"}], + Short[#, 7]& ], 2.8103323355080376`}, + "NumericalApproximation"], + Root[7 - 18 # - 8 #^2 + 2 #^3 + #^4& , 2, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"3.76\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 3.76055513819522824192631560435984283686`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "13"}], "-", + RowBox[{"10", " ", "#1"}], "+", + RowBox[{"12", " ", + SuperscriptBox["#1", "2"]}], "-", + RowBox[{"6", " ", + SuperscriptBox["#1", "3"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "2"}], "]"}], + Short[#, 7]& ], 3.7605551381952282`}, + "NumericalApproximation"], + Root[-13 - 10 # + 12 #^2 - 6 #^3 + #^4& , 2, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"1.62\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 1.61961181780922114370468989363871514797`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"1", "-", "#1", "+", + SuperscriptBox["#1", "4"], "+", + SuperscriptBox["#1", "5"], "-", + SuperscriptBox["#1", "6"], "-", + SuperscriptBox["#1", "10"], "-", + SuperscriptBox["#1", "12"], "-", + RowBox[{"2", " ", + SuperscriptBox["#1", "13"]}], "+", + SuperscriptBox["#1", "15"], "-", + SuperscriptBox["#1", "19"], "-", + SuperscriptBox["#1", "20"], "-", + SuperscriptBox["#1", "22"], "+", + SuperscriptBox["#1", "23"]}], "&"}], ",", "3"}], "]"}], + Short[#, 7]& ], 1.6196118178092211`}, + "NumericalApproximation"], + Root[1 - # + #^4 + #^5 - #^6 - #^10 - #^12 - + 2 #^13 + #^15 - #^19 - #^20 - #^22 + #^23& , 3, 0]]}], "}"}]], "Output", + CellChangeTimes->{3.8321527047525*^9}, + CellLabel->"Out[25]=",ExpressionUUID->"2c6febbb-969d-4aa1-910e-a28aa615777a"] +}, Open ]] +}, +WindowSize->{1440, 847}, +WindowMargins->{{0, Automatic}, {Automatic, 0}}, +FrontEndVersion->"12.3 for Mac OS X x86 (64-bit) (May 11, 2021)", +StyleDefinitions->"Default.nb", +ExpressionUUID->"fc3224b1-0b49-402a-9b0e-fb170466e128" +] +(* End of Notebook Content *) + +(* Internal cache information *) +(*CellTagsOutline +CellTagsIndex->{} +*) +(*CellTagsIndex +CellTagsIndex->{} +*) +(*NotebookFileOutline +Notebook[{ +Cell[CellGroupData[{ +Cell[580, 22, 10100, 243, 827, "Input",ExpressionUUID->"20dce438-8cdc-474f-858e-036756ff41fd"], +Cell[10683, 267, 4345, 90, 98, "Output",ExpressionUUID->"2bacacb9-fa82-4024-bfa5-01abed5e7a1e"], +Cell[15031, 359, 2406, 54, 56, "Output",ExpressionUUID->"f871aabb-d6d6-428d-84d7-e863e0783e4b"], +Cell[17440, 415, 902, 24, 34, "Output",ExpressionUUID->"099da394-2626-4330-b9e5-3ad8a130e4dd"], +Cell[18345, 441, 1116, 21, 56, "Output",ExpressionUUID->"cd9b271e-3740-4444-b6d8-c95c813908f3"] +}, Open ]], +Cell[19476, 465, 404, 9, 30, "Input",ExpressionUUID->"59acae29-7797-4b97-a80b-1f3c2530857e"], +Cell[CellGroupData[{ +Cell[19905, 478, 693, 13, 73, InheritFromParent,ExpressionUUID->"bb5d4c93-fb5c-4648-883a-02f121fe5328"], +Cell[20601, 493, 18391, 473, 42, "Output",ExpressionUUID->"2c6febbb-969d-4aa1-910e-a28aa615777a"] +}, Open ]] +} +] +*) + +(* End of internal cache information *) + diff --git a/7v7f7.nb b/7v7f7.nb new file mode 100644 index 0000000..99f5bc4 --- /dev/null +++ b/7v7f7.nb @@ -0,0 +1,2778 @@ +(* Content-type: application/vnd.wolfram.mathematica *) + +(*** Wolfram Notebook File ***) +(* http://www.wolfram.com/nb *) + +(* CreatedBy='Mathematica 12.3' *) + +(*CacheID: 234*) +(* Internal cache information: +NotebookFileLineBreakTest +NotebookFileLineBreakTest +NotebookDataPosition[ 158, 7] +NotebookDataLength[ 91787, 2768] +NotebookOptionsPosition[ 88155, 2702] +NotebookOutlinePosition[ 88546, 2718] +CellTagsIndexPosition[ 88503, 2715] +WindowFrame->Normal*) + +(* Beginning of Notebook Content *) +Notebook[{ +Cell[BoxData[""], "Input", + CellChangeTimes->{{3.832152928000678*^9, + 3.8321529284191933`*^9}},ExpressionUUID->"fd589f51-20f0-473e-9f00-\ +6169e6c72ad9"], + +Cell[BoxData[{ + RowBox[{ + TagBox[ + RowBox[{"(", "\[NoBreak]", GridBox[{ + { + RowBox[{"-", "1"}], "1", "\[Placeholder]", "1", "1", "\[Placeholder]", + "\[Placeholder]", "0", "0", "\[Placeholder]", "\[Placeholder]", "0", + "\[Placeholder]", "\[Placeholder]"}, + {"1", + RowBox[{"-", "1"}], "1", "1", "\[Placeholder]", "1", "\[Placeholder]", + "0", "0", "0", "\[Placeholder]", "\[Placeholder]", "0", + "\[Placeholder]"}, + {"\[Placeholder]", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]", "\[Placeholder]", "0", "0", "\[Placeholder]", "0", + "\[Placeholder]"}, + {"1", "1", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "1", "\[Placeholder]", "0", + "0", "0", "0", "\[Placeholder]", "0"}, + {"1", "\[Placeholder]", "\[Placeholder]", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "0", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "0", "\[Placeholder]", "0"}, + {"\[Placeholder]", "1", "\[Placeholder]", "\[Placeholder]", "1", + RowBox[{"-", "1"}], "1", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "0", "0"}, + {"\[Placeholder]", "\[Placeholder]", "1", "1", "\[Placeholder]", "1", + RowBox[{"-", "1"}], "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "0", "\[Placeholder]", "0", "0"}, + {"0", "0", "\[Placeholder]", "\[Placeholder]", "0", "0", + "\[Placeholder]", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "\[Placeholder]", "1", "1", + "1"}, + {"0", "0", "\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "1", "\[Placeholder]", + "\[Placeholder]"}, + {"\[Placeholder]", "0", "0", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "1", "\[Placeholder]"}, + {"\[Placeholder]", "\[Placeholder]", "0", "0", "\[Placeholder]", + "\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", "1", + RowBox[{"-", "1"}], "\[Placeholder]", "1", "1"}, + {"0", "\[Placeholder]", "\[Placeholder]", "0", "0", "\[Placeholder]", + "\[Placeholder]", "1", "1", "\[Placeholder]", "\[Placeholder]", + RowBox[{"-", "1"}], "\[Placeholder]", "1"}, + {"\[Placeholder]", "0", "0", "\[Placeholder]", "\[Placeholder]", "0", + "0", "1", "\[Placeholder]", "1", "1", "\[Placeholder]", + RowBox[{"-", "1"}], "1"}, + {"\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "0", "0", "0", + "0", "1", "\[Placeholder]", "\[Placeholder]", "1", "1", "1", + RowBox[{"-", "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$]]], "\[IndentingNewLine]"}], "\[IndentingNewLine]", + + RowBox[{ + RowBox[{ + RowBox[{"bilval", "[", + RowBox[{"a_", ",", "b_"}], "]"}], ":=", + RowBox[{ + RowBox[{ + RowBox[{"1", "/", "2"}], + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "3"}], "]"}], "]"}], "^", "2"}], "+", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}], "^", "2"}], "-", "1"}], + ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}], ")"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}]}], ")"}]}]}], "+", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "3"}], "]"}], "]"}], "^", "2"}], "+", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}], "^", "2"}], "-", "1"}], + ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}]}], ")"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}], ")"}]}]}]}], ")"}]}], + "-", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "3"}], "]"}], "]"}], "*", + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "3"}], "]"}], "]"}]}], "-", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}], "*", + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}]}]}], + "\[IndentingNewLine]"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"bil", "[", + RowBox[{"a_", ",", "b_"}], "]"}], ":=", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"1", "/", "2"}], + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "3"}], "]"}], "]"}], "^", "2"}], "+", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}], "^", "2"}], "-", "1"}], + ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}], ")"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}]}], ")"}]}]}], "+", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "3"}], "]"}], "]"}], "^", "2"}], "+", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}], "^", "2"}], "-", "1"}], + ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}]}], ")"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}], ")"}]}]}]}], ")"}]}], + "-", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "3"}], "]"}], "]"}], "*", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "3"}], "]"}], "]"}]}], "-", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}], "*", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}]}], "==", + RowBox[{"matzeros", "[", + RowBox[{"[", + RowBox[{"a", ",", "b"}], "]"}], "]"}]}]}], + "\[IndentingNewLine]"}], "\[IndentingNewLine]", + RowBox[{"matzeros", "=", + TagBox[ + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"\[Placeholder]", "1", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "0", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]"}, + {"1", "\[Placeholder]", "1", "1", "\[Placeholder]", "0", "0", "0", + "\[Placeholder]", "0"}, + {"\[Placeholder]", "1", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]", "\[Placeholder]", "0", "0", "0"}, + {"\[Placeholder]", "1", "\[Placeholder]", "\[Placeholder]", "1", "0", + "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "0"}, + {"\[Placeholder]", "\[Placeholder]", "1", "1", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "0", "0"}, + {"0", "0", "\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", + "1", "\[Placeholder]", "\[Placeholder]", "1"}, + {"0", "0", "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]", "1", "\[Placeholder]", "\[Placeholder]"}, + {"\[Placeholder]", "0", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "1", "\[Placeholder]", "1", "1"}, + {"\[Placeholder]", "\[Placeholder]", "0", "\[Placeholder]", "0", + "\[Placeholder]", "\[Placeholder]", "1", "\[Placeholder]", "1"}, + {"\[Placeholder]", "0", "0", "0", "0", "1", "\[Placeholder]", "1", "1", + "\[Placeholder]"} + }, + 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$]]]}], "\[IndentingNewLine]", + RowBox[{"vars", "=", + TagBox[ + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"1", "1", "a141"}, + {"1", "a52", "a142"}, + {"1", "a53", "a143"}, + {"a46", "1", "0"}, + {"1", "a57", "0"}, + {"a48", "0", "1"}, + {"0", "a59", "a149"}, + {"0", "a510", "a1410"}, + {"0", "a511", "1"}, + {"a413", "a513", "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$]]]}], "\[IndentingNewLine]", + RowBox[{"Solve", "[", + RowBox[{ + RowBox[{"bil", "[", + RowBox[{"1", ",", "2"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "3"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "4"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"7", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"8", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"8", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"9", ",", "10"}], "]"}]}], "]"}], "\[IndentingNewLine]"}], "Input",\ + + CellChangeTimes->{{3.832152979835164*^9, 3.8321530635254383`*^9}, { + 3.832153097493243*^9, 3.832153236168919*^9}, {3.832153275682747*^9, + 3.832153278312337*^9}, {3.832153367637238*^9, 3.83215378314506*^9}, { + 3.832154300804511*^9, 3.832154334755772*^9}, 3.8321569306909018`*^9, + 3.832165263518662*^9, {3.832167088884946*^9, + 3.832167096624374*^9}},ExpressionUUID->"2f69e206-476d-4a77-88c2-\ +7aabd2b377b7"], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{ + RowBox[{"bil", "[", + RowBox[{"1", ",", "2"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "3"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "4"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"7", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"8", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"8", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"9", ",", "10"}], "]"}]}]], "Input", + CellChangeTimes->{3.832165268433942*^9}, + CellLabel-> + "In[154]:=",ExpressionUUID->"94745e25-bf9a-467f-baca-c80a81655002"], + +Cell[BoxData[ + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a141"}], " ", "a142"}], "-", "a52", "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + RowBox[{ + FractionBox["1", "2"], " ", + SuperscriptBox["a141", "2"], " ", + RowBox[{"(", + RowBox[{"1", "+", "a52"}], ")"}]}], "+", + FractionBox[ + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a142", "2"], "+", + SuperscriptBox["a52", "2"]}], ")"}]}], + RowBox[{"1", "+", "a52"}]]}], ")"}]}]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a141"}], "+", + FractionBox[ + RowBox[{ + SuperscriptBox["a141", "2"], " ", "a48"}], "4"]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a141"}], " ", "a149"}], "-", "a59", "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + SuperscriptBox["a141", "2"], " ", "a59"}], "2"], "+", + FractionBox[ + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a149", "2"], "+", + SuperscriptBox["a59", "2"]}], ")"}]}], "a59"]}], ")"}]}]}], + "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a142"}], " ", "a143"}], "-", + RowBox[{"a52", " ", "a53"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a142", "2"], "+", + SuperscriptBox["a52", "2"]}], ")"}], " ", + RowBox[{"(", + RowBox[{"1", "+", "a53"}], ")"}]}], + RowBox[{"1", "+", "a52"}]], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"1", "+", "a52"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a143", "2"], "+", + SuperscriptBox["a53", "2"]}], ")"}]}], + RowBox[{"1", "+", "a53"}]]}], ")"}]}]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a52"}], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"1", "+", "a46"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a142", "2"], "+", + SuperscriptBox["a52", "2"]}], ")"}]}], + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{"1", "+", "a52"}], ")"}]}]]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a142"}], "+", + FractionBox[ + RowBox[{"a48", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a142", "2"], "+", + SuperscriptBox["a52", "2"]}], ")"}]}], + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{"1", "+", "a52"}], ")"}]}]]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a142"}], " ", "a149"}], "-", + RowBox[{"a52", " ", "a59"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a142", "2"], "+", + SuperscriptBox["a52", "2"]}], ")"}], " ", "a59"}], + RowBox[{"1", "+", "a52"}]], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"1", "+", "a52"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a149", "2"], "+", + SuperscriptBox["a59", "2"]}], ")"}]}], "a59"]}], ")"}]}]}], + "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a1410"}], " ", "a142"}], "-", + RowBox[{"a510", " ", "a52"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a1410", "2"], "+", + SuperscriptBox["a510", "2"]}], ")"}], " ", + RowBox[{"(", + RowBox[{"1", "+", "a52"}], ")"}]}], "a510"], "+", + FractionBox[ + RowBox[{"a510", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a142", "2"], "+", + SuperscriptBox["a52", "2"]}], ")"}]}], + RowBox[{"1", "+", "a52"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a142"}], "-", + RowBox[{"a513", " ", "a52"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + SuperscriptBox["a513", "2"], " ", + RowBox[{"(", + RowBox[{"1", "+", "a52"}], ")"}]}], + RowBox[{"a413", "+", "a513"}]], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"a413", "+", "a513"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a142", "2"], "+", + SuperscriptBox["a52", "2"]}], ")"}]}], + RowBox[{"1", "+", "a52"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a53"}], " ", "a57"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a143", "2"], "+", + SuperscriptBox["a53", "2"]}], ")"}], " ", + RowBox[{"(", + RowBox[{"1", "+", "a57"}], ")"}]}], + RowBox[{"1", "+", "a53"}]], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"1", "+", "a53"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a57", "2"]}], ")"}]}], + RowBox[{"1", "+", "a57"}]]}], ")"}]}]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a1410"}], " ", "a143"}], "-", + RowBox[{"a510", " ", "a53"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a1410", "2"], "+", + SuperscriptBox["a510", "2"]}], ")"}], " ", + RowBox[{"(", + RowBox[{"1", "+", "a53"}], ")"}]}], "a510"], "+", + FractionBox[ + RowBox[{"a510", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a143", "2"], "+", + SuperscriptBox["a53", "2"]}], ")"}]}], + RowBox[{"1", "+", "a53"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a143"}], "-", + RowBox[{"a511", " ", "a53"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"a511", " ", + RowBox[{"(", + RowBox[{"1", "+", "a53"}], ")"}]}], "+", + FractionBox[ + RowBox[{"a511", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a143", "2"], "+", + SuperscriptBox["a53", "2"]}], ")"}]}], + RowBox[{"1", "+", "a53"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a143"}], "-", + RowBox[{"a513", " ", "a53"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + SuperscriptBox["a513", "2"], " ", + RowBox[{"(", + RowBox[{"1", "+", "a53"}], ")"}]}], + RowBox[{"a413", "+", "a513"}]], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"a413", "+", "a513"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a143", "2"], "+", + SuperscriptBox["a53", "2"]}], ")"}]}], + RowBox[{"1", "+", "a53"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a57"}], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"1", "+", "a46"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a57", "2"]}], ")"}]}], + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{"1", "+", "a57"}], ")"}]}]]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a513"}], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"1", "+", "a46"}], ")"}], " ", + SuperscriptBox["a513", "2"]}], + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{"a413", "+", "a513"}], ")"}]}]]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a511"}], " ", "a57"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"a511", " ", + RowBox[{"(", + RowBox[{"1", "+", "a57"}], ")"}]}], "+", + FractionBox[ + RowBox[{"a511", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a57", "2"]}], ")"}]}], + RowBox[{"1", "+", "a57"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a513"}], " ", "a57"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + SuperscriptBox["a513", "2"], " ", + RowBox[{"(", + RowBox[{"1", "+", "a57"}], ")"}]}], + RowBox[{"a413", "+", "a513"}]], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"a413", "+", "a513"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a57", "2"]}], ")"}]}], + RowBox[{"1", "+", "a57"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a149"}], "+", + FractionBox[ + RowBox[{"a48", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a149", "2"], "+", + SuperscriptBox["a59", "2"]}], ")"}]}], + RowBox[{"2", " ", "a59"}]]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "1"}], "+", + FractionBox[ + RowBox[{"a48", " ", + SuperscriptBox["a513", "2"]}], + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{"a413", "+", "a513"}], ")"}]}]]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a1410"}], " ", "a149"}], "-", + RowBox[{"a510", " ", "a59"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a1410", "2"], "+", + SuperscriptBox["a510", "2"]}], ")"}], " ", "a59"}], "a510"], "+", + FractionBox[ + RowBox[{"a510", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a149", "2"], "+", + SuperscriptBox["a59", "2"]}], ")"}]}], "a59"]}], ")"}]}]}], + "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a1410"}], "-", + RowBox[{"a510", " ", "a511"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"a510", " ", "a511"}], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a1410", "2"], "+", + SuperscriptBox["a510", "2"]}], ")"}], " ", "a511"}], "a510"]}], + ")"}]}]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a1410"}], "-", + RowBox[{"a510", " ", "a513"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{"a510", " ", + SuperscriptBox["a513", "2"]}], + RowBox[{"a413", "+", "a513"}]], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a1410", "2"], "+", + SuperscriptBox["a510", "2"]}], ")"}], " ", + RowBox[{"(", + RowBox[{"a413", "+", "a513"}], ")"}]}], "a510"]}], ")"}]}]}], + "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"a511", " ", "a513"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{"a511", " ", + SuperscriptBox["a513", "2"]}], + RowBox[{"a413", "+", "a513"}]], "+", + RowBox[{"a511", " ", + RowBox[{"(", + RowBox[{"a413", "+", "a513"}], ")"}]}]}], ")"}]}]}], "\[Equal]", + "1"}]}]], "Output", + CellChangeTimes->{3.8321532708466578`*^9, 3.8321537840261917`*^9, + 3.832156934594181*^9, 3.832165270130104*^9}, + CellLabel-> + "Out[154]=",ExpressionUUID->"d9aa84bf-19de-4716-88ae-768dc14d2d19"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{ + RowBox[{"{", + RowBox[{ + "a141", ",", "a1410", ",", "a142", ",", "a143", ",", "a149", ",", "a413", + ",", "a46", ",", "a48", ",", "a510", ",", "a511", ",", "a513", ",", "a52", + ",", "a53", ",", "a57", ",", "a59"}], "}"}], "/.", "\[VeryThinSpace]", + "%32"}]], "Input", + NumberMarks->False, + CellLabel->"In[33]:=",ExpressionUUID->"ff7e09ec-c76a-4986-a0e3-9643fccc83a0"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"-", "2.613125929752754`"}], ",", "2.4142135623731`", ",", + RowBox[{"-", "1.8477590650225755`"}], ",", + RowBox[{"-", "2.613125929752754`"}], ",", "2.4142135623731`", ",", + RowBox[{"-", "1.5307337294603571`"}], ",", "1.8284271247461996`", ",", + RowBox[{"-", "1.5307337294603571`"}], ",", + RowBox[{"-", "6.3086440597979045`"}], ",", + RowBox[{"-", "8.92176998955066`"}], ",", + RowBox[{"-", "3.695518130045151`"}], ",", "2.4142135623731`", ",", + "10.6568542494924`", ",", "5.8284271247462`", ",", + RowBox[{"-", "2.613125929752754`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"-", "1.0823922002923936`"}], ",", + RowBox[{"-", "0.4142135623730952`"}], ",", "0.7653668647301797`", ",", + RowBox[{"-", "1.0823922002923936`"}], ",", + RowBox[{"-", "0.4142135623730952`"}], ",", + RowBox[{"-", "3.6955181300451465`"}], ",", + RowBox[{"-", "3.8284271247461903`"}], ",", + RowBox[{"-", "3.6955181300451465`"}], ",", "0.44834152916796577`", ",", + RowBox[{"-", "0.6340506711244278`"}], ",", "1.5307337294603593`", ",", + RowBox[{"-", "0.4142135623730952`"}], ",", + RowBox[{"-", "0.6568542494923808`"}], ",", "0.1715728752538096`", ",", + RowBox[{"-", "1.0823922002923936`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{"1.0823922002923934`", ",", + RowBox[{"-", "0.41421356237309503`"}], ",", + RowBox[{"-", "0.7653668647301798`"}], ",", "1.0823922002923934`", ",", + RowBox[{"-", "0.41421356237309503`"}], ",", "3.695518130045146`", ",", + RowBox[{"-", "3.82842712474619`"}], ",", "3.695518130045146`", ",", + RowBox[{"-", "0.4483415291679662`"}], ",", "0.6340506711244271`", ",", + RowBox[{"-", "1.5307337294603596`"}], ",", + RowBox[{"-", "0.41421356237309503`"}], ",", + RowBox[{"-", "0.6568542494923801`"}], ",", "0.17157287525380993`", ",", + "1.0823922002923934`"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + "2.613125929752752`", ",", "2.4142135623730954`", ",", + "1.8477590650225744`", ",", "2.613125929752752`", ",", + "2.4142135623730954`", ",", "1.530733729460355`", ",", + "1.8284271247461907`", ",", "1.530733729460355`", ",", + "6.308644059797901`", ",", "8.921769989550652`", ",", + "3.6955181300451487`", ",", "2.4142135623730954`", ",", + "10.656854249492381`", ",", "5.828427124746191`", ",", + "2.613125929752752`"}], "}"}]}], "}"}]], "Output", + CellChangeTimes->{3.832153797946287*^9}, + CellLabel->"Out[33]=",ExpressionUUID->"72513462-ecfd-4214-9c64-b2b1907d053b"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"RootApproximant", "[", + RowBox[{"{", + RowBox[{ + "2.613125929752752`", ",", "2.4142135623730954`", ",", + "1.8477590650225744`", ",", "2.613125929752752`", ",", + "2.4142135623730954`", ",", "1.530733729460355`", ",", + "1.8284271247461907`", ",", "1.530733729460355`", ",", + "6.308644059797901`", ",", "8.921769989550652`", ",", + "3.6955181300451487`", ",", "2.4142135623730954`", ",", + "10.656854249492381`", ",", "5.828427124746191`", ",", + "2.613125929752752`"}], "}"}], "]"}]], "Input", + CellChangeTimes->{{3.832153840958283*^9, 3.832153848019147*^9}}, + CellLabel->"In[34]:=",ExpressionUUID->"d7254ed8-0eb0-4b8e-aa9c-0dd7c7490bb5"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"2.61\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 2.61312592975275315154704003361985087395`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"8", "-", + RowBox[{"8", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "4"}], "]"}], + Short[#, 7]& ], 2.613125929752753}, + "NumericalApproximation"], + Root[8 - 8 #^2 + #^4& , 4, 0]], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"1.85\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 1.84775906502257347696627221012022346258`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"2", "-", + RowBox[{"4", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "4"}], "]"}], + Short[#, 7]& ], 1.8477590650225735`}, + "NumericalApproximation"], + Root[2 - 4 #^2 + #^4& , 4, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"2.61\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 2.61312592975275315154704003361985087395`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"8", "-", + RowBox[{"8", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "4"}], "]"}], + Short[#, 7]& ], 2.613125929752753}, + "NumericalApproximation"], + Root[8 - 8 #^2 + #^4& , 4, 0]], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"1.53\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 1.530733729460359127116930721967946738`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"32", "-", + RowBox[{"16", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "3"}], "]"}], + Short[#, 7]& ], 1.5307337294603591`}, + "NumericalApproximation"], + Root[32 - 16 #^2 + #^4& , 3, 0]], ",", + RowBox[{ + RowBox[{"-", "1"}], "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"1.53\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 1.530733729460359127116930721967946738`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"32", "-", + RowBox[{"16", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "3"}], "]"}], + Short[#, 7]& ], 1.5307337294603591`}, + "NumericalApproximation"], + Root[32 - 16 #^2 + #^4& , 3, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"6.31\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 6.30864405979790010547958445386029779911`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"8", "-", + RowBox[{"40", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "4"}], "]"}], + Short[#, 7]& ], 6.3086440597979}, + "NumericalApproximation"], + Root[8 - 40 #^2 + #^4& , 4, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"8.92\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 8.92176998955065236884820478735491633415`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"32", "-", + RowBox[{"80", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "4"}], "]"}], + Short[#, 7]& ], 8.921769989550652}, + "NumericalApproximation"], + Root[32 - 80 #^2 + #^4& , 4, 0]], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"3.70\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 3.69551813004514695393254442024044692516`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"32", "-", + RowBox[{"16", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "4"}], "]"}], + Short[#, 7]& ], 3.695518130045147}, + "NumericalApproximation"], + Root[32 - 16 #^2 + #^4& , 4, 0]], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + RowBox[{"5", "+", + RowBox[{"4", " ", + SqrtBox["2"]}]}], ",", + RowBox[{"3", "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}], ",", + InterpretationBox[ + TemplateBox[{"Root", + InterpretationBox[ + StyleBox[ + TemplateBox[{"\"2.61\"", + DynamicBox[ + FEPrivate`FrontEndResource[ + "FEExpressions", "NumericalApproximationElider"]]}, "RowDefault"], + ShowStringCharacters -> False], + 2.61312592975275315154704003361985087395`15.954589770191003, Editable -> + False], + TagBox[ + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"8", "-", + RowBox[{"8", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "4"]}], "&"}], ",", "4"}], "]"}], + Short[#, 7]& ], 2.613125929752753}, + "NumericalApproximation"], + Root[8 - 8 #^2 + #^4& , 4, 0]]}], "}"}]], "Output", + CellChangeTimes->{3.832153848510584*^9}, + CellLabel->"Out[34]=",ExpressionUUID->"d890a85c-4994-4c24-aa27-cb950f789558"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"\[IndentingNewLine]", + RowBox[{"Solve", "[", + RowBox[{ + RowBox[{"bil", "[", + RowBox[{"1", ",", "2"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "3"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "4"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"7", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"8", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"8", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"9", ",", "10"}], "]"}]}], "]"}]}]], "Input", + CellChangeTimes->{{3.832153962691787*^9, 3.832153966985011*^9}, + 3.83215836606312*^9},ExpressionUUID->"84f98bb4-0096-4fcc-9eb4-\ +5f0b78088c76"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"a141", "\[Rule]", + RowBox[{ + RowBox[{ + RowBox[{"-", "4"}], " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "+", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"a1410", "\[Rule]", + RowBox[{"1", "+", + SqrtBox["2"]}]}], ",", + RowBox[{"a142", "\[Rule]", + RowBox[{ + RowBox[{ + RowBox[{"-", "3"}], " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "+", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"a143", "\[Rule]", + RowBox[{ + RowBox[{ + RowBox[{"-", "4"}], " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "+", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"a149", "\[Rule]", + RowBox[{"1", "+", + SqrtBox["2"]}]}], ",", + RowBox[{"a413", "\[Rule]", + RowBox[{ + RowBox[{"-", "2"}], " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}]}], ",", + RowBox[{"a46", "\[Rule]", + RowBox[{ + RowBox[{"-", "1"}], "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}]}], ",", + RowBox[{"a48", "\[Rule]", + RowBox[{ + RowBox[{"-", "2"}], " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}]}], ",", + RowBox[{"a510", "\[Rule]", + RowBox[{ + RowBox[{ + RowBox[{"-", "10"}], " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "+", + RowBox[{"3", " ", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}]}], ",", + RowBox[{"a511", "\[Rule]", + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"-", "7"}], " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "+", + RowBox[{"2", " ", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ")"}]}]}], ",", + RowBox[{"a513", "\[Rule]", + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"-", "3"}], " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "+", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}], ")"}]}]}], ",", + RowBox[{"a52", "\[Rule]", + RowBox[{"1", "+", + SqrtBox["2"]}]}], ",", + RowBox[{"a53", "\[Rule]", + RowBox[{"5", "+", + RowBox[{"4", " ", + SqrtBox["2"]}]}]}], ",", + RowBox[{"a57", "\[Rule]", + RowBox[{"3", "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}]}], ",", + RowBox[{"a59", "\[Rule]", + RowBox[{ + RowBox[{ + RowBox[{"-", "4"}], " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "+", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"a141", "\[Rule]", + RowBox[{ + RowBox[{"4", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"a1410", "\[Rule]", + RowBox[{"1", "+", + SqrtBox["2"]}]}], ",", + RowBox[{"a142", "\[Rule]", + RowBox[{ + RowBox[{"3", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"a143", "\[Rule]", + RowBox[{ + RowBox[{"4", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"a149", "\[Rule]", + RowBox[{"1", "+", + SqrtBox["2"]}]}], ",", + RowBox[{"a413", "\[Rule]", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}]}], ",", + RowBox[{"a46", "\[Rule]", + RowBox[{ + RowBox[{"-", "1"}], "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}]}], ",", + RowBox[{"a48", "\[Rule]", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}]}], ",", + RowBox[{"a510", "\[Rule]", + RowBox[{ + RowBox[{"10", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + RowBox[{"3", " ", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}]}], ",", + RowBox[{"a511", "\[Rule]", + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"7", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + RowBox[{"2", " ", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ")"}]}]}], ",", + RowBox[{"a513", "\[Rule]", + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"3", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}], ")"}]}]}], ",", + RowBox[{"a52", "\[Rule]", + RowBox[{"1", "+", + SqrtBox["2"]}]}], ",", + RowBox[{"a53", "\[Rule]", + RowBox[{"5", "+", + RowBox[{"4", " ", + SqrtBox["2"]}]}]}], ",", + RowBox[{"a57", "\[Rule]", + RowBox[{"3", "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}]}], ",", + RowBox[{"a59", "\[Rule]", + RowBox[{ + RowBox[{"4", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"a141", "\[Rule]", + RowBox[{ + RowBox[{ + RowBox[{"-", "4"}], " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "+", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"a1410", "\[Rule]", + RowBox[{"1", "-", + SqrtBox["2"]}]}], ",", + RowBox[{"a142", "\[Rule]", + RowBox[{ + RowBox[{ + RowBox[{"-", "3"}], " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "+", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"a143", "\[Rule]", + RowBox[{ + RowBox[{ + RowBox[{"-", "4"}], " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "+", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"a149", "\[Rule]", + RowBox[{"1", "-", + SqrtBox["2"]}]}], ",", + RowBox[{"a413", "\[Rule]", + RowBox[{ + RowBox[{"-", "2"}], " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}]}], ",", + RowBox[{"a46", "\[Rule]", + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}]}], ",", + RowBox[{"a48", "\[Rule]", + RowBox[{ + RowBox[{"-", "2"}], " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}]}], ",", + RowBox[{"a510", "\[Rule]", + RowBox[{ + RowBox[{ + RowBox[{"-", "10"}], " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "+", + RowBox[{"3", " ", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}]}], ",", + RowBox[{"a511", "\[Rule]", + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"-", "7"}], " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "+", + RowBox[{"2", " ", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ")"}]}]}], ",", + RowBox[{"a513", "\[Rule]", + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"-", "3"}], " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "+", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}], ")"}]}]}], ",", + RowBox[{"a52", "\[Rule]", + RowBox[{"1", "-", + SqrtBox["2"]}]}], ",", + RowBox[{"a53", "\[Rule]", + RowBox[{"5", "-", + RowBox[{"4", " ", + SqrtBox["2"]}]}]}], ",", + RowBox[{"a57", "\[Rule]", + RowBox[{"3", "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}]}], ",", + RowBox[{"a59", "\[Rule]", + RowBox[{ + RowBox[{ + RowBox[{"-", "4"}], " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "+", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"a141", "\[Rule]", + RowBox[{ + RowBox[{"4", " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"a1410", "\[Rule]", + RowBox[{"1", "-", + SqrtBox["2"]}]}], ",", + RowBox[{"a142", "\[Rule]", + RowBox[{ + RowBox[{"3", " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"a143", "\[Rule]", + RowBox[{ + RowBox[{"4", " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"a149", "\[Rule]", + RowBox[{"1", "-", + SqrtBox["2"]}]}], ",", + RowBox[{"a413", "\[Rule]", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}]}], ",", + RowBox[{"a46", "\[Rule]", + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}]}], ",", + RowBox[{"a48", "\[Rule]", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}]}], ",", + RowBox[{"a510", "\[Rule]", + RowBox[{ + RowBox[{"10", " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "-", + RowBox[{"3", " ", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}]}], ",", + RowBox[{"a511", "\[Rule]", + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"7", " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "-", + RowBox[{"2", " ", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ")"}]}]}], ",", + RowBox[{"a513", "\[Rule]", + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"3", " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}], ")"}]}]}], ",", + RowBox[{"a52", "\[Rule]", + RowBox[{"1", "-", + SqrtBox["2"]}]}], ",", + RowBox[{"a53", "\[Rule]", + RowBox[{"5", "-", + RowBox[{"4", " ", + SqrtBox["2"]}]}]}], ",", + RowBox[{"a57", "\[Rule]", + RowBox[{"3", "-", + RowBox[{"2", " ", + SqrtBox["2"]}]}]}], ",", + RowBox[{"a59", "\[Rule]", + RowBox[{ + RowBox[{"4", " ", + SqrtBox[ + RowBox[{"2", "+", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}]}], "}"}]}], "}"}]], "Output", + CellChangeTimes->{3.83215399614573*^9}, + CellLabel->"Out[35]=",ExpressionUUID->"b482498c-22b8-4eff-8279-81a47c415645"] +}, Open ]], + +Cell[BoxData[ + RowBox[{"Clear", "[", + RowBox[{ + "a141", ",", "a1410", ",", "a142", ",", "a143", ",", "a149", ",", "a413", + ",", "a46", ",", "a48", ",", "a510", ",", "a511", ",", "a513", ",", "a52", + ",", "a53", ",", "a57", ",", "a59"}], "]"}]], "Input", + CellChangeTimes->{{3.8321569186961527`*^9, 3.8321569225818577`*^9}}, + NumberMarks->False, + CellLabel-> + "In[142]:=",ExpressionUUID->"fa9c2576-085b-4633-9e39-1c8015ce2bc7"], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"N", "[", "%35", "]"}]], "Input", + NumberMarks->False, + CellLabel->"In[36]:=",ExpressionUUID->"15d460d3-8799-402a-8141-455eb8b6e3f6"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"a141", "\[Rule]", + RowBox[{"-", "2.6131259297527527`"}]}], ",", + RowBox[{"a1410", "\[Rule]", "2.414213562373095`"}], ",", + RowBox[{"a142", "\[Rule]", + RowBox[{"-", "1.8477590650225735`"}]}], ",", + RowBox[{"a143", "\[Rule]", + RowBox[{"-", "2.6131259297527527`"}]}], ",", + RowBox[{"a149", "\[Rule]", "2.414213562373095`"}], ",", + RowBox[{"a413", "\[Rule]", + RowBox[{"-", "1.530733729460359`"}]}], ",", + RowBox[{"a46", "\[Rule]", "1.8284271247461903`"}], ",", + RowBox[{"a48", "\[Rule]", + RowBox[{"-", "1.530733729460359`"}]}], ",", + RowBox[{"a510", "\[Rule]", + RowBox[{"-", "6.308644059797899`"}]}], ",", + RowBox[{"a511", "\[Rule]", + RowBox[{"-", "8.921769989550652`"}]}], ",", + RowBox[{"a513", "\[Rule]", + RowBox[{"-", "3.695518130045147`"}]}], ",", + RowBox[{"a52", "\[Rule]", "2.414213562373095`"}], ",", + RowBox[{"a53", "\[Rule]", "10.65685424949238`"}], ",", + RowBox[{"a57", "\[Rule]", "5.82842712474619`"}], ",", + RowBox[{"a59", "\[Rule]", + RowBox[{"-", "2.6131259297527527`"}]}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"a141", "\[Rule]", "2.6131259297527527`"}], ",", + RowBox[{"a1410", "\[Rule]", "2.414213562373095`"}], ",", + RowBox[{"a142", "\[Rule]", "1.8477590650225735`"}], ",", + RowBox[{"a143", "\[Rule]", "2.6131259297527527`"}], ",", + RowBox[{"a149", "\[Rule]", "2.414213562373095`"}], ",", + RowBox[{"a413", "\[Rule]", "1.530733729460359`"}], ",", + RowBox[{"a46", "\[Rule]", "1.8284271247461903`"}], ",", + RowBox[{"a48", "\[Rule]", "1.530733729460359`"}], ",", + RowBox[{"a510", "\[Rule]", "6.308644059797899`"}], ",", + RowBox[{"a511", "\[Rule]", "8.921769989550652`"}], ",", + RowBox[{"a513", "\[Rule]", "3.695518130045147`"}], ",", + RowBox[{"a52", "\[Rule]", "2.414213562373095`"}], ",", + RowBox[{"a53", "\[Rule]", "10.65685424949238`"}], ",", + RowBox[{"a57", "\[Rule]", "5.82842712474619`"}], ",", + RowBox[{"a59", "\[Rule]", "2.6131259297527527`"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"a141", "\[Rule]", + RowBox[{"-", "1.0823922002923938`"}]}], ",", + RowBox[{"a1410", "\[Rule]", + RowBox[{"-", "0.41421356237309515`"}]}], ",", + RowBox[{"a142", "\[Rule]", "0.7653668647301801`"}], ",", + RowBox[{"a143", "\[Rule]", + RowBox[{"-", "1.0823922002923938`"}]}], ",", + RowBox[{"a149", "\[Rule]", + RowBox[{"-", "0.41421356237309515`"}]}], ",", + RowBox[{"a413", "\[Rule]", + RowBox[{"-", "3.695518130045147`"}]}], ",", + RowBox[{"a46", "\[Rule]", + RowBox[{"-", "3.8284271247461903`"}]}], ",", + RowBox[{"a48", "\[Rule]", + RowBox[{"-", "3.695518130045147`"}]}], ",", + RowBox[{"a510", "\[Rule]", "0.44834152916796555`"}], ",", + RowBox[{"a511", "\[Rule]", + RowBox[{"-", "0.6340506711244274`"}]}], ",", + RowBox[{"a513", "\[Rule]", "1.5307337294603602`"}], ",", + RowBox[{"a52", "\[Rule]", + RowBox[{"-", "0.41421356237309515`"}]}], ",", + RowBox[{"a53", "\[Rule]", + RowBox[{"-", "0.6568542494923806`"}]}], ",", + RowBox[{"a57", "\[Rule]", "0.1715728752538097`"}], ",", + RowBox[{"a59", "\[Rule]", + RowBox[{"-", "1.0823922002923938`"}]}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"a141", "\[Rule]", "1.0823922002923938`"}], ",", + RowBox[{"a1410", "\[Rule]", + RowBox[{"-", "0.41421356237309515`"}]}], ",", + RowBox[{"a142", "\[Rule]", + RowBox[{"-", "0.7653668647301801`"}]}], ",", + RowBox[{"a143", "\[Rule]", "1.0823922002923938`"}], ",", + RowBox[{"a149", "\[Rule]", + RowBox[{"-", "0.41421356237309515`"}]}], ",", + RowBox[{"a413", "\[Rule]", "3.695518130045147`"}], ",", + RowBox[{"a46", "\[Rule]", + RowBox[{"-", "3.8284271247461903`"}]}], ",", + RowBox[{"a48", "\[Rule]", "3.695518130045147`"}], ",", + RowBox[{"a510", "\[Rule]", + RowBox[{"-", "0.44834152916796555`"}]}], ",", + RowBox[{"a511", "\[Rule]", "0.6340506711244274`"}], ",", + RowBox[{"a513", "\[Rule]", + RowBox[{"-", "1.5307337294603602`"}]}], ",", + RowBox[{"a52", "\[Rule]", + RowBox[{"-", "0.41421356237309515`"}]}], ",", + RowBox[{"a53", "\[Rule]", + RowBox[{"-", "0.6568542494923806`"}]}], ",", + RowBox[{"a57", "\[Rule]", "0.1715728752538097`"}], ",", + RowBox[{"a59", "\[Rule]", "1.0823922002923938`"}]}], "}"}]}], + "}"}]], "Output", + CellChangeTimes->{3.8321541284511547`*^9}, + CellLabel->"Out[36]=",ExpressionUUID->"c692ff8c-c633-40c7-aa27-42a2d64067a6"] +}, Open ]], + +Cell[BoxData[ + RowBox[{ + RowBox[{"{", + RowBox[{ + "a141", ",", "a1410", ",", "a142", ",", "a143", ",", "a149", ",", "a413", + ",", "a46", ",", "a48", ",", "a510", ",", "a511", ",", "a513", ",", "a52", + ",", "a53", ",", "a57", ",", "a59"}], "}"}], "=", + RowBox[{"{", + RowBox[{ + RowBox[{ + RowBox[{"4", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + RowBox[{ + RowBox[{"3", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}], ",", + RowBox[{ + RowBox[{"4", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], ",", + RowBox[{ + RowBox[{"-", "1"}], "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}], ",", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], ",", + RowBox[{ + RowBox[{"10", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + RowBox[{"3", " ", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"7", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + RowBox[{"2", " ", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ")"}]}], ",", + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"3", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}], ")"}]}], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + RowBox[{"5", "+", + RowBox[{"4", " ", + SqrtBox["2"]}]}], ",", + RowBox[{"3", "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}], ",", + RowBox[{ + RowBox[{"4", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], "}"}]}]], "Input", + CellChangeTimes->{{3.832154161241579*^9, 3.832154172426252*^9}}, + CellLabel->"In[38]:=",ExpressionUUID->"676578f4-382e-4552-832e-674b1eeeab93"], + +Cell[BoxData[ + RowBox[{"Simplify", "[", + RowBox[{"{", + RowBox[{ + RowBox[{ + RowBox[{"4", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + RowBox[{ + RowBox[{"3", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}], ",", + RowBox[{ + RowBox[{"4", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], ",", + RowBox[{ + RowBox[{"-", "1"}], "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}], ",", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], ",", + RowBox[{ + RowBox[{"10", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + RowBox[{"3", " ", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ",", + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"7", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + RowBox[{"2", " ", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], ")"}]}], ",", + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"3", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}], ")"}]}], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + RowBox[{"5", "+", + RowBox[{"4", " ", + SqrtBox["2"]}]}], ",", + RowBox[{"3", "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}], ",", + RowBox[{ + RowBox[{"4", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "-", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], + RowBox[{"3", "/", "2"}]]}]}], "}"}], "]"}]], "Input", + CellChangeTimes->{{3.832154693295897*^9, 3.8321546981657124`*^9}}, + CellLabel->"In[57]:=",ExpressionUUID->"dee62645-feab-4270-a53a-c569d8dcdc4d"], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{ + RowBox[{"{", + RowBox[{ + "a141", ",", "a1410", ",", "a142", ",", "a143", ",", "a149", ",", "a413", + ",", "a46", ",", "a48", ",", "a510", ",", "a511", ",", "a513", ",", "a52", + ",", "a53", ",", "a57", ",", "a59"}], "}"}], "=", + RowBox[{"{", + RowBox[{ + RowBox[{ + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}]}], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + RowBox[{ + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"1", "+", + SqrtBox["2"]}], ")"}]}], ",", + RowBox[{ + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}]}], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], ",", + RowBox[{ + RowBox[{"-", "1"}], "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}], ",", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], ",", + RowBox[{ + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"4", "+", + RowBox[{"3", " ", + SqrtBox["2"]}]}], ")"}]}], ",", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"3", "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}], ")"}]}], ",", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"1", "+", + SqrtBox["2"]}], ")"}]}], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + RowBox[{"5", "+", + RowBox[{"4", " ", + SqrtBox["2"]}]}], ",", + RowBox[{"3", "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}], ",", + RowBox[{ + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}]}]}], "}"}]}]], "Input", + CellChangeTimes->{{3.832154735232589*^9, 3.832154736664616*^9}}, + CellLabel->"In[58]:=",ExpressionUUID->"37dd154f-78f2-4f34-920f-b03f8abd5497"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + RowBox[{ + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}]}], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + RowBox[{ + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"1", "+", + SqrtBox["2"]}], ")"}]}], ",", + RowBox[{ + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}]}], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], ",", + RowBox[{ + RowBox[{"-", "1"}], "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}], ",", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], ",", + RowBox[{ + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"4", "+", + RowBox[{"3", " ", + SqrtBox["2"]}]}], ")"}]}], ",", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"3", "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}], ")"}]}], ",", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"1", "+", + SqrtBox["2"]}], ")"}]}], ",", + RowBox[{"1", "+", + SqrtBox["2"]}], ",", + RowBox[{"5", "+", + RowBox[{"4", " ", + SqrtBox["2"]}]}], ",", + RowBox[{"3", "+", + RowBox[{"2", " ", + SqrtBox["2"]}]}], ",", + RowBox[{ + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}]}]}], "}"}]], "Output", + CellChangeTimes->{3.832154737565248*^9}, + CellLabel->"Out[58]=",ExpressionUUID->"220bbd57-ad5e-4520-afaa-f58e5f038774"] +}, Open ]], + +Cell[BoxData[ + RowBox[{ + RowBox[{"bilval", "[", + RowBox[{"a_", ",", "b_"}], "]"}], ":=", + RowBox[{ + RowBox[{ + RowBox[{"1", "/", "2"}], + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "3"}], "]"}], "]"}], "^", "2"}], "+", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}], "^", "2"}], "-", "1"}], + ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}], ")"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}]}], ")"}]}]}], "+", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "3"}], "]"}], "]"}], "^", "2"}], "+", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}], "^", "2"}], "-", "1"}], + ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}]}], ")"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}], ")"}]}]}]}], ")"}]}], + "-", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "3"}], "]"}], "]"}], "*", + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "3"}], "]"}], "]"}]}], "-", + RowBox[{ + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}], "*", + RowBox[{"evars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}]}]}]], "Input", + CellChangeTimes->{3.8321545183641577`*^9}, + CellLabel->"In[44]:=",ExpressionUUID->"d90eccb3-4b3f-4aeb-9daa-c0287361680b"], + +Cell[BoxData[ + RowBox[{"evars", "=", + TagBox[ + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"1", "1", "a141"}, + {"1", "a52", "a142"}, + {"1", "a53", "a143"}, + { + RowBox[{"-", "1"}], "1", "0"}, + {"1", + RowBox[{"-", "1"}], "0"}, + {"a46", "1", "0"}, + {"1", "a57", "0"}, + {"a48", "0", "1"}, + {"0", "a59", "a149"}, + {"0", "a510", "a1410"}, + {"0", "a511", "1"}, + {"0", "0", "1"}, + {"a413", "a513", "1"}, + {"0", "0", + RowBox[{"-", "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$]]]}]], "Input", + CellChangeTimes->{{3.832154355954558*^9, 3.8321544889317627`*^9}, { + 3.832154979746866*^9, 3.8321550131334143`*^9}, {3.832155051016962*^9, + 3.832155215109593*^9}, {3.832155277901887*^9, 3.8321554662356977`*^9}, { + 3.8321556238210897`*^9, 3.832155689046557*^9}, {3.8321557375920153`*^9, + 3.832155779907352*^9}, {3.832155822194066*^9, 3.8321558263982763`*^9}, { + 3.8321558679777403`*^9, 3.832155932816086*^9}, {3.832156012419259*^9, + 3.832156141921052*^9}, {3.832156175612656*^9, 3.8321561879961157`*^9}, + 3.832156239159583*^9, {3.832156304483883*^9, 3.832156395862825*^9}, { + 3.832156485697157*^9, 3.83215654544409*^9}, {3.832156757920027*^9, + 3.832156765939341*^9}},ExpressionUUID->"e78de88d-4698-49fa-ae45-\ +34e603246b12"], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{ + RowBox[{"Graphics", "[", + RowBox[{"{", + RowBox[{ + RowBox[{"Table", "[", + RowBox[{ + RowBox[{"Circle", "[", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"i", ",", "3"}], "]"}], "]"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"i", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"i", ",", "2"}], "]"}], "]"}]}], ")"}]}], ",", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"i", ",", "2"}], "]"}], "]"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"i", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"i", ",", "2"}], "]"}], "]"}]}], ")"}]}]}], "}"}], + ",", + RowBox[{"1", "/", + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"i", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"i", ",", "2"}], "]"}], "]"}]}], ")"}]}]}], "]"}], ",", + + RowBox[{"{", + RowBox[{"i", ",", + RowBox[{"Length", "[", "vars", "]"}]}], "}"}]}], "]"}], ",", + RowBox[{"Line", "[", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"-", "0.7"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{"0", ",", "1.4"}], "}"}]}], "}"}], "]"}], ",", + RowBox[{"Line", "[", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{"1.7", ",", "0"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"-", "0.3"}], ",", "0"}], "}"}]}], "}"}], "]"}], ",", + RowBox[{"Line", "[", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{"1.7", ",", "1"}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"-", "0.3"}], ",", "1"}], "}"}]}], "}"}], "]"}], ",", + RowBox[{"Line", "[", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"a141", "/", "2"}], ",", + RowBox[{"-", "0.7"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"a141", "/", "2"}], ",", "1.4"}], "}"}]}], "}"}], "]"}]}], + "}"}], "]"}], "\[IndentingNewLine]", "\[IndentingNewLine]"}]], "Input", + CellChangeTimes->{{3.832154355954558*^9, 3.8321544889317627`*^9}, { + 3.832154979746866*^9, 3.8321550131334143`*^9}, {3.832155051016962*^9, + 3.832155215109593*^9}, {3.832155277901887*^9, 3.8321554662356977`*^9}, { + 3.8321556238210897`*^9, 3.832155689046557*^9}, {3.8321557375920153`*^9, + 3.832155779907352*^9}, {3.832155822194066*^9, 3.8321558263982763`*^9}, { + 3.8321558679777403`*^9, 3.832155932816086*^9}, {3.832156012419259*^9, + 3.832156141921052*^9}, {3.832156175612656*^9, 3.8321561879961157`*^9}, + 3.832156239159583*^9, {3.832156304483883*^9, 3.832156395862825*^9}, { + 3.832156485697157*^9, 3.832156613658806*^9}, {3.8321566449929743`*^9, + 3.83215672481562*^9}, {3.8321567733358927`*^9, 3.83215681559245*^9}}, + CellLabel-> + "In[141]:=",ExpressionUUID->"e614ee17-66c8-426c-8928-af42bca1160c"], + +Cell[BoxData[ + GraphicsBox[{{ + CircleBox[ + NCache[{Rational[1, 2] (2 - 2^Rational[1, 2])^Rational[1, 2] (2 + + 2^Rational[1, 2]), Rational[1, 2]}, {1.3065629648763764`, 0.5}], + NCache[Rational[1, 2], 0.5]], + CircleBox[ + NCache[{(2 - 2^Rational[1, 2])^Rational[1, 2] (1 + 2^Rational[1, 2])/(2 + + 2^Rational[1, 2]), (1 + 2^Rational[1, 2])/(2 + 2^Rational[1, 2])}, { + 0.5411961001461969, 0.7071067811865475}], + NCache[(2 + 2^Rational[1, 2])^(-1), 0.2928932188134525]], + CircleBox[ + NCache[{(2 - 2^Rational[1, 2])^Rational[1, 2] (2 + 2^Rational[1, 2])/(6 + + 4 2^Rational[1, 2]), (5 + 4 2^Rational[1, 2])/(6 + + 4 2^Rational[1, 2])}, {0.22417076458398252`, 0.914213562373095}], + NCache[(6 + 4 2^Rational[1, 2])^(-1), 0.08578643762690495]], + CircleBox[ + NCache[{0, Rational[1, 2] 2^Rational[-1, 2]}, {0, 0.35355339059327373`}], + NCache[Rational[1, 2] 2^Rational[-1, 2], 0.35355339059327373`]], + CircleBox[ + NCache[{0, (3 + 2 2^Rational[1, 2])/(4 + 2 2^Rational[1, 2])}, { + 0, 0.8535533905932737}], + NCache[(4 + 2 2^Rational[1, 2])^(-1), 0.14644660940672624`]], + CircleBox[ + NCache[{Rational[1, 2] (2 - 2^Rational[1, 2])^Rational[-1, 2], 0}, { + 0.6532814824381883, 0}], NCache[ + Rational[1, 2] (2 - 2^Rational[1, 2])^Rational[-1, 2], + 0.6532814824381883]], + CircleBox[ + NCache[{(2 - 2^Rational[1, 2])^Rational[-1, 2] (1 + 2^Rational[1, 2])/(2 + + 2^Rational[1, 2]), 1}, {0.9238795325112867, 1}], + NCache[(2 - 2^Rational[1, 2])^Rational[-1, 2]/(2 + 2^Rational[1, 2]), + 0.3826834323650898]], + CircleBox[ + NCache[{(2 - 2^Rational[1, 2])^Rational[-1, 2] (1 + 2^Rational[1, 2])/(4 + + 3 2^Rational[1, 2]), 1}, {0.3826834323650897, 1}], + NCache[(2 - 2^Rational[1, 2])^Rational[-1, 2]/(4 + 3 2^Rational[1, 2]), + 0.1585126677811072]], + CircleBox[ + NCache[{Rational[1, 2] (2 - 2^Rational[1, 2])^Rational[-1, 2]/(3 + + 2 2^Rational[1, 2]), 1}, {0.11208538229199129`, 1}], NCache[ + Rational[1, 2] (2 - 2^Rational[1, 2])^Rational[-1, 2]/(3 + + 2 2^Rational[1, 2]), 0.11208538229199129`]], + CircleBox[ + NCache[{(2 (2 - 2^Rational[1, 2])^Rational[1, 2] + + 2 (2 - 2^Rational[1, 2])^Rational[1, 2] (1 + 2^Rational[1, 2]))^(-1), + 2 (2 - 2^Rational[1, 2])^Rational[1, 2] (1 + 2^Rational[1, 2])/( + 2 (2 - 2^Rational[1, 2])^Rational[1, 2] + + 2 (2 - 2^Rational[1, 2])^Rational[1, 2] (1 + 2^Rational[1, 2]))}, { + 0.19134171618254492`, 0.7071067811865475}], + NCache[(2 (2 - 2^Rational[1, 2])^Rational[1, 2] + + 2 (2 - 2^Rational[1, 2])^Rational[1, 2] (1 + 2^Rational[1, 2]))^(-1), + 0.19134171618254492`]]}, LineBox[{{0, -0.7}, {0, 1.4}}], + LineBox[{{1.7, 0}, {-0.3, 0}}], LineBox[{{1.7, 1}, {-0.3, 1}}], + LineBox[NCache[{{ + Rational[1, 2] (2 - 2^Rational[1, 2])^Rational[1, 2] (2 + + 2^Rational[1, 2]), -0.7}, { + Rational[1, 2] (2 - 2^Rational[1, 2])^Rational[1, 2] (2 + + 2^Rational[1, 2]), 1.4}}, {{1.3065629648763764`, -0.7}, { + 1.3065629648763764`, 1.4}}]]}]], "Output", + CellChangeTimes->{ + 3.832155320009849*^9, 3.8321553894982986`*^9, {3.8321554448128977`*^9, + 3.832155476006111*^9}, 3.8321556360139914`*^9, {3.832156095304948*^9, + 3.832156113041325*^9}, 3.832156143359317*^9, 3.832156178041766*^9, { + 3.8321563488481827`*^9, 3.832156397529855*^9}, {3.83215652346205*^9, + 3.832156600937437*^9}, 3.832156695626347*^9, 3.832156727351286*^9, + 3.832156781234215*^9, 3.8321568160745707`*^9}, + CellLabel-> + "Out[141]=",ExpressionUUID->"d3cd1080-4a40-43aa-b03d-802533ca7299"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[""], "Input", + CellChangeTimes->{{3.832155252843185*^9, + 3.8321552764317636`*^9}},ExpressionUUID->"07e28b32-e6bd-48f0-8fad-\ +7c7b62815925"], + +Cell[BoxData[ + RowBox[{ + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}]}]], "Output", + CellChangeTimes->{ + 3.832154420829947*^9, {3.832155211845641*^9, 3.8321552162241783`*^9}, { + 3.8321552536871147`*^9, 3.832155268746705*^9}}, + CellLabel->"Out[81]=",ExpressionUUID->"3d0d31f2-eeec-435c-b885-a9acc1637ba3"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[{ + RowBox[{"bilval", "[", + RowBox[{"6", ",", "13"}], "]"}], "\[IndentingNewLine]", + RowBox[{"N", "[", + RowBox[{ + RowBox[{"2", "/", "149"}], + RowBox[{"(", + RowBox[{"26", "+", + RowBox[{"Sqrt", "[", "853374", "]"}]}], ")"}]}], + "]"}], "\[IndentingNewLine]"}], "Input", + CellChangeTimes->{{3.832154188978303*^9, 3.8321542413803873`*^9}, { + 3.832154532290388*^9, 3.832154649835836*^9}, {3.832166734371517*^9, + 3.832166776500173*^9}, {3.832166886638373*^9, 3.832166915885481*^9}}, + CellLabel-> + "In[175]:=",ExpressionUUID->"116916a6-e2c7-426e-b188-2c39989f1d6f"], + +Cell[BoxData[ + RowBox[{ + RowBox[{ + RowBox[{"-", "2"}], " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"1", "+", + SqrtBox["2"]}], ")"}]}], "+", + FractionBox[ + RowBox[{"4", " ", + SqrtBox["2"], " ", + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}], " ", + SuperscriptBox[ + RowBox[{"(", + RowBox[{"1", "+", + SqrtBox["2"]}], ")"}], "2"]}], + RowBox[{ + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "+", + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"1", "+", + SqrtBox["2"]}], ")"}]}]}]]}]], "Output", + CellChangeTimes->{ + 3.832157979733233*^9, {3.832166764406995*^9, 3.832166778686607*^9}, { + 3.8321668873890543`*^9, 3.8321669163175592`*^9}}, + CellLabel-> + "Out[175]=",ExpressionUUID->"9237f455-72b4-4a40-a6f7-dce045ac908b"], + +Cell[BoxData["12.748757609666766`"], "Output", + CellChangeTimes->{ + 3.832157979733233*^9, {3.832166764406995*^9, 3.832166778686607*^9}, { + 3.8321668873890543`*^9, 3.832166916324634*^9}}, + CellLabel-> + "Out[176]=",ExpressionUUID->"b36131b7-e951-49aa-90e3-cc9861cd2ff0"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"Simplify", "[", + RowBox[{"bilval", "[", + RowBox[{"1", ",", "11"}], "]"}], "]"}]], "Input", + CellChangeTimes->{3.832157967380934*^9}, + CellLabel-> + "In[151]:=",ExpressionUUID->"a6c3c8d3-a34e-46dc-9b8b-9f39236ea15e"], + +Cell[BoxData[ + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]], " ", + RowBox[{"(", + RowBox[{"4", "+", + RowBox[{"3", " ", + SqrtBox["2"]}]}], ")"}]}]], "Output", + CellChangeTimes->{{3.832157952753284*^9, 3.8321579679214582`*^9}}, + CellLabel-> + "Out[151]=",ExpressionUUID->"4ac93c2d-c579-4ae2-808e-ed0566403ef7"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[""], "Input", + CellChangeTimes->{{3.8321547550821753`*^9, 3.832154804273013*^9}, { + 3.8321548914531813`*^9, + 3.832154927285116*^9}},ExpressionUUID->"ca1741e2-e6f1-4a7e-be6d-\ +aeba85714fb3"], + +Cell[BoxData[ + SqrtBox[ + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{"2", "+", + SqrtBox["2"]}], ")"}]}]]], "Output", + CellChangeTimes->{{3.832154207237934*^9, 3.832154241766768*^9}, { + 3.832154522602091*^9, 3.832154611278063*^9}, {3.832154646241933*^9, + 3.832154650266037*^9}, {3.832154767402338*^9, 3.832154804848229*^9}, { + 3.832154898871961*^9, 3.8321549165125427`*^9}}, + CellLabel->"Out[74]=",ExpressionUUID->"ad53b85c-6980-441f-9fdf-4b8451ebd3f6"], + +Cell[BoxData[ + RowBox[{ + RowBox[{"2", " ", + SqrtBox[ + RowBox[{"2", "-", + SqrtBox["2"]}]]}], "+", + SqrtBox[ + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{"2", "-", + SqrtBox["2"]}], ")"}]}]]}]], "Output", + CellChangeTimes->{{3.832154207237934*^9, 3.832154241766768*^9}, { + 3.832154522602091*^9, 3.832154611278063*^9}, {3.832154646241933*^9, + 3.832154650266037*^9}, {3.832154767402338*^9, 3.832154804848229*^9}, { + 3.832154898871961*^9, 3.832154916524498*^9}}, + CellLabel->"Out[75]=",ExpressionUUID->"c3c75778-1d14-4f39-b214-e3877b0c6733"] +}, Open ]] +}, +WindowSize->{1431, 847}, +WindowMargins->{{Automatic, 0}, {Automatic, 0}}, +FrontEndVersion->"12.3 for Mac OS X x86 (64-bit) (May 11, 2021)", +StyleDefinitions->"Default.nb", +ExpressionUUID->"b65428d6-21aa-4362-8b77-c3534e0494c5" +] +(* End of Notebook Content *) + +(* Internal cache information *) +(*CellTagsOutline +CellTagsIndex->{} +*) +(*CellTagsIndex +CellTagsIndex->{} +*) +(*NotebookFileOutline +Notebook[{ +Cell[558, 20, 154, 3, 30, "Input",ExpressionUUID->"fd589f51-20f0-473e-9f00-6169e6c72ad9"], +Cell[715, 25, 13652, 355, 911, "Input",ExpressionUUID->"2f69e206-476d-4a77-88c2-7aabd2b377b7"], +Cell[CellGroupData[{ +Cell[14392, 384, 1720, 52, 52, "Input",ExpressionUUID->"94745e25-bf9a-467f-baca-c80a81655002"], +Cell[16115, 438, 13407, 446, 468, "Output",ExpressionUUID->"d9aa84bf-19de-4716-88ae-768dc14d2d19"] +}, Open ]], +Cell[CellGroupData[{ +Cell[29559, 889, 406, 9, 30, "Input",ExpressionUUID->"ff7e09ec-c76a-4986-a0e3-9643fccc83a0"], +Cell[29968, 900, 2630, 50, 98, "Output",ExpressionUUID->"72513462-ecfd-4214-9c64-b2b1907d053b"] +}, Open ]], +Cell[CellGroupData[{ +Cell[32635, 955, 691, 13, 73, "Input",ExpressionUUID->"d7254ed8-0eb0-4b8e-aa9c-0dd7c7490bb5"], +Cell[33329, 970, 7679, 218, 42, "Output",ExpressionUUID->"d890a85c-4994-4c24-aa27-cb950f789558"] +}, Open ]], +Cell[CellGroupData[{ +Cell[41045, 1193, 1908, 54, 73, "Input",ExpressionUUID->"84f98bb4-0096-4fcc-9eb4-5f0b78088c76"], +Cell[42956, 1249, 13833, 490, 331, "Output",ExpressionUUID->"b482498c-22b8-4eff-8279-81a47c415645"] +}, Open ]], +Cell[56804, 1742, 436, 9, 30, "Input",ExpressionUUID->"fa9c2576-085b-4633-9e39-1c8015ce2bc7"], +Cell[CellGroupData[{ +Cell[57265, 1755, 156, 3, 30, "Input",ExpressionUUID->"15d460d3-8799-402a-8141-455eb8b6e3f6"], +Cell[57424, 1760, 4693, 101, 182, "Output",ExpressionUUID->"c692ff8c-c633-40c7-aa27-42a2d64067a6"] +}, Open ]], +Cell[62132, 1864, 2999, 110, 99, "Input",ExpressionUUID->"676578f4-382e-4552-832e-674b1eeeab93"], +Cell[65134, 1976, 2782, 105, 78, InheritFromParent,ExpressionUUID->"dee62645-feab-4270-a53a-c569d8dcdc4d"], +Cell[CellGroupData[{ +Cell[67941, 2085, 2268, 85, 95, InheritFromParent,ExpressionUUID->"37dd154f-78f2-4f34-920f-b03f8abd5497"], +Cell[70212, 2172, 1915, 79, 72, "Output",ExpressionUUID->"220bbd57-ad5e-4520-afaa-f58e5f038774"] +}, Open ]], +Cell[72142, 2254, 2638, 83, 73, "Input",ExpressionUUID->"d90eccb3-4b3f-4aeb-9daa-c0287361680b"], +Cell[74783, 2339, 1770, 44, 249, "Input",ExpressionUUID->"e78de88d-4698-49fa-ae45-34e603246b12"], +Cell[CellGroupData[{ +Cell[76578, 2387, 3546, 95, 94, "Input",ExpressionUUID->"e614ee17-66c8-426c-8928-af42bca1160c"], +Cell[80127, 2484, 3650, 68, 367, "Output",ExpressionUUID->"d3cd1080-4a40-43aa-b03d-802533ca7299"] +}, Open ]], +Cell[CellGroupData[{ +Cell[83814, 2557, 154, 3, 30, "Input",ExpressionUUID->"07e28b32-e6bd-48f0-8fad-7c7b62815925"], +Cell[83971, 2562, 385, 11, 40, "Output",ExpressionUUID->"3d0d31f2-eeec-435c-b885-a9acc1637ba3"] +}, Open ]], +Cell[CellGroupData[{ +Cell[84393, 2578, 594, 14, 73, "Input",ExpressionUUID->"116916a6-e2c7-426e-b188-2c39989f1d6f"], +Cell[84990, 2594, 961, 36, 66, "Output",ExpressionUUID->"9237f455-72b4-4a40-a6f7-dce045ac908b"], +Cell[85954, 2632, 272, 5, 34, "Output",ExpressionUUID->"b36131b7-e951-49aa-90e3-cc9861cd2ff0"] +}, Open ]], +Cell[CellGroupData[{ +Cell[86263, 2642, 244, 6, 30, "Input",ExpressionUUID->"a6c3c8d3-a34e-46dc-9b8b-9f39236ea15e"], +Cell[86510, 2650, 348, 11, 40, "Output",ExpressionUUID->"4ac93c2d-c579-4ae2-808e-ed0566403ef7"] +}, Open ]], +Cell[CellGroupData[{ +Cell[86895, 2666, 205, 4, 30, "Input",ExpressionUUID->"ca1741e2-e6f1-4a7e-be6d-aeba85714fb3"], +Cell[87103, 2672, 466, 10, 41, "Output",ExpressionUUID->"ad53b85c-6980-441f-9fdf-4b8451ebd3f6"], +Cell[87572, 2684, 567, 15, 41, "Output",ExpressionUUID->"c3c75778-1d14-4f39-b214-e3877b0c6733"] +}, Open ]] +} +] +*) + +(* End of internal cache information *) + diff --git a/7v8f1.nb b/7v8f1.nb new file mode 100644 index 0000000..fc32e72 --- /dev/null +++ b/7v8f1.nb @@ -0,0 +1,640 @@ +(* Content-type: application/vnd.wolfram.mathematica *) + +(*** Wolfram Notebook File ***) +(* http://www.wolfram.com/nb *) + +(* CreatedBy='Mathematica 12.3' *) + +(*CacheID: 234*) +(* Internal cache information: +NotebookFileLineBreakTest +NotebookFileLineBreakTest +NotebookDataPosition[ 158, 7] +NotebookDataLength[ 23173, 632] +NotebookOptionsPosition[ 22502, 613] +NotebookOutlinePosition[ 22893, 629] +CellTagsIndexPosition[ 22850, 626] +WindowFrame->Normal*) + +(* Beginning of Notebook Content *) +Notebook[{ + +Cell[CellGroupData[{ +Cell[BoxData[{ + RowBox[{ + RowBox[{ + RowBox[{"bil", "[", + RowBox[{"a_", ",", "b_"}], "]"}], ":=", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"1", "/", "2"}], + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "3"}], "]"}], "]"}], "^", "2"}], "+", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}], "^", "2"}], "-", "1"}], + ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}], ")"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}]}], ")"}]}]}], "+", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "3"}], "]"}], "]"}], "^", "2"}], "+", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}], "^", "2"}], "-", "1"}], + ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}]}], ")"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}], ")"}]}]}]}], ")"}]}], + "-", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "3"}], "]"}], "]"}], "*", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "3"}], "]"}], "]"}]}], "-", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}], "*", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}]}], "==", + RowBox[{"matzeros", "[", + RowBox[{"[", + RowBox[{"a", ",", "b"}], "]"}], "]"}]}]}], + "\[IndentingNewLine]"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"NSolve", "[", + RowBox[{ + RowBox[{"bil", "[", + RowBox[{"1", ",", "2"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "4"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "3"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"7", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"9", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"10", ",", "11"}], "]"}], "&&", + RowBox[{"a1", ">", "0"}], "&&", + RowBox[{"a11", ">", "0"}], "&&", + RowBox[{"a12", ">", "0"}]}], "]"}], + "\[IndentingNewLine]"}], "\[IndentingNewLine]", + RowBox[{"Solve", "[", + RowBox[{ + RowBox[{"bil", "[", + RowBox[{"1", ",", "2"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "4"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "3"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "6"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"6", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"7", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"9", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"10", ",", "11"}], "]"}], "&&", + RowBox[{"a1", ">", "0"}], "&&", + RowBox[{"a11", ">", "0"}], "&&", + RowBox[{"a12", ">", "0"}]}], "]"}], "\[IndentingNewLine]", + RowBox[{"matzeros", " ", "=", " ", + TagBox[ + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"\[Placeholder]", "1", "\[Placeholder]", "1", "1", "0", + "\[Placeholder]", "\[Placeholder]", "0", "0", "0"}, + {"1", "\[Placeholder]", "1", "\[Placeholder]", "1", "0", "0", "0", "0", + "\[Placeholder]", "\[Placeholder]"}, + {"\[Placeholder]", "1", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]", "0", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]"}, + {"1", "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", + "0", "0"}, + {"1", "1", "1", "1", "\[Placeholder]", "0", "0", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "0"}, + {"0", "0", "\[Placeholder]", "\[Placeholder]", "0", "\[Placeholder]", + "1", "\[Placeholder]", "1", "\[Placeholder]", "1"}, + {"\[Placeholder]", "0", "0", "\[Placeholder]", "0", "1", + "\[Placeholder]", "1", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]"}, + {"\[Placeholder]", "0", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "1", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]"}, + {"0", "0", "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]"}, + {"0", "\[Placeholder]", "\[Placeholder]", "0", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]", "1"}, + {"0", "\[Placeholder]", "\[Placeholder]", "0", "0", "1", + "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]"} + }, + 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$]]]}], "\[IndentingNewLine]", + RowBox[{"vars", " ", "=", + TagBox[ + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"a1", "1", "a15"}, + {"1", "1", "a16"}, + {"1", "a9", "0"}, + {"a2", "1", "0"}, + {"a3", "a10", "0"}, + {"a4", "a11", "a17"}, + {"a5", "a12", "1"}, + {"0", "a13", "1"}, + {"a6", "0", "a18"}, + {"a7", "0", "1"}, + {"a8", "a14", "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$]]]}], "\[IndentingNewLine]", + RowBox[{"MatrixForm", "[", + TagBox[ + RowBox[{"(", "\[NoBreak]", GridBox[{ + { + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"1", "-", + RowBox[{"5", " ", "#1"}], "-", + RowBox[{"7", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "3"}], "]"}], "1", + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"2", "-", + RowBox[{"4", " ", "#1"}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "3"}], "]"}]}, + {"1", "1", + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "8"}], "-", + RowBox[{"4", " ", "#1"}], "+", + RowBox[{"6", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "3"}], "]"}]}, + {"1", + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"23", "+", + RowBox[{"19", " ", "#1"}], "-", + RowBox[{"11", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "2"}], "]"}], "0"}, + { + RowBox[{"-", "1"}], "1", "0"}, + {"1", + RowBox[{"-", "1"}], "0"}, + { + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"1", "+", + RowBox[{"19", " ", "#1"}], "-", + RowBox[{"13", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "3"}], "]"}], "1", "0"}, + { + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"23", "+", + RowBox[{"19", " ", "#1"}], "-", + RowBox[{"11", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "2"}], "]"}], + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "31"}], "+", + RowBox[{"67", " ", "#1"}], "-", + RowBox[{"29", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "2"}], "]"}], "0"}, + { + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "4"}], "+", + RowBox[{"12", " ", "#1"}], "-", + RowBox[{"8", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "3"}], "]"}], + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"32", "-", + RowBox[{"8", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "2"}], "]"}], + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"5", "+", + RowBox[{"3", " ", "#1"}], "-", + RowBox[{"5", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "2"}], "]"}]}, + { + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "8"}], "-", + RowBox[{"12", " ", "#1"}], "+", + RowBox[{"2", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "3"}], "]"}], + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"32", "-", + RowBox[{"64", " ", "#1"}], "+", + RowBox[{"12", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "3"}], "]"}], "1"}, + {"0", + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "8"}], "-", + RowBox[{"12", " ", "#1"}], "+", + RowBox[{"2", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "3"}], "]"}], "1"}, + {"0", "0", "1"}, + { + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "4"}], "-", + RowBox[{"8", " ", "#1"}], "-", + RowBox[{"2", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "3"}], "]"}], "0", + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"5", "+", + RowBox[{"3", " ", "#1"}], "-", + RowBox[{"5", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "2"}], "]"}]}, + { + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"8", "-", + RowBox[{"4", " ", "#1"}], "-", + RowBox[{"10", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "3"}], "]"}], "0", "1"}, + { + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "32"}], "+", + RowBox[{"48", " ", "#1"}], "-", + RowBox[{"16", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "3"}], "]"}], + RowBox[{"Root", "[", + RowBox[{ + RowBox[{ + RowBox[{"32", "-", + RowBox[{"8", " ", + SuperscriptBox["#1", "2"]}], "+", + SuperscriptBox["#1", "3"]}], "&"}], ",", "2"}], "]"}], "1"}, + {"0", "0", + RowBox[{"-", "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$]]], "]"}]}], "Input", + CellChangeTimes->{{3.8320755296452913`*^9, 3.832075533049665*^9}, + 3.832075917191489*^9, {3.832075957182329*^9, 3.832075957556839*^9}, { + 3.832076356936453*^9, 3.832076364105147*^9}, {3.8320766712965517`*^9, + 3.8320766772817507`*^9}, {3.832076763127453*^9, 3.8320768169168787`*^9}, { + 3.832077551745839*^9, 3.832077689854657*^9}, {3.832077751960526*^9, + 3.832078043266715*^9}, {3.8320782472439737`*^9, 3.832078257104299*^9}, { + 3.832078290717417*^9, 3.832078402685297*^9}, {3.832078445115466*^9, + 3.8320784954449987`*^9}, {3.832078850354298*^9, 3.832078916491396*^9}, { + 3.832078985636363*^9, 3.8320791095876703`*^9}, {3.832079196080068*^9, + 3.832079222279956*^9}, {3.8320794000835953`*^9, 3.832079408474498*^9}, { + 3.832079442403521*^9, 3.8320794635713997`*^9}}, + CellLabel->"In[66]:=",ExpressionUUID->"feadb8ac-6efa-48d8-85ae-3d5def9c0bd4"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{"{", + RowBox[{ + RowBox[{"a1", "\[Rule]", "7.637519478750682`"}], ",", + RowBox[{"a10", "\[Rule]", "1.8509690495304543`"}], ",", + RowBox[{"a11", "\[Rule]", "2.387873132949264`"}], ",", + RowBox[{"a12", "\[Rule]", "3.5369040834187953`"}], ",", + RowBox[{"a13", "\[Rule]", "2.9623886081840296`"}], ",", + RowBox[{"a14", "\[Rule]", "2.387873132949264`"}], ",", + RowBox[{"a15", "\[Rule]", "1.6751308705666448`"}], ",", + RowBox[{"a16", "\[Rule]", "1.350261741133286`"}], ",", + RowBox[{"a17", "\[Rule]", "1.8060634335253696`"}], ",", + RowBox[{"a18", "\[Rule]", "1.8060634335253696`"}], ",", + RowBox[{"a2", "\[Rule]", "11.312650349317327`"}], ",", + RowBox[{"a3", "\[Rule]", "3.387873132949261`"}], ",", + RowBox[{"a4", "\[Rule]", "6.156325174658665`"}], ",", + RowBox[{"a5", "\[Rule]", "2.9623886081840296`"}], ",", + RowBox[{"a6", "\[Rule]", "4.156325174658662`"}], ",", + RowBox[{"a7", "\[Rule]", "10.312650349317328`"}], ",", + RowBox[{"a8", "\[Rule]", "12.31265034931733`"}], ",", + RowBox[{"a9", "\[Rule]", "3.387873132949261`"}]}], "}"}], "}"}]], "Output",\ + + CellChangeTimes->{ + 3.832075984860526*^9, 3.832076756346835*^9, {3.832079116126001*^9, + 3.832079122378861*^9}, 3.8320794108572807`*^9, 3.83207946592073*^9}, + CellLabel->"Out[67]=",ExpressionUUID->"3573540e-d1df-4324-a3a4-3eafc2074fe6"] +}, Open ]], + +Cell[BoxData[ + RowBox[{"MatrixForm", "[", + RowBox[{ + TagBox[ + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"a1", "1", "a15"}, + {"1", "1", "a16"}, + {"1", "a9", "0"}, + {"a2", "1", "0"}, + {"a3", "a10", "0"}, + {"a4", "a11", "a17"}, + {"a5", "a12", "1"}, + {"0", "a13", "1"}, + {"a6", "0", "a18"}, + {"a7", "0", "1"}, + {"a8", "a14", "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$]]], "/.", + RowBox[{"{", + RowBox[{ + RowBox[{"a1", "\[Rule]", "7.637519478750682`"}], ",", + RowBox[{"a10", "\[Rule]", "1.8509690495304543`"}], ",", + RowBox[{"a11", "\[Rule]", "2.387873132949264`"}], ",", + RowBox[{"a12", "\[Rule]", "3.5369040834187953`"}], ",", + RowBox[{"a13", "\[Rule]", "2.9623886081840296`"}], ",", + RowBox[{"a14", "\[Rule]", "2.387873132949264`"}], ",", + RowBox[{"a15", "\[Rule]", "1.6751308705666448`"}], ",", + RowBox[{"a16", "\[Rule]", "1.350261741133286`"}], ",", + RowBox[{"a17", "\[Rule]", "1.8060634335253696`"}], ",", + RowBox[{"a18", "\[Rule]", "1.8060634335253696`"}], ",", + RowBox[{"a2", "\[Rule]", "11.312650349317327`"}], ",", + RowBox[{"a3", "\[Rule]", "3.387873132949261`"}], ",", + RowBox[{"a4", "\[Rule]", "6.156325174658665`"}], ",", + RowBox[{"a5", "\[Rule]", "2.9623886081840296`"}], ",", + RowBox[{"a6", "\[Rule]", "4.156325174658662`"}], ",", + RowBox[{"a7", "\[Rule]", "10.312650349317328`"}], ",", + RowBox[{"a8", "\[Rule]", "12.31265034931733`"}], ",", + RowBox[{"a9", "\[Rule]", "3.387873132949261`"}]}], "}"}]}], + "]"}]], "Input", + CellChangeTimes->{{3.8320792380626707`*^9, 3.8320792671482487`*^9}, { + 3.8320793085365543`*^9, 3.832079334976665*^9}, 3.8320794235879393`*^9}, + CellLabel->"In[60]:=",ExpressionUUID->"fded3599-e17c-46f1-b2bb-352a088274cf"], + +Cell[BoxData[ + TagBox[ + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"7.637519478750682`", "1", "1.6751308705666448`"}, + {"1", "1", "1.350261741133286`"}, + {"1", "3.387873132949261`", "0"}, + {"11.312650349317327`", "1", "0"}, + {"3.387873132949261`", "1.8509690495304543`", "0"}, + {"6.156325174658665`", "2.387873132949264`", "1.8060634335253696`"}, + {"2.9623886081840296`", "3.5369040834187953`", "1"}, + {"0", "2.9623886081840296`", "1"}, + {"4.156325174658662`", "0", "1.8060634335253696`"}, + {"10.312650349317328`", "0", "1"}, + {"12.31265034931733`", "2.387873132949264`", "1"} + }, + GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, + GridBoxSpacings->{"Columns" -> { + Offset[0.27999999999999997`], { + Offset[0.7]}, + Offset[0.27999999999999997`]}, "Rows" -> { + Offset[0.2], { + Offset[0.4]}, + Offset[0.2]}}], "\[NoBreak]", ")"}], + Function[BoxForm`e$, + MatrixForm[BoxForm`e$]]]], "Input", + CellChangeTimes->{3.832079427766121*^9}, + CellLabel-> + "Out[60]//MatrixForm=",ExpressionUUID->"dc2615a4-cad1-4194-8b2a-\ +5b697a27bf53"] +}, +WindowSize->{1436, 747}, +WindowMargins->{{Automatic, 0}, {Automatic, 4}}, +FrontEndVersion->"12.3 for Mac OS X x86 (64-bit) (May 11, 2021)", +StyleDefinitions->"Default.nb", +ExpressionUUID->"81c78ba0-1b38-41e3-961c-299c1b78bfc3" +] +(* End of Notebook Content *) + +(* Internal cache information *) +(*CellTagsOutline +CellTagsIndex->{} +*) +(*CellTagsIndex +CellTagsIndex->{} +*) +(*NotebookFileOutline +Notebook[{ +Cell[CellGroupData[{ +Cell[580, 22, 17069, 476, 1005, "Input",ExpressionUUID->"feadb8ac-6efa-48d8-85ae-3d5def9c0bd4"], +Cell[17652, 500, 1400, 26, 56, "Output",ExpressionUUID->"3573540e-d1df-4324-a3a4-3eafc2074fe6"] +}, Open ]], +Cell[19067, 529, 2286, 52, 281, "Input",ExpressionUUID->"fded3599-e17c-46f1-b2bb-352a088274cf"], +Cell[21356, 583, 1142, 28, 220, "Input",ExpressionUUID->"dc2615a4-cad1-4194-8b2a-5b697a27bf53"] +} +] +*) + diff --git a/7v8f11.nb b/7v8f11.nb new file mode 100644 index 0000000..85e4dd3 --- /dev/null +++ b/7v8f11.nb @@ -0,0 +1,1862 @@ +(* Content-type: application/vnd.wolfram.mathematica *) + +(*** Wolfram Notebook File ***) +(* http://www.wolfram.com/nb *) + +(* CreatedBy='Mathematica 12.3' *) + +(*CacheID: 234*) +(* Internal cache information: +NotebookFileLineBreakTest +NotebookFileLineBreakTest +NotebookDataPosition[ 158, 7] +NotebookDataLength[ 63325, 1854] +NotebookOptionsPosition[ 61089, 1814] +NotebookOutlinePosition[ 61480, 1830] +CellTagsIndexPosition[ 61437, 1827] +WindowFrame->Normal*) + +(* Beginning of Notebook Content *) +Notebook[{ +Cell[BoxData[ + RowBox[{"\[IndentingNewLine]", + RowBox[{ + RowBox[{"matzeros", "=", + RowBox[{"(", "\[NoBreak]", GridBox[{ + { + RowBox[{"-", "1"}], "1", "\[Placeholder]", "1", "1", "1", + "\[Placeholder]", "0", "0", "\[Placeholder]", "\[Placeholder]", "0", + "0", "\[Placeholder]", "\[Placeholder]"}, + {"1", + RowBox[{"-", "1"}], "1", "1", "\[Placeholder]", "1", "\[Placeholder]", + "0", "\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", "0", + "0", "\[Placeholder]"}, + {"\[Placeholder]", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]", "\[Placeholder]", "0", "0", "\[Placeholder]", + "\[Placeholder]", "0", "\[Placeholder]"}, + {"1", "1", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "1", "0", "0", "0", "0", + "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "0"}, + {"1", "\[Placeholder]", "\[Placeholder]", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "\[Placeholder]", "0", + "\[Placeholder]", "\[Placeholder]", "0", "\[Placeholder]", + "\[Placeholder]", "0"}, + {"1", "1", "\[Placeholder]", "\[Placeholder]", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "0", "0", "0", "0"}, + {"\[Placeholder]", "\[Placeholder]", "1", "1", "\[Placeholder]", "1", + RowBox[{"-", "1"}], "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", "0", "0"}, + {"0", "0", "\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", + RowBox[{"-", "1"}], "1", "1", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]", "\[Placeholder]"}, + {"0", "\[Placeholder]", "\[Placeholder]", "0", "0", "\[Placeholder]", + "\[Placeholder]", "1", + RowBox[{"-", "1"}], "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]", "\[Placeholder]", "1"}, + {"\[Placeholder]", "0", "0", "0", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "1", "\[Placeholder]", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]"}, + {"\[Placeholder]", "\[Placeholder]", "0", "0", "\[Placeholder]", + "\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", "1", + RowBox[{"-", "1"}], "\[Placeholder]", "\[Placeholder]", "1", "1"}, + {"0", "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "0", "0", + "\[Placeholder]", "\[Placeholder]", "1", "\[Placeholder]", + "\[Placeholder]", + RowBox[{"-", "1"}], "1", "\[Placeholder]", "1"}, + {"0", "0", "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "0", + "\[Placeholder]", "1", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "1", + RowBox[{"-", "1"}], "1", "\[Placeholder]"}, + {"\[Placeholder]", "0", "0", "\[Placeholder]", "\[Placeholder]", "0", + "0", "\[Placeholder]", "\[Placeholder]", "1", "1", "\[Placeholder]", + "1", + RowBox[{"-", "1"}], "1"}, + {"\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "0", "0", "0", + "0", "\[Placeholder]", "1", "\[Placeholder]", "1", "1", + "\[Placeholder]", "1", + RowBox[{"-", "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" -> {}}], ")"}]}], "\[IndentingNewLine]", + RowBox[{"varstuff", "=", + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"1", "1", "a11"}, + { + RowBox[{"-", "1"}], "1", "0"}, + {"1", "1", "0"}, + {"1", + RowBox[{"-", "1"}], "0"}, + {"a1", "1", "a12"}, + {"1", "a7", "a13"}, + {"a2", "1", "a14"}, + {"0", "0", "1"}, + {"a3", "0", "a15"}, + {"0", "0", + RowBox[{"-", "1"}]}, + {"a4", "0", "1"}, + {"a5", "a8", "a16"}, + {"0", "a9", "a17"}, + {"0", "a10", "1"}, + {"a6", "0", "a18"} + }, + 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" -> {}}], ")"}]}], "\[IndentingNewLine]", + RowBox[{"a", "=", "1"}], "\[IndentingNewLine]", + RowBox[{"b", "=", "11"}], "\[IndentingNewLine]", + RowBox[{"o", "=", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "1"}], "]"}], "]"}]}], "\[IndentingNewLine]", + RowBox[{"n", "=", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}]}], "\[IndentingNewLine]", + RowBox[{"d", "=", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "3"}], "]"}], "]"}]}], "\[IndentingNewLine]", + RowBox[{"q", "=", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "1"}], "]"}], "]"}]}], "\[IndentingNewLine]", + RowBox[{"r", "=", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}], "\[IndentingNewLine]", + RowBox[{"s", "=", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "3"}], "]"}], "]"}]}], + "\[IndentingNewLine]"}]}]], "Input", + CellChangeTimes->{{3.831807518799519*^9, 3.831807594956044*^9}, { + 3.8318076728397713`*^9, 3.831807701743909*^9}, {3.831807964346015*^9, + 3.831807983417666*^9}, {3.8318080161942463`*^9, 3.831808018286193*^9}, { + 3.831808048507024*^9, 3.831808049498742*^9}, {3.831808167039514*^9, + 3.8318081853134823`*^9}, {3.831808248068654*^9, 3.831808271264772*^9}, { + 3.831809298769846*^9, 3.8318094912990503`*^9}, {3.831817104091901*^9, + 3.83181710652077*^9}, {3.8318177838030863`*^9, 3.831817881551998*^9}, { + 3.831817925941033*^9, 3.831817928931918*^9}, {3.8318182203609247`*^9, + 3.8318182359756727`*^9}, {3.8318183896631527`*^9, 3.831818450411126*^9}, + 3.831818499908147*^9, {3.831818542464649*^9, 3.831818610607449*^9}, + 3.831819420323295*^9, 3.8318196814511757`*^9, {3.8318197239910173`*^9, + 3.831819813512734*^9}, {3.831819843678256*^9, 3.83181988326925*^9}, { + 3.83181992077528*^9, 3.831819944340735*^9}, 3.8318202962086*^9, { + 3.8318204011042128`*^9, 3.831820402666539*^9}, {3.831820493045451*^9, + 3.8318204956924543`*^9}, {3.831821323942285*^9, 3.831821325133766*^9}, { + 3.832067458363123*^9, 3.832067460179153*^9}, {3.832067519350775*^9, + 3.832067521770728*^9}}, + CellLabel-> + "In[595]:=",ExpressionUUID->"b9956451-1eb1-4b6d-8ea0-8e5e4f91ba63"], + +Cell[BoxData[{ + RowBox[{ + RowBox[{ + RowBox[{"bil", "[", + RowBox[{"a_", ",", "b_"}], "]"}], ":=", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"1", "/", "2"}], + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "3"}], "]"}], "]"}], "^", "2"}], "+", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}], "^", "2"}], "-", "1"}], + ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}], ")"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}]}], ")"}]}]}], "+", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "3"}], "]"}], "]"}], "^", "2"}], "+", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}], "^", "2"}], "-", "1"}], + ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}]}], ")"}], "/", + RowBox[{"(", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "1"}], "]"}], "]"}], "+", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}], ")"}]}]}]}], ")"}]}], + "-", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "3"}], "]"}], "]"}], "*", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "3"}], "]"}], "]"}]}], "-", + RowBox[{ + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"a", ",", "2"}], "]"}], "]"}], "*", + RowBox[{"vars", "[", + RowBox[{"[", + RowBox[{"b", ",", "2"}], "]"}], "]"}]}]}], "==", + RowBox[{"matzeros", "[", + RowBox[{"[", + RowBox[{"a", ",", "b"}], "]"}], "]"}]}]}], + "\[IndentingNewLine]"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"bil", "[", + RowBox[{"1", ",", "3"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "4"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "4"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"7", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"7", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"8", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"8", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"9", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"9", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"10", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"11", ",", "12"}], "]"}]}], "\[IndentingNewLine]"}], "Input", + CellChangeTimes->{{3.8320676035083227`*^9, 3.832067605480812*^9}, { + 3.8320677888264303`*^9, 3.832067789040926*^9}, {3.832067857489883*^9, + 3.832067876719578*^9}, {3.832068232353291*^9, 3.832068310167591*^9}, { + 3.8320697967508307`*^9, 3.8320698123324327`*^9}}, + CellLabel->"In[20]:=",ExpressionUUID->"6d6c1f85-a342-4808-8fa2-2cf8c0132147"], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"vars", "=", + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"1", "1", "a11"}, + {"1", "1", "0"}, + {"a1", "1", "a12"}, + {"1", "a7", "a13"}, + {"a2", "1", "a14"}, + {"0", "0", "1"}, + {"a3", "0", "a15"}, + {"a4", "0", "1"}, + {"a5", "a8", "a16"}, + {"0", "a9", "a17"}, + {"0", "a10", "1"}, + {"a6", "0", "a18"} + }, + 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" -> {}}], ")"}]}]], "Input", + CellChangeTimes->{ + 3.832070076720479*^9},ExpressionUUID->"d414d2ba-4acb-46d3-a25c-\ +b7b10cffd621"], + +Cell[BoxData[ + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "1"}], "-", + RowBox[{"a11", " ", "a12"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{"1", "+", "a1"}], ")"}], " ", + SuperscriptBox["a11", "2"]}], "+", + FractionBox[ + RowBox[{"2", " ", + SuperscriptBox["a12", "2"]}], + RowBox[{"1", "+", "a1"}]]}], ")"}]}]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a11"}], " ", "a13"}], "-", "a7", "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + RowBox[{ + FractionBox["1", "2"], " ", + SuperscriptBox["a11", "2"], " ", + RowBox[{"(", + RowBox[{"1", "+", "a7"}], ")"}]}], "+", + FractionBox[ + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a13", "2"], "+", + SuperscriptBox["a7", "2"]}], ")"}]}], + RowBox[{"1", "+", "a7"}]]}], ")"}]}]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a11"}], " ", "a15"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a15", "2"]}], ")"}]}], "a3"], "+", + FractionBox[ + RowBox[{ + SuperscriptBox["a11", "2"], " ", "a3"}], "2"]}], ")"}]}]}], + "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a11"}], " ", "a16"}], "-", "a8", "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + RowBox[{ + FractionBox["1", "2"], " ", + SuperscriptBox["a11", "2"], " ", + RowBox[{"(", + RowBox[{"a5", "+", "a8"}], ")"}]}], "+", + FractionBox[ + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a16", "2"], "+", + SuperscriptBox["a8", "2"]}], ")"}]}], + RowBox[{"a5", "+", "a8"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a11"}], " ", "a17"}], "-", "a9", "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + SuperscriptBox["a11", "2"], " ", "a9"}], "2"], "+", + FractionBox[ + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a17", "2"], "+", + SuperscriptBox["a9", "2"]}], ")"}]}], "a9"]}], ")"}]}]}], + "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "1"}], "+", + FractionBox[ + SuperscriptBox["a14", "2"], + RowBox[{"1", "+", "a2"}]]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a12"}], " ", "a13"}], "-", "a7", "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + SuperscriptBox["a12", "2"], " ", + RowBox[{"(", + RowBox[{"1", "+", "a7"}], ")"}]}], + RowBox[{"1", "+", "a1"}]], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"1", "+", "a1"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a13", "2"], "+", + SuperscriptBox["a7", "2"]}], ")"}]}], + RowBox[{"1", "+", "a7"}]]}], ")"}]}]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a12"}], " ", "a15"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"1", "+", "a1"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a15", "2"]}], ")"}]}], "a3"], "+", + FractionBox[ + RowBox[{ + SuperscriptBox["a12", "2"], " ", "a3"}], + RowBox[{"1", "+", "a1"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a12"}], " ", "a16"}], "-", "a8", "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + SuperscriptBox["a12", "2"], " ", + RowBox[{"(", + RowBox[{"a5", "+", "a8"}], ")"}]}], + RowBox[{"1", "+", "a1"}]], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"1", "+", "a1"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a16", "2"], "+", + SuperscriptBox["a8", "2"]}], ")"}]}], + RowBox[{"a5", "+", "a8"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a12"}], " ", "a18"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"1", "+", "a1"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a18", "2"]}], ")"}]}], "a6"], "+", + FractionBox[ + RowBox[{ + SuperscriptBox["a12", "2"], " ", "a6"}], + RowBox[{"1", "+", "a1"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a13"}], " ", "a14"}], "-", "a7", "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + SuperscriptBox["a14", "2"], " ", + RowBox[{"(", + RowBox[{"1", "+", "a7"}], ")"}]}], + RowBox[{"1", "+", "a2"}]], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"1", "+", "a2"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a13", "2"], "+", + SuperscriptBox["a7", "2"]}], ")"}]}], + RowBox[{"1", "+", "a7"}]]}], ")"}]}]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a13"}], " ", "a16"}], "-", + RowBox[{"a7", " ", "a8"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a13", "2"], "+", + SuperscriptBox["a7", "2"]}], ")"}], " ", + RowBox[{"(", + RowBox[{"a5", "+", "a8"}], ")"}]}], + RowBox[{"1", "+", "a7"}]], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"1", "+", "a7"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a16", "2"], "+", + SuperscriptBox["a8", "2"]}], ")"}]}], + RowBox[{"a5", "+", "a8"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a13"}], " ", "a17"}], "-", + RowBox[{"a7", " ", "a9"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a13", "2"], "+", + SuperscriptBox["a7", "2"]}], ")"}], " ", "a9"}], + RowBox[{"1", "+", "a7"}]], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"1", "+", "a7"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a17", "2"], "+", + SuperscriptBox["a9", "2"]}], ")"}]}], "a9"]}], ")"}]}]}], + "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a13"}], "-", + RowBox[{"a10", " ", "a7"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"a10", " ", + RowBox[{"(", + RowBox[{"1", "+", "a7"}], ")"}]}], "+", + FractionBox[ + RowBox[{"a10", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a13", "2"], "+", + SuperscriptBox["a7", "2"]}], ")"}]}], + RowBox[{"1", "+", "a7"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a13"}], " ", "a18"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a18", "2"]}], ")"}], " ", + RowBox[{"(", + RowBox[{"1", "+", "a7"}], ")"}]}], "a6"], "+", + FractionBox[ + RowBox[{"a6", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a13", "2"], "+", + SuperscriptBox["a7", "2"]}], ")"}]}], + RowBox[{"1", "+", "a7"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a14"}], "+", + FractionBox[ + RowBox[{ + SuperscriptBox["a14", "2"], " ", "a4"}], + RowBox[{"2", " ", + RowBox[{"(", + RowBox[{"1", "+", "a2"}], ")"}]}]]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a10"}], "-", "a14", "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{"a10", " ", + SuperscriptBox["a14", "2"]}], + RowBox[{"1", "+", "a2"}]], "+", + RowBox[{"a10", " ", + RowBox[{"(", + RowBox[{"1", "+", "a2"}], ")"}]}]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a14"}], " ", "a18"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a18", "2"]}], ")"}], " ", + RowBox[{"(", + RowBox[{"1", "+", "a2"}], ")"}]}], "a6"], "+", + FractionBox[ + RowBox[{ + SuperscriptBox["a14", "2"], " ", "a6"}], + RowBox[{"1", "+", "a2"}]]}], ")"}]}]}], "\[Equal]", "0"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a15"}], " ", "a16"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a15", "2"]}], ")"}], " ", + RowBox[{"(", + RowBox[{"a5", "+", "a8"}], ")"}]}], "a3"], "+", + FractionBox[ + RowBox[{"a3", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a16", "2"], "+", + SuperscriptBox["a8", "2"]}], ")"}]}], + RowBox[{"a5", "+", "a8"}]]}], ")"}]}]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a15"}], " ", "a18"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a18", "2"]}], ")"}], " ", "a3"}], "a6"], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a15", "2"]}], ")"}], " ", "a6"}], "a3"]}], + ")"}]}]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "1"}], "+", + FractionBox[ + RowBox[{"a10", " ", "a4"}], "2"]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a18"}], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a18", "2"]}], ")"}], " ", "a4"}], + RowBox[{"2", " ", "a6"}]]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a16"}], " ", "a17"}], "-", + RowBox[{"a8", " ", "a9"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a16", "2"], "+", + SuperscriptBox["a8", "2"]}], ")"}], " ", "a9"}], + RowBox[{"a5", "+", "a8"}]], "+", + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{"a5", "+", "a8"}], ")"}], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a17", "2"], "+", + SuperscriptBox["a9", "2"]}], ")"}]}], "a9"]}], ")"}]}]}], + "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"-", "a16"}], " ", "a18"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a18", "2"]}], ")"}], " ", + RowBox[{"(", + RowBox[{"a5", "+", "a8"}], ")"}]}], "a6"], "+", + FractionBox[ + RowBox[{"a6", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a16", "2"], "+", + SuperscriptBox["a8", "2"]}], ")"}]}], + RowBox[{"a5", "+", "a8"}]]}], ")"}]}]}], "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a17"}], "-", + RowBox[{"a10", " ", "a9"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + RowBox[{"a10", " ", "a9"}], "+", + FractionBox[ + RowBox[{"a10", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a17", "2"], "+", + SuperscriptBox["a9", "2"]}], ")"}]}], "a9"]}], ")"}]}]}], + "\[Equal]", "1"}], "&&", + RowBox[{ + RowBox[{ + RowBox[{"-", "a18"}], "+", + RowBox[{ + FractionBox["1", "2"], " ", + RowBox[{"(", + RowBox[{ + FractionBox[ + RowBox[{"a10", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"-", "1"}], "+", + SuperscriptBox["a18", "2"]}], ")"}]}], "a6"], "+", + RowBox[{"a10", " ", "a6"}]}], ")"}]}]}], "\[Equal]", "1"}]}]], "Output",\ + + CellChangeTimes->{{3.832069790668619*^9, 3.832069813664901*^9}}, + CellLabel->"Out[21]=",ExpressionUUID->"b8883fc0-3737-4e0d-bb40-5e10d682ff05"] +}, Open ]], + +Cell[BoxData[ + RowBox[{"(", GridBox[{ + {"1", "1", + RowBox[{"2", " ", + SqrtBox["5"]}]}, + {"1", "1", "0"}, + { + FractionBox["27", "5"], "1", + FractionBox["24", + SqrtBox["5"]]}, + {"1", + FractionBox["3", "2"], + FractionBox[ + RowBox[{"3", " ", + SqrtBox["5"]}], "2"]}, + { + FractionBox["13", "5"], "1", + FractionBox["6", + SqrtBox["5"]]}, + {"0", "0", "1"}, + { + FractionBox["8", + SqrtBox["5"]], "0", "7"}, + { + FractionBox["6", + SqrtBox["5"]], "0", "1"}, + { + FractionBox["8", + SqrtBox["5"]], + SqrtBox["5"], "10"}, + {"0", + SqrtBox["5"], "4"}, + {"0", + FractionBox[ + RowBox[{"2", " ", + SqrtBox["5"]}], "3"], "1"}, + { + FractionBox["24", + RowBox[{"5", " ", + SqrtBox["5"]}]], "0", + FractionBox["13", "5"]} + }, + 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]", ")"}]], "Input", + CellChangeTimes->{{3.832067797029974*^9, 3.8320678250887947`*^9}, + 3.83206786184661*^9, 3.832068908563352*^9, {3.832069004927162*^9, + 3.832069063221637*^9}},ExpressionUUID->"07c417e3-ab27-4df6-bac8-\ +407abe9b7e72"], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"Solve", "[", + RowBox[{ + RowBox[{"bil", "[", + RowBox[{"1", ",", "3"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "4"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "4"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"7", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"7", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"8", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"8", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"9", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"9", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"10", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"11", ",", "12"}], "]"}]}], "]"}]], "Input", + CellChangeTimes->{{3.832067284149284*^9, 3.832067410227961*^9}, { + 3.832067450877516*^9, 3.8320675172287073`*^9}, {3.832067574189147*^9, + 3.832067636902478*^9}, {3.83206809001365*^9, 3.832068095934476*^9}, { + 3.832068328544753*^9, 3.8320686347614307`*^9}, {3.832068670190175*^9, + 3.83206868825493*^9}, {3.832068752719368*^9, 3.8320687603657846`*^9}, { + 3.832069594176708*^9, 3.832069596341961*^9}, {3.8320698732190323`*^9, + 3.8320700238496428`*^9}, 3.832070194760044*^9, {3.832071008128688*^9, + 3.832071010781746*^9}},ExpressionUUID->"afd53ed6-b287-4977-8a5a-\ +f73dda451b35"], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"a1", "\[Rule]", + FractionBox["27", "5"]}], ",", + RowBox[{"a10", "\[Rule]", + RowBox[{"-", + FractionBox[ + RowBox[{"2", " ", + SqrtBox["5"]}], "3"]}]}], ",", + RowBox[{"a11", "\[Rule]", + RowBox[{ + RowBox[{"-", "2"}], " ", + SqrtBox["5"]}]}], ",", + RowBox[{"a12", "\[Rule]", + RowBox[{"-", + FractionBox["24", + SqrtBox["5"]]}]}], ",", + RowBox[{"a13", "\[Rule]", + RowBox[{"-", + FractionBox[ + RowBox[{"3", " ", + SqrtBox["5"]}], "2"]}]}], ",", + RowBox[{"a14", "\[Rule]", + RowBox[{"-", + FractionBox["6", + SqrtBox["5"]]}]}], ",", + RowBox[{"a15", "\[Rule]", "7"}], ",", + RowBox[{"a16", "\[Rule]", "10"}], ",", + RowBox[{"a17", "\[Rule]", "4"}], ",", + RowBox[{"a18", "\[Rule]", + FractionBox["13", "5"]}], ",", + RowBox[{"a2", "\[Rule]", + FractionBox["13", "5"]}], ",", + RowBox[{"a3", "\[Rule]", + RowBox[{"-", + FractionBox["8", + SqrtBox["5"]]}]}], ",", + RowBox[{"a4", "\[Rule]", + RowBox[{"-", + FractionBox["6", + SqrtBox["5"]]}]}], ",", + RowBox[{"a5", "\[Rule]", + RowBox[{"-", + FractionBox["8", + SqrtBox["5"]]}]}], ",", + RowBox[{"a6", "\[Rule]", + RowBox[{"-", + FractionBox["24", + RowBox[{"5", " ", + SqrtBox["5"]}]]}]}], ",", + RowBox[{"a7", "\[Rule]", + FractionBox["3", "2"]}], ",", + RowBox[{"a8", "\[Rule]", + RowBox[{"-", + SqrtBox["5"]}]}], ",", + RowBox[{"a9", "\[Rule]", + RowBox[{"-", + SqrtBox["5"]}]}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"a1", "\[Rule]", + FractionBox["27", "5"]}], ",", + RowBox[{"a10", "\[Rule]", + FractionBox[ + RowBox[{"2", " ", + SqrtBox["5"]}], "3"]}], ",", + RowBox[{"a11", "\[Rule]", + RowBox[{"2", " ", + SqrtBox["5"]}]}], ",", + RowBox[{"a12", "\[Rule]", + FractionBox["24", + SqrtBox["5"]]}], ",", + RowBox[{"a13", "\[Rule]", + FractionBox[ + RowBox[{"3", " ", + SqrtBox["5"]}], "2"]}], ",", + RowBox[{"a14", "\[Rule]", + FractionBox["6", + SqrtBox["5"]]}], ",", + RowBox[{"a15", "\[Rule]", "7"}], ",", + RowBox[{"a16", "\[Rule]", "10"}], ",", + RowBox[{"a17", "\[Rule]", "4"}], ",", + RowBox[{"a18", "\[Rule]", + FractionBox["13", "5"]}], ",", + RowBox[{"a2", "\[Rule]", + FractionBox["13", "5"]}], ",", + RowBox[{"a3", "\[Rule]", + FractionBox["8", + SqrtBox["5"]]}], ",", + RowBox[{"a4", "\[Rule]", + FractionBox["6", + SqrtBox["5"]]}], ",", + RowBox[{"a5", "\[Rule]", + FractionBox["8", + SqrtBox["5"]]}], ",", + RowBox[{"a6", "\[Rule]", + FractionBox["24", + RowBox[{"5", " ", + SqrtBox["5"]}]]}], ",", + RowBox[{"a7", "\[Rule]", + FractionBox["3", "2"]}], ",", + RowBox[{"a8", "\[Rule]", + SqrtBox["5"]}], ",", + RowBox[{"a9", "\[Rule]", + SqrtBox["5"]}]}], "}"}]}], "}"}]], "Output", + CellChangeTimes->{{3.83206988252102*^9, 3.832069907460369*^9}, + 3.832069976565806*^9, 3.832070204430662*^9, 3.832070269764318*^9, + 3.832070411800643*^9, 3.832070943915667*^9}, + CellLabel->"Out[34]=",ExpressionUUID->"2fa96c23-acd6-4c4a-9a0a-5bee0a0dd517"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"RootApproximant", "[", + RowBox[{"NSolve", "[", + RowBox[{ + RowBox[{"bil", "[", + RowBox[{"1", ",", "3"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "4"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"1", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"2", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "4"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "7"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"3", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "5"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"4", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "8"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"5", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"7", ",", "9"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"7", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"8", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"8", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"9", ",", "10"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"9", ",", "12"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"10", ",", "11"}], "]"}], "&&", + RowBox[{"bil", "[", + RowBox[{"11", ",", "12"}], "]"}]}], "]"}], "]"}]], "Input", + CellChangeTimes->{{3.832074529944628*^9, 3.8320745363529787`*^9}, { + 3.832074782348741*^9, 3.8320747879554043`*^9}}, + CellLabel->"In[41]:=",ExpressionUUID->"8d27c355-b0e8-4254-94d4-cbfdd3ad0826"], + +Cell[BoxData[ + TemplateBox[{ + "RootApproximant", "blnotn", + "\"The value of the argument \\!\\(\\*RowBox[{\\\"a1\\\", \\\"\[Rule]\\\", \ +\\\"5.4`\\\"}]\\) in position \\!\\(\\*RowBox[{\\\"1\\\"}]\\) is not a \ +number.\"", 2, 41, 12, 31696493496564779713, "Local"}, + "MessageTemplate"]], "Message", "MSG", + CellChangeTimes->{3.832074805241248*^9}, + CellLabel-> + "During evaluation of \ +In[41]:=",ExpressionUUID->"56473541-5f4c-4432-a33d-cbb5f88fe550"], + +Cell[BoxData[ + TemplateBox[{ + "RootApproximant", "blnotn", + "\"The value of the argument \\!\\(\\*RowBox[{\\\"a10\\\", \ +\\\"\[Rule]\\\", RowBox[{\\\"-\\\", \\\"1.490711984999859`\\\"}]}]\\) in \ +position \\!\\(\\*RowBox[{\\\"1\\\"}]\\) is not a number.\"", 2, 41, 13, + 31696493496564779713, "Local"}, + "MessageTemplate"]], "Message", "MSG", + CellChangeTimes->{3.83207480524988*^9}, + CellLabel-> + "During evaluation of \ +In[41]:=",ExpressionUUID->"304c5d99-263a-4649-bf1d-46dff562b2a7"], + +Cell[BoxData[ + TemplateBox[{ + "RootApproximant", "blnotn", + "\"The value of the argument \\!\\(\\*RowBox[{\\\"a11\\\", \ +\\\"\[Rule]\\\", RowBox[{\\\"-\\\", \\\"4.472135954999577`\\\"}]}]\\) in \ +position \\!\\(\\*RowBox[{\\\"1\\\"}]\\) is not a number.\"", 2, 41, 14, + 31696493496564779713, "Local"}, + "MessageTemplate"]], "Message", "MSG", + CellChangeTimes->{3.8320748052566013`*^9}, + CellLabel-> + "During evaluation of \ +In[41]:=",ExpressionUUID->"e394b350-77c7-49c7-923b-9ab48092fe2f"], + +Cell[BoxData[ + TemplateBox[{ + "General", "stop", + "\"Further output of \\!\\(\\*StyleBox[RowBox[{\\\"RootApproximant\\\", \\\ +\"::\\\", \\\"blnotn\\\"}], \\\"MessageName\\\"]\\) will be suppressed during \ +this calculation.\"", 2, 41, 15, 31696493496564779713, "Local"}, + "MessageTemplate"]], "Message", "MSG", + CellChangeTimes->{3.83207480526341*^9}, + CellLabel-> + "During evaluation of \ +In[41]:=",ExpressionUUID->"ffa3f13e-0381-473e-997f-185d867233cd"] +}, Open ]], + +Cell[BoxData[ + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"RootApproximant", "[", + RowBox[{"a1", "\[Rule]", "5.4`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a10", "\[Rule]", + RowBox[{"-", "1.490711984999859`"}]}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a11", "\[Rule]", + RowBox[{"-", "4.472135954999577`"}]}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a12", "\[Rule]", + RowBox[{"-", "10.733126291998984`"}]}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a13", "\[Rule]", + RowBox[{"-", "3.354101966249683`"}]}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a14", "\[Rule]", + RowBox[{"-", "2.683281572999746`"}]}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a15", "\[Rule]", "7.`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a16", "\[Rule]", "10.`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a17", "\[Rule]", "4.`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a18", "\[Rule]", "2.6`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a2", "\[Rule]", "2.6`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a3", "\[Rule]", + RowBox[{"-", "3.5777087639996616`"}]}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a4", "\[Rule]", + RowBox[{"-", "2.683281572999746`"}]}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a5", "\[Rule]", + RowBox[{"-", "3.5777087639996616`"}]}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a6", "\[Rule]", + RowBox[{"-", "2.146625258399797`"}]}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a7", "\[Rule]", "1.5`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a8", "\[Rule]", + RowBox[{"-", "2.2360679774997885`"}]}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a9", "\[Rule]", + RowBox[{"-", "2.2360679774997885`"}]}], "]"}]}], "}"}], ",", + RowBox[{"{", + RowBox[{ + RowBox[{"RootApproximant", "[", + RowBox[{"a1", "\[Rule]", "5.4`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a10", "\[Rule]", "1.4907119849998598`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a11", "\[Rule]", "4.47213595499958`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a12", "\[Rule]", "10.73312629199899`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a13", "\[Rule]", "3.3541019662496847`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a14", "\[Rule]", "2.6832815729997477`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a15", "\[Rule]", "7.`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a16", "\[Rule]", "10.`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a17", "\[Rule]", "4.`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a18", "\[Rule]", "2.6`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a2", "\[Rule]", "2.6`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a3", "\[Rule]", "3.577708763999664`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a4", "\[Rule]", "2.6832815729997477`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a5", "\[Rule]", "3.577708763999664`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a6", "\[Rule]", "2.1466252583997982`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a7", "\[Rule]", "1.5`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a8", "\[Rule]", "2.23606797749979`"}], "]"}], ",", + RowBox[{"RootApproximant", "[", + RowBox[{"a9", "\[Rule]", "2.23606797749979`"}], "]"}]}], "}"}]}], "}"}]],\ + "Input", + CellChangeTimes->{{3.832107989040124*^9, + 3.83210798904531*^9}},ExpressionUUID->"7d35b7ff-e080-4389-8596-\ +12c0fca29756"], + +Cell[BoxData[{ + RowBox[{"matzeros", "=", + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"\[Placeholder]", "\[Placeholder]", "1", "1", "\[Placeholder]", "0", + "0", "\[Placeholder]", "0", "0", "\[Placeholder]", "\[Placeholder]"}, + {"\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", + "1", "\[Placeholder]", "\[Placeholder]", "0", "\[Placeholder]", + "\[Placeholder]", "0", "\[Placeholder]"}, + {"1", "\[Placeholder]", "\[Placeholder]", "1", "\[Placeholder]", + "\[Placeholder]", "0", "\[Placeholder]", "0", "\[Placeholder]", + "\[Placeholder]", "0"}, + {"1", "\[Placeholder]", "1", "\[Placeholder]", "1", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "0", "0", "0", "0"}, + {"\[Placeholder]", "1", "\[Placeholder]", "1", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "0", "\[Placeholder]", + "\[Placeholder]", "0", "0"}, + {"0", "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "\[Placeholder]", "1", "\[Placeholder]", + "\[Placeholder]", "1", "\[Placeholder]", "\[Placeholder]"}, + {"0", "\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", "1", + "\[Placeholder]", "\[Placeholder]", "1", "\[Placeholder]", + "\[Placeholder]", "1"}, + {"\[Placeholder]", "0", "\[Placeholder]", "\[Placeholder]", "0", + "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", "\[Placeholder]", + "\[Placeholder]", "1", "1"}, + {"0", "\[Placeholder]", "0", "0", "\[Placeholder]", "\[Placeholder]", + "1", "\[Placeholder]", "\[Placeholder]", "1", "\[Placeholder]", "1"}, + {"0", "\[Placeholder]", "\[Placeholder]", "0", "\[Placeholder]", "1", + "\[Placeholder]", "\[Placeholder]", "1", "\[Placeholder]", "1", + "\[Placeholder]"}, + {"\[Placeholder]", "0", "\[Placeholder]", "0", "0", "\[Placeholder]", + "\[Placeholder]", "1", "\[Placeholder]", "1", "\[Placeholder]", "1"}, + {"\[Placeholder]", "\[Placeholder]", "0", "0", "0", "\[Placeholder]", + "1", "1", "1", "\[Placeholder]", "1", "\[Placeholder]"} + }, + 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" -> {}}], ")"}]}], "\[IndentingNewLine]", + RowBox[{"vars", "=", + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"1", "1", "a11"}, + {"1", "1", "0"}, + {"a1", "1", "a12"}, + {"1", "a7", "a13"}, + {"a2", "1", "a14"}, + {"0", "0", "1"}, + {"a3", "0", "a15"}, + {"a4", "0", "1"}, + {"a5", "a8", "a16"}, + {"0", "a9", "a17"}, + {"0", "a10", "1"}, + {"a6", "0", "a18"} + }, + 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" -> {}}], + ")"}]}], "\[IndentingNewLine]"}], "Input", + CellChangeTimes->{{3.831820405438169*^9, 3.83182046989646*^9}, { + 3.831820558054164*^9, 3.83182091796528*^9}, {3.831820967771565*^9, + 3.831820989061385*^9}, {3.831821049347245*^9, 3.8318210752980537`*^9}, { + 3.831821111086649*^9, 3.831821229642725*^9}, {3.8318212669123917`*^9, + 3.831821267598941*^9}, {3.831821432229517*^9, 3.831821444069852*^9}, { + 3.83182156975242*^9, 3.83182162013104*^9}, {3.83182176340163*^9, + 3.83182178387678*^9}, {3.831821864070838*^9, 3.831821864144848*^9}, { + 3.8318218999237328`*^9, 3.8318219002495203`*^9}, {3.831821968960537*^9, + 3.8318219971633673`*^9}, {3.8318220633867207`*^9, 3.831822064833501*^9}, { + 3.831823094143306*^9, 3.8318231240548153`*^9}, {3.831823530378996*^9, + 3.831823604069244*^9}, {3.831823639615611*^9, 3.831823696776061*^9}, { + 3.8320675099523*^9, 3.832067549941819*^9}, 3.832069138114016*^9, { + 3.8320697418454227`*^9, 3.83206975572313*^9}, {3.8320700866134357`*^9, + 3.8320701819606857`*^9}, {3.832070301660103*^9, 3.832070302088328*^9}, { + 3.8320704316877003`*^9, 3.832070450376793*^9}, {3.832071190635412*^9, + 3.832071197297544*^9}},ExpressionUUID->"fe95b6b4-36d8-4b3e-bcff-\ +59c63171bd33"], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{"MatrixForm", "[", + RowBox[{"vars", "/.", + RowBox[{"{", + RowBox[{ + RowBox[{"a1", "\[Rule]", + FractionBox["27", "5"]}], ",", + RowBox[{"a10", "\[Rule]", + RowBox[{"-", + FractionBox[ + RowBox[{"2", " ", + SqrtBox["5"]}], "3"]}]}], ",", + RowBox[{"a11", "\[Rule]", + RowBox[{ + RowBox[{"-", "2"}], " ", + SqrtBox["5"]}]}], ",", + RowBox[{"a12", "\[Rule]", + RowBox[{"-", + FractionBox["24", + SqrtBox["5"]]}]}], ",", + RowBox[{"a13", "\[Rule]", + RowBox[{"-", + FractionBox[ + RowBox[{"3", " ", + SqrtBox["5"]}], "2"]}]}], ",", + RowBox[{"a14", "\[Rule]", + RowBox[{"-", + FractionBox["6", + SqrtBox["5"]]}]}], ",", + RowBox[{"a15", "\[Rule]", "7"}], ",", + RowBox[{"a16", "\[Rule]", "10"}], ",", + RowBox[{"a17", "\[Rule]", "4"}], ",", + RowBox[{"a18", "\[Rule]", + FractionBox["13", "5"]}], ",", + RowBox[{"a2", "\[Rule]", + FractionBox["13", "5"]}], ",", + RowBox[{"a3", "\[Rule]", + RowBox[{"-", + FractionBox["8", + SqrtBox["5"]]}]}], ",", + RowBox[{"a4", "\[Rule]", + RowBox[{"-", + FractionBox["6", + SqrtBox["5"]]}]}], ",", + RowBox[{"a5", "\[Rule]", + RowBox[{"-", + FractionBox["8", + SqrtBox["5"]]}]}], ",", + RowBox[{"a6", "\[Rule]", + RowBox[{"-", + FractionBox["24", + RowBox[{"5", " ", + SqrtBox["5"]}]]}]}], ",", + RowBox[{"a7", "\[Rule]", + FractionBox["3", "2"]}], ",", + RowBox[{"a8", "\[Rule]", + RowBox[{"-", + SqrtBox["5"]}]}], ",", + RowBox[{"a9", "\[Rule]", + RowBox[{"-", + SqrtBox["5"]}]}]}], "}"}]}], "]"}]], "Input", + CellChangeTimes->{{3.832071203390505*^9, 3.832071215169805*^9}, { + 3.8320712717089663`*^9, 3.832071288966185*^9}, {3.832071518133173*^9, + 3.8320715436453857`*^9}}, + CellLabel->"In[39]:=",ExpressionUUID->"6cf3b807-be68-4d68-ad02-70d267d6eff1"], + +Cell[BoxData[ + TagBox[ + RowBox[{"(", "\[NoBreak]", GridBox[{ + {"1", "1", + RowBox[{ + RowBox[{"-", "2"}], " ", + SqrtBox["5"]}]}, + {"1", "1", "0"}, + { + FractionBox["27", "5"], "1", + RowBox[{"-", + FractionBox["24", + SqrtBox["5"]]}]}, + {"1", + FractionBox["3", "2"], + RowBox[{"-", + FractionBox[ + RowBox[{"3", " ", + SqrtBox["5"]}], "2"]}]}, + { + FractionBox["13", "5"], "1", + RowBox[{"-", + FractionBox["6", + SqrtBox["5"]]}]}, + {"0", "0", "1"}, + { + RowBox[{"-", + FractionBox["8", + SqrtBox["5"]]}], "0", "7"}, + { + RowBox[{"-", + FractionBox["6", + SqrtBox["5"]]}], "0", "1"}, + { + RowBox[{"-", + FractionBox["8", + SqrtBox["5"]]}], + RowBox[{"-", + SqrtBox["5"]}], "10"}, + {"0", + RowBox[{"-", + SqrtBox["5"]}], "4"}, + {"0", + RowBox[{"-", + FractionBox[ + RowBox[{"2", " ", + SqrtBox["5"]}], "3"]}], "1"}, + { + RowBox[{"-", + FractionBox["24", + RowBox[{"5", " ", + SqrtBox["5"]}]]}], "0", + FractionBox["13", "5"]} + }, + GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, + GridBoxSpacings->{"Columns" -> { + Offset[0.27999999999999997`], { + Offset[0.7]}, + Offset[0.27999999999999997`]}, "Rows" -> { + Offset[0.2], { + Offset[0.4]}, + Offset[0.2]}}], "\[NoBreak]", ")"}], + Function[BoxForm`e$, + MatrixForm[BoxForm`e$]]]], "Output", + CellChangeTimes->{3.832071544211069*^9}, + CellLabel-> + "Out[39]//MatrixForm=",ExpressionUUID->"ea395fc8-7203-4bfa-8173-\ +b7d3647a415c"] +}, Open ]], + +Cell[BoxData[ + RowBox[{"Clear", "[", + RowBox[{"a11", ",", "a12", ",", "a1"}], "]"}]], "Input", + CellChangeTimes->{{3.831821344265843*^9, 3.831821380994482*^9}}, + CellLabel-> + "In[489]:=",ExpressionUUID->"ab8292a5-714c-499f-aec5-c2b87a6d3c15"], + +Cell[BoxData[ + RowBox[{"mat", "=", + RowBox[{"(", GridBox[{ + { + RowBox[{"-", "1"}], "1", "9", "1", "1", "1", "7", "0", "0", + RowBox[{"2", " ", + SqrtBox["5"]}], + RowBox[{"4", " ", + SqrtBox["5"]}], "0", "0", + FractionBox[ + RowBox[{"4", " ", + SqrtBox["5"]}], "3"], + FractionBox["4", + SqrtBox["5"]]}, + {"1", + RowBox[{"-", "1"}], "1", "1", + FractionBox["27", "5"], "1", + FractionBox["13", "5"], "0", + FractionBox["8", + SqrtBox["5"]], "0", + FractionBox["6", + SqrtBox["5"]], + FractionBox["8", + SqrtBox["5"]], "0", "0", + FractionBox["24", + RowBox[{"5", " ", + SqrtBox["5"]}]]}, + {"9", "1", + RowBox[{"-", "1"}], "1", "17", + FractionBox["7", "2"], "1", + RowBox[{"2", " ", + SqrtBox["5"]}], + RowBox[{"6", " ", + SqrtBox["5"]}], "0", "0", + RowBox[{"7", " ", + SqrtBox["5"]}], + RowBox[{"3", " ", + SqrtBox["5"]}], "0", + FractionBox["6", + SqrtBox["5"]]}, + {"1", "1", "1", + RowBox[{"-", "1"}], "1", + FractionBox["3", "2"], "1", "0", "0", "0", "0", + SqrtBox["5"], + SqrtBox["5"], + FractionBox[ + RowBox[{"2", " ", + SqrtBox["5"]}], "3"], "0"}, + {"1", + FractionBox["27", "5"], "17", "1", + RowBox[{"-", "1"}], "1", "9", + FractionBox["8", + SqrtBox["5"]], "0", + FractionBox["24", + SqrtBox["5"]], + RowBox[{"6", " ", + SqrtBox["5"]}], "0", + FractionBox["8", + SqrtBox["5"]], + FractionBox[ + RowBox[{"8", " ", + SqrtBox["5"]}], "3"], "0"}, + {"1", "1", + FractionBox["7", "2"], + FractionBox["3", "2"], "1", + RowBox[{"-", "1"}], "1", + SqrtBox["5"], + SqrtBox["5"], + FractionBox[ + RowBox[{"3", " ", + SqrtBox["5"]}], "2"], + FractionBox[ + RowBox[{"3", " ", + SqrtBox["5"]}], "2"], "0", "0", "0", "0"}, + {"7", + FractionBox["13", "5"], "1", "1", "9", "1", + RowBox[{"-", "1"}], + FractionBox["12", + SqrtBox["5"]], + RowBox[{"4", " ", + SqrtBox["5"]}], + FractionBox["6", + SqrtBox["5"]], "0", + RowBox[{"4", " ", + SqrtBox["5"]}], + FractionBox["12", + SqrtBox["5"]], "0", "0"}, + {"0", "0", + RowBox[{"2", " ", + SqrtBox["5"]}], "0", + FractionBox["8", + SqrtBox["5"]], + SqrtBox["5"], + FractionBox["12", + SqrtBox["5"]], + RowBox[{"-", "1"}], "1", "1", "5", "3", "1", + FractionBox["7", "3"], + FractionBox["11", "5"]}, + {"0", + FractionBox["8", + SqrtBox["5"]], + RowBox[{"6", " ", + SqrtBox["5"]}], "0", "0", + SqrtBox["5"], + RowBox[{"4", " ", + SqrtBox["5"]}], "1", + RowBox[{"-", "1"}], "7", "11", "1", "3", + FractionBox["17", "3"], "1"}, + { + RowBox[{"2", " ", + SqrtBox["5"]}], "0", "0", "0", + FractionBox["24", + SqrtBox["5"]], + FractionBox[ + RowBox[{"3", " ", + SqrtBox["5"]}], "2"], + FractionBox["6", + SqrtBox["5"]], "1", "7", + RowBox[{"-", "1"}], "1", "10", "4", "1", + FractionBox["13", "5"]}, + { + RowBox[{"4", " ", + SqrtBox["5"]}], + FractionBox["6", + SqrtBox["5"]], "0", "0", + RowBox[{"6", " ", + SqrtBox["5"]}], + FractionBox[ + RowBox[{"3", " ", + SqrtBox["5"]}], "2"], "0", "5", "11", "1", + RowBox[{"-", "1"}], "14", "8", "1", "1"}, + {"0", + FractionBox["8", + SqrtBox["5"]], + RowBox[{"7", " ", + SqrtBox["5"]}], + SqrtBox["5"], "0", "0", + RowBox[{"4", " ", + SqrtBox["5"]}], "3", "1", "10", "14", + RowBox[{"-", "1"}], "1", + FractionBox["13", "3"], "1"}, + {"0", "0", + RowBox[{"3", " ", + SqrtBox["5"]}], + SqrtBox["5"], + FractionBox["8", + SqrtBox["5"]], "0", + FractionBox["12", + SqrtBox["5"]], "1", "3", "4", "8", "1", + RowBox[{"-", "1"}], "1", + FractionBox["11", "5"]}, + { + FractionBox[ + RowBox[{"4", " ", + SqrtBox["5"]}], "3"], "0", "0", + FractionBox[ + RowBox[{"2", " ", + SqrtBox["5"]}], "3"], + FractionBox[ + RowBox[{"8", " ", + SqrtBox["5"]}], "3"], "0", "0", + FractionBox["7", "3"], + FractionBox["17", "3"], "1", "1", + FractionBox["13", "3"], "1", + RowBox[{"-", "1"}], "1"}, + { + FractionBox["4", + SqrtBox["5"]], + FractionBox["24", + RowBox[{"5", " ", + SqrtBox["5"]}]], + FractionBox["6", + SqrtBox["5"]], "0", "0", "0", "0", + FractionBox["11", "5"], "1", + FractionBox["13", "5"], "1", "1", + FractionBox["11", "5"], "1", + RowBox[{"-", "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]", ")"}]}]], "Input", + CellChangeTimes->{{3.831809538032175*^9, 3.831809538033771*^9}, + 3.83181712916037*^9, {3.831817172849091*^9, 3.8318171810397167`*^9}, + 3.831817237309411*^9}, + CellLabel->"In[52]:=",ExpressionUUID->"5623f2b2-154d-42f9-a02f-11e8114855a3"], + +Cell[BoxData[{ + RowBox[{"a", "=", "1"}], "\[IndentingNewLine]", + RowBox[{"b", "=", "11"}], "\[IndentingNewLine]", + RowBox[{"o", "=", + RowBox[{"mat", "[", + RowBox[{"[", + RowBox[{"2", ",", "a"}], "]"}], "]"}]}], "\[IndentingNewLine]", + RowBox[{"n", "=", + RowBox[{"mat", "[", + RowBox[{"[", + RowBox[{"4", ",", "a"}], "]"}], "]"}]}], "\[IndentingNewLine]", + RowBox[{"d", "=", + RowBox[{"mat", "[", + RowBox[{"[", + RowBox[{"10", ",", "a"}], "]"}], "]"}]}], "\[IndentingNewLine]", + RowBox[{"q", "=", + RowBox[{"mat", "[", + RowBox[{"[", + RowBox[{"2", ",", "b"}], "]"}], "]"}]}], "\[IndentingNewLine]", + RowBox[{"r", "=", + RowBox[{"mat", "[", + RowBox[{"[", + RowBox[{"4", ",", "b"}], "]"}], "]"}]}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"s", "=", + RowBox[{"mat", "[", + RowBox[{"[", + RowBox[{"10", ",", "b"}], "]"}], "]"}]}], + "\[IndentingNewLine]"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"1", "/", "2"}], + RowBox[{"(", + RowBox[{ + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"d", "^", "2"}], "+", + RowBox[{"n", "^", "2"}], "-", "1"}], ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{"q", "+", "r"}], ")"}], "/", + RowBox[{"(", + RowBox[{"o", "+", "n"}], ")"}]}]}], "+", + RowBox[{ + RowBox[{"(", + RowBox[{ + RowBox[{"s", "^", "2"}], "+", + RowBox[{"r", "^", "2"}], "-", "1"}], ")"}], "*", + RowBox[{ + RowBox[{"(", + RowBox[{"o", "+", "n"}], ")"}], "/", + RowBox[{"(", + RowBox[{"q", "+", "r"}], ")"}]}]}]}], ")"}]}], "-", + RowBox[{"d", "*", "s"}], "-", + RowBox[{"n", "*", "r"}]}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"mat", "[", + RowBox[{"[", + RowBox[{"a", ",", "b"}], "]"}], "]"}], + "\[IndentingNewLine]"}], "\[IndentingNewLine]"}], "Input", + CellChangeTimes->{{3.831807518799519*^9, 3.831807594956044*^9}, { + 3.8318076728397713`*^9, 3.831807701743909*^9}, {3.831807964346015*^9, + 3.831807983417666*^9}, {3.8318080161942463`*^9, 3.831808018286193*^9}, { + 3.831808048507024*^9, 3.831808049498742*^9}, {3.831808167039514*^9, + 3.8318081853134823`*^9}, {3.831808248068654*^9, 3.831808271264772*^9}, { + 3.8318095740710697`*^9, 3.8318096292919397`*^9}, {3.831816955139246*^9, + 3.831817019688861*^9}, {3.831817059268959*^9, 3.831817092877222*^9}, { + 3.831817135516425*^9, 3.8318172064984827`*^9}, {3.8318172559252768`*^9, + 3.831817420540907*^9}, {3.8318175396098413`*^9, 3.831817566952179*^9}, { + 3.831817705992889*^9, 3.83181771726031*^9}, {3.831819525149275*^9, + 3.8318195541654053`*^9}, {3.83181969027396*^9, 3.831819690355661*^9}}, + CellLabel-> + "In[285]:=",ExpressionUUID->"2c9a1c60-bd62-4409-95a8-b2322e02b465"] +}, +WindowSize->{1440, 847}, +WindowMargins->{{0, Automatic}, {Automatic, 0}}, +FrontEndVersion->"12.3 for Mac OS X x86 (64-bit) (May 11, 2021)", +StyleDefinitions->"Default.nb", +ExpressionUUID->"bc380211-a271-447c-9f05-196ef5612776" +] +(* End of Notebook Content *) + +(* Internal cache information *) +(*CellTagsOutline +CellTagsIndex->{} +*) +(*CellTagsIndex +CellTagsIndex->{} +*) +(*NotebookFileOutline +Notebook[{ +Cell[558, 20, 7044, 148, 786, "Input",ExpressionUUID->"b9956451-1eb1-4b6d-8ea0-8e5e4f91ba63"], +Cell[7605, 170, 5045, 149, 178, "Input",ExpressionUUID->"6d6c1f85-a342-4808-8fa2-2cf8c0132147"], +Cell[CellGroupData[{ +Cell[12675, 323, 892, 28, 215, "Input",ExpressionUUID->"d414d2ba-4acb-46d3-a25c-b7b10cffd621"], +Cell[13570, 353, 14779, 502, 468, "Output",ExpressionUUID->"b8883fc0-3737-4e0d-bb40-5e10d682ff05"] +}, Open ]], +Cell[28364, 858, 1514, 55, 315, "Input",ExpressionUUID->"07c417e3-ab27-4df6-bac8-407abe9b7e72"], +Cell[CellGroupData[{ +Cell[29903, 917, 2548, 67, 73, "Input",ExpressionUUID->"afd53ed6-b287-4977-8a5a-f73dda451b35"], +Cell[32454, 986, 3433, 111, 156, "Output",ExpressionUUID->"2fa96c23-acd6-4c4a-9a0a-5bee0a0dd517"] +}, Open ]], +Cell[CellGroupData[{ +Cell[35924, 1102, 2251, 62, 73, "Input",ExpressionUUID->"8d27c355-b0e8-4254-94d4-cbfdd3ad0826"], +Cell[38178, 1166, 456, 10, 28, "Message",ExpressionUUID->"56473541-5f4c-4432-a33d-cbb5f88fe550"], +Cell[38637, 1178, 495, 11, 28, "Message",ExpressionUUID->"304c5d99-263a-4649-bf1d-46dff562b2a7"], +Cell[39135, 1191, 498, 11, 28, "Message",ExpressionUUID->"e394b350-77c7-49c7-923b-9ab48092fe2f"], +Cell[39636, 1204, 461, 10, 28, "Message",ExpressionUUID->"ffa3f13e-0381-473e-997f-185d867233cd"] +}, Open ]], +Cell[40112, 1217, 4151, 93, 220, "Input",ExpressionUUID->"7d35b7ff-e080-4389-8596-12c0fca29756"], +Cell[44266, 1312, 4510, 87, 482, "Input",ExpressionUUID->"fe95b6b4-36d8-4b3e-bcff-59c63171bd33"], +Cell[CellGroupData[{ +Cell[48801, 1403, 2018, 64, 106, "Input",ExpressionUUID->"6cf3b807-be68-4d68-ad02-70d267d6eff1"], +Cell[50822, 1469, 1719, 67, 318, "Output",ExpressionUUID->"ea395fc8-7203-4bfa-8173-b7d3647a415c"] +}, Open ]], +Cell[52556, 1539, 245, 5, 30, "Input",ExpressionUUID->"ab8292a5-714c-499f-aec5-c2b87a6d3c15"], +Cell[52804, 1546, 5528, 191, 451, "Input",ExpressionUUID->"5623f2b2-154d-42f9-a02f-11e8114855a3"], +Cell[58335, 1739, 2750, 73, 283, "Input",ExpressionUUID->"2c9a1c60-bd62-4409-95a8-b2322e02b465"] +} +] +*) +