(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 11.2' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] NotebookDataLength[ 173846, 5100] NotebookOptionsPosition[ 153794, 4747] NotebookOutlinePosition[ 154905, 4779] CellTagsIndexPosition[ 154724, 4772] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell["Scientific Programming 4", "Chapter", CellChangeTimes->{{3.724943992364118*^9, 3.724944007146431*^9}, 3.725524593957123*^9, 3.726336972840088*^9, 3.727003161874263*^9},ExpressionUUID->"56e80fe5-ce6c-41d1-b66a-\ 0fb700393263"], Cell["Recognising Things", "Subchapter", CellChangeTimes->{{3.726987900133408*^9, 3.726987916147193*^9}},ExpressionUUID->"915b81da-03d3-4d0d-8ec5-\ 5e087cd8cf9d"], Cell[CellGroupData[{ Cell["Recognising a simple series", "Subsection", CellChangeTimes->{{3.7269882857260637`*^9, 3.726988297454105*^9}, { 3.7269883391708612`*^9, 3.726988341321072*^9}},ExpressionUUID->"63055f6c-698d-4384-b2b7-\ b8b40af5b671"], Cell[BoxData[ RowBox[{ RowBox[{"ser", "=", InterpretationBox[ RowBox[{ FractionBox[ RowBox[{"34", " ", SuperscriptBox["x", "2"]}], "15"], "+", FractionBox[ RowBox[{"733", " ", SuperscriptBox["x", "3"]}], "105"], "+", FractionBox[ RowBox[{"38", " ", SuperscriptBox["x", "4"]}], "3"], "+", FractionBox[ RowBox[{"130", " ", SuperscriptBox["x", "5"]}], "7"], "+", FractionBox[ RowBox[{"341", " ", SuperscriptBox["x", "6"]}], "14"], "+", FractionBox[ RowBox[{"34514", " ", SuperscriptBox["x", "7"]}], "1155"], "+", FractionBox[ RowBox[{"486443", " ", SuperscriptBox["x", "8"]}], "13860"], "+", FractionBox[ RowBox[{"110863", " ", SuperscriptBox["x", "9"]}], "2772"], "+", FractionBox[ RowBox[{"229525", " ", SuperscriptBox["x", "10"]}], "5148"], "+", FractionBox[ RowBox[{"1761847", " ", SuperscriptBox["x", "11"]}], "36036"], "+", FractionBox[ RowBox[{"2384444", " ", SuperscriptBox["x", "12"]}], "45045"], "+", FractionBox[ RowBox[{"43448128", " ", SuperscriptBox["x", "13"]}], "765765"], "+", FractionBox[ RowBox[{"36954725", " ", SuperscriptBox["x", "14"]}], "612612"], "+", FractionBox[ RowBox[{"370777075", " ", SuperscriptBox["x", "15"]}], "5819814"], "+", FractionBox[ RowBox[{"1557723841", " ", SuperscriptBox["x", "16"]}], "23279256"], "+", FractionBox[ RowBox[{"2714163479", " ", SuperscriptBox["x", "17"]}], "38798760"], "+", FractionBox[ RowBox[{"2826272359", " ", SuperscriptBox["x", "18"]}], "38798760"], "+", FractionBox[ RowBox[{"13491925813", " ", SuperscriptBox["x", "19"]}], "178474296"], "+", FractionBox[ RowBox[{"664780945", " ", SuperscriptBox["x", "20"]}], "8498776"], "+", InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "21"], SeriesData[$CellContext`x, 0, {}, 2, 21, 1], Editable->False]}], SeriesData[$CellContext`x, 0, { Rational[34, 15], Rational[733, 105], Rational[38, 3], Rational[130, 7], Rational[341, 14], Rational[34514, 1155], Rational[486443, 13860], Rational[110863, 2772], Rational[229525, 5148], Rational[1761847, 36036], Rational[2384444, 45045], Rational[43448128, 765765], Rational[36954725, 612612], Rational[370777075, 5819814], Rational[1557723841, 23279256], Rational[2714163479, 38798760], Rational[2826272359, 38798760], Rational[13491925813, 178474296], Rational[664780945, 8498776]}, 2, 21, 1], Editable->False]}], ";"}]], "Input", CellChangeTimes->{{3.72698834736152*^9, 3.7269883553290777`*^9}, 3.7269884330815268`*^9},ExpressionUUID->"81e7ff06-10a7-4abe-b0d5-\ 8654cd23e304"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"coeffs", "=", RowBox[{"CoefficientList", "[", RowBox[{"ser", ",", "x"}], "]"}]}]], "Input", CellChangeTimes->{{3.716218199797948*^9, 3.716218212437043*^9}},ExpressionUUID->"0a9a07ca-a2fe-4329-af4e-\ ef6d7fad2741"], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", "0", ",", FractionBox["34", "15"], ",", FractionBox["733", "105"], ",", FractionBox["38", "3"], ",", FractionBox["130", "7"], ",", FractionBox["341", "14"], ",", FractionBox["34514", "1155"], ",", FractionBox["486443", "13860"], ",", FractionBox["110863", "2772"], ",", FractionBox["229525", "5148"], ",", FractionBox["1761847", "36036"], ",", FractionBox["2384444", "45045"], ",", FractionBox["43448128", "765765"], ",", FractionBox["36954725", "612612"], ",", FractionBox["370777075", "5819814"], ",", FractionBox["1557723841", "23279256"], ",", FractionBox["2714163479", "38798760"], ",", FractionBox["2826272359", "38798760"], ",", FractionBox["13491925813", "178474296"], ",", FractionBox["664780945", "8498776"]}], "}"}]], "Output", CellChangeTimes->{{3.716195896296158*^9, 3.716195978761436*^9}, { 3.716196047658647*^9, 3.7161961552387667`*^9}, 3.716218167419306*^9, 3.716218231020831*^9, 3.716218450953693*^9, 3.7162192772283*^9, 3.716227764595639*^9, {3.726988418165455*^9, 3.726988441797203*^9}},ExpressionUUID->"0751d5a1-e073-44c3-a007-\ 6ea6017a6252"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FindSequenceFunction", "[", RowBox[{"coeffs", ",", "n"}], "]"}]], "Input",ExpressionUUID->"d93ad1fd-\ 94ca-4a17-97b6-120948a7c947"], Cell[BoxData[ RowBox[{ FractionBox["1", RowBox[{"n", " ", RowBox[{"(", RowBox[{"1", "+", "n"}], ")"}], " ", RowBox[{"(", RowBox[{"2", "+", "n"}], ")"}], " ", RowBox[{"(", RowBox[{"3", "+", "n"}], ")"}]}]], RowBox[{"(", RowBox[{"120", "+", RowBox[{"622", " ", "n"}], "+", RowBox[{"300", " ", "EulerGamma", " ", "n"}], "+", RowBox[{"167", " ", SuperscriptBox["n", "2"]}], "+", RowBox[{"550", " ", "EulerGamma", " ", SuperscriptBox["n", "2"]}], "-", RowBox[{"814", " ", SuperscriptBox["n", "3"]}], "+", RowBox[{"300", " ", "EulerGamma", " ", SuperscriptBox["n", "3"]}], "-", RowBox[{"95", " ", SuperscriptBox["n", "4"]}], "+", RowBox[{"50", " ", "EulerGamma", " ", SuperscriptBox["n", "4"]}], "+", RowBox[{"300", " ", "n", " ", RowBox[{"PolyGamma", "[", RowBox[{"0", ",", "n"}], "]"}]}], "+", RowBox[{"550", " ", SuperscriptBox["n", "2"], " ", RowBox[{"PolyGamma", "[", RowBox[{"0", ",", "n"}], "]"}]}], "+", RowBox[{"300", " ", SuperscriptBox["n", "3"], " ", RowBox[{"PolyGamma", "[", RowBox[{"0", ",", "n"}], "]"}]}], "+", RowBox[{"50", " ", SuperscriptBox["n", "4"], " ", RowBox[{"PolyGamma", "[", RowBox[{"0", ",", "n"}], "]"}]}]}], ")"}]}]], "Output", CellChangeTimes->{3.726988486649149*^9, 3.7269887717552757`*^9, 3.726988847492305*^9, 3.726989378093054*^9, 3.7269896145801477`*^9},ExpressionUUID->"3371285e-7307-418f-94ef-\ f82c713739df"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Apart", "[", RowBox[{"%", ",", "n"}], "]"}]], "Input", CellChangeTimes->{{3.726988742100457*^9, 3.726988761814723*^9}, { 3.726988839137334*^9, 3.7269888421411753`*^9}, {3.726989351044298*^9, 3.7269893641311626`*^9}, {3.726989609036694*^9, 3.726989619458453*^9}},ExpressionUUID->"8911e573-03f2-4d01-ae3d-\ b4f53d26ca3d"], Cell[BoxData[ RowBox[{ FractionBox["20", "n"], "-", FractionBox["192", RowBox[{"1", "+", "n"}]], "+", FractionBox["2268", RowBox[{"2", "+", "n"}]], "-", FractionBox["2340", RowBox[{"3", "+", "n"}]], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", "EulerGamma"}], "+", RowBox[{"10", " ", RowBox[{"PolyGamma", "[", RowBox[{"0", ",", "n"}], "]"}]}]}], ")"}]}]}]], "Output", CellChangeTimes->{{3.7269887627471933`*^9, 3.726988771878016*^9}, 3.726988847597055*^9, 3.726989378206847*^9, 3.726989621186212*^9},ExpressionUUID->"d8a3ad5a-a94c-4f07-8c52-\ 77647dd97cb9"] }, Open ]], Cell[BoxData[ RowBox[{"Remove", "[", "a", "]"}]], "Input", CellChangeTimes->{{3.726990247820861*^9, 3.726990251132485*^9}},ExpressionUUID->"4e2a14ac-4778-4680-b630-\ 69f97fa13cdd"], Cell[BoxData[ RowBox[{ SubscriptBox["a", "n_"], ":=", "\[IndentingNewLine]", RowBox[{"Apart", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"FindSequenceFunction", "[", RowBox[{"coeffs", ",", "n"}], "]"}], ",", "\[IndentingNewLine]", " ", "n"}], "]"}]}]], "Input", CellChangeTimes->{{3.7269885537364283`*^9, 3.726988557800376*^9}, { 3.7269886313348923`*^9, 3.726988647563354*^9}, {3.726989657439674*^9, 3.726989672691135*^9}, {3.726989880081667*^9, 3.7269898835087*^9}},ExpressionUUID->"45236a4c-bcd1-489e-8422-aad84f135f3f"], Cell[CellGroupData[{ Cell[BoxData[ SubscriptBox["a", "5"]], "Input", CellChangeTimes->{{3.726989732606738*^9, 3.72698974087707*^9}},ExpressionUUID->"b07d945b-e9d1-4fe6-84c8-\ a765c62a62f7"], Cell[BoxData[ TemplateBox[{ "General","ivar", "\"\\!\\(\\*RowBox[{\\\"5\\\"}]\\) is not a valid variable.\"",2,31,8, 19067309671427949855,"Local"}, "MessageTemplate"]], "Message", "MSG", CellChangeTimes->{3.7269897429824867`*^9, 3.726989866251737*^9, 3.726990262375597*^9},ExpressionUUID->"9b8e5749-865e-4731-b592-\ 2207033c83bb"], Cell[BoxData[ RowBox[{"Apart", "[", RowBox[{ FractionBox[ RowBox[{ RowBox[{"-", "153720"}], "+", RowBox[{"84000", " ", RowBox[{"(", RowBox[{ FractionBox["25", "12"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"84000", " ", "EulerGamma"}]}], "1680"], ",", "5"}], "]"}]], "Output", CellChangeTimes->{3.726989742991674*^9, 3.726989866277047*^9, 3.726990262398896*^9},ExpressionUUID->"2d06303a-f257-4da6-a5ea-\ ae80280a2273"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ SubscriptBox["a", "n_"], "=", "\[IndentingNewLine]", RowBox[{"Apart", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"FindSequenceFunction", "[", RowBox[{"coeffs", ",", "n"}], "]"}], ",", "\[IndentingNewLine]", " ", "n"}], "]"}]}]], "Input", CellChangeTimes->{{3.7269885537364283`*^9, 3.726988557800376*^9}, { 3.7269886313348923`*^9, 3.726988647563354*^9}, {3.726989657439674*^9, 3.726989672691135*^9}, {3.726989880081667*^9, 3.7269898835087*^9}, 3.726990370697033*^9},ExpressionUUID->"59ec892a-c1b8-404d-9dd3-\ bc1206229fee"], Cell[BoxData[ RowBox[{ FractionBox["20", "n"], "-", FractionBox["192", RowBox[{"1", "+", "n"}]], "+", FractionBox["2268", RowBox[{"2", "+", "n"}]], "-", FractionBox["2340", RowBox[{"3", "+", "n"}]], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", "EulerGamma"}], "+", RowBox[{"10", " ", RowBox[{"PolyGamma", "[", RowBox[{"0", ",", "n"}], "]"}]}]}], ")"}]}]}]], "Output", CellChangeTimes->{ 3.726990372885523*^9},ExpressionUUID->"f75752c8-e02c-4cda-82ef-\ 5cb630955c1b"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ SubscriptBox["a", "5"]], "Input", CellChangeTimes->{{3.726990385345891*^9, 3.7269904029420977`*^9}},ExpressionUUID->"cf70663f-9908-4f4e-bfb6-\ e044bd8d0fba"], Cell[BoxData[ RowBox[{ FractionBox["7", "2"], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["25", "12"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}]], "Output", CellChangeTimes->{{3.726990393152672*^9, 3.72699040437568*^9}},ExpressionUUID->"0dc8fb9f-e477-49ff-9818-\ 1804b37e4f50"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ SubscriptBox["a", "n"], ",", RowBox[{"{", RowBox[{"n", ",", "1", ",", "20"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.72698865028659*^9, 3.726988678810697*^9}, { 3.726989507725223*^9, 3.726989512378146*^9}, 3.726990469822007*^9},ExpressionUUID->"eececbd9-aa1a-48f8-96b5-\ 16e812382573"], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", RowBox[{"45", "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{"1", "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ FractionBox["334", "15"], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["3", "2"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ FractionBox["361", "35"], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["11", "6"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ FractionBox["7", "2"], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["25", "12"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["25", "42"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["137", "60"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["22", "7"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["49", "20"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["1571", "330"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["363", "140"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["2869", "495"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["761", "280"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["71", "11"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["7129", "2520"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["6870", "1001"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["7381", "2520"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["277", "39"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["83711", "27720"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["13151", "1820"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["86021", "27720"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["17299", "2380"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["1145993", "360360"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["370", "51"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["1171733", "360360"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["9305", "1292"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["1195757", "360360"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["6901", "969"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["2436559", "720720"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["42031", "5985"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["42142223", "12252240"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["7222", "1045"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["14274301", "4084080"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}], ",", RowBox[{ RowBox[{"-", FractionBox["12027", "1771"]}], "+", RowBox[{"5", " ", RowBox[{"(", RowBox[{ RowBox[{"-", "19"}], "+", RowBox[{"10", " ", RowBox[{"(", RowBox[{ FractionBox["275295799", "77597520"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"10", " ", "EulerGamma"}]}], ")"}]}]}]}], "}"}]], "Output", CellChangeTimes->{ 3.726988682990512*^9, 3.7269895179772463`*^9, 3.726989704897962*^9, { 3.726990463537739*^9, 3.726990471101481*^9}},ExpressionUUID->"79b90601-9065-4d95-b9f8-\ 1775edbd1b3d"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"s", "=", RowBox[{"Sum", "[", RowBox[{ RowBox[{ SubscriptBox["a", "n"], SuperscriptBox["x", RowBox[{"n", "-", "1"}]]}], ",", RowBox[{"{", RowBox[{"n", ",", "1", ",", "\[Infinity]"}], "}"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.726990576715989*^9, 3.72699062162496*^9}},ExpressionUUID->"d0760e86-32a9-42cf-9dc8-\ 33472ce898cf"], Cell[BoxData[ FractionBox[ RowBox[{ RowBox[{ RowBox[{"-", "2340"}], " ", "x"}], "+", RowBox[{"3438", " ", SuperscriptBox["x", "2"]}], "-", RowBox[{"936", " ", SuperscriptBox["x", "3"]}], "-", RowBox[{"67", " ", SuperscriptBox["x", "4"]}], "-", RowBox[{"2340", " ", RowBox[{"Log", "[", RowBox[{"1", "-", "x"}], "]"}]}], "+", RowBox[{"4608", " ", "x", " ", RowBox[{"Log", "[", RowBox[{"1", "-", "x"}], "]"}]}], "-", RowBox[{"2460", " ", SuperscriptBox["x", "2"], " ", RowBox[{"Log", "[", RowBox[{"1", "-", "x"}], "]"}]}], "+", RowBox[{"212", " ", SuperscriptBox["x", "3"], " ", RowBox[{"Log", "[", RowBox[{"1", "-", "x"}], "]"}]}], "+", RowBox[{"30", " ", SuperscriptBox["x", "4"], " ", RowBox[{"Log", "[", RowBox[{"1", "-", "x"}], "]"}]}]}], RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "+", "x"}], ")"}], " ", SuperscriptBox["x", "4"]}]]], "Output", CellChangeTimes->{ 3.726990634299409*^9},ExpressionUUID->"dd2f7366-4a1b-484c-90e8-\ cb021b5a2f1c"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Collect", "[", RowBox[{"s", ",", RowBox[{"Log", "[", RowBox[{"1", "-", "x"}], "]"}], ",", "Simplify"}], "]"}]], "Input", CellChangeTimes->{{3.72699067358773*^9, 3.726990695766714*^9}},ExpressionUUID->"bc2cbfc4-6f5a-4f5e-8ca6-\ 4fcebde8afa2"], Cell[BoxData[ RowBox[{ FractionBox[ RowBox[{"2340", "-", RowBox[{"3438", " ", "x"}], "+", RowBox[{"936", " ", SuperscriptBox["x", "2"]}], "+", RowBox[{"67", " ", SuperscriptBox["x", "3"]}]}], RowBox[{ SuperscriptBox["x", "3"], "-", SuperscriptBox["x", "4"]}]], "+", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"-", "2340"}], "+", RowBox[{"4608", " ", "x"}], "-", RowBox[{"2460", " ", SuperscriptBox["x", "2"]}], "+", RowBox[{"212", " ", SuperscriptBox["x", "3"]}], "+", RowBox[{"30", " ", SuperscriptBox["x", "4"]}]}], ")"}], " ", RowBox[{"Log", "[", RowBox[{"1", "-", "x"}], "]"}]}], RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "+", "x"}], ")"}], " ", SuperscriptBox["x", "4"]}]]}]], "Output", CellChangeTimes->{ 3.726990700867399*^9},ExpressionUUID->"16fd3b89-fb21-4c6c-b6f1-\ 3ab5e77743d8"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"s", "-", "ser"}]], "Input", CellChangeTimes->{{3.726990758484106*^9, 3.726990766318974*^9}},ExpressionUUID->"f114a5eb-30ab-41ca-9c2d-\ 6ab30ee366ad"], Cell[BoxData[ InterpretationBox[ SuperscriptBox[ RowBox[{"O", "[", "x", "]"}], "21"], SeriesData[$CellContext`x, 0, {}, 21, 21, 1], Editable->False]], "Output", CellChangeTimes->{ 3.726990768451836*^9},ExpressionUUID->"b5ddea42-e524-4197-b6f9-\ 8fc9e8f7c87c"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["Recognising a rational number", "Subsection", CellChangeTimes->{{3.726990849431857*^9, 3.726990864757843*^9}},ExpressionUUID->"93efdddd-c0e7-490c-9837-\ 75f2dc51ffb7"], Cell[CellGroupData[{ Cell["A Bernouilli number", "Subsubsection", CellChangeTimes->{{3.7269925954606667`*^9, 3.7269926179214573`*^9}},ExpressionUUID->"5a916393-cc07-4f2f-b2ff-\ c0ae042329bb"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"N", "[", RowBox[{ FractionBox[ RowBox[{"Zeta", "[", "2", "]"}], SuperscriptBox["\[Pi]", "2"]], ",", "30"}], "]"}]], "Input", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{{3.726991649827135*^9, 3.726991677883457*^9}, 3.7269920588911448`*^9},ExpressionUUID->"62d64f93-a1a6-4c53-aabe-\ fcd5905e0b4b"], Cell[BoxData["0.1666666666666666666666666666666666666666666666666666666667`30.\ "], "Output", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{3.7269916803377438`*^9, 3.726992058891268*^9},ExpressionUUID->"c7b97f53-cbce-4abc-812b-\ 6520e11d2833"], Cell[BoxData[ RowBox[{"N", "[", RowBox[{ FractionBox[ RowBox[{"Zeta", "[", "4", "]"}], SuperscriptBox["\[Pi]", "4"]], ",", "30"}], "]"}]], "Input", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{{3.726991352486197*^9, 3.7269914055825577`*^9}, { 3.726991464764876*^9, 3.726991466127037*^9}, {3.726991537678969*^9, 3.7269915381405163`*^9}, {3.726991585651525*^9, 3.726991603715139*^9}, { 3.726991693389576*^9, 3.7269916984058104`*^9}, 3.726991759998302*^9, 3.726992058891369*^9},ExpressionUUID->"0871c25f-cd91-4b68-a996-\ fb455ed50ed5"], Cell[BoxData["0.0111111111111111111111111111111111111111111111111111111112`30.\ "], "Output", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{ 3.726991407112059*^9, 3.726991468526073*^9, 3.7269915403691273`*^9, { 3.72699159040982*^9, 3.726991605240871*^9}, 3.726991700336157*^9, 3.726992058891474*^9},ExpressionUUID->"85e37c72-f019-4d46-8ade-\ 8da058e3c350"], Cell[BoxData[ RowBox[{"1", "/", "%"}]], "Input", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{{3.7269917074615307`*^9, 3.72699170991295*^9}, 3.726992058891567*^9},ExpressionUUID->"91383d2c-f07d-457b-9903-\ 7b77587b8193"], Cell[BoxData["90.`30."], "Output", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{3.726991712158641*^9, 3.7269920588916683`*^9},ExpressionUUID->"0e6560f8-4c02-44d1-b1d4-\ b096d3c18175"], Cell[BoxData[ RowBox[{"r", "=", RowBox[{"N", "[", RowBox[{ FractionBox[ RowBox[{"Zeta", "[", "12", "]"}], SuperscriptBox["\[Pi]", "12"]], ",", "30"}], "]"}]}]], "Input", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{{3.7269917826604843`*^9, 3.726991795397936*^9}, 3.72699205889176*^9},ExpressionUUID->"7eac9a70-dcd8-4bcc-b2e7-\ 2b985568478c"], Cell[BoxData["1.0822021404031986042568053150063732074314084896095478`30.*^-6"]\ , "Output", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{{3.726991791144085*^9, 3.7269917986984873`*^9}, 3.726992058891848*^9},ExpressionUUID->"253476b1-8d67-4953-8341-\ 8856cc296099"], Cell[BoxData[ RowBox[{"Rationalize", "[", "r", "]"}]], "Input", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{{3.726991410057405*^9, 3.726991417146944*^9}, { 3.726991495681448*^9, 3.726991504055439*^9}, {3.7269915531083527`*^9, 3.7269915745623903`*^9}, {3.726991613197706*^9, 3.7269916189624968`*^9}, 3.726992058891933*^9},ExpressionUUID->"ff9c3243-b884-4cfd-bb8d-\ 4b0452862503"], Cell[BoxData[ FractionBox["691", "638512875"]], "Output", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{ 3.7269914184589167`*^9, {3.7269914750749407`*^9, 3.726991506093699*^9}, { 3.726991547635716*^9, 3.726991577133662*^9}, 3.726991620893018*^9, 3.726991804349742*^9, 3.7269920588920307`*^9},ExpressionUUID->"8d12588f-190c-4f55-9497-\ 33c0c8233aa5"], Cell[BoxData[ RowBox[{ FractionBox["691", "638512875"], "-", "r"}]], "Input", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{{3.726991848806814*^9, 3.7269918881084538`*^9}, { 3.7269919184090242`*^9, 3.726991932382593*^9}, {3.726991964684104*^9, 3.726991966968235*^9}, 3.726992058892115*^9},ExpressionUUID->"3f4ea3e1-6b0f-44dc-9a13-\ 0d27d98bc2fe"], Cell[BoxData["0``35.96569161144541"], "Output", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{3.7269918898119802`*^9, 3.726991969612865*^9, 3.7269920588922043`*^9},ExpressionUUID->"90800ccc-5567-48dc-b842-\ e580bde3c4f1"], Cell[BoxData[ RowBox[{"s", "=", RowBox[{"N", "[", RowBox[{ FractionBox[ RowBox[{"Zeta", "[", "12", "]"}], SuperscriptBox["\[Pi]", "6"]], ",", "30"}], "]"}]}]], "Input", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{{3.7269917826604843`*^9, 3.726991795397936*^9}, 3.72699205889176*^9, {3.726992857665716*^9, 3.726992865135935*^9}},ExpressionUUID->"0f8793f7-430a-4c82-afdf-\ f5b76dfc40c9"] }, Closed]], Cell[BoxData["0.0010404174430476994939027370991756777811524118631186617992`30.\ "], "Output", CellChangeTimes->{ 3.726992866990631*^9},ExpressionUUID->"564dd5c1-3358-4526-ad02-\ 4100e809456d"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Rationalize", "[", "s", "]"}]], "Input", CellChangeTimes->{{3.726992871034885*^9, 3.726992882550477*^9}},ExpressionUUID->"9af76ae7-4296-47df-be77-\ 5ba978d41f42"], Cell[BoxData["0.0010404174430476994939027370991756777811524118631186617992`30.\ "], "Output", CellChangeTimes->{ 3.726992885278708*^9},ExpressionUUID->"f53fe5d6-629a-401b-a1f0-\ 3a738577982d"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["A batting average", "Subsubsection", CellChangeTimes->{{3.726992639729105*^9, 3.726992646060194*^9}},ExpressionUUID->"59c2bc98-6bf1-4ba4-ad5a-\ 82021927f307"], Cell["\<\ Batting average is the rational number h/b, rounded to three decimal places. \ Knuth poses the problem: What is the smallest possible value for b, for a player with average 0.334 ? We need to find h/b, with the smallest b, such that 0.3335 \[LessEqual] h/b \ \[LessEqual] 0.3345\ \>", "Text", CellChangeTimes->{{3.726992171820434*^9, 3.72699232492626*^9}, { 3.726992437856978*^9, 3.726992551366633*^9}},ExpressionUUID->"b6e8db86-00e0-4ed3-8b36-\ 6441e94b3697"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Rationalize", "[", RowBox[{"0.334", ",", RowBox[{"5", " ", SuperscriptBox["10", RowBox[{"-", "4"}]]}]}], "]"}]], "Input", CellChangeTimes->{{3.7269926846825047`*^9, 3.7269927873263397`*^9}},ExpressionUUID->"de61f93d-9c5f-4df1-9332-\ 80cb7adc2a58"], Cell[BoxData[ FractionBox["96", "287"]], "Output", CellChangeTimes->{{3.726992704011067*^9, 3.726992729272778*^9}, 3.726992790712158*^9},ExpressionUUID->"651d1735-d376-4de0-a7ba-\ 3ca86105a7fd"] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"ls", "=", "\[IndentingNewLine]", RowBox[{"Flatten", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"{", RowBox[{"h", ",", "b"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "1", ",", "1000"}], "}"}], ",", RowBox[{"{", RowBox[{"h", ",", "1", ",", "b"}], "}"}]}], "]"}], ",", "1"}], "]"}]}], ";"}]], "Input", CellChangeTimes->{{3.726993157071347*^9, 3.726993198711068*^9}, { 3.726993296851248*^9, 3.726993299038122*^9}, {3.726993429612299*^9, 3.726993435058569*^9}},ExpressionUUID->"b26b222c-ad39-4969-94f8-\ c907daa782dd"], Cell[BoxData[ RowBox[{ RowBox[{"poss", "=", RowBox[{"Select", "[", RowBox[{"ls", ",", RowBox[{ RowBox[{ RowBox[{"Abs", "[", RowBox[{ FractionBox[ RowBox[{"#", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}], RowBox[{ "#", "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]], "-", "0.334"}], "]"}], "\[LessEqual]", RowBox[{"5", " ", SuperscriptBox["10", RowBox[{"-", "4"}]]}]}], "&"}]}], "]"}]}], ";"}]], "Input", CellChangeTimes->{{3.72699328027207*^9, 3.726993413193996*^9}, { 3.726993475727273*^9, 3.726993481982875*^9}},ExpressionUUID->"16e4d7ef-44b9-4fb2-af16-\ 4de2b23e7770"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Length", "[", "poss", "]"}]], "Input", CellChangeTimes->{{3.726993487761301*^9, 3.726993493237392*^9}},ExpressionUUID->"a0f70a3e-f82d-4f50-8f88-\ dc9bcdcc90c9"], Cell[BoxData["429"], "Output", CellChangeTimes->{ 3.726993494504343*^9},ExpressionUUID->"cc25a4cb-9025-4481-8bcf-\ 67d80f8956da"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData["poss"], "Input", CellChangeTimes->{{3.726993505972782*^9, 3.7269935068970547`*^9}},ExpressionUUID->"f4aa15b0-b219-424b-ac85-\ d81499602f8f"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"96", ",", "287"}], "}"}], ",", RowBox[{"{", RowBox[{"97", ",", "290"}], "}"}], ",", RowBox[{"{", RowBox[{"98", ",", "293"}], "}"}], ",", RowBox[{"{", RowBox[{"99", ",", "296"}], "}"}], ",", RowBox[{"{", RowBox[{"100", ",", "299"}], "}"}], ",", RowBox[{"{", RowBox[{"101", ",", "302"}], "}"}], ",", RowBox[{"{", RowBox[{"102", ",", "305"}], "}"}], ",", RowBox[{"{", RowBox[{"103", ",", "308"}], "}"}], ",", RowBox[{"{", RowBox[{"104", ",", "311"}], "}"}], ",", RowBox[{"{", RowBox[{"105", ",", "314"}], "}"}], ",", RowBox[{"{", RowBox[{"106", ",", "317"}], "}"}], ",", RowBox[{"{", RowBox[{"107", ",", "320"}], "}"}], ",", RowBox[{"{", RowBox[{"108", ",", "323"}], "}"}], ",", RowBox[{"{", RowBox[{"109", ",", "326"}], "}"}], ",", RowBox[{"{", RowBox[{"110", ",", "329"}], "}"}], ",", RowBox[{"{", RowBox[{"111", ",", "332"}], "}"}], ",", RowBox[{"{", RowBox[{"112", ",", "335"}], "}"}], ",", RowBox[{"{", RowBox[{"113", ",", "338"}], "}"}], ",", RowBox[{"{", RowBox[{"114", ",", "341"}], "}"}], ",", RowBox[{"{", RowBox[{"115", ",", "344"}], "}"}], ",", RowBox[{"{", RowBox[{"116", ",", "347"}], "}"}], ",", RowBox[{"{", RowBox[{"117", ",", "350"}], "}"}], ",", RowBox[{"{", RowBox[{"118", ",", "353"}], "}"}], ",", RowBox[{"{", RowBox[{"119", ",", "356"}], "}"}], ",", RowBox[{"{", RowBox[{"120", ",", "359"}], "}"}], ",", RowBox[{"{", RowBox[{"121", ",", "362"}], "}"}], ",", RowBox[{"{", RowBox[{"122", ",", "365"}], "}"}], ",", RowBox[{"{", RowBox[{"123", ",", "368"}], "}"}], ",", RowBox[{"{", RowBox[{"124", ",", "371"}], "}"}], ",", RowBox[{"{", RowBox[{"125", ",", "374"}], "}"}], ",", RowBox[{"{", RowBox[{"126", ",", "377"}], "}"}], ",", RowBox[{"{", RowBox[{"127", ",", "380"}], "}"}], ",", RowBox[{"{", RowBox[{"128", ",", "383"}], "}"}], ",", RowBox[{"{", RowBox[{"129", ",", "386"}], "}"}], ",", RowBox[{"{", RowBox[{"130", ",", "389"}], "}"}], ",", RowBox[{"{", RowBox[{"131", ",", "392"}], "}"}], ",", RowBox[{"{", RowBox[{"132", ",", "395"}], "}"}], ",", RowBox[{"{", RowBox[{"133", ",", "398"}], "}"}], ",", RowBox[{"{", RowBox[{"134", ",", "401"}], "}"}], ",", RowBox[{"{", RowBox[{"135", ",", "404"}], "}"}], ",", RowBox[{"{", RowBox[{"136", ",", "407"}], "}"}], ",", RowBox[{"{", RowBox[{"137", ",", "410"}], "}"}], ",", RowBox[{"{", RowBox[{"138", ",", "413"}], "}"}], ",", RowBox[{"{", RowBox[{"139", ",", "416"}], "}"}], ",", RowBox[{"{", RowBox[{"140", ",", "419"}], "}"}], ",", RowBox[{"{", RowBox[{"141", ",", "422"}], "}"}], ",", RowBox[{"{", RowBox[{"142", ",", "425"}], "}"}], ",", RowBox[{"{", RowBox[{"143", ",", "428"}], "}"}], ",", RowBox[{"{", RowBox[{"144", ",", "431"}], "}"}], ",", RowBox[{"{", RowBox[{"145", ",", "434"}], "}"}], ",", RowBox[{"{", RowBox[{"146", ",", "437"}], "}"}], ",", RowBox[{"{", RowBox[{"147", ",", "440"}], "}"}], ",", RowBox[{"{", RowBox[{"148", ",", "443"}], "}"}], ",", RowBox[{"{", RowBox[{"149", ",", "446"}], "}"}], ",", RowBox[{"{", RowBox[{"150", ",", "449"}], "}"}], ",", RowBox[{"{", RowBox[{"151", ",", "452"}], "}"}], ",", RowBox[{"{", RowBox[{"152", ",", "455"}], "}"}], ",", RowBox[{"{", RowBox[{"153", ",", "458"}], "}"}], ",", RowBox[{"{", RowBox[{"154", ",", "461"}], "}"}], ",", RowBox[{"{", RowBox[{"155", ",", "464"}], "}"}], ",", RowBox[{"{", RowBox[{"156", ",", "467"}], "}"}], ",", RowBox[{"{", RowBox[{"157", ",", "470"}], "}"}], ",", RowBox[{"{", RowBox[{"158", ",", "473"}], "}"}], ",", RowBox[{"{", RowBox[{"159", ",", "476"}], "}"}], ",", RowBox[{"{", RowBox[{"160", ",", "479"}], "}"}], ",", RowBox[{"{", RowBox[{"161", ",", "482"}], "}"}], ",", RowBox[{"{", RowBox[{"162", ",", "485"}], "}"}], ",", RowBox[{"{", RowBox[{"163", ",", "488"}], "}"}], ",", RowBox[{"{", RowBox[{"164", ",", "491"}], "}"}], ",", RowBox[{"{", RowBox[{"165", ",", "494"}], "}"}], ",", RowBox[{"{", RowBox[{"166", ",", "497"}], "}"}], ",", RowBox[{"{", RowBox[{"167", ",", "500"}], "}"}], ",", RowBox[{"{", RowBox[{"168", ",", "503"}], "}"}], ",", RowBox[{"{", RowBox[{"169", ",", "506"}], "}"}], ",", RowBox[{"{", RowBox[{"170", ",", "509"}], "}"}], ",", RowBox[{"{", RowBox[{"171", ",", "512"}], "}"}], ",", RowBox[{"{", RowBox[{"172", ",", "515"}], "}"}], ",", RowBox[{"{", RowBox[{"173", ",", "518"}], "}"}], ",", RowBox[{"{", RowBox[{"174", ",", "521"}], "}"}], ",", RowBox[{"{", RowBox[{"175", ",", "524"}], "}"}], ",", RowBox[{"{", RowBox[{"176", ",", "527"}], "}"}], ",", RowBox[{"{", RowBox[{"177", ",", "530"}], "}"}], ",", RowBox[{"{", RowBox[{"178", ",", "533"}], "}"}], ",", RowBox[{"{", RowBox[{"179", ",", "536"}], "}"}], ",", RowBox[{"{", RowBox[{"180", ",", "539"}], "}"}], ",", RowBox[{"{", RowBox[{"181", ",", "542"}], "}"}], ",", RowBox[{"{", RowBox[{"182", ",", "545"}], "}"}], ",", RowBox[{"{", RowBox[{"183", ",", "548"}], "}"}], ",", RowBox[{"{", RowBox[{"184", ",", "551"}], "}"}], ",", RowBox[{"{", RowBox[{"185", ",", "554"}], "}"}], ",", RowBox[{"{", RowBox[{"186", ",", "557"}], "}"}], ",", RowBox[{"{", RowBox[{"187", ",", "560"}], "}"}], ",", RowBox[{"{", RowBox[{"188", ",", "563"}], "}"}], ",", RowBox[{"{", RowBox[{"189", ",", "566"}], "}"}], ",", RowBox[{"{", RowBox[{"190", ",", "569"}], "}"}], ",", RowBox[{"{", RowBox[{"191", ",", "572"}], "}"}], ",", RowBox[{"{", RowBox[{"192", ",", "574"}], "}"}], ",", RowBox[{"{", RowBox[{"192", ",", "575"}], "}"}], ",", RowBox[{"{", RowBox[{"193", ",", "577"}], "}"}], ",", RowBox[{"{", RowBox[{"193", ",", "578"}], "}"}], ",", RowBox[{"{", RowBox[{"194", ",", "580"}], "}"}], ",", RowBox[{"{", RowBox[{"194", ",", "581"}], "}"}], ",", RowBox[{"{", RowBox[{"195", ",", "583"}], "}"}], ",", RowBox[{"{", RowBox[{"195", ",", "584"}], "}"}], ",", RowBox[{"{", RowBox[{"196", ",", "586"}], "}"}], ",", RowBox[{"{", RowBox[{"196", ",", "587"}], "}"}], ",", RowBox[{"{", RowBox[{"197", ",", "589"}], "}"}], ",", RowBox[{"{", RowBox[{"197", ",", "590"}], "}"}], ",", RowBox[{"{", RowBox[{"198", ",", "592"}], "}"}], ",", RowBox[{"{", RowBox[{"198", ",", "593"}], "}"}], ",", RowBox[{"{", RowBox[{"199", ",", "595"}], "}"}], ",", RowBox[{"{", RowBox[{"199", ",", "596"}], "}"}], ",", RowBox[{"{", RowBox[{"200", ",", "598"}], "}"}], ",", RowBox[{"{", RowBox[{"200", ",", "599"}], "}"}], ",", RowBox[{"{", RowBox[{"201", ",", "601"}], "}"}], ",", RowBox[{"{", RowBox[{"201", ",", "602"}], "}"}], ",", RowBox[{"{", RowBox[{"202", ",", "604"}], "}"}], ",", RowBox[{"{", RowBox[{"202", ",", "605"}], "}"}], ",", RowBox[{"{", RowBox[{"203", ",", "607"}], "}"}], ",", RowBox[{"{", RowBox[{"203", ",", "608"}], "}"}], ",", RowBox[{"{", RowBox[{"204", ",", "610"}], "}"}], ",", RowBox[{"{", RowBox[{"204", ",", "611"}], "}"}], ",", RowBox[{"{", RowBox[{"205", ",", "613"}], "}"}], ",", RowBox[{"{", RowBox[{"205", ",", "614"}], "}"}], ",", RowBox[{"{", RowBox[{"206", ",", "616"}], "}"}], ",", RowBox[{"{", RowBox[{"206", ",", "617"}], "}"}], ",", RowBox[{"{", RowBox[{"207", ",", "619"}], "}"}], ",", RowBox[{"{", RowBox[{"207", ",", "620"}], "}"}], ",", RowBox[{"{", RowBox[{"208", ",", "622"}], "}"}], ",", RowBox[{"{", RowBox[{"208", ",", "623"}], "}"}], ",", RowBox[{"{", RowBox[{"209", ",", "625"}], "}"}], ",", RowBox[{"{", RowBox[{"209", ",", "626"}], "}"}], ",", RowBox[{"{", RowBox[{"210", ",", "628"}], "}"}], ",", RowBox[{"{", RowBox[{"210", ",", "629"}], "}"}], ",", RowBox[{"{", RowBox[{"211", ",", "631"}], "}"}], ",", RowBox[{"{", RowBox[{"211", ",", "632"}], "}"}], ",", RowBox[{"{", RowBox[{"212", ",", "634"}], "}"}], ",", RowBox[{"{", RowBox[{"212", ",", "635"}], "}"}], ",", RowBox[{"{", RowBox[{"213", ",", "637"}], "}"}], ",", RowBox[{"{", RowBox[{"213", ",", "638"}], "}"}], ",", RowBox[{"{", RowBox[{"214", ",", "640"}], "}"}], ",", RowBox[{"{", RowBox[{"214", ",", "641"}], "}"}], ",", RowBox[{"{", RowBox[{"215", ",", "643"}], "}"}], ",", RowBox[{"{", RowBox[{"215", ",", "644"}], "}"}], ",", RowBox[{"{", RowBox[{"216", ",", "646"}], "}"}], ",", RowBox[{"{", RowBox[{"216", ",", "647"}], "}"}], ",", RowBox[{"{", RowBox[{"217", ",", "649"}], "}"}], ",", RowBox[{"{", RowBox[{"217", ",", "650"}], "}"}], ",", RowBox[{"{", RowBox[{"218", ",", "652"}], "}"}], ",", RowBox[{"{", RowBox[{"218", ",", "653"}], "}"}], ",", RowBox[{"{", RowBox[{"219", ",", "655"}], "}"}], ",", RowBox[{"{", RowBox[{"219", ",", "656"}], "}"}], ",", RowBox[{"{", RowBox[{"220", ",", "658"}], "}"}], ",", RowBox[{"{", RowBox[{"220", ",", "659"}], "}"}], ",", RowBox[{"{", RowBox[{"221", ",", "661"}], "}"}], ",", RowBox[{"{", RowBox[{"221", ",", "662"}], "}"}], ",", RowBox[{"{", RowBox[{"222", ",", "664"}], "}"}], ",", RowBox[{"{", RowBox[{"222", ",", "665"}], "}"}], ",", RowBox[{"{", RowBox[{"223", ",", "667"}], "}"}], ",", RowBox[{"{", RowBox[{"223", ",", "668"}], "}"}], ",", RowBox[{"{", RowBox[{"224", ",", "670"}], "}"}], ",", RowBox[{"{", RowBox[{"224", ",", "671"}], "}"}], ",", RowBox[{"{", RowBox[{"225", ",", "673"}], "}"}], ",", RowBox[{"{", RowBox[{"225", ",", "674"}], "}"}], ",", RowBox[{"{", RowBox[{"226", ",", "676"}], "}"}], ",", RowBox[{"{", RowBox[{"226", ",", "677"}], "}"}], ",", RowBox[{"{", RowBox[{"227", ",", "679"}], "}"}], ",", RowBox[{"{", RowBox[{"227", ",", "680"}], "}"}], ",", RowBox[{"{", RowBox[{"228", ",", "682"}], "}"}], ",", RowBox[{"{", RowBox[{"228", ",", "683"}], "}"}], ",", RowBox[{"{", RowBox[{"229", ",", "685"}], "}"}], ",", RowBox[{"{", RowBox[{"229", ",", "686"}], "}"}], ",", RowBox[{"{", RowBox[{"230", ",", "688"}], "}"}], ",", RowBox[{"{", RowBox[{"230", ",", "689"}], "}"}], ",", RowBox[{"{", RowBox[{"231", ",", "691"}], "}"}], ",", RowBox[{"{", RowBox[{"231", ",", "692"}], "}"}], ",", RowBox[{"{", RowBox[{"232", ",", "694"}], "}"}], ",", RowBox[{"{", RowBox[{"232", ",", "695"}], "}"}], ",", RowBox[{"{", RowBox[{"233", ",", "697"}], "}"}], ",", RowBox[{"{", RowBox[{"233", ",", "698"}], "}"}], ",", RowBox[{"{", RowBox[{"234", ",", "700"}], "}"}], ",", RowBox[{"{", RowBox[{"234", ",", "701"}], "}"}], ",", RowBox[{"{", RowBox[{"235", ",", "703"}], "}"}], ",", RowBox[{"{", RowBox[{"235", ",", "704"}], "}"}], ",", RowBox[{"{", RowBox[{"236", ",", "706"}], "}"}], ",", RowBox[{"{", RowBox[{"236", ",", "707"}], "}"}], ",", RowBox[{"{", RowBox[{"237", ",", "709"}], "}"}], ",", RowBox[{"{", RowBox[{"237", ",", "710"}], "}"}], ",", RowBox[{"{", RowBox[{"238", ",", "712"}], "}"}], ",", RowBox[{"{", RowBox[{"238", ",", "713"}], "}"}], ",", RowBox[{"{", RowBox[{"239", ",", "715"}], "}"}], ",", RowBox[{"{", RowBox[{"239", ",", "716"}], "}"}], ",", RowBox[{"{", RowBox[{"240", ",", "718"}], "}"}], ",", RowBox[{"{", RowBox[{"240", ",", "719"}], "}"}], ",", RowBox[{"{", RowBox[{"241", ",", "721"}], "}"}], ",", RowBox[{"{", RowBox[{"241", ",", "722"}], "}"}], ",", RowBox[{"{", RowBox[{"242", ",", "724"}], "}"}], ",", RowBox[{"{", RowBox[{"242", ",", "725"}], "}"}], ",", RowBox[{"{", RowBox[{"243", ",", "727"}], "}"}], ",", RowBox[{"{", RowBox[{"243", ",", "728"}], "}"}], ",", RowBox[{"{", RowBox[{"244", ",", "730"}], "}"}], ",", RowBox[{"{", RowBox[{"244", ",", "731"}], "}"}], ",", RowBox[{"{", RowBox[{"245", ",", "733"}], "}"}], ",", RowBox[{"{", RowBox[{"245", ",", "734"}], "}"}], ",", RowBox[{"{", RowBox[{"246", ",", "736"}], "}"}], ",", RowBox[{"{", RowBox[{"246", ",", "737"}], "}"}], ",", RowBox[{"{", RowBox[{"247", ",", "739"}], "}"}], ",", RowBox[{"{", RowBox[{"247", ",", "740"}], "}"}], ",", RowBox[{"{", RowBox[{"248", ",", "742"}], "}"}], ",", RowBox[{"{", RowBox[{"248", ",", "743"}], "}"}], ",", RowBox[{"{", RowBox[{"249", ",", "745"}], "}"}], ",", RowBox[{"{", RowBox[{"249", ",", "746"}], "}"}], ",", RowBox[{"{", RowBox[{"250", ",", "748"}], "}"}], ",", RowBox[{"{", RowBox[{"250", ",", "749"}], "}"}], ",", RowBox[{"{", RowBox[{"251", ",", "751"}], "}"}], ",", RowBox[{"{", RowBox[{"251", ",", "752"}], "}"}], ",", RowBox[{"{", RowBox[{"252", ",", "754"}], "}"}], ",", RowBox[{"{", RowBox[{"252", ",", "755"}], "}"}], ",", RowBox[{"{", RowBox[{"253", ",", "757"}], "}"}], ",", RowBox[{"{", RowBox[{"253", ",", "758"}], "}"}], ",", RowBox[{"{", RowBox[{"254", ",", "760"}], "}"}], ",", RowBox[{"{", RowBox[{"254", ",", "761"}], "}"}], ",", RowBox[{"{", RowBox[{"255", ",", "763"}], "}"}], ",", RowBox[{"{", RowBox[{"255", ",", "764"}], "}"}], ",", RowBox[{"{", RowBox[{"256", ",", "766"}], "}"}], ",", RowBox[{"{", RowBox[{"256", ",", "767"}], "}"}], ",", RowBox[{"{", RowBox[{"257", ",", "769"}], "}"}], ",", RowBox[{"{", RowBox[{"257", ",", "770"}], "}"}], ",", RowBox[{"{", RowBox[{"258", ",", "772"}], "}"}], ",", RowBox[{"{", RowBox[{"258", ",", "773"}], "}"}], ",", RowBox[{"{", RowBox[{"259", ",", "775"}], "}"}], ",", RowBox[{"{", RowBox[{"259", ",", "776"}], "}"}], ",", RowBox[{"{", RowBox[{"260", ",", "778"}], "}"}], ",", RowBox[{"{", RowBox[{"260", ",", "779"}], "}"}], ",", RowBox[{"{", RowBox[{"261", ",", "781"}], "}"}], ",", RowBox[{"{", RowBox[{"261", ",", "782"}], "}"}], ",", RowBox[{"{", RowBox[{"262", ",", "784"}], "}"}], ",", RowBox[{"{", RowBox[{"262", ",", "785"}], "}"}], ",", RowBox[{"{", RowBox[{"263", ",", "787"}], "}"}], ",", RowBox[{"{", RowBox[{"263", ",", "788"}], "}"}], ",", RowBox[{"{", RowBox[{"264", ",", "790"}], "}"}], ",", RowBox[{"{", RowBox[{"264", ",", "791"}], "}"}], ",", RowBox[{"{", RowBox[{"265", ",", "793"}], "}"}], ",", RowBox[{"{", RowBox[{"265", ",", "794"}], "}"}], ",", RowBox[{"{", RowBox[{"266", ",", "796"}], "}"}], ",", RowBox[{"{", RowBox[{"266", ",", "797"}], "}"}], ",", RowBox[{"{", RowBox[{"267", ",", "799"}], "}"}], ",", RowBox[{"{", RowBox[{"267", ",", "800"}], "}"}], ",", RowBox[{"{", RowBox[{"268", ",", "802"}], "}"}], ",", RowBox[{"{", RowBox[{"268", ",", "803"}], "}"}], ",", RowBox[{"{", RowBox[{"269", ",", "805"}], "}"}], ",", RowBox[{"{", RowBox[{"269", ",", "806"}], "}"}], ",", RowBox[{"{", RowBox[{"270", ",", "808"}], "}"}], ",", RowBox[{"{", RowBox[{"270", ",", "809"}], "}"}], ",", RowBox[{"{", RowBox[{"271", ",", "811"}], "}"}], ",", RowBox[{"{", RowBox[{"271", ",", "812"}], "}"}], ",", RowBox[{"{", RowBox[{"272", ",", "814"}], "}"}], ",", RowBox[{"{", RowBox[{"272", ",", "815"}], "}"}], ",", RowBox[{"{", RowBox[{"273", ",", "817"}], "}"}], ",", RowBox[{"{", RowBox[{"273", ",", "818"}], "}"}], ",", RowBox[{"{", RowBox[{"274", ",", "820"}], "}"}], ",", RowBox[{"{", RowBox[{"274", ",", "821"}], "}"}], ",", RowBox[{"{", RowBox[{"275", ",", "823"}], "}"}], ",", RowBox[{"{", RowBox[{"275", ",", "824"}], "}"}], ",", RowBox[{"{", RowBox[{"276", ",", "826"}], "}"}], ",", RowBox[{"{", RowBox[{"276", ",", "827"}], "}"}], ",", RowBox[{"{", RowBox[{"277", ",", "829"}], "}"}], ",", RowBox[{"{", RowBox[{"277", ",", "830"}], "}"}], ",", RowBox[{"{", RowBox[{"278", ",", "832"}], "}"}], ",", RowBox[{"{", RowBox[{"278", ",", "833"}], "}"}], ",", RowBox[{"{", RowBox[{"279", ",", "835"}], "}"}], ",", RowBox[{"{", RowBox[{"279", ",", "836"}], "}"}], ",", RowBox[{"{", RowBox[{"280", ",", "838"}], "}"}], ",", RowBox[{"{", RowBox[{"280", ",", "839"}], "}"}], ",", RowBox[{"{", RowBox[{"281", ",", "841"}], "}"}], ",", RowBox[{"{", RowBox[{"281", ",", "842"}], "}"}], ",", RowBox[{"{", RowBox[{"282", ",", "844"}], "}"}], ",", RowBox[{"{", RowBox[{"282", ",", "845"}], "}"}], ",", RowBox[{"{", RowBox[{"283", ",", "847"}], "}"}], ",", RowBox[{"{", RowBox[{"283", ",", "848"}], "}"}], ",", RowBox[{"{", RowBox[{"284", ",", "850"}], "}"}], ",", RowBox[{"{", RowBox[{"284", ",", "851"}], "}"}], ",", RowBox[{"{", RowBox[{"285", ",", "853"}], "}"}], ",", RowBox[{"{", RowBox[{"285", ",", "854"}], "}"}], ",", RowBox[{"{", RowBox[{"286", ",", "856"}], "}"}], ",", RowBox[{"{", RowBox[{"286", ",", "857"}], "}"}], ",", RowBox[{"{", RowBox[{"287", ",", "858"}], "}"}], ",", RowBox[{"{", RowBox[{"287", ",", "859"}], "}"}], ",", RowBox[{"{", RowBox[{"287", ",", "860"}], "}"}], ",", RowBox[{"{", RowBox[{"288", ",", "861"}], "}"}], ",", RowBox[{"{", RowBox[{"288", ",", "862"}], "}"}], ",", RowBox[{"{", RowBox[{"288", ",", "863"}], "}"}], ",", RowBox[{"{", RowBox[{"289", ",", "864"}], "}"}], ",", RowBox[{"{", RowBox[{"289", ",", "865"}], "}"}], ",", RowBox[{"{", RowBox[{"289", ",", "866"}], "}"}], ",", RowBox[{"{", RowBox[{"290", ",", "867"}], "}"}], ",", RowBox[{"{", RowBox[{"290", ",", "868"}], "}"}], ",", RowBox[{"{", RowBox[{"290", ",", "869"}], "}"}], ",", RowBox[{"{", RowBox[{"291", ",", "870"}], "}"}], ",", RowBox[{"{", RowBox[{"291", ",", "871"}], "}"}], ",", RowBox[{"{", RowBox[{"291", ",", "872"}], "}"}], ",", RowBox[{"{", RowBox[{"292", ",", "873"}], "}"}], ",", RowBox[{"{", RowBox[{"292", ",", "874"}], "}"}], ",", RowBox[{"{", RowBox[{"292", ",", "875"}], "}"}], ",", RowBox[{"{", RowBox[{"293", ",", "876"}], "}"}], ",", RowBox[{"{", RowBox[{"293", ",", "877"}], "}"}], ",", RowBox[{"{", RowBox[{"293", ",", "878"}], "}"}], ",", RowBox[{"{", RowBox[{"294", ",", "879"}], "}"}], ",", RowBox[{"{", RowBox[{"294", ",", "880"}], "}"}], ",", RowBox[{"{", RowBox[{"294", ",", "881"}], "}"}], ",", RowBox[{"{", RowBox[{"295", ",", "882"}], "}"}], ",", RowBox[{"{", RowBox[{"295", ",", "883"}], "}"}], ",", RowBox[{"{", RowBox[{"295", ",", "884"}], "}"}], ",", RowBox[{"{", RowBox[{"296", ",", "885"}], "}"}], ",", RowBox[{"{", RowBox[{"296", ",", "886"}], "}"}], ",", RowBox[{"{", RowBox[{"296", ",", "887"}], "}"}], ",", RowBox[{"{", RowBox[{"297", ",", "888"}], "}"}], ",", RowBox[{"{", RowBox[{"297", ",", "889"}], "}"}], ",", RowBox[{"{", RowBox[{"297", ",", "890"}], "}"}], ",", RowBox[{"{", RowBox[{"298", ",", "891"}], "}"}], ",", RowBox[{"{", RowBox[{"298", ",", "892"}], "}"}], ",", RowBox[{"{", RowBox[{"298", ",", "893"}], "}"}], ",", RowBox[{"{", RowBox[{"299", ",", "894"}], "}"}], ",", RowBox[{"{", RowBox[{"299", ",", "895"}], "}"}], ",", RowBox[{"{", RowBox[{"299", ",", "896"}], "}"}], ",", RowBox[{"{", RowBox[{"300", ",", "897"}], "}"}], ",", RowBox[{"{", RowBox[{"300", ",", "898"}], "}"}], ",", RowBox[{"{", RowBox[{"300", ",", "899"}], "}"}], ",", RowBox[{"{", RowBox[{"301", ",", "900"}], "}"}], ",", RowBox[{"{", RowBox[{"301", ",", "901"}], "}"}], ",", RowBox[{"{", RowBox[{"301", ",", "902"}], "}"}], ",", RowBox[{"{", RowBox[{"302", ",", "903"}], "}"}], ",", RowBox[{"{", RowBox[{"302", ",", "904"}], "}"}], ",", RowBox[{"{", RowBox[{"302", ",", "905"}], "}"}], ",", RowBox[{"{", RowBox[{"303", ",", "906"}], "}"}], ",", RowBox[{"{", RowBox[{"303", ",", "907"}], "}"}], ",", RowBox[{"{", RowBox[{"303", ",", "908"}], "}"}], ",", RowBox[{"{", RowBox[{"304", ",", "909"}], "}"}], ",", RowBox[{"{", RowBox[{"304", ",", "910"}], "}"}], ",", RowBox[{"{", RowBox[{"304", ",", "911"}], "}"}], ",", RowBox[{"{", RowBox[{"305", ",", "912"}], "}"}], ",", RowBox[{"{", RowBox[{"305", ",", "913"}], "}"}], ",", RowBox[{"{", RowBox[{"305", ",", "914"}], "}"}], ",", RowBox[{"{", RowBox[{"306", ",", "915"}], "}"}], ",", RowBox[{"{", RowBox[{"306", ",", "916"}], "}"}], ",", RowBox[{"{", RowBox[{"306", ",", "917"}], "}"}], ",", RowBox[{"{", RowBox[{"307", ",", "918"}], "}"}], ",", RowBox[{"{", RowBox[{"307", ",", "919"}], "}"}], ",", RowBox[{"{", RowBox[{"307", ",", "920"}], "}"}], ",", RowBox[{"{", RowBox[{"308", ",", "921"}], "}"}], ",", RowBox[{"{", RowBox[{"308", ",", "922"}], "}"}], ",", RowBox[{"{", RowBox[{"308", ",", "923"}], "}"}], ",", RowBox[{"{", RowBox[{"309", ",", "924"}], "}"}], ",", RowBox[{"{", RowBox[{"309", ",", "925"}], "}"}], ",", RowBox[{"{", RowBox[{"309", ",", "926"}], "}"}], ",", RowBox[{"{", RowBox[{"310", ",", "927"}], "}"}], ",", RowBox[{"{", RowBox[{"310", ",", "928"}], "}"}], ",", RowBox[{"{", RowBox[{"310", ",", "929"}], "}"}], ",", RowBox[{"{", RowBox[{"311", ",", "930"}], "}"}], ",", RowBox[{"{", RowBox[{"311", ",", "931"}], "}"}], ",", RowBox[{"{", RowBox[{"311", ",", "932"}], "}"}], ",", RowBox[{"{", RowBox[{"312", ",", "933"}], "}"}], ",", RowBox[{"{", RowBox[{"312", ",", "934"}], "}"}], ",", RowBox[{"{", RowBox[{"312", ",", "935"}], "}"}], ",", RowBox[{"{", RowBox[{"313", ",", "936"}], "}"}], ",", RowBox[{"{", RowBox[{"313", ",", "937"}], "}"}], ",", RowBox[{"{", RowBox[{"313", ",", "938"}], "}"}], ",", RowBox[{"{", RowBox[{"314", ",", "939"}], "}"}], ",", RowBox[{"{", RowBox[{"314", ",", "940"}], "}"}], ",", RowBox[{"{", RowBox[{"314", ",", "941"}], "}"}], ",", RowBox[{"{", RowBox[{"315", ",", "942"}], "}"}], ",", RowBox[{"{", RowBox[{"315", ",", "943"}], "}"}], ",", RowBox[{"{", RowBox[{"315", ",", "944"}], "}"}], ",", RowBox[{"{", RowBox[{"316", ",", "945"}], "}"}], ",", RowBox[{"{", RowBox[{"316", ",", "946"}], "}"}], ",", RowBox[{"{", RowBox[{"316", ",", "947"}], "}"}], ",", RowBox[{"{", RowBox[{"317", ",", "948"}], "}"}], ",", RowBox[{"{", RowBox[{"317", ",", "949"}], "}"}], ",", RowBox[{"{", RowBox[{"317", ",", "950"}], "}"}], ",", RowBox[{"{", RowBox[{"318", ",", "951"}], "}"}], ",", RowBox[{"{", RowBox[{"318", ",", "952"}], "}"}], ",", RowBox[{"{", RowBox[{"318", ",", "953"}], "}"}], ",", RowBox[{"{", RowBox[{"319", ",", "954"}], "}"}], ",", RowBox[{"{", RowBox[{"319", ",", "955"}], "}"}], ",", RowBox[{"{", RowBox[{"319", ",", "956"}], "}"}], ",", RowBox[{"{", RowBox[{"320", ",", "957"}], "}"}], ",", RowBox[{"{", RowBox[{"320", ",", "958"}], "}"}], ",", RowBox[{"{", RowBox[{"320", ",", "959"}], "}"}], ",", RowBox[{"{", RowBox[{"321", ",", "960"}], "}"}], ",", RowBox[{"{", RowBox[{"321", ",", "961"}], "}"}], ",", RowBox[{"{", RowBox[{"321", ",", "962"}], "}"}], ",", RowBox[{"{", RowBox[{"322", ",", "963"}], "}"}], ",", RowBox[{"{", RowBox[{"322", ",", "964"}], "}"}], ",", RowBox[{"{", RowBox[{"322", ",", "965"}], "}"}], ",", RowBox[{"{", RowBox[{"323", ",", "966"}], "}"}], ",", RowBox[{"{", RowBox[{"323", ",", "967"}], "}"}], ",", RowBox[{"{", RowBox[{"323", ",", "968"}], "}"}], ",", RowBox[{"{", RowBox[{"324", ",", "969"}], "}"}], ",", RowBox[{"{", RowBox[{"324", ",", "970"}], "}"}], ",", RowBox[{"{", RowBox[{"324", ",", "971"}], "}"}], ",", RowBox[{"{", RowBox[{"325", ",", "972"}], "}"}], ",", RowBox[{"{", RowBox[{"325", ",", "973"}], "}"}], ",", RowBox[{"{", RowBox[{"325", ",", "974"}], "}"}], ",", RowBox[{"{", RowBox[{"326", ",", "975"}], "}"}], ",", RowBox[{"{", RowBox[{"326", ",", "976"}], "}"}], ",", RowBox[{"{", RowBox[{"326", ",", "977"}], "}"}], ",", RowBox[{"{", RowBox[{"327", ",", "978"}], "}"}], ",", RowBox[{"{", RowBox[{"327", ",", "979"}], "}"}], ",", RowBox[{"{", RowBox[{"327", ",", "980"}], "}"}], ",", RowBox[{"{", RowBox[{"328", ",", "981"}], "}"}], ",", RowBox[{"{", RowBox[{"328", ",", "982"}], "}"}], ",", RowBox[{"{", RowBox[{"328", ",", "983"}], "}"}], ",", RowBox[{"{", RowBox[{"329", ",", "984"}], "}"}], ",", RowBox[{"{", RowBox[{"329", ",", "985"}], "}"}], ",", RowBox[{"{", RowBox[{"329", ",", "986"}], "}"}], ",", RowBox[{"{", RowBox[{"330", ",", "987"}], "}"}], ",", RowBox[{"{", RowBox[{"330", ",", "988"}], "}"}], ",", RowBox[{"{", RowBox[{"330", ",", "989"}], "}"}], ",", RowBox[{"{", RowBox[{"331", ",", "990"}], "}"}], ",", RowBox[{"{", RowBox[{"331", ",", "991"}], "}"}], ",", RowBox[{"{", RowBox[{"331", ",", "992"}], "}"}], ",", RowBox[{"{", RowBox[{"332", ",", "993"}], "}"}], ",", RowBox[{"{", RowBox[{"332", ",", "994"}], "}"}], ",", RowBox[{"{", RowBox[{"332", ",", "995"}], "}"}], ",", RowBox[{"{", RowBox[{"333", ",", "996"}], "}"}], ",", RowBox[{"{", RowBox[{"333", ",", "997"}], "}"}], ",", RowBox[{"{", RowBox[{"333", ",", "998"}], "}"}], ",", RowBox[{"{", RowBox[{"334", ",", "999"}], "}"}], ",", RowBox[{"{", RowBox[{"334", ",", "1000"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{ 3.726993605379539*^9},ExpressionUUID->"d6b9de96-4355-4753-81ed-\ 2d53717d543e"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "SortBy"}]], "Input", CellChangeTimes->{{3.726993566387739*^9, 3.726993571623266*^9}},ExpressionUUID->"2e82b0d2-c98a-41f4-84f5-\ ff7bf20a85cf"], Cell[BoxData[ RowBox[{"\<\"\\!\\(\\*RowBox[{\\\"SortBy\\\", \\\"[\\\", RowBox[{StyleBox[\\\ \"list\\\", \\\"TI\\\"], \\\",\\\", StyleBox[\\\"f\\\", \\\"TI\\\"]}], \ \\\"]\\\"}]\\) sorts the elements of \\!\\(\\*StyleBox[\\\"list\\\", \\\"TI\\\ \"]\\) in the order defined by applying \\!\\(\\*StyleBox[\\\"f\\\", \\\"TI\\\ \"]\\) to each of them. \\n\\!\\(\\*RowBox[{\\\"SortBy\\\", \\\"[\\\", \ StyleBox[\\\"f\\\", \\\"TI\\\"], \\\"]\\\"}]\\) represents an operator form \ of SortBy that can be applied to an expression.\"\>", "\[NonBreakingSpace]", ButtonBox[ StyleBox["\[RightSkeleton]", "SR"], Active->True, BaseStyle->"Link", ButtonData->"paclet:ref/SortBy"]}]], "Print", "PrintUsage", CellChangeTimes->{3.726993573486174*^9}, CellTags-> "Info813726993573-3762827",ExpressionUUID->"4c2bf41c-098e-469c-8f29-\ a2d2bfc3ed0f"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"SortBy", "[", RowBox[{"poss", ",", RowBox[{ RowBox[{"#", "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}], "&"}]}], "]"}]], "Input", CellChangeTimes->{{3.726993619671609*^9, 3.726993649136815*^9}},ExpressionUUID->"7ac399fa-d513-47f2-987d-\ 53633cb736ed"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"96", ",", "287"}], "}"}], ",", RowBox[{"{", RowBox[{"97", ",", "290"}], "}"}], ",", RowBox[{"{", RowBox[{"98", ",", "293"}], "}"}], ",", RowBox[{"{", RowBox[{"99", ",", "296"}], "}"}], ",", RowBox[{"{", RowBox[{"100", ",", "299"}], "}"}], ",", RowBox[{"{", RowBox[{"101", ",", "302"}], "}"}], ",", RowBox[{"{", RowBox[{"102", ",", "305"}], "}"}], ",", RowBox[{"{", RowBox[{"103", ",", "308"}], "}"}], ",", RowBox[{"{", RowBox[{"104", ",", "311"}], "}"}], ",", RowBox[{"{", RowBox[{"105", ",", "314"}], "}"}], ",", RowBox[{"{", RowBox[{"106", ",", "317"}], "}"}], ",", RowBox[{"{", RowBox[{"107", ",", "320"}], "}"}], ",", RowBox[{"{", RowBox[{"108", ",", "323"}], "}"}], ",", RowBox[{"{", RowBox[{"109", ",", "326"}], "}"}], ",", RowBox[{"{", RowBox[{"110", ",", "329"}], "}"}], ",", RowBox[{"{", RowBox[{"111", ",", "332"}], "}"}], ",", RowBox[{"{", RowBox[{"112", ",", "335"}], "}"}], ",", RowBox[{"{", RowBox[{"113", ",", "338"}], "}"}], ",", RowBox[{"{", RowBox[{"114", ",", "341"}], "}"}], ",", RowBox[{"{", RowBox[{"115", ",", "344"}], "}"}], ",", RowBox[{"{", RowBox[{"116", ",", "347"}], "}"}], ",", RowBox[{"{", RowBox[{"117", ",", "350"}], "}"}], ",", RowBox[{"{", RowBox[{"118", ",", "353"}], "}"}], ",", RowBox[{"{", RowBox[{"119", ",", "356"}], "}"}], ",", RowBox[{"{", RowBox[{"120", ",", "359"}], "}"}], ",", RowBox[{"{", RowBox[{"121", ",", "362"}], "}"}], ",", RowBox[{"{", RowBox[{"122", ",", "365"}], "}"}], ",", RowBox[{"{", RowBox[{"123", ",", "368"}], "}"}], ",", RowBox[{"{", RowBox[{"124", ",", "371"}], "}"}], ",", RowBox[{"{", RowBox[{"125", ",", "374"}], "}"}], ",", RowBox[{"{", RowBox[{"126", ",", "377"}], "}"}], ",", RowBox[{"{", RowBox[{"127", ",", "380"}], "}"}], ",", RowBox[{"{", RowBox[{"128", ",", "383"}], "}"}], ",", RowBox[{"{", RowBox[{"129", ",", "386"}], "}"}], ",", RowBox[{"{", RowBox[{"130", ",", "389"}], "}"}], ",", RowBox[{"{", RowBox[{"131", ",", "392"}], "}"}], ",", RowBox[{"{", RowBox[{"132", ",", "395"}], "}"}], ",", RowBox[{"{", RowBox[{"133", ",", "398"}], "}"}], ",", RowBox[{"{", RowBox[{"134", ",", "401"}], "}"}], ",", RowBox[{"{", RowBox[{"135", ",", "404"}], "}"}], ",", RowBox[{"{", RowBox[{"136", ",", "407"}], "}"}], ",", RowBox[{"{", RowBox[{"137", ",", "410"}], "}"}], ",", RowBox[{"{", RowBox[{"138", ",", "413"}], "}"}], ",", RowBox[{"{", RowBox[{"139", ",", "416"}], "}"}], ",", RowBox[{"{", RowBox[{"140", ",", "419"}], "}"}], ",", RowBox[{"{", RowBox[{"141", ",", "422"}], "}"}], ",", RowBox[{"{", RowBox[{"142", ",", "425"}], "}"}], ",", RowBox[{"{", RowBox[{"143", ",", "428"}], "}"}], ",", RowBox[{"{", RowBox[{"144", ",", "431"}], "}"}], ",", RowBox[{"{", RowBox[{"145", ",", "434"}], "}"}], ",", RowBox[{"{", RowBox[{"146", ",", "437"}], "}"}], ",", RowBox[{"{", RowBox[{"147", ",", "440"}], "}"}], ",", RowBox[{"{", RowBox[{"148", ",", "443"}], "}"}], ",", RowBox[{"{", RowBox[{"149", ",", "446"}], "}"}], ",", RowBox[{"{", RowBox[{"150", ",", "449"}], "}"}], ",", RowBox[{"{", RowBox[{"151", ",", "452"}], "}"}], ",", RowBox[{"{", RowBox[{"152", ",", "455"}], "}"}], ",", RowBox[{"{", RowBox[{"153", ",", "458"}], "}"}], ",", RowBox[{"{", RowBox[{"154", ",", "461"}], "}"}], ",", RowBox[{"{", RowBox[{"155", ",", "464"}], "}"}], ",", RowBox[{"{", RowBox[{"156", ",", "467"}], "}"}], ",", RowBox[{"{", RowBox[{"157", ",", "470"}], "}"}], ",", RowBox[{"{", RowBox[{"158", ",", "473"}], "}"}], ",", RowBox[{"{", RowBox[{"159", ",", "476"}], "}"}], ",", RowBox[{"{", RowBox[{"160", ",", "479"}], "}"}], ",", RowBox[{"{", RowBox[{"161", ",", "482"}], "}"}], ",", RowBox[{"{", RowBox[{"162", ",", "485"}], "}"}], ",", RowBox[{"{", RowBox[{"163", ",", "488"}], "}"}], ",", RowBox[{"{", RowBox[{"164", ",", "491"}], "}"}], ",", RowBox[{"{", RowBox[{"165", ",", "494"}], "}"}], ",", RowBox[{"{", RowBox[{"166", ",", "497"}], "}"}], ",", RowBox[{"{", RowBox[{"167", ",", "500"}], "}"}], ",", RowBox[{"{", RowBox[{"168", ",", "503"}], "}"}], ",", RowBox[{"{", RowBox[{"169", ",", "506"}], "}"}], ",", RowBox[{"{", RowBox[{"170", ",", "509"}], "}"}], ",", RowBox[{"{", RowBox[{"171", ",", "512"}], "}"}], ",", RowBox[{"{", RowBox[{"172", ",", "515"}], "}"}], ",", RowBox[{"{", RowBox[{"173", ",", "518"}], "}"}], ",", RowBox[{"{", RowBox[{"174", ",", "521"}], "}"}], ",", RowBox[{"{", RowBox[{"175", ",", "524"}], "}"}], ",", RowBox[{"{", RowBox[{"176", ",", "527"}], "}"}], ",", RowBox[{"{", RowBox[{"177", ",", "530"}], "}"}], ",", RowBox[{"{", RowBox[{"178", ",", "533"}], "}"}], ",", RowBox[{"{", RowBox[{"179", ",", "536"}], "}"}], ",", RowBox[{"{", RowBox[{"180", ",", "539"}], "}"}], ",", RowBox[{"{", RowBox[{"181", ",", "542"}], "}"}], ",", RowBox[{"{", RowBox[{"182", ",", "545"}], "}"}], ",", RowBox[{"{", RowBox[{"183", ",", "548"}], "}"}], ",", RowBox[{"{", RowBox[{"184", ",", "551"}], "}"}], ",", RowBox[{"{", RowBox[{"185", ",", "554"}], "}"}], ",", RowBox[{"{", RowBox[{"186", ",", "557"}], "}"}], ",", RowBox[{"{", RowBox[{"187", ",", "560"}], "}"}], ",", RowBox[{"{", RowBox[{"188", ",", "563"}], "}"}], ",", RowBox[{"{", RowBox[{"189", ",", "566"}], "}"}], ",", RowBox[{"{", RowBox[{"190", ",", "569"}], "}"}], ",", RowBox[{"{", RowBox[{"191", ",", "572"}], "}"}], ",", RowBox[{"{", RowBox[{"192", ",", "574"}], "}"}], ",", RowBox[{"{", RowBox[{"192", ",", "575"}], "}"}], ",", RowBox[{"{", RowBox[{"193", ",", "577"}], "}"}], ",", RowBox[{"{", RowBox[{"193", ",", "578"}], "}"}], ",", RowBox[{"{", RowBox[{"194", ",", "580"}], "}"}], ",", RowBox[{"{", RowBox[{"194", ",", "581"}], "}"}], ",", RowBox[{"{", RowBox[{"195", ",", "583"}], "}"}], ",", RowBox[{"{", RowBox[{"195", ",", "584"}], "}"}], ",", RowBox[{"{", RowBox[{"196", ",", "586"}], "}"}], ",", RowBox[{"{", RowBox[{"196", ",", "587"}], "}"}], ",", RowBox[{"{", RowBox[{"197", ",", "589"}], "}"}], ",", RowBox[{"{", RowBox[{"197", ",", "590"}], "}"}], ",", RowBox[{"{", RowBox[{"198", ",", "592"}], "}"}], ",", RowBox[{"{", RowBox[{"198", ",", "593"}], "}"}], ",", RowBox[{"{", RowBox[{"199", ",", "595"}], "}"}], ",", RowBox[{"{", RowBox[{"199", ",", "596"}], "}"}], ",", RowBox[{"{", RowBox[{"200", ",", "598"}], "}"}], ",", RowBox[{"{", RowBox[{"200", ",", "599"}], "}"}], ",", RowBox[{"{", RowBox[{"201", ",", "601"}], "}"}], ",", RowBox[{"{", RowBox[{"201", ",", "602"}], "}"}], ",", RowBox[{"{", RowBox[{"202", ",", "604"}], "}"}], ",", RowBox[{"{", RowBox[{"202", ",", "605"}], "}"}], ",", RowBox[{"{", RowBox[{"203", ",", "607"}], "}"}], ",", RowBox[{"{", RowBox[{"203", ",", "608"}], "}"}], ",", RowBox[{"{", RowBox[{"204", ",", "610"}], "}"}], ",", RowBox[{"{", RowBox[{"204", ",", "611"}], "}"}], ",", RowBox[{"{", RowBox[{"205", ",", "613"}], "}"}], ",", RowBox[{"{", RowBox[{"205", ",", "614"}], "}"}], ",", RowBox[{"{", RowBox[{"206", ",", "616"}], "}"}], ",", RowBox[{"{", RowBox[{"206", ",", "617"}], "}"}], ",", RowBox[{"{", RowBox[{"207", ",", "619"}], "}"}], ",", RowBox[{"{", RowBox[{"207", ",", "620"}], "}"}], ",", RowBox[{"{", RowBox[{"208", ",", "622"}], "}"}], ",", RowBox[{"{", RowBox[{"208", ",", "623"}], "}"}], ",", RowBox[{"{", RowBox[{"209", ",", "625"}], "}"}], ",", RowBox[{"{", RowBox[{"209", ",", "626"}], "}"}], ",", RowBox[{"{", RowBox[{"210", ",", "628"}], "}"}], ",", RowBox[{"{", RowBox[{"210", ",", "629"}], "}"}], ",", RowBox[{"{", RowBox[{"211", ",", "631"}], "}"}], ",", RowBox[{"{", RowBox[{"211", ",", "632"}], "}"}], ",", RowBox[{"{", RowBox[{"212", ",", "634"}], "}"}], ",", RowBox[{"{", RowBox[{"212", ",", "635"}], "}"}], ",", RowBox[{"{", RowBox[{"213", ",", "637"}], "}"}], ",", RowBox[{"{", RowBox[{"213", ",", "638"}], "}"}], ",", RowBox[{"{", RowBox[{"214", ",", "640"}], "}"}], ",", RowBox[{"{", RowBox[{"214", ",", "641"}], "}"}], ",", RowBox[{"{", RowBox[{"215", ",", "643"}], "}"}], ",", RowBox[{"{", RowBox[{"215", ",", "644"}], "}"}], ",", RowBox[{"{", RowBox[{"216", ",", "646"}], "}"}], ",", RowBox[{"{", RowBox[{"216", ",", "647"}], "}"}], ",", RowBox[{"{", RowBox[{"217", ",", "649"}], "}"}], ",", RowBox[{"{", RowBox[{"217", ",", "650"}], "}"}], ",", RowBox[{"{", RowBox[{"218", ",", "652"}], "}"}], ",", RowBox[{"{", RowBox[{"218", ",", "653"}], "}"}], ",", RowBox[{"{", RowBox[{"219", ",", "655"}], "}"}], ",", RowBox[{"{", RowBox[{"219", ",", "656"}], "}"}], ",", RowBox[{"{", RowBox[{"220", ",", "658"}], "}"}], ",", RowBox[{"{", RowBox[{"220", ",", "659"}], "}"}], ",", RowBox[{"{", RowBox[{"221", ",", "661"}], "}"}], ",", RowBox[{"{", RowBox[{"221", ",", "662"}], "}"}], ",", RowBox[{"{", RowBox[{"222", ",", "664"}], "}"}], ",", RowBox[{"{", RowBox[{"222", ",", "665"}], "}"}], ",", RowBox[{"{", RowBox[{"223", ",", "667"}], "}"}], ",", RowBox[{"{", RowBox[{"223", ",", "668"}], "}"}], ",", RowBox[{"{", RowBox[{"224", ",", "670"}], "}"}], ",", RowBox[{"{", RowBox[{"224", ",", "671"}], "}"}], ",", RowBox[{"{", RowBox[{"225", ",", "673"}], "}"}], ",", RowBox[{"{", RowBox[{"225", ",", "674"}], "}"}], ",", RowBox[{"{", RowBox[{"226", ",", "676"}], "}"}], ",", RowBox[{"{", RowBox[{"226", ",", "677"}], "}"}], ",", RowBox[{"{", RowBox[{"227", ",", "679"}], "}"}], ",", RowBox[{"{", RowBox[{"227", ",", "680"}], "}"}], ",", RowBox[{"{", RowBox[{"228", ",", "682"}], "}"}], ",", RowBox[{"{", RowBox[{"228", ",", "683"}], "}"}], ",", RowBox[{"{", RowBox[{"229", ",", "685"}], "}"}], ",", RowBox[{"{", RowBox[{"229", ",", "686"}], "}"}], ",", RowBox[{"{", RowBox[{"230", ",", "688"}], "}"}], ",", RowBox[{"{", RowBox[{"230", ",", "689"}], "}"}], ",", RowBox[{"{", RowBox[{"231", ",", "691"}], "}"}], ",", RowBox[{"{", RowBox[{"231", ",", "692"}], "}"}], ",", RowBox[{"{", RowBox[{"232", ",", "694"}], "}"}], ",", RowBox[{"{", RowBox[{"232", ",", "695"}], "}"}], ",", RowBox[{"{", RowBox[{"233", ",", "697"}], "}"}], ",", RowBox[{"{", RowBox[{"233", ",", "698"}], "}"}], ",", RowBox[{"{", RowBox[{"234", ",", "700"}], "}"}], ",", RowBox[{"{", RowBox[{"234", ",", "701"}], "}"}], ",", RowBox[{"{", RowBox[{"235", ",", "703"}], "}"}], ",", RowBox[{"{", RowBox[{"235", ",", "704"}], "}"}], ",", RowBox[{"{", RowBox[{"236", ",", "706"}], "}"}], ",", RowBox[{"{", RowBox[{"236", ",", "707"}], "}"}], ",", RowBox[{"{", RowBox[{"237", ",", "709"}], "}"}], ",", RowBox[{"{", RowBox[{"237", ",", "710"}], "}"}], ",", RowBox[{"{", RowBox[{"238", ",", "712"}], "}"}], ",", RowBox[{"{", RowBox[{"238", ",", "713"}], "}"}], ",", RowBox[{"{", RowBox[{"239", ",", "715"}], "}"}], ",", RowBox[{"{", RowBox[{"239", ",", "716"}], "}"}], ",", RowBox[{"{", RowBox[{"240", ",", "718"}], "}"}], ",", RowBox[{"{", RowBox[{"240", ",", "719"}], "}"}], ",", RowBox[{"{", RowBox[{"241", ",", "721"}], "}"}], ",", RowBox[{"{", RowBox[{"241", ",", "722"}], "}"}], ",", RowBox[{"{", RowBox[{"242", ",", "724"}], "}"}], ",", RowBox[{"{", RowBox[{"242", ",", "725"}], "}"}], ",", RowBox[{"{", RowBox[{"243", ",", "727"}], "}"}], ",", RowBox[{"{", RowBox[{"243", ",", "728"}], "}"}], ",", RowBox[{"{", RowBox[{"244", ",", "730"}], "}"}], ",", RowBox[{"{", RowBox[{"244", ",", "731"}], "}"}], ",", RowBox[{"{", RowBox[{"245", ",", "733"}], "}"}], ",", RowBox[{"{", RowBox[{"245", ",", "734"}], "}"}], ",", RowBox[{"{", RowBox[{"246", ",", "736"}], "}"}], ",", RowBox[{"{", RowBox[{"246", ",", "737"}], "}"}], ",", RowBox[{"{", RowBox[{"247", ",", "739"}], "}"}], ",", RowBox[{"{", RowBox[{"247", ",", "740"}], "}"}], ",", RowBox[{"{", RowBox[{"248", ",", "742"}], "}"}], ",", RowBox[{"{", RowBox[{"248", ",", "743"}], "}"}], ",", RowBox[{"{", RowBox[{"249", ",", "745"}], "}"}], ",", RowBox[{"{", RowBox[{"249", ",", "746"}], "}"}], ",", RowBox[{"{", RowBox[{"250", ",", "748"}], "}"}], ",", RowBox[{"{", RowBox[{"250", ",", "749"}], "}"}], ",", RowBox[{"{", RowBox[{"251", ",", "751"}], "}"}], ",", RowBox[{"{", RowBox[{"251", ",", "752"}], "}"}], ",", RowBox[{"{", RowBox[{"252", ",", "754"}], "}"}], ",", RowBox[{"{", RowBox[{"252", ",", "755"}], "}"}], ",", RowBox[{"{", RowBox[{"253", ",", "757"}], "}"}], ",", RowBox[{"{", RowBox[{"253", ",", "758"}], "}"}], ",", RowBox[{"{", RowBox[{"254", ",", "760"}], "}"}], ",", RowBox[{"{", RowBox[{"254", ",", "761"}], "}"}], ",", RowBox[{"{", RowBox[{"255", ",", "763"}], "}"}], ",", RowBox[{"{", RowBox[{"255", ",", "764"}], "}"}], ",", RowBox[{"{", RowBox[{"256", ",", "766"}], "}"}], ",", RowBox[{"{", RowBox[{"256", ",", "767"}], "}"}], ",", RowBox[{"{", RowBox[{"257", ",", "769"}], "}"}], ",", RowBox[{"{", RowBox[{"257", ",", "770"}], "}"}], ",", RowBox[{"{", RowBox[{"258", ",", "772"}], "}"}], ",", RowBox[{"{", RowBox[{"258", ",", "773"}], "}"}], ",", RowBox[{"{", RowBox[{"259", ",", "775"}], "}"}], ",", RowBox[{"{", RowBox[{"259", ",", "776"}], "}"}], ",", RowBox[{"{", RowBox[{"260", ",", "778"}], "}"}], ",", RowBox[{"{", RowBox[{"260", ",", "779"}], "}"}], ",", RowBox[{"{", RowBox[{"261", ",", "781"}], "}"}], ",", RowBox[{"{", RowBox[{"261", ",", "782"}], "}"}], ",", RowBox[{"{", RowBox[{"262", ",", "784"}], "}"}], ",", RowBox[{"{", RowBox[{"262", ",", "785"}], "}"}], ",", RowBox[{"{", RowBox[{"263", ",", "787"}], "}"}], ",", RowBox[{"{", RowBox[{"263", ",", "788"}], "}"}], ",", RowBox[{"{", RowBox[{"264", ",", "790"}], "}"}], ",", RowBox[{"{", RowBox[{"264", ",", "791"}], "}"}], ",", RowBox[{"{", RowBox[{"265", ",", "793"}], "}"}], ",", RowBox[{"{", RowBox[{"265", ",", "794"}], "}"}], ",", RowBox[{"{", RowBox[{"266", ",", "796"}], "}"}], ",", RowBox[{"{", RowBox[{"266", ",", "797"}], "}"}], ",", RowBox[{"{", RowBox[{"267", ",", "799"}], "}"}], ",", RowBox[{"{", RowBox[{"267", ",", "800"}], "}"}], ",", RowBox[{"{", RowBox[{"268", ",", "802"}], "}"}], ",", RowBox[{"{", RowBox[{"268", ",", "803"}], "}"}], ",", RowBox[{"{", RowBox[{"269", ",", "805"}], "}"}], ",", RowBox[{"{", RowBox[{"269", ",", "806"}], "}"}], ",", RowBox[{"{", RowBox[{"270", ",", "808"}], "}"}], ",", RowBox[{"{", RowBox[{"270", ",", "809"}], "}"}], ",", RowBox[{"{", RowBox[{"271", ",", "811"}], "}"}], ",", RowBox[{"{", RowBox[{"271", ",", "812"}], "}"}], ",", RowBox[{"{", RowBox[{"272", ",", "814"}], "}"}], ",", RowBox[{"{", RowBox[{"272", ",", "815"}], "}"}], ",", RowBox[{"{", RowBox[{"273", ",", "817"}], "}"}], ",", RowBox[{"{", RowBox[{"273", ",", "818"}], "}"}], ",", RowBox[{"{", RowBox[{"274", ",", "820"}], "}"}], ",", RowBox[{"{", RowBox[{"274", ",", "821"}], "}"}], ",", RowBox[{"{", RowBox[{"275", ",", "823"}], "}"}], ",", RowBox[{"{", RowBox[{"275", ",", "824"}], "}"}], ",", RowBox[{"{", RowBox[{"276", ",", "826"}], "}"}], ",", RowBox[{"{", RowBox[{"276", ",", "827"}], "}"}], ",", RowBox[{"{", RowBox[{"277", ",", "829"}], "}"}], ",", RowBox[{"{", RowBox[{"277", ",", "830"}], "}"}], ",", RowBox[{"{", RowBox[{"278", ",", "832"}], "}"}], ",", RowBox[{"{", RowBox[{"278", ",", "833"}], "}"}], ",", RowBox[{"{", RowBox[{"279", ",", "835"}], "}"}], ",", RowBox[{"{", RowBox[{"279", ",", "836"}], "}"}], ",", RowBox[{"{", RowBox[{"280", ",", "838"}], "}"}], ",", RowBox[{"{", RowBox[{"280", ",", "839"}], "}"}], ",", RowBox[{"{", RowBox[{"281", ",", "841"}], "}"}], ",", RowBox[{"{", RowBox[{"281", ",", "842"}], "}"}], ",", RowBox[{"{", RowBox[{"282", ",", "844"}], "}"}], ",", RowBox[{"{", RowBox[{"282", ",", "845"}], "}"}], ",", RowBox[{"{", RowBox[{"283", ",", "847"}], "}"}], ",", RowBox[{"{", RowBox[{"283", ",", "848"}], "}"}], ",", RowBox[{"{", RowBox[{"284", ",", "850"}], "}"}], ",", RowBox[{"{", RowBox[{"284", ",", "851"}], "}"}], ",", RowBox[{"{", RowBox[{"285", ",", "853"}], "}"}], ",", RowBox[{"{", RowBox[{"285", ",", "854"}], "}"}], ",", RowBox[{"{", RowBox[{"286", ",", "856"}], "}"}], ",", RowBox[{"{", RowBox[{"286", ",", "857"}], "}"}], ",", RowBox[{"{", RowBox[{"287", ",", "858"}], "}"}], ",", RowBox[{"{", RowBox[{"287", ",", "859"}], "}"}], ",", RowBox[{"{", RowBox[{"287", ",", "860"}], "}"}], ",", RowBox[{"{", RowBox[{"288", ",", "861"}], "}"}], ",", RowBox[{"{", RowBox[{"288", ",", "862"}], "}"}], ",", RowBox[{"{", RowBox[{"288", ",", "863"}], "}"}], ",", RowBox[{"{", RowBox[{"289", ",", "864"}], "}"}], ",", RowBox[{"{", RowBox[{"289", ",", "865"}], "}"}], ",", RowBox[{"{", RowBox[{"289", ",", "866"}], "}"}], ",", RowBox[{"{", RowBox[{"290", ",", "867"}], "}"}], ",", RowBox[{"{", RowBox[{"290", ",", "868"}], "}"}], ",", RowBox[{"{", RowBox[{"290", ",", "869"}], "}"}], ",", RowBox[{"{", RowBox[{"291", ",", "870"}], "}"}], ",", RowBox[{"{", RowBox[{"291", ",", "871"}], "}"}], ",", RowBox[{"{", RowBox[{"291", ",", "872"}], "}"}], ",", RowBox[{"{", RowBox[{"292", ",", "873"}], "}"}], ",", RowBox[{"{", RowBox[{"292", ",", "874"}], "}"}], ",", RowBox[{"{", RowBox[{"292", ",", "875"}], "}"}], ",", RowBox[{"{", RowBox[{"293", ",", "876"}], "}"}], ",", RowBox[{"{", RowBox[{"293", ",", "877"}], "}"}], ",", RowBox[{"{", RowBox[{"293", ",", "878"}], "}"}], ",", RowBox[{"{", RowBox[{"294", ",", "879"}], "}"}], ",", RowBox[{"{", RowBox[{"294", ",", "880"}], "}"}], ",", RowBox[{"{", RowBox[{"294", ",", "881"}], "}"}], ",", RowBox[{"{", RowBox[{"295", ",", "882"}], "}"}], ",", RowBox[{"{", RowBox[{"295", ",", "883"}], "}"}], ",", RowBox[{"{", RowBox[{"295", ",", "884"}], "}"}], ",", RowBox[{"{", RowBox[{"296", ",", "885"}], "}"}], ",", RowBox[{"{", RowBox[{"296", ",", "886"}], "}"}], ",", RowBox[{"{", RowBox[{"296", ",", "887"}], "}"}], ",", RowBox[{"{", RowBox[{"297", ",", "888"}], "}"}], ",", RowBox[{"{", RowBox[{"297", ",", "889"}], "}"}], ",", RowBox[{"{", RowBox[{"297", ",", "890"}], "}"}], ",", RowBox[{"{", RowBox[{"298", ",", "891"}], "}"}], ",", RowBox[{"{", RowBox[{"298", ",", "892"}], "}"}], ",", RowBox[{"{", RowBox[{"298", ",", "893"}], "}"}], ",", RowBox[{"{", RowBox[{"299", ",", "894"}], "}"}], ",", RowBox[{"{", RowBox[{"299", ",", "895"}], "}"}], ",", RowBox[{"{", RowBox[{"299", ",", "896"}], "}"}], ",", RowBox[{"{", RowBox[{"300", ",", "897"}], "}"}], ",", RowBox[{"{", RowBox[{"300", ",", "898"}], "}"}], ",", RowBox[{"{", RowBox[{"300", ",", "899"}], "}"}], ",", RowBox[{"{", RowBox[{"301", ",", "900"}], "}"}], ",", RowBox[{"{", RowBox[{"301", ",", "901"}], "}"}], ",", RowBox[{"{", RowBox[{"301", ",", "902"}], "}"}], ",", RowBox[{"{", RowBox[{"302", ",", "903"}], "}"}], ",", RowBox[{"{", RowBox[{"302", ",", "904"}], "}"}], ",", RowBox[{"{", RowBox[{"302", ",", "905"}], "}"}], ",", RowBox[{"{", RowBox[{"303", ",", "906"}], "}"}], ",", RowBox[{"{", RowBox[{"303", ",", "907"}], "}"}], ",", RowBox[{"{", RowBox[{"303", ",", "908"}], "}"}], ",", RowBox[{"{", RowBox[{"304", ",", "909"}], "}"}], ",", RowBox[{"{", RowBox[{"304", ",", "910"}], "}"}], ",", RowBox[{"{", RowBox[{"304", ",", "911"}], "}"}], ",", RowBox[{"{", RowBox[{"305", ",", "912"}], "}"}], ",", RowBox[{"{", RowBox[{"305", ",", "913"}], "}"}], ",", RowBox[{"{", RowBox[{"305", ",", "914"}], "}"}], ",", RowBox[{"{", RowBox[{"306", ",", "915"}], "}"}], ",", RowBox[{"{", RowBox[{"306", ",", "916"}], "}"}], ",", RowBox[{"{", RowBox[{"306", ",", "917"}], "}"}], ",", RowBox[{"{", RowBox[{"307", ",", "918"}], "}"}], ",", RowBox[{"{", RowBox[{"307", ",", "919"}], "}"}], ",", RowBox[{"{", RowBox[{"307", ",", "920"}], "}"}], ",", RowBox[{"{", RowBox[{"308", ",", "921"}], "}"}], ",", RowBox[{"{", RowBox[{"308", ",", "922"}], "}"}], ",", RowBox[{"{", RowBox[{"308", ",", "923"}], "}"}], ",", RowBox[{"{", RowBox[{"309", ",", "924"}], "}"}], ",", RowBox[{"{", RowBox[{"309", ",", "925"}], "}"}], ",", RowBox[{"{", RowBox[{"309", ",", "926"}], "}"}], ",", RowBox[{"{", RowBox[{"310", ",", "927"}], "}"}], ",", RowBox[{"{", RowBox[{"310", ",", "928"}], "}"}], ",", RowBox[{"{", RowBox[{"310", ",", "929"}], "}"}], ",", RowBox[{"{", RowBox[{"311", ",", "930"}], "}"}], ",", RowBox[{"{", RowBox[{"311", ",", "931"}], "}"}], ",", RowBox[{"{", RowBox[{"311", ",", "932"}], "}"}], ",", RowBox[{"{", RowBox[{"312", ",", "933"}], "}"}], ",", RowBox[{"{", RowBox[{"312", ",", "934"}], "}"}], ",", RowBox[{"{", RowBox[{"312", ",", "935"}], "}"}], ",", RowBox[{"{", RowBox[{"313", ",", "936"}], "}"}], ",", RowBox[{"{", RowBox[{"313", ",", "937"}], "}"}], ",", RowBox[{"{", RowBox[{"313", ",", "938"}], "}"}], ",", RowBox[{"{", RowBox[{"314", ",", "939"}], "}"}], ",", RowBox[{"{", RowBox[{"314", ",", "940"}], "}"}], ",", RowBox[{"{", RowBox[{"314", ",", "941"}], "}"}], ",", RowBox[{"{", RowBox[{"315", ",", "942"}], "}"}], ",", RowBox[{"{", RowBox[{"315", ",", "943"}], "}"}], ",", RowBox[{"{", RowBox[{"315", ",", "944"}], "}"}], ",", RowBox[{"{", RowBox[{"316", ",", "945"}], "}"}], ",", RowBox[{"{", RowBox[{"316", ",", "946"}], "}"}], ",", RowBox[{"{", RowBox[{"316", ",", "947"}], "}"}], ",", RowBox[{"{", RowBox[{"317", ",", "948"}], "}"}], ",", RowBox[{"{", RowBox[{"317", ",", "949"}], "}"}], ",", RowBox[{"{", RowBox[{"317", ",", "950"}], "}"}], ",", RowBox[{"{", RowBox[{"318", ",", "951"}], "}"}], ",", RowBox[{"{", RowBox[{"318", ",", "952"}], "}"}], ",", RowBox[{"{", RowBox[{"318", ",", "953"}], "}"}], ",", RowBox[{"{", RowBox[{"319", ",", "954"}], "}"}], ",", RowBox[{"{", RowBox[{"319", ",", "955"}], "}"}], ",", RowBox[{"{", RowBox[{"319", ",", "956"}], "}"}], ",", RowBox[{"{", RowBox[{"320", ",", "957"}], "}"}], ",", RowBox[{"{", RowBox[{"320", ",", "958"}], "}"}], ",", RowBox[{"{", RowBox[{"320", ",", "959"}], "}"}], ",", RowBox[{"{", RowBox[{"321", ",", "960"}], "}"}], ",", RowBox[{"{", RowBox[{"321", ",", "961"}], "}"}], ",", RowBox[{"{", RowBox[{"321", ",", "962"}], "}"}], ",", RowBox[{"{", RowBox[{"322", ",", "963"}], "}"}], ",", RowBox[{"{", RowBox[{"322", ",", "964"}], "}"}], ",", RowBox[{"{", RowBox[{"322", ",", "965"}], "}"}], ",", RowBox[{"{", RowBox[{"323", ",", "966"}], "}"}], ",", RowBox[{"{", RowBox[{"323", ",", "967"}], "}"}], ",", RowBox[{"{", RowBox[{"323", ",", "968"}], "}"}], ",", RowBox[{"{", RowBox[{"324", ",", "969"}], "}"}], ",", RowBox[{"{", RowBox[{"324", ",", "970"}], "}"}], ",", RowBox[{"{", RowBox[{"324", ",", "971"}], "}"}], ",", RowBox[{"{", RowBox[{"325", ",", "972"}], "}"}], ",", RowBox[{"{", RowBox[{"325", ",", "973"}], "}"}], ",", RowBox[{"{", RowBox[{"325", ",", "974"}], "}"}], ",", RowBox[{"{", RowBox[{"326", ",", "975"}], "}"}], ",", RowBox[{"{", RowBox[{"326", ",", "976"}], "}"}], ",", RowBox[{"{", RowBox[{"326", ",", "977"}], "}"}], ",", RowBox[{"{", RowBox[{"327", ",", "978"}], "}"}], ",", RowBox[{"{", RowBox[{"327", ",", "979"}], "}"}], ",", RowBox[{"{", RowBox[{"327", ",", "980"}], "}"}], ",", RowBox[{"{", RowBox[{"328", ",", "981"}], "}"}], ",", RowBox[{"{", RowBox[{"328", ",", "982"}], "}"}], ",", RowBox[{"{", RowBox[{"328", ",", "983"}], "}"}], ",", RowBox[{"{", RowBox[{"329", ",", "984"}], "}"}], ",", RowBox[{"{", RowBox[{"329", ",", "985"}], "}"}], ",", RowBox[{"{", RowBox[{"329", ",", "986"}], "}"}], ",", RowBox[{"{", RowBox[{"330", ",", "987"}], "}"}], ",", RowBox[{"{", RowBox[{"330", ",", "988"}], "}"}], ",", RowBox[{"{", RowBox[{"330", ",", "989"}], "}"}], ",", RowBox[{"{", RowBox[{"331", ",", "990"}], "}"}], ",", RowBox[{"{", RowBox[{"331", ",", "991"}], "}"}], ",", RowBox[{"{", RowBox[{"331", ",", "992"}], "}"}], ",", RowBox[{"{", RowBox[{"332", ",", "993"}], "}"}], ",", RowBox[{"{", RowBox[{"332", ",", "994"}], "}"}], ",", RowBox[{"{", RowBox[{"332", ",", "995"}], "}"}], ",", RowBox[{"{", RowBox[{"333", ",", "996"}], "}"}], ",", RowBox[{"{", RowBox[{"333", ",", "997"}], "}"}], ",", RowBox[{"{", RowBox[{"333", ",", "998"}], "}"}], ",", RowBox[{"{", RowBox[{"334", ",", "999"}], "}"}], ",", RowBox[{"{", RowBox[{"334", ",", "1000"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{ 3.726993652426705*^9},ExpressionUUID->"d8be5ff9-9b6e-4847-a685-\ 9f6832e1b231"] }, Closed]] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["Recognising algebraic numbers", "Subsection", CellChangeTimes->{{3.7269955742676973`*^9, 3.7269955920125923`*^9}, { 3.726997149778715*^9, 3.726997159393734*^9}},ExpressionUUID->"99f42220-958a-486e-b2e4-\ 9f351bed8353"], Cell[BoxData[ RowBox[{ RowBox[{"T", "=", RowBox[{ SqrtBox["2"], "+", SqrtBox["5"]}]}], ";"}]], "Input", CellChangeTimes->{{3.7269955952666063`*^9, 3.7269956346878567`*^9}, 3.726995839273087*^9, {3.726997344259158*^9, 3.726997368835561*^9}},ExpressionUUID->"0fbaf712-0d2e-4830-b327-\ 2462ff281ad4"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"MinimalPolynomial", "[", RowBox[{"T", ",", "x"}], "]"}]], "Input", CellChangeTimes->{{3.726995637821023*^9, 3.726995673656974*^9}, 3.726995844998046*^9, {3.7269973442592688`*^9, 3.726997368835685*^9}},ExpressionUUID->"80d22550-dcd9-4fe0-b8a1-\ 86867cce8911"], Cell[BoxData[ RowBox[{"9", "-", RowBox[{"14", " ", SuperscriptBox["x", "2"]}], "+", SuperscriptBox["x", "4"]}]], "Output", CellChangeTimes->{ 3.726995674733138*^9, {3.726995846392687*^9, 3.726995852790704*^9}, { 3.726997344259432*^9, 3.726997368835786*^9}},ExpressionUUID->"122015d2-6db2-4936-b22f-\ 0ab294ce45b0"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"t", "=", " ", RowBox[{"N", "[", "T", "]"}]}]], "Input", CellChangeTimes->{{3.726995768880021*^9, 3.7269957729322443`*^9}, { 3.726995819602085*^9, 3.726995820827064*^9}, {3.726995864849464*^9, 3.7269958702821007`*^9}, {3.726997344259534*^9, 3.726997368835916*^9}},ExpressionUUID->"3a7663e9-22de-4d84-a5a6-\ fe1376d9a4af"], Cell[BoxData["3.6502815398728847`"], "Output", CellChangeTimes->{ 3.7269957745608997`*^9, 3.72699587159184*^9, {3.726997344259725*^9, 3.726997368836007*^9}},ExpressionUUID->"e4c8bc7d-676b-45a8-bc5e-\ 6e2b141fe67a"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"RootApproximant", "[", RowBox[{"t", ",", "6"}], "]"}]], "Input", CellChangeTimes->{{3.7269957949246387`*^9, 3.7269958114970922`*^9}, { 3.726995876779978*^9, 3.72699588252666*^9}, {3.726997344259861*^9, 3.726997368836136*^9}},ExpressionUUID->"32cb3ee4-26c7-4a37-b282-\ 92cfb7ed06ce"], Cell[BoxData[ RowBox[{"Root", "[", RowBox[{ RowBox[{ RowBox[{"9", "-", RowBox[{"14", " ", SuperscriptBox["#1", "2"]}], "+", SuperscriptBox["#1", "4"]}], "&"}], ",", "4"}], "]"}]], "Output", CellChangeTimes->{ 3.7269958836592407`*^9, 3.7269959935716333`*^9, {3.726997344260009*^9, 3.726997368836274*^9}},ExpressionUUID->"fb3926e8-be2e-4cc4-a2e4-\ 5e6b9322982d"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"%", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}], "[", "x", "]"}]], "Input", CellChangeTimes->{{3.726995995955906*^9, 3.726996008789235*^9}, { 3.726997344260117*^9, 3.726997368836447*^9}},ExpressionUUID->"1d7f37e8-e3fb-4263-8310-\ 03c4085ce9e3"], Cell[BoxData[ RowBox[{"9", "-", RowBox[{"14", " ", SuperscriptBox["x", "2"]}], "+", SuperscriptBox["x", "4"]}]], "Output", CellChangeTimes->{ 3.726996010698618*^9, {3.726997344260272*^9, 3.726997368836564*^9}},ExpressionUUID->"7735ad58-0ccf-4b84-9d36-\ d57a160bed24"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Solve", "[", RowBox[{"%", "\[Equal]", "0"}], "]"}]], "Input", CellChangeTimes->{{3.7269960397963953`*^9, 3.726996047778565*^9}, { 3.726997344260386*^9, 3.726997368836733*^9}},ExpressionUUID->"e9f63a5c-b910-4473-89af-\ 4d3db5f22882"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"x", "\[Rule]", RowBox[{"-", SqrtBox[ RowBox[{"7", "-", RowBox[{"2", " ", SqrtBox["10"]}]}]]}]}], "}"}], ",", RowBox[{"{", RowBox[{"x", "\[Rule]", SqrtBox[ RowBox[{"7", "-", RowBox[{"2", " ", SqrtBox["10"]}]}]]}], "}"}], ",", RowBox[{"{", RowBox[{"x", "\[Rule]", RowBox[{"-", SqrtBox[ RowBox[{"7", "+", RowBox[{"2", " ", SqrtBox["10"]}]}]]}]}], "}"}], ",", RowBox[{"{", RowBox[{"x", "\[Rule]", SqrtBox[ RowBox[{"7", "+", RowBox[{"2", " ", SqrtBox["10"]}]}]]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{ 3.726996048721779*^9, {3.726997344260483*^9, 3.726997368836822*^9}},ExpressionUUID->"490037ba-12fd-4876-8488-\ 9c9615ca4da0"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ SqrtBox[ RowBox[{"7", "+", RowBox[{"2", " ", SqrtBox["10"]}]}]], "\[Equal]", "T"}]], "Input", CellChangeTimes->{{3.7269961753945417`*^9, 3.726996177394681*^9}, { 3.72699734426058*^9, 3.7269973688369226`*^9}},ExpressionUUID->"472cf28a-fcd4-4015-8574-\ 83dd0c77a72e"], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.7269961790757027`*^9, {3.72699734426068*^9, 3.7269973688370113`*^9}},ExpressionUUID->"780b87c3-e3ba-48dd-895a-\ fce388022710"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"RootApproximant", "[", RowBox[{"N", "[", RowBox[{"\[Pi]", ",", "15"}], "]"}], "]"}]], "Input", CellChangeTimes->{ 3.7269963946162558`*^9, {3.72699652140996*^9, 3.726996527865046*^9}, { 3.726997344260778*^9, 3.7269973688371077`*^9}}, CellID->126272381,ExpressionUUID->"d2c8cf12-0845-4b49-a15e-34d48d3e7acf"], Cell[BoxData[ RowBox[{"Root", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"-", "1"}], "-", RowBox[{"5", " ", "#1"}], "+", RowBox[{"3", " ", SuperscriptBox["#1", "3"]}], "-", RowBox[{"2", " ", SuperscriptBox["#1", "4"]}], "-", RowBox[{"5", " ", SuperscriptBox["#1", "5"]}], "-", RowBox[{"7", " ", SuperscriptBox["#1", "6"]}], "-", SuperscriptBox["#1", "7"], "-", SuperscriptBox["#1", "8"], "+", RowBox[{"2", " ", SuperscriptBox["#1", "9"]}], "-", RowBox[{"4", " ", SuperscriptBox["#1", "10"]}], "-", RowBox[{"2", " ", SuperscriptBox["#1", "11"]}], "+", SuperscriptBox["#1", "12"]}], "&"}], ",", "4"}], "]"}]], "Output", CellChangeTimes->{ 3.726996352785472*^9, 3.7269963966527767`*^9, 3.726996530045354*^9, { 3.726997344260872*^9, 3.726997368837194*^9}},ExpressionUUID->"0454a5ee-627c-4fb0-977f-\ 51360a51d15e"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"RootApproximant", "[", RowBox[{"N", "[", RowBox[{"\[Pi]", ",", "30"}], "]"}], "]"}]], "Input", CellChangeTimes->{ 3.7269963946162558`*^9, {3.726996459201892*^9, 3.726996502743765*^9}, { 3.726997344260972*^9, 3.7269973688372917`*^9}}, CellID->1152671896,ExpressionUUID->"2e6cd11f-fefa-47ba-8859-26900da2b690"], Cell[BoxData[ RowBox[{"Root", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"-", "5"}], "+", RowBox[{"3", " ", "#1"}], "-", RowBox[{"6", " ", SuperscriptBox["#1", "3"]}], "-", SuperscriptBox["#1", "4"], "+", RowBox[{"4", " ", SuperscriptBox["#1", "5"]}], "-", RowBox[{"9", " ", SuperscriptBox["#1", "6"]}], "+", RowBox[{"7", " ", SuperscriptBox["#1", "7"]}], "+", RowBox[{"3", " ", SuperscriptBox["#1", "8"]}], "+", RowBox[{"2", " ", SuperscriptBox["#1", "10"]}], "+", RowBox[{"9", " ", SuperscriptBox["#1", "12"]}], "-", SuperscriptBox["#1", "14"], "+", RowBox[{"9", " ", SuperscriptBox["#1", "15"]}], "-", RowBox[{"6", " ", SuperscriptBox["#1", "16"]}], "+", SuperscriptBox["#1", "17"]}], "&"}], ",", "3"}], "]"}]], "Output", CellChangeTimes->{{3.726996466156982*^9, 3.726996504740738*^9}, 3.726996579040125*^9, 3.72699671108908*^9, {3.726997344261056*^9, 3.726997368837377*^9}},ExpressionUUID->"b4ba8f34-bb8b-4781-9f7d-\ 1ce559223c8e"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"N", "[", RowBox[{"\[Pi]", ",", "30"}], "]"}]], "Input", CellChangeTimes->{{3.726996586166161*^9, 3.726996594078061*^9}, { 3.7269973442611513`*^9, 3.726997368837471*^9}},ExpressionUUID->"25f90edd-ac2b-4e13-9ed3-\ 0481030fbb95"], Cell[BoxData["3.1415926535897932384626433832795028841971693993751058209749`30.\ "], "Output", CellChangeTimes->{ 3.726996594967148*^9, {3.726997344261256*^9, 3.726997368837555*^9}},ExpressionUUID->"c1a8541d-400a-4dbf-9452-\ b74ebc615be3"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["The Chinese Remainder Theorem", "Subsection", CellChangeTimes->{{3.726997307728508*^9, 3.726997323908902*^9}},ExpressionUUID->"f7a0f677-f53e-4f27-9de9-\ b63db3e0a089"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "ChineseRemainder"}]], "Input", CellChangeTimes->{{3.726997592551558*^9, 3.726997597835326*^9}},ExpressionUUID->"51a2e1d0-d494-4a3f-bafb-\ 8af01fa831d9"], Cell[BoxData[ RowBox[{"\<\"\\!\\(\\*RowBox[{\\\"ChineseRemainder\\\", \\\"[\\\", \ RowBox[{RowBox[{\\\"{\\\", RowBox[{SubscriptBox[StyleBox[\\\"r\\\", \ \\\"TI\\\"], StyleBox[\\\"1\\\", \\\"TR\\\"]], \\\",\\\", \ SubscriptBox[StyleBox[\\\"r\\\", \\\"TI\\\"], StyleBox[\\\"2\\\", \ \\\"TR\\\"]], \\\",\\\", StyleBox[\\\"\[Ellipsis]\\\", \\\"TR\\\"]}], \\\"}\\\ \"}], \\\",\\\", RowBox[{\\\"{\\\", RowBox[{SubscriptBox[StyleBox[\\\"m\\\", \ \\\"TI\\\"], StyleBox[\\\"1\\\", \\\"TR\\\"]], \\\",\\\", \ SubscriptBox[StyleBox[\\\"m\\\", \\\"TI\\\"], StyleBox[\\\"2\\\", \ \\\"TR\\\"]], \\\",\\\", StyleBox[\\\"\[Ellipsis]\\\", \\\"TR\\\"]}], \\\"}\\\ \"}]}], \\\"]\\\"}]\\) gives the smallest x with \\!\\(\\*RowBox[{\\\"x\\\", \ \\\"\[GreaterEqual]\\\", \\\"0\\\"}]\\) that satisfies all the integer \ congruences \\!\\(\\*RowBox[{RowBox[{\\\"x\\\", \\\" \\\", \\\"mod\\\", \\\" \ \\\", SubscriptBox[\\\"m\\\", \\\"i\\\"]}], \\\"\[LongEqual]\\\", \ RowBox[{SubscriptBox[\\\"r\\\", \\\"i\\\"], \\\"mod\\\", \\\" \\\", \ SubscriptBox[\\\"m\\\", \ \\\"i\\\"]}]}]\\).\\n\\!\\(\\*RowBox[{\\\"ChineseRemainder\\\", \\\"[\\\", \ RowBox[{RowBox[{\\\"{\\\", RowBox[{SubscriptBox[StyleBox[\\\"r\\\", \ \\\"TI\\\"], StyleBox[\\\"1\\\", \\\"TR\\\"]], \\\",\\\", \ SubscriptBox[StyleBox[\\\"r\\\", \\\"TI\\\"], StyleBox[\\\"2\\\", \ \\\"TR\\\"]], \\\",\\\", StyleBox[\\\"\[Ellipsis]\\\", \\\"TR\\\"]}], \\\"}\\\ \"}], \\\",\\\", RowBox[{\\\"{\\\", RowBox[{SubscriptBox[StyleBox[\\\"m\\\", \ \\\"TI\\\"], StyleBox[\\\"1\\\", \\\"TR\\\"]], \\\",\\\", \ SubscriptBox[StyleBox[\\\"m\\\", \\\"TI\\\"], StyleBox[\\\"2\\\", \ \\\"TR\\\"]], \\\",\\\", StyleBox[\\\"\[Ellipsis]\\\", \\\"TR\\\"]}], \\\"}\\\ \"}], \\\",\\\", StyleBox[\\\"d\\\", \\\"TI\\\"]}], \\\"]\\\"}]\\) gives the \ smallest x with \\!\\(\\*RowBox[{\\\"x\\\", \\\"\[GreaterEqual]\\\", \ \\\"d\\\"}]\\) that satisfies all the integer congruences \ \\!\\(\\*RowBox[{RowBox[{\\\"x\\\", \\\" \\\", \\\"mod\\\", \\\" \\\", \ SubscriptBox[\\\"m\\\", \\\"i\\\"]}], \\\"\[LongEqual]\\\", \ RowBox[{SubscriptBox[\\\"r\\\", \\\"i\\\"], \\\"mod\\\", \\\" \\\", \ SubscriptBox[\\\"m\\\", \\\"i\\\"]}]}]\\).\"\>", "\[NonBreakingSpace]", ButtonBox[ StyleBox["\[RightSkeleton]", "SR"], Active->True, BaseStyle->"Link", ButtonData->"paclet:ref/ChineseRemainder"]}]], "Print", "PrintUsage", CellChangeTimes->{3.7269976316109047`*^9}, CellTags-> "Info1123726997631-3762827",ExpressionUUID->"3002700f-754e-430f-ab50-\ 3cf043755515"] }, Open ]], Cell[BoxData["ChineseRemainder"], "Input", CellChangeTimes->{{3.726997683007984*^9, 3.726997689425462*^9}},ExpressionUUID->"639b0d29-0534-4d4d-a867-\ a4bc530d8fac"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"data", "=", RowBox[{"Table", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Prime", "[", "n", "]"}], ",", RowBox[{"Mod", "[", RowBox[{"100345", ",", RowBox[{"Prime", "[", "n", "]"}]}], "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{"n", ",", "1", ",", "8"}], "}"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.726997695797991*^9, 3.7269978114894667`*^9}, { 3.726997849228351*^9, 3.726997851859769*^9}, {3.726997950087194*^9, 3.726997950285159*^9}, 3.7269980078888083`*^9},ExpressionUUID->"f9a9367b-556a-4d4b-8272-\ 9b6646fed99a"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"17", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"19", ",", "6"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.726997812905954*^9, 3.7269978535374107`*^9, 3.7269979519172163`*^9, 3.726998009078079*^9},ExpressionUUID->"9e0dc764-d879-487a-8f66-\ fcd4cce902b3"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{"primes", ",", "residues"}], "}"}], "=", RowBox[{"Transpose", "[", "data", "]"}]}]], "Input", CellChangeTimes->{ 3.726997832835431*^9, {3.726997867342411*^9, 3.726997897730644*^9}},ExpressionUUID->"af43a81f-0361-4708-ad2d-\ 5d96ad567cc7"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ "2", ",", "3", ",", "5", ",", "7", ",", "11", ",", "13", ",", "17", ",", "19"}], "}"}], ",", RowBox[{"{", RowBox[{ "1", ",", "1", ",", "0", ",", "0", ",", "3", ",", "11", ",", "11", ",", "6"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{ 3.7269978984833117`*^9, {3.7269979845640707`*^9, 3.72699801367916*^9}},ExpressionUUID->"f29c70ee-6e41-411f-a28b-\ 6ac0ee38bbb0"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Times", "@@", "primes"}]], "Input", CellChangeTimes->{{3.726997965165316*^9, 3.72699797183832*^9}},ExpressionUUID->"ba213359-028b-4ef8-a8cc-\ 084b4d77c561"], Cell[BoxData["9699690"], "Output", CellChangeTimes->{{3.726997972946796*^9, 3.726998017978592*^9}},ExpressionUUID->"3c9a6276-3594-4fa6-a66e-\ 6a2fc8827682"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ChineseRemainder", "[", RowBox[{"residues", ",", "primes"}], "]"}]], "Input", CellChangeTimes->{{3.726997915310093*^9, 3.726997934450704*^9}},ExpressionUUID->"233badc2-7b82-4dc6-91f2-\ 651a2c6ffc9e"], Cell[BoxData["100345"], "Output", CellChangeTimes->{3.72699793540177*^9, 3.726998025958948*^9},ExpressionUUID->"d0840b0b-486b-4b01-8416-\ 8241299a58cb"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["A fraction modulo a collection of primes", "Subsection", CellChangeTimes->{{3.726998246785329*^9, 3.726998286583905*^9}},ExpressionUUID->"332b330d-a1d6-4eaf-b2b1-\ 018b9ba9229f"], Cell[BoxData[ RowBox[{ RowBox[{"onefacdata", "=", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"5", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"401", ",", "229"}], "}"}], ",", RowBox[{"{", RowBox[{"521", ",", "372"}], "}"}], ",", RowBox[{"{", RowBox[{"547", ",", "78"}], "}"}], ",", RowBox[{"{", RowBox[{"571", ",", "163"}], "}"}], ",", RowBox[{"{", RowBox[{"601", ",", "515"}], "}"}], ",", RowBox[{"{", RowBox[{"619", ",", "442"}], "}"}], ",", RowBox[{"{", RowBox[{"677", ",", "290"}], "}"}], ",", RowBox[{"{", RowBox[{"719", ",", "308"}], "}"}], ",", RowBox[{"{", RowBox[{"811", ",", "695"}], "}"}], ",", RowBox[{"{", RowBox[{"929", ",", "398"}], "}"}], ",", RowBox[{"{", RowBox[{"941", ",", "672"}], "}"}], ",", RowBox[{"{", RowBox[{"1009", ",", "144"}], "}"}], ",", RowBox[{"{", RowBox[{"1013", ",", "434"}], "}"}], ",", RowBox[{"{", RowBox[{"1061", ",", "303"}], "}"}], ",", RowBox[{"{", RowBox[{"1091", ",", "935"}], "}"}], ",", RowBox[{"{", RowBox[{"1193", ",", "852"}], "}"}], ",", RowBox[{"{", RowBox[{"1289", ",", "184"}], "}"}], ",", RowBox[{"{", RowBox[{"1367", ",", "781"}], "}"}], ",", RowBox[{"{", RowBox[{"1459", ",", "1042"}], "}"}], ",", RowBox[{"{", RowBox[{"1489", ",", "638"}], "}"}], ",", RowBox[{"{", RowBox[{"1499", ",", "214"}], "}"}], ",", RowBox[{"{", RowBox[{"1523", ",", "435"}], "}"}], ",", RowBox[{"{", RowBox[{"1867", ",", "800"}], "}"}], ",", RowBox[{"{", RowBox[{"1877", ",", "268"}], "}"}], ",", RowBox[{"{", RowBox[{"1901", ",", "543"}], "}"}], ",", RowBox[{"{", RowBox[{"1907", ",", "1362"}], "}"}], ",", RowBox[{"{", RowBox[{"2011", ",", "1149"}], "}"}], ",", RowBox[{"{", RowBox[{"2063", ",", "884"}], "}"}], ",", RowBox[{"{", RowBox[{"2137", ",", "1221"}], "}"}], ",", RowBox[{"{", RowBox[{"2179", ",", "1245"}], "}"}], ",", RowBox[{"{", RowBox[{"2203", ",", "944"}], "}"}], ",", RowBox[{"{", RowBox[{"2213", ",", "316"}], "}"}], ",", RowBox[{"{", RowBox[{"2237", ",", "639"}], "}"}], ",", RowBox[{"{", RowBox[{"2267", ",", "1943"}], "}"}], ",", RowBox[{"{", RowBox[{"2273", ",", "974"}], "}"}], ",", RowBox[{"{", RowBox[{"2281", ",", "1955"}], "}"}], ",", RowBox[{"{", RowBox[{"2309", ",", "1979"}], "}"}], ",", RowBox[{"{", RowBox[{"2339", ",", "334"}], "}"}], ",", RowBox[{"{", RowBox[{"2357", ",", "1010"}], "}"}], ",", RowBox[{"{", RowBox[{"2377", ",", "679"}], "}"}], ",", RowBox[{"{", RowBox[{"2383", ",", "1702"}], "}"}], ",", RowBox[{"{", RowBox[{"2417", ",", "1381"}], "}"}], ",", RowBox[{"{", RowBox[{"2437", ",", "348"}], "}"}], ",", RowBox[{"{", RowBox[{"2477", ",", "2123"}], "}"}], ",", RowBox[{"{", RowBox[{"2521", ",", "360"}], "}"}], ",", RowBox[{"{", RowBox[{"2543", ",", "1453"}], "}"}], ",", RowBox[{"{", RowBox[{"2557", ",", "1461"}], "}"}], ",", RowBox[{"{", RowBox[{"2657", ",", "759"}], "}"}], ",", RowBox[{"{", RowBox[{"2659", ",", "2279"}], "}"}], ",", RowBox[{"{", RowBox[{"2663", ",", "1902"}], "}"}], ",", RowBox[{"{", RowBox[{"2683", ",", "1533"}], "}"}], ",", RowBox[{"{", RowBox[{"2749", ",", "1178"}], "}"}], ",", RowBox[{"{", RowBox[{"2917", ",", "1250"}], "}"}], ",", RowBox[{"{", RowBox[{"2927", ",", "418"}], "}"}], ",", RowBox[{"{", RowBox[{"2953", ",", "2531"}], "}"}], ",", RowBox[{"{", RowBox[{"2963", ",", "1693"}], "}"}], ",", RowBox[{"{", RowBox[{"2969", ",", "424"}], "}"}], ",", RowBox[{"{", RowBox[{"2999", ",", "2142"}], "}"}], ",", RowBox[{"{", RowBox[{"3067", ",", "438"}], "}"}], ",", RowBox[{"{", RowBox[{"3167", ",", "2262"}], "}"}], ",", RowBox[{"{", RowBox[{"3191", ",", "2735"}], "}"}], ",", RowBox[{"{", RowBox[{"3253", ",", "1394"}], "}"}], ",", RowBox[{"{", RowBox[{"3257", ",", "1861"}], "}"}], ",", RowBox[{"{", RowBox[{"3301", ",", "943"}], "}"}], ",", RowBox[{"{", RowBox[{"3329", ",", "951"}], "}"}], ",", RowBox[{"{", RowBox[{"3343", ",", "955"}], "}"}], ",", RowBox[{"{", RowBox[{"3359", ",", "2879"}], "}"}], ",", RowBox[{"{", RowBox[{"3361", ",", "480"}], "}"}], ",", RowBox[{"{", RowBox[{"3407", ",", "1460"}], "}"}], ",", RowBox[{"{", RowBox[{"3457", ",", "2963"}], "}"}], ",", RowBox[{"{", RowBox[{"3463", ",", "1484"}], "}"}], ",", RowBox[{"{", RowBox[{"3541", ",", "3035"}], "}"}], ",", RowBox[{"{", RowBox[{"3581", ",", "1023"}], "}"}]}], "}"}]}], ";"}]], "Input", CellChangeTimes->{{3.725753812199486*^9, 3.7257538943774157`*^9}, { 3.725754112775611*^9, 3.725754190030962*^9}, {3.725754244116365*^9, 3.72575425090187*^9}, {3.727003043626357*^9, 3.727003074071107*^9}},ExpressionUUID->"26d55606-59b4-44d4-8ef0-\ 1d3f1053f115"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Length", "[", "%", "]"}]], "Input", CellChangeTimes->{{3.7257542002069063`*^9, 3.725754209063747*^9}},ExpressionUUID->"e4cdaec0-02b2-48c4-a5cd-\ ba31bb0d8318"], Cell[BoxData["76"], "Output", CellChangeTimes->{3.7257542106217947`*^9, 3.7257542816003437`*^9, 3.726999177043543*^9, 3.727002694870343*^9},ExpressionUUID->"8be59dba-baae-4596-a5ea-\ db674eb9d2db"] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"primes", ",", "vals"}], "}"}], "=", RowBox[{"Transpose", "[", "onefacdata", "]"}]}], ";"}]], "Input", CellChangeTimes->{{3.725754830928027*^9, 3.725754886813321*^9}, { 3.725757691390127*^9, 3.725757713252523*^9}, 3.7259539432937193`*^9, { 3.7269991877823257`*^9, 3.7269992044847813`*^9}},ExpressionUUID->"899e7726-649d-465a-9c86-\ a20791bf93b9"], Cell[CellGroupData[{ Cell[BoxData["primes"], "Input", CellChangeTimes->{{3.7259539576314087`*^9, 3.725953959397255*^9}},ExpressionUUID->"a87c649f-82bf-43da-aaa0-\ 18391747884b"], Cell[BoxData[ RowBox[{"{", RowBox[{ "5", ",", "7", ",", "11", ",", "401", ",", "521", ",", "547", ",", "571", ",", "601", ",", "619", ",", "677", ",", "719", ",", "811", ",", "929", ",", "941", ",", "1009", ",", "1013", ",", "1061", ",", "1091", ",", "1193", ",", "1289", ",", "1367", ",", "1459", ",", "1489", ",", "1499", ",", "1523", ",", "1867", ",", "1877", ",", "1901", ",", "1907", ",", "2011", ",", "2063", ",", "2137", ",", "2179", ",", "2203", ",", "2213", ",", "2237", ",", "2267", ",", "2273", ",", "2281", ",", "2309", ",", "2339", ",", "2357", ",", "2377", ",", "2383", ",", "2417", ",", "2437", ",", "2477", ",", "2521", ",", "2543", ",", "2557", ",", "2657", ",", "2659", ",", "2663", ",", "2683", ",", "2749", ",", "2917", ",", "2927", ",", "2953", ",", "2963", ",", "2969", ",", "2999", ",", "3067", ",", "3167", ",", "3191", ",", "3253", ",", "3257", ",", "3301", ",", "3329", ",", "3343", ",", "3359", ",", "3361", ",", "3407", ",", "3457", ",", "3463", ",", "3541", ",", "3581"}], "}"}]], "Output", CellChangeTimes->{3.7259539620639267`*^9, 3.726999214373042*^9, 3.727002705561303*^9},ExpressionUUID->"6fef8d1a-fbb0-4839-b47d-\ b24f45f798aa"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData["vals"], "Input", CellChangeTimes->{{3.7259539656862698`*^9, 3.725953966987537*^9}},ExpressionUUID->"bb0c8c0c-a79e-4ce5-a2d1-\ d3f07475ca7f"], Cell[BoxData[ RowBox[{"{", RowBox[{ "2", ",", "5", ",", "3", ",", "229", ",", "372", ",", "78", ",", "163", ",", "515", ",", "442", ",", "290", ",", "308", ",", "695", ",", "398", ",", "672", ",", "144", ",", "434", ",", "303", ",", "935", ",", "852", ",", "184", ",", "781", ",", "1042", ",", "638", ",", "214", ",", "435", ",", "800", ",", "268", ",", "543", ",", "1362", ",", "1149", ",", "884", ",", "1221", ",", "1245", ",", "944", ",", "316", ",", "639", ",", "1943", ",", "974", ",", "1955", ",", "1979", ",", "334", ",", "1010", ",", "679", ",", "1702", ",", "1381", ",", "348", ",", "2123", ",", "360", ",", "1453", ",", "1461", ",", "759", ",", "2279", ",", "1902", ",", "1533", ",", "1178", ",", "1250", ",", "418", ",", "2531", ",", "1693", ",", "424", ",", "2142", ",", "438", ",", "2262", ",", "2735", ",", "1394", ",", "1861", ",", "943", ",", "951", ",", "955", ",", "2879", ",", "480", ",", "1460", ",", "2963", ",", "1484", ",", "3035", ",", "1023"}], "}"}]], "Output", CellChangeTimes->{3.7259539684765368`*^9, 3.726999214475897*^9, 3.7270027087094297`*^9},ExpressionUUID->"40e6ed34-772f-4e19-8fc9-\ 6a1b74a0f89d"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"m", "=", RowBox[{"Times", "@@", "primes"}]}]], "Input", CellChangeTimes->{{3.725954004333432*^9, 3.725954019307477*^9}},ExpressionUUID->"2b552dff-3d60-45bc-a6fb-\ 53ae179e5ab6"], Cell[BoxData[\ "14034381007759063394557539556714876421810773381185683406749405939169724728862\ 682432648464872607361607088642197855139381399657004211183597234464120390419076\ 755164376658920062206218996307338352862494109464163538045481576105660369415393\ 7851568295"], "Output", CellChangeTimes->{3.72595402230899*^9, 3.726999218237225*^9, 3.7270027170390368`*^9},ExpressionUUID->"dd6e6536-ab9a-45d1-8008-\ 60bc68efad5c"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"z", "=", RowBox[{"ChineseRemainder", "[", RowBox[{"vals", ",", "primes"}], "]"}]}]], "Input", CellChangeTimes->{{3.725754437853662*^9, 3.725754541775219*^9}, { 3.7257546529042397`*^9, 3.725754658479726*^9}, {3.725754902425029*^9, 3.725755033899699*^9}, {3.7257552399723186`*^9, 3.7257552543476057`*^9}, { 3.7257578124152203`*^9, 3.725757844952544*^9}},ExpressionUUID->"9e27896e-8794-4e19-8cc4-\ 2e0ef115ace3"], Cell[BoxData[\ "14320796946692921831181162812974363695725278960393554496683067284867066049859\ 880033314760074089144497029226732505244266734343881848146527790269510602468445\ 668535078223387818577774486027896278431116438228738304128042424597612621852442\ 637915132"], "Output", CellChangeTimes->{3.725757858599679*^9, 3.725954122272398*^9, 3.726999224510112*^9, 3.727002717138236*^9},ExpressionUUID->"71cfe2f7-c685-4efb-870e-\ 351ebed577cb"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"tolerance", "=", RowBox[{"N", "[", FractionBox["1", RowBox[{"Sqrt", "[", RowBox[{"m", "/", "2"}], "]"}]], "]"}]}]], "Input", CellChangeTimes->{{3.478525073971377*^9, 3.478525149065631*^9}, { 3.4785257886899223`*^9, 3.478525792328723*^9}, {3.725955047671219*^9, 3.72595507008932*^9}, {3.725955229923979*^9, 3.725955235659865*^9}},ExpressionUUID->"ae721a3f-f7a0-47bb-a507-\ 20800461623e"], Cell[BoxData["1.1937636939190072`*^-121"], "Output", CellChangeTimes->{3.725955238783896*^9, 3.7269992417803593`*^9, 3.727002729216131*^9},ExpressionUUID->"819a0a05-cedd-49d0-8fd0-\ d37f33aa510a"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"acc", "=", "120"}]], "Input", CellChangeTimes->{{3.725955255051504*^9, 3.725955262012534*^9}},ExpressionUUID->"880dc2ab-2e1c-41cb-9ac6-\ 4cc0fdfe7225"], Cell[BoxData["120"], "Output", CellChangeTimes->{3.7259552632796383`*^9, 3.726999241862237*^9, 3.72700273465381*^9},ExpressionUUID->"f997db8b-ae0c-494c-8612-f36b6d707c01"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"simprat", "=", RowBox[{"z", "-", RowBox[{"m", " ", RowBox[{"Rationalize", "[", " ", RowBox[{ RowBox[{"N", "[", RowBox[{ FractionBox["z", "m"], ",", "acc"}], "]"}], ",", SuperscriptBox["10", RowBox[{"-", "acc"}]]}], " ", "]"}]}]}]}]], "Input", CellChangeTimes->{{3.47852499818749*^9, 3.47852503792801*^9}, { 3.478525069557917*^9, 3.478525069878099*^9}, {3.478525171912569*^9, 3.478525299159627*^9}, {3.7259544654673643`*^9, 3.725954466785749*^9}, { 3.725954508018347*^9, 3.725954514270352*^9}, {3.72595468604795*^9, 3.7259547116380053`*^9}, {3.725954760539185*^9, 3.7259547670110703`*^9}, { 3.725954967136026*^9, 3.725954980757484*^9}, {3.725955346451524*^9, 3.725955376642782*^9}, {3.726052835431604*^9, 3.726052844973187*^9}},ExpressionUUID->"0b161a21-0dc9-4f05-aad7-\ 9bc5c933fe52"], Cell[BoxData[ RowBox[{"-", FractionBox["1", "7"]}]], "Output", CellChangeTimes->{3.726052850252378*^9, 3.7270027855934753`*^9},ExpressionUUID->"ba93202d-523e-4d23-9686-\ a3db6c9e4ea8"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "PowerMod"}]], "Input", CellChangeTimes->{{3.727002901041697*^9, 3.72700290500175*^9}},ExpressionUUID->"37abda47-3c53-4aca-a71f-\ 21a172ef82ca"], Cell[BoxData[ RowBox[{"\<\"\\!\\(\\*RowBox[{\\\"PowerMod\\\", \\\"[\\\", RowBox[{StyleBox[\ \\\"a\\\", \\\"TI\\\"], \\\",\\\", StyleBox[\\\"b\\\", \\\"TI\\\"], \ \\\",\\\", StyleBox[\\\"m\\\", \\\"TI\\\"]}], \\\"]\\\"}]\\) gives \ \\!\\(\\*RowBox[{SuperscriptBox[StyleBox[\\\"a\\\", \\\"TI\\\"], \ StyleBox[\\\"b\\\", \\\"TI\\\"]], \\\" \\\", \\\"mod\\\", \\\" \\\", \ StyleBox[\\\"m\\\", \\\"TI\\\"]}]\\). \\n\\!\\(\\*RowBox[{\\\"PowerMod\\\", \ \\\"[\\\", RowBox[{StyleBox[\\\"a\\\", \\\"TI\\\"], \\\",\\\", \ RowBox[{\\\"-\\\", \\\"1\\\"}], \\\",\\\", StyleBox[\\\"m\\\", \\\"TI\\\"]}], \ \\\"]\\\"}]\\) finds the modular inverse of \\!\\(\\*StyleBox[\\\"a\\\", \ \\\"TI\\\"]\\) modulo \\!\\(\\*StyleBox[\\\"m\\\", \ \\\"TI\\\"]\\).\\n\\!\\(\\*RowBox[{\\\"PowerMod\\\", \\\"[\\\", \ RowBox[{StyleBox[\\\"a\\\", \\\"TI\\\"], \\\",\\\", RowBox[{\\\"1\\\", \ \\\"/\\\", StyleBox[\\\"r\\\", \\\"TI\\\"]}], \\\",\\\", StyleBox[\\\"m\\\", \ \\\"TI\\\"]}], \\\"]\\\"}]\\) finds a modular \\!\\(\\*StyleBox[\\\"r\\\", \\\ \"TI\\\"]\\)\\!\\(\\*SuperscriptBox[\\\"\[Null]\\\", \\\"th\\\"]\\) root of \ \\!\\(\\*StyleBox[\\\"a\\\", \\\"TI\\\"]\\).\"\>", "\[NonBreakingSpace]", ButtonBox[ StyleBox["\[RightSkeleton]", "SR"], Active->True, BaseStyle->"Link", ButtonData->"paclet:ref/PowerMod"]}]], "Print", "PrintUsage", CellChangeTimes->{3.7270029064168158`*^9}, CellTags-> "Info1733727002906-3762827",ExpressionUUID->"8caed2cd-2d69-4e5c-9d47-\ 1058b5b05199"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"{", RowBox[{"p", ",", RowBox[{"PowerMod", "[", RowBox[{ RowBox[{"-", "7"}], ",", RowBox[{"-", "1"}], ",", "p"}], "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{"p", ",", "primes"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.725758458483511*^9, 3.725758471896626*^9}, { 3.725758514668837*^9, 3.725758546957294*^9}, {3.72575874305548*^9, 3.7257587433751097`*^9}, {3.725760175544533*^9, 3.725760210400949*^9}, { 3.727002848809245*^9, 3.727002920961238*^9}},ExpressionUUID->"563d6baf-8975-45d2-bbc3-\ 8768d14c4754"], Cell[BoxData[ TemplateBox[{ "PowerMod","ninv", "\"\\!\\(\\*RowBox[{\\\"0\\\"}]\\) is not invertible modulo \ \\!\\(\\*RowBox[{\\\"7\\\"}]\\).\"",2,174,16,19067309671427949855,"Local"}, "MessageTemplate"]], "Message", "MSG", CellChangeTimes->{ 3.7270029227073193`*^9},ExpressionUUID->"3a514dca-1159-4505-b04b-\ 4f35d2bbdabd"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"5", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", RowBox[{"PowerMod", "[", RowBox[{ RowBox[{"-", "7"}], ",", RowBox[{"-", "1"}], ",", "7"}], "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"401", ",", "229"}], "}"}], ",", RowBox[{"{", RowBox[{"521", ",", "372"}], "}"}], ",", RowBox[{"{", RowBox[{"547", ",", "78"}], "}"}], ",", RowBox[{"{", RowBox[{"571", ",", "163"}], "}"}], ",", RowBox[{"{", RowBox[{"601", ",", "515"}], "}"}], ",", RowBox[{"{", RowBox[{"619", ",", "442"}], "}"}], ",", RowBox[{"{", RowBox[{"677", ",", "290"}], "}"}], ",", RowBox[{"{", RowBox[{"719", ",", "308"}], "}"}], ",", RowBox[{"{", RowBox[{"811", ",", "695"}], "}"}], ",", RowBox[{"{", RowBox[{"929", ",", "398"}], "}"}], ",", RowBox[{"{", RowBox[{"941", ",", "672"}], "}"}], ",", RowBox[{"{", RowBox[{"1009", ",", "144"}], "}"}], ",", RowBox[{"{", RowBox[{"1013", ",", "434"}], "}"}], ",", RowBox[{"{", RowBox[{"1061", ",", "303"}], "}"}], ",", RowBox[{"{", RowBox[{"1091", ",", "935"}], "}"}], ",", RowBox[{"{", RowBox[{"1193", ",", "852"}], "}"}], ",", RowBox[{"{", RowBox[{"1289", ",", "184"}], "}"}], ",", RowBox[{"{", RowBox[{"1367", ",", "781"}], "}"}], ",", RowBox[{"{", RowBox[{"1459", ",", "1042"}], "}"}], ",", RowBox[{"{", RowBox[{"1489", ",", "638"}], "}"}], ",", RowBox[{"{", RowBox[{"1499", ",", "214"}], "}"}], ",", RowBox[{"{", RowBox[{"1523", ",", "435"}], "}"}], ",", RowBox[{"{", RowBox[{"1867", ",", "800"}], "}"}], ",", RowBox[{"{", RowBox[{"1877", ",", "268"}], "}"}], ",", RowBox[{"{", RowBox[{"1901", ",", "543"}], "}"}], ",", RowBox[{"{", RowBox[{"1907", ",", "1362"}], "}"}], ",", RowBox[{"{", RowBox[{"2011", ",", "1149"}], "}"}], ",", RowBox[{"{", RowBox[{"2063", ",", "884"}], "}"}], ",", RowBox[{"{", RowBox[{"2137", ",", "1221"}], "}"}], ",", RowBox[{"{", RowBox[{"2179", ",", "1245"}], "}"}], ",", RowBox[{"{", RowBox[{"2203", ",", "944"}], "}"}], ",", RowBox[{"{", RowBox[{"2213", ",", "316"}], "}"}], ",", RowBox[{"{", RowBox[{"2237", ",", "639"}], "}"}], ",", RowBox[{"{", RowBox[{"2267", ",", "1943"}], "}"}], ",", RowBox[{"{", RowBox[{"2273", ",", "974"}], "}"}], ",", RowBox[{"{", RowBox[{"2281", ",", "1955"}], "}"}], ",", RowBox[{"{", RowBox[{"2309", ",", "1979"}], "}"}], ",", RowBox[{"{", RowBox[{"2339", ",", "334"}], "}"}], ",", RowBox[{"{", RowBox[{"2357", ",", "1010"}], "}"}], ",", RowBox[{"{", RowBox[{"2377", ",", "679"}], "}"}], ",", RowBox[{"{", RowBox[{"2383", ",", "1702"}], "}"}], ",", RowBox[{"{", RowBox[{"2417", ",", "1381"}], "}"}], ",", RowBox[{"{", RowBox[{"2437", ",", "348"}], "}"}], ",", RowBox[{"{", RowBox[{"2477", ",", "2123"}], "}"}], ",", RowBox[{"{", RowBox[{"2521", ",", "360"}], "}"}], ",", RowBox[{"{", RowBox[{"2543", ",", "1453"}], "}"}], ",", RowBox[{"{", RowBox[{"2557", ",", "1461"}], "}"}], ",", RowBox[{"{", RowBox[{"2657", ",", "759"}], "}"}], ",", RowBox[{"{", RowBox[{"2659", ",", "2279"}], "}"}], ",", RowBox[{"{", RowBox[{"2663", ",", "1902"}], "}"}], ",", RowBox[{"{", RowBox[{"2683", ",", "1533"}], "}"}], ",", RowBox[{"{", RowBox[{"2749", ",", "1178"}], "}"}], ",", RowBox[{"{", RowBox[{"2917", ",", "1250"}], "}"}], ",", RowBox[{"{", RowBox[{"2927", ",", "418"}], "}"}], ",", RowBox[{"{", RowBox[{"2953", ",", "2531"}], "}"}], ",", RowBox[{"{", RowBox[{"2963", ",", "1693"}], "}"}], ",", RowBox[{"{", RowBox[{"2969", ",", "424"}], "}"}], ",", RowBox[{"{", RowBox[{"2999", ",", "2142"}], "}"}], ",", RowBox[{"{", RowBox[{"3067", ",", "438"}], "}"}], ",", RowBox[{"{", RowBox[{"3167", ",", "2262"}], "}"}], ",", RowBox[{"{", RowBox[{"3191", ",", "2735"}], "}"}], ",", RowBox[{"{", RowBox[{"3253", ",", "1394"}], "}"}], ",", RowBox[{"{", RowBox[{"3257", ",", "1861"}], "}"}], ",", RowBox[{"{", RowBox[{"3301", ",", "943"}], "}"}], ",", RowBox[{"{", RowBox[{"3329", ",", "951"}], "}"}], ",", RowBox[{"{", RowBox[{"3343", ",", "955"}], "}"}], ",", RowBox[{"{", RowBox[{"3359", ",", "2879"}], "}"}], ",", RowBox[{"{", RowBox[{"3361", ",", "480"}], "}"}], ",", RowBox[{"{", RowBox[{"3407", ",", "1460"}], "}"}], ",", RowBox[{"{", RowBox[{"3457", ",", "2963"}], "}"}], ",", RowBox[{"{", RowBox[{"3463", ",", "1484"}], "}"}], ",", RowBox[{"{", RowBox[{"3541", ",", "3035"}], "}"}], ",", RowBox[{"{", RowBox[{"3581", ",", "1023"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.7257602130633*^9, 3.725955592498415*^9, 3.727002888106711*^9, 3.727002922736249*^9},ExpressionUUID->"4e4f0e8f-ddd4-47db-80f0-\ 3f8bf95133e3"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Complement", "[", RowBox[{"onefacdata", ",", RowBox[{"Table", "[", RowBox[{ RowBox[{"{", RowBox[{"p", ",", RowBox[{"PowerMod", "[", RowBox[{ RowBox[{"-", "7"}], ",", RowBox[{"-", "1"}], ",", "p"}], "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{"p", ",", "primes"}], "}"}]}], "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.725760432431686*^9, 3.725760494165284*^9}, { 3.7259556380615892`*^9, 3.7259556417788963`*^9}, 3.7270029742512817`*^9},ExpressionUUID->"036a9524-f25a-4e56-9d57-\ a7e35ba7e6bf"], Cell[BoxData[ TemplateBox[{ "PowerMod","ninv", "\"\\!\\(\\*RowBox[{\\\"0\\\"}]\\) is not invertible modulo \ \\!\\(\\*RowBox[{\\\"7\\\"}]\\).\"",2,176,17,19067309671427949855,"Local"}, "MessageTemplate"]], "Message", "MSG", CellChangeTimes->{ 3.727002975921144*^9},ExpressionUUID->"43289d4a-1228-4cd2-9eab-\ c712c466c8fd"], Cell[BoxData[ RowBox[{"{", RowBox[{"{", RowBox[{"7", ",", "5"}], "}"}], "}"}]], "Output", CellChangeTimes->{ 3.725760495374625*^9, 3.725955643630567*^9, {3.727002950764514*^9, 3.727002975928821*^9}},ExpressionUUID->"a77bf81d-ad34-40f6-945c-\ da8223b62cf6"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["Lattice reduction", "Subsection", CellChangeTimes->{{3.7270032607990026`*^9, 3.727003272570623*^9}},ExpressionUUID->"e9d7e0f5-ad82-481a-bbf0-\ 23d010e8c8de"], Cell[BoxData[ RowBox[{ RowBox[{"findrel", "[", RowBox[{"x_", ",", "basis_", ",", "acc_"}], "]"}], ":=", "\[IndentingNewLine]", RowBox[{"Module", "[", RowBox[{ RowBox[{"{", RowBox[{ "V", ",", "id", ",", "A", ",", "Ared", ",", "B", ",", "extravecs"}], "}"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"id", "=", RowBox[{"IdentityMatrix", "[", RowBox[{ RowBox[{"Length", "[", "basis", "]"}], "+", "1"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"V", "=", RowBox[{"Round", "[", RowBox[{ SuperscriptBox["10", "acc"], RowBox[{"Flatten", "[", RowBox[{"{", RowBox[{"x", ",", "basis"}], "}"}], "]"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"A", "=", RowBox[{"Transpose", "[", RowBox[{"Append", "[", RowBox[{"id", ",", RowBox[{"-", "V"}]}], "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"Ared", "=", RowBox[{"LatticeReduce", "[", "A", "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"B", "=", RowBox[{"Select", "[", RowBox[{"Ared", ",", RowBox[{ RowBox[{ RowBox[{"#", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}], "\[NotEqual]", "0"}], "&"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"extravecs", "=", RowBox[{ RowBox[{ RowBox[{ FractionBox["1", RowBox[{"B", "\[LeftDoubleBracket]", RowBox[{"1", ",", "1"}], "\[RightDoubleBracket]"}]], RowBox[{"Take", "[", RowBox[{"#", ",", RowBox[{"{", RowBox[{"2", ",", RowBox[{"-", "2"}]}], "}"}]}], "]"}]}], "&"}], "/@", RowBox[{"Select", "[", RowBox[{"Ared", ",", RowBox[{ RowBox[{ RowBox[{ "#", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}], "==", "0"}], "&"}]}], "]"}]}]}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", " ", RowBox[{ RowBox[{ RowBox[{"Length", "[", "extravecs", "]"}], "\[NotEqual]", " ", "0"}], ",", RowBox[{"Print", "[", RowBox[{ "\"\\"", ",", "extravecs"}], "]"}]}], " ", "]"}], ";", "\[IndentingNewLine]", FractionBox[ RowBox[{"-", RowBox[{"Take", "[", RowBox[{ RowBox[{"B", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}], ",", RowBox[{"{", RowBox[{"2", ",", RowBox[{"-", "2"}]}], "}"}]}], "]"}]}], RowBox[{"B", "\[LeftDoubleBracket]", RowBox[{"1", ",", "1"}], "\[RightDoubleBracket]"}]]}]}], "\[IndentingNewLine]", " ", "]"}]}]], "Input", CellChangeTimes->{{3.7159684677937098`*^9, 3.7159684740966043`*^9}, 3.715968513143166*^9, {3.715968875198875*^9, 3.7159689124637203`*^9}, 3.7161138547365723`*^9, {3.716141337350727*^9, 3.71614135946311*^9}, { 3.716182584225662*^9, 3.7161826037511673`*^9}},ExpressionUUID->"6faf3b63-e9b8-4abf-997b-\ 3ce33ad7e16a"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"findrel", "[", RowBox[{ FractionBox["\[Pi]", "4"], ",", RowBox[{"{", RowBox[{ RowBox[{"ArcTan", "[", RowBox[{"1", "/", "5"}], "]"}], ",", RowBox[{"ArcTan", "[", RowBox[{"1", "/", "239"}], "]"}]}], "}"}], ",", "20"}], "]"}]], "Input",\ CellChangeTimes->{{3.7159642233280067`*^9, 3.7159642660315037`*^9}, { 3.7159657037834253`*^9, 3.715965704747929*^9}},ExpressionUUID->"d5aab5c2-3e6c-4a3c-a0ef-\ 1c618a97176a"], Cell[BoxData[ RowBox[{"{", RowBox[{"4", ",", RowBox[{"-", "1"}]}], "}"}]], "Output", CellChangeTimes->{3.7159642675344753`*^9, 3.715964370262027*^9, 3.715964569829352*^9, 3.715964637062072*^9, 3.71596498087227*^9, 3.71596570860915*^9, 3.7159674484510603`*^9, 3.7159691395461073`*^9, 3.716099502258361*^9, 3.71611386501298*^9, 3.71618261954853*^9},ExpressionUUID->"747341a6-58d0-4805-8f55-30d57e336bd7"] }, Open ]], Cell[CellGroupData[{ Cell["In fact this is exact", "Subsubsection", CellChangeTimes->{{3.7159672891619377`*^9, 3.715967295415928*^9}},ExpressionUUID->"f331a640-87c9-48bb-b45a-\ 2803f48ecdd6"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ FractionBox["\[Pi]", "4"], "-", " ", RowBox[{"4", RowBox[{"ArcTan", "[", RowBox[{"1", "/", "5"}], "]"}]}], "+", RowBox[{"ArcTan", "[", RowBox[{"1", "/", "239"}], "]"}]}], " ", "//", "FullSimplify"}]], "Input",\ CellChangeTimes->{{3.716097495168912*^9, 3.716097565790215*^9}},ExpressionUUID->"7df75cb0-5705-4306-920b-\ 4eaf84bb53cc"], Cell[BoxData["0"], "Output", CellChangeTimes->{{3.7160975538551397`*^9, 3.7160975702974167`*^9}, 3.7161138697198963`*^9, 3.7161826196525583`*^9},ExpressionUUID->"5a8938c6-c5a3-4eed-ab7f-\ 2e249d32ed71"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Example 2", "Section", CellChangeTimes->{{3.7159673261116123`*^9, 3.715967332242386*^9}},ExpressionUUID->"08b4ddb7-f2b4-4afd-bf3a-\ 37c57b8cdef1"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"x", "=", RowBox[{"N", "[", RowBox[{ RowBox[{ RowBox[{"3", SuperscriptBox["\[Pi]", "3"]}], "+", RowBox[{"4", RowBox[{"Zeta", "[", "3", "]"}]}]}], ",", "30"}], "]"}]}]], "Input",Expr\ essionUUID->"494c3f61-73f3-4a15-95bb-55fea0753303"], Cell[BoxData["97.82705765353783766802789784734998556973`30."], "Output", CellChangeTimes->{3.715965792592169*^9, 3.715966027641061*^9, 3.715967448651773*^9, 3.715969139754066*^9, 3.7160975923600903`*^9, 3.716113880523551*^9, 3.716182619747961*^9},ExpressionUUID->"d636d0ef-cfd4-481c-9ebb-\ a77ea1f4c804"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"findrel", "[", RowBox[{"x", ",", RowBox[{"{", RowBox[{ SuperscriptBox["\[Pi]", "3"], ",", RowBox[{"Zeta", "[", "3", "]"}], ",", RowBox[{"Log", "[", "2", "]"}]}], "}"}], ",", "30"}], "]"}]], "Input", CellChangeTimes->{{3.71596466754957*^9, 3.715964698211175*^9}, { 3.715965713687611*^9, 3.715965714791354*^9}, {3.71596603844836*^9, 3.715966042501459*^9}, 3.7159662567206078`*^9},ExpressionUUID->"f7bef780-fc94-4234-b9b4-\ 9852452b565c"], Cell[BoxData[ RowBox[{"{", RowBox[{"3", ",", "4", ",", "0"}], "}"}]], "Output", CellChangeTimes->{3.715966046475099*^9, 3.715966259045764*^9, 3.715967448715117*^9, 3.715969139811536*^9, 3.716097592473919*^9, 3.7161138894708548`*^9, 3.7161826198546762`*^9},ExpressionUUID->"db3a9fc2-9994-4922-a2c5-\ 67020ba87b23"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Example 3", "Section", CellChangeTimes->{{3.715967365343842*^9, 3.7159673711165123`*^9}},ExpressionUUID->"365702cf-f759-461a-9f65-\ a43d6f5bd278"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"x", "=", RowBox[{"N", "[", RowBox[{ RowBox[{ FractionBox[ SuperscriptBox["\[Pi]", "6"], "32"], "+", RowBox[{ FractionBox["3", "5"], SuperscriptBox["\[Pi]", "3"], RowBox[{"Zeta", "[", "3", "]"}]}], "+", RowBox[{ FractionBox["1", "37"], RowBox[{"Zeta", "[", "6", "]"}]}]}], ",", "30"}], "]"}]}]], "Input", CellChangeTimes->{{3.715965021900165*^9, 3.7159651568673687`*^9}, { 3.715967469845879*^9, 3.715967473030847*^9}, 3.715967504813548*^9, { 3.7159675417557487`*^9, 3.715967635830759*^9}, 3.7159677046534653`*^9, { 3.71596775198888*^9, 3.7159677525438957`*^9}, {3.715967828680019*^9, 3.715967830863894*^9}, {3.715969152527343*^9, 3.7159691572642508`*^9}, { 3.71611397067187*^9, 3.7161139924803953`*^9}},ExpressionUUID->"f0881516-5dfc-4ac9-a53e-\ 59ed5b90da23"], Cell[BoxData["52.43369341255872430887895555829631972558`30."], "Output", CellChangeTimes->{ 3.715965159196888*^9, 3.71596580558022*^9, 3.7159662883126574`*^9, { 3.715967448780196*^9, 3.715967475561664*^9}, {3.715967515995727*^9, 3.715967602028257*^9}, 3.715967637414446*^9, 3.7159677064775467`*^9, 3.715967754461502*^9, 3.715967833552753*^9, 3.715969139882412*^9, 3.715969399899008*^9, 3.716097608385212*^9, 3.716113915873292*^9, 3.716113996778627*^9, 3.71618261995041*^9},ExpressionUUID->"1ee5b1a8-7065-42c1-81cd-\ 22d35c41dfce"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"findrel", "[", RowBox[{"x", ",", RowBox[{"{", RowBox[{ SuperscriptBox["\[Pi]", "6"], ",", RowBox[{ SuperscriptBox["\[Pi]", "3"], RowBox[{"Zeta", "[", "3", "]"}]}], ",", RowBox[{"Zeta", "[", "6", "]"}]}], "}"}], ",", "30"}], "]"}]], "Input", CellChangeTimes->{{3.715965170389248*^9, 3.7159652157372026`*^9}, { 3.715965811793754*^9, 3.715965812728653*^9}, {3.715966266200843*^9, 3.71596629903417*^9}, {3.715967509764509*^9, 3.715967525527615*^9}, { 3.715967592769165*^9, 3.71596762605009*^9}, {3.715967657127132*^9, 3.715967716898553*^9}, {3.71596784708088*^9, 3.715967847641931*^9}, { 3.7159691614395227`*^9, 3.7159691616403217`*^9}},ExpressionUUID->"7e0eb221-3cca-461b-94e1-\ e0e6e48f77d1"], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"There are extra vectors that can be added: \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"{", RowBox[{ FractionBox["1", "5920"], ",", "0", ",", RowBox[{"-", FractionBox["189", "1184"]}]}], "}"}], "}"}]}], SequenceForm["There are extra vectors that can be added: ", {{ Rational[1, 5920], 0, Rational[-189, 1184]}}], Editable->False]], "Print", CellChangeTimes->{ 3.716182620048572*^9},ExpressionUUID->"7acee7fa-3e40-4e32-ba5d-\ d80176a9d5e7"], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["1", "32"], ",", FractionBox["3", "5"], ",", FractionBox["1", "37"]}], "}"}]], "Output", CellChangeTimes->{ 3.71596521807926*^9, 3.715965815606618*^9, {3.715966268315584*^9, 3.715966300708988*^9}, 3.7159674488481827`*^9, 3.715967480223978*^9, { 3.7159675161121387`*^9, 3.715967718281039*^9}, 3.715967761380826*^9, { 3.715967841414802*^9, 3.715967849693593*^9}, {3.715969139977735*^9, 3.715969163451199*^9}, 3.715969404387724*^9, 3.7160976084722633`*^9, 3.716113915977131*^9, 3.71611400242002*^9, 3.716182620061714*^9},ExpressionUUID->"62962717-88cf-40c3-86c5-\ ce426b0d5cf2"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Example 4", "Section", CellChangeTimes->{{3.716138237386589*^9, 3.716138245850411*^9}},ExpressionUUID->"224a8f2a-7078-4109-9910-\ e86e42c4a8ed"], Cell[CellGroupData[{ Cell[TextData[{ "Find the minimal polynomial for ", Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox["2", RowBox[{"1", "/", "2"}]], "+", SuperscriptBox["17", RowBox[{"1", "/", "3"}]]}], TraditionalForm]],ExpressionUUID-> "07e49923-5438-4b0d-88ef-ccea38f4eb71"] }], "Subsubsection", CellChangeTimes->{{3.716138259385117*^9, 3.7161383158753653`*^9}, { 3.716182689029174*^9, 3.7161826922669497`*^9}},ExpressionUUID->"0e46fb48-19cb-4185-8d4d-\ ffaee047f670"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"findrel", "[", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"Table", "[", RowBox[{ SuperscriptBox[ RowBox[{"(", RowBox[{ SuperscriptBox["2", RowBox[{"1", "/", "2"}]], " ", "+", " ", SuperscriptBox["17", RowBox[{"1", "/", "3"}]]}], ")"}], "j"], ",", RowBox[{"{", RowBox[{"j", ",", "1", ",", "10"}], "}"}]}], "]"}], ",", "50"}], "]"}]], "Input", CellChangeTimes->{{3.715965170389248*^9, 3.7159652157372026`*^9}, { 3.715965811793754*^9, 3.715965812728653*^9}, {3.715966266200843*^9, 3.71596629903417*^9}, {3.715967509764509*^9, 3.715967525527615*^9}, { 3.715967592769165*^9, 3.71596762605009*^9}, {3.715967657127132*^9, 3.715967716898553*^9}, {3.71596784708088*^9, 3.715967847641931*^9}, { 3.7159691614395227`*^9, 3.7159691616403217`*^9}, {3.716099535089644*^9, 3.7160995357970543`*^9}, {3.716099649352501*^9, 3.716099678579956*^9}, { 3.716107936533371*^9, 3.716107982221719*^9}, 3.716108034732829*^9, { 3.716138392444686*^9, 3.716138414396508*^9}, {3.716139302205946*^9, 3.716139306101829*^9}, {3.71613979751427*^9, 3.716139825513241*^9}, 3.716182789759811*^9},ExpressionUUID->"7eede8e7-7398-48a7-9a1f-\ 74188f08b38f"], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"There are extra vectors that can be added: \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", FractionBox["77", "281"]}], ",", FractionBox["192", "281"], ",", FractionBox["22", "281"], ",", FractionBox["40", "281"], ",", FractionBox["6", "281"], ",", RowBox[{"-", FractionBox["1", "281"]}], ",", RowBox[{"-", FractionBox["1", "281"]}], ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", FractionBox["77", "281"]}], ",", RowBox[{"-", FractionBox["89", "281"]}], ",", FractionBox["226", "281"], ",", FractionBox["28", "281"], ",", FractionBox["40", "281"], ",", FractionBox["5", "281"], ",", RowBox[{"-", FractionBox["1", "281"]}], ",", RowBox[{"-", FractionBox["1", "281"]}], ",", "0"}], "}"}]}], "}"}]}], SequenceForm["There are extra vectors that can be added: ", {{-1, Rational[-77, 281], Rational[192, 281], Rational[22, 281], Rational[40, 281], Rational[6, 281], Rational[-1, 281], Rational[-1, 281], 0, 0}, {-1, Rational[-77, 281], Rational[-89, 281], Rational[226, 281], Rational[28, 281], Rational[40, 281], Rational[5, 281], Rational[-1, 281], Rational[-1, 281], 0}}], Editable->False]], "Print", CellChangeTimes->{3.716182620166253*^9, 3.7161827921932697`*^9},ExpressionUUID->"74af6755-2cbc-4e4a-8388-\ f4a0c9e38451"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"-", FractionBox["204", "281"]}], ",", FractionBox["12", "281"], ",", RowBox[{"-", FractionBox["34", "281"]}], ",", RowBox[{"-", FractionBox["6", "281"]}], ",", "0", ",", FractionBox["1", "281"], ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}]], "Output", CellChangeTimes->{ 3.71596521807926*^9, 3.715965815606618*^9, {3.715966268315584*^9, 3.715966300708988*^9}, 3.7159674488481827`*^9, 3.715967480223978*^9, { 3.7159675161121387`*^9, 3.715967718281039*^9}, 3.715967761380826*^9, { 3.715967841414802*^9, 3.715967849693593*^9}, {3.715969139977735*^9, 3.715969163451199*^9}, 3.715969404387724*^9, 3.7160976084722633`*^9, 3.716099575230958*^9, {3.716099629698984*^9, 3.716099680018018*^9}, 3.716107988549304*^9, 3.716108036949153*^9, 3.716114102277031*^9, 3.716138417796627*^9, 3.7161384677483883`*^9, 3.716139308395131*^9, { 3.7161398150296907`*^9, 3.7161398276959743`*^9}, 3.716182620179599*^9, 3.71618279221238*^9},ExpressionUUID->"108ab6bc-a9e5-45ef-b585-\ ea9fdd665bdb"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"MinimalPolynomial", "[", RowBox[{ RowBox[{ SuperscriptBox["2", RowBox[{"1", "/", "2"}]], " ", "+", " ", SuperscriptBox["17", RowBox[{"1", "/", "3"}]]}], ",", "t"}], "]"}]], "Input", CellChangeTimes->{{3.7161383241353397`*^9, 3.716138370124861*^9}, { 3.7161398375370703`*^9, 3.7161398408044*^9}},ExpressionUUID->"4d5b4980-486f-4ca2-9160-89bf95e227a5"], Cell[BoxData[ RowBox[{"281", "-", RowBox[{"204", " ", "t"}], "+", RowBox[{"12", " ", SuperscriptBox["t", "2"]}], "-", RowBox[{"34", " ", SuperscriptBox["t", "3"]}], "-", RowBox[{"6", " ", SuperscriptBox["t", "4"]}], "+", SuperscriptBox["t", "6"]}]], "Output", CellChangeTimes->{3.7161383711956177`*^9, 3.7161384678244123`*^9, 3.716139844602049*^9, 3.7161826202830477`*^9},ExpressionUUID->"6815a389-bed4-4acc-85b4-\ e069f69ba746"] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Example 5", "Section", CellChangeTimes->{{3.7161386854793262`*^9, 3.716138689377252*^9}},ExpressionUUID->"12cde539-58b0-45dd-8256-\ ee13dbbe59d2"], Cell[CellGroupData[{ Cell["A difficult case", "Subsubsection", CellChangeTimes->{{3.716138736669894*^9, 3.716138745836995*^9}},ExpressionUUID->"808c672e-fe26-41ad-a010-\ ce023d997b68"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"x", "=", RowBox[{"N", "[", RowBox[{ RowBox[{ FractionBox[ SuperscriptBox["\[Pi]", "6"], "32"], "+", RowBox[{ FractionBox["3", "5"], SuperscriptBox["\[Pi]", "3"], RowBox[{"Zeta", "[", "3", "]"}]}], "+", RowBox[{ FractionBox["1", "37"], RowBox[{"Zeta", "[", "6", "]"}]}], "+", FractionBox["52", "31"]}], ",", "100"}], "]"}]}]], "Input", CellChangeTimes->{{3.715965021900165*^9, 3.7159651568673687`*^9}, { 3.715967469845879*^9, 3.715967473030847*^9}, 3.715967504813548*^9, { 3.7159675417557487`*^9, 3.715967635830759*^9}, 3.7159677046534653`*^9, { 3.71596775198888*^9, 3.7159677525438957`*^9}, {3.715967828680019*^9, 3.715967830863894*^9}, {3.715969152527343*^9, 3.7159691572642508`*^9}, { 3.71611397067187*^9, 3.7161139924803953`*^9}, {3.716138779711273*^9, 3.716138794147403*^9}, {3.7161389047408533`*^9, 3.7161389056700287`*^9}},ExpressionUUID->"cf757cf7-f64e-432c-80fe-\ 3e16635cf395"], Cell[BoxData["54.\ 111112767397433986298310397005997144933279008575919646727717957508298163919959\ 6315037791325614510558532997986460678`100."], "Output", CellChangeTimes->{3.716138803273241*^9, 3.716138907524747*^9, 3.7161413999849358`*^9, 3.716182620398082*^9},ExpressionUUID->"3a34d749-011b-4e3c-a854-\ b49c5a5a641d"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"findrel", "[", RowBox[{"x", ",", RowBox[{"{", RowBox[{ SuperscriptBox["\[Pi]", "6"], ",", RowBox[{ SuperscriptBox["\[Pi]", "3"], RowBox[{"Zeta", "[", "3", "]"}]}], ",", RowBox[{"Zeta", "[", "6", "]"}], ",", "1"}], "}"}], ",", "30"}], "]"}]], "Input", CellChangeTimes->{{3.716138808991754*^9, 3.71613884094339*^9}},ExpressionUUID->"3a407c85-44ca-45de-86f8-\ af8ccf9e5559"], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"There are extra vectors that can be added: \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"{", RowBox[{ FractionBox["1", "183520"], ",", "0", ",", RowBox[{"-", FractionBox["189", "36704"]}], ",", "0"}], "}"}], "}"}]}], SequenceForm["There are extra vectors that can be added: ", {{ Rational[1, 183520], 0, Rational[-189, 36704], 0}}], Editable->False]], "Print", CellChangeTimes->{3.716141400085915*^9, 3.716182620510057*^9},ExpressionUUID->"4c4b270c-58a5-4268-8df6-\ d95959efc8b0"], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["2869", "91760"], ",", FractionBox["3", "5"], ",", FractionBox["425", "36704"], ",", FractionBox["52", "31"]}], "}"}]], "Output", CellChangeTimes->{3.716138849474822*^9, 3.716138913350914*^9, 3.716141400092289*^9, 3.716182620525795*^9},ExpressionUUID->"5a972932-b3e4-497b-bbd5-\ 7f218af0c30c"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"findrel", "[", RowBox[{"x", ",", RowBox[{"{", RowBox[{ SuperscriptBox["\[Pi]", "6"], ",", RowBox[{ SuperscriptBox["\[Pi]", "3"], RowBox[{"Zeta", "[", "3", "]"}]}], ",", RowBox[{"Zeta", "[", "6", "]"}], ",", "1"}], "}"}], ",", "acc"}], "]"}], ",", RowBox[{"{", RowBox[{"acc", ",", "30", ",", "100", ",", "10"}], "}"}]}], "]"}], "//", "Column"}]], "Input", CellChangeTimes->{{3.7161388620857143`*^9, 3.7161388861036577`*^9}, { 3.71613892030742*^9, 3.7161389378204927`*^9}},ExpressionUUID->"6046adda-078c-405c-969b-\ 8e3e4c7b25dc"], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"There are extra vectors that can be added: \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"{", RowBox[{ FractionBox["1", "183520"], ",", "0", ",", RowBox[{"-", FractionBox["189", "36704"]}], ",", "0"}], "}"}], "}"}]}], SequenceForm["There are extra vectors that can be added: ", {{ Rational[1, 183520], 0, Rational[-189, 36704], 0}}], Editable->False]], "Print", CellChangeTimes->{3.716141409733903*^9, 3.716182620656316*^9},ExpressionUUID->"1ad73389-25bc-46ef-9948-\ 2b8d3f136b3f"], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"There are extra vectors that can be added: \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"{", RowBox[{ RowBox[{"-", FractionBox["1", "183520"]}], ",", "0", ",", FractionBox["189", "36704"], ",", "0"}], "}"}], "}"}]}], SequenceForm["There are extra vectors that can be added: ", {{ Rational[-1, 183520], 0, Rational[189, 36704], 0}}], Editable->False]], "Print", CellChangeTimes->{3.716141409733903*^9, 3.7161826206699343`*^9},ExpressionUUID->"a6e7d21b-7549-4410-ab16-\ 94fbbb08bf58"], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"There are extra vectors that can be added: \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"{", RowBox[{ RowBox[{"-", FractionBox["1", "183520"]}], ",", "0", ",", FractionBox["189", "36704"], ",", "0"}], "}"}], "}"}]}], SequenceForm["There are extra vectors that can be added: ", {{ Rational[-1, 183520], 0, Rational[189, 36704], 0}}], Editable->False]], "Print", CellChangeTimes->{3.716141409733903*^9, 3.71618262068713*^9},ExpressionUUID->"fe7139c2-820c-48ab-9f32-388fc808eba5"], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"There are extra vectors that can be added: \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"{", RowBox[{ RowBox[{"-", FractionBox["1", "183520"]}], ",", "0", ",", FractionBox["189", "36704"], ",", "0"}], "}"}], "}"}]}], SequenceForm["There are extra vectors that can be added: ", {{ Rational[-1, 183520], 0, Rational[189, 36704], 0}}], Editable->False]], "Print", CellChangeTimes->{3.716141409733903*^9, 3.716182620703539*^9},ExpressionUUID->"51719150-6faf-406b-aef0-\ 947d185dfe57"], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"There are extra vectors that can be added: \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"{", RowBox[{ RowBox[{"-", FractionBox["1", "183520"]}], ",", "0", ",", FractionBox["189", "36704"], ",", "0"}], "}"}], "}"}]}], SequenceForm["There are extra vectors that can be added: ", {{ Rational[-1, 183520], 0, Rational[189, 36704], 0}}], Editable->False]], "Print", CellChangeTimes->{3.716141409733903*^9, 3.716182620719037*^9},ExpressionUUID->"ce606c76-0626-4b72-bad7-\ 5115587eaaa4"], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"There are extra vectors that can be added: \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"{", RowBox[{ RowBox[{"-", FractionBox["1", "183520"]}], ",", "0", ",", FractionBox["189", "36704"], ",", "0"}], "}"}], "}"}]}], SequenceForm["There are extra vectors that can be added: ", {{ Rational[-1, 183520], 0, Rational[189, 36704], 0}}], Editable->False]], "Print", CellChangeTimes->{3.716141409733903*^9, 3.716182620734845*^9},ExpressionUUID->"06e26a4d-518d-4866-a870-\ da6f4779f0c3"], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"There are extra vectors that can be added: \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"{", RowBox[{ FractionBox["1", "183520"], ",", "0", ",", RowBox[{"-", FractionBox["189", "36704"]}], ",", "0"}], "}"}], "}"}]}], SequenceForm["There are extra vectors that can be added: ", {{ Rational[1, 183520], 0, Rational[-189, 36704], 0}}], Editable->False]], "Print", CellChangeTimes->{3.716141409733903*^9, 3.7161826207503223`*^9},ExpressionUUID->"f838b8cb-63eb-4dc7-a83e-\ a9564340578c"], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"There are extra vectors that can be added: \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"{", RowBox[{ FractionBox["1", "183520"], ",", "0", ",", RowBox[{"-", FractionBox["189", "36704"]}], ",", "0"}], "}"}], "}"}]}], SequenceForm["There are extra vectors that can be added: ", {{ Rational[1, 183520], 0, Rational[-189, 36704], 0}}], Editable->False]], "Print", CellChangeTimes->{3.716141409733903*^9, 3.7161826207658033`*^9},ExpressionUUID->"25676cbc-88b7-4806-ac35-\ 8ce03c92a699"] }, Open ]], Cell[BoxData[ TagBox[GridBox[{ { RowBox[{"{", RowBox[{ FractionBox["2869", "91760"], ",", FractionBox["3", "5"], ",", FractionBox["425", "36704"], ",", FractionBox["52", "31"]}], "}"}]}, { RowBox[{"{", RowBox[{ FractionBox["5751", "183520"], ",", FractionBox["3", "5"], ",", RowBox[{"-", FractionBox["127", "2294"]}], ",", FractionBox["52", "31"]}], "}"}]}, { RowBox[{"{", RowBox[{ FractionBox["1151", "36704"], ",", FractionBox["3", "5"], ",", RowBox[{"-", FractionBox["697", "9176"]}], ",", FractionBox["52", "31"]}], "}"}]}, { RowBox[{"{", RowBox[{ FractionBox["5741", "183520"], ",", FractionBox["3", "5"], ",", RowBox[{"-", FractionBox["71", "18352"]}], ",", FractionBox["52", "31"]}], "}"}]}, { RowBox[{"{", RowBox[{ FractionBox["143", "4588"], ",", FractionBox["3", "5"], ",", FractionBox["3827", "36704"], ",", FractionBox["52", "31"]}], "}"}]}, { RowBox[{"{", RowBox[{ FractionBox["1437", "45880"], ",", FractionBox["3", "5"], ",", RowBox[{"-", FractionBox["1465", "36704"]}], ",", FractionBox["52", "31"]}], "}"}]}, { RowBox[{"{", RowBox[{ FractionBox["1433", "45880"], ",", FractionBox["3", "5"], ",", FractionBox["1559", "36704"], ",", FractionBox["52", "31"]}], "}"}]}, { RowBox[{"{", RowBox[{ FractionBox["5777", "183520"], ",", FractionBox["3", "5"], ",", RowBox[{"-", FractionBox["3473", "18352"]}], ",", FractionBox["52", "31"]}], "}"}]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"]], "Output", CellChangeTimes->{3.716138939503932*^9, 3.716141409806612*^9, 3.716182620781616*^9},ExpressionUUID->"43e498a6-95a5-4b04-bb65-\ 83240ae984db"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[TextData[{ "Notice that the coefficient of ", Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox["\[Pi]", "3"], RowBox[{"Zeta", "[", "3", "]"}]}], TraditionalForm]],ExpressionUUID-> "42063b22-b0b1-409f-b74c-42fc193b78a0"], " and the constant term are stable." }], "Subsubsection", CellChangeTimes->{{3.716138976349298*^9, 3.716139045077445*^9}},ExpressionUUID->"f14549f6-48f6-4382-af27-\ 3e3edbd5f88f"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"findrel", "[", RowBox[{ RowBox[{"x", "-", RowBox[{ FractionBox["3", "5"], SuperscriptBox["\[Pi]", "3"], RowBox[{"Zeta", "[", "3", "]"}]}], "-", FractionBox["52", "31"]}], ",", RowBox[{"{", RowBox[{ SuperscriptBox["\[Pi]", "6"], ",", RowBox[{ SuperscriptBox["\[Pi]", "3"], RowBox[{"Zeta", "[", "3", "]"}]}], ",", RowBox[{"Zeta", "[", "6", "]"}], ",", "1"}], "}"}], ",", "30"}], "]"}]], "Input", CellChangeTimes->{{3.716138808991754*^9, 3.71613884094339*^9}, { 3.7161390852668667`*^9, 3.716139122239119*^9}},ExpressionUUID->"13a5a910-921c-4102-ba18-\ eddbef2a4f92"], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"There are extra vectors that can be added: \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"{", RowBox[{ RowBox[{"-", FractionBox["1", "1184"]}], ",", "0", ",", FractionBox["945", "1184"], ",", "0"}], "}"}], "}"}]}], SequenceForm["There are extra vectors that can be added: ", {{ Rational[-1, 1184], 0, Rational[945, 1184], 0}}], Editable->False]], "Print", CellChangeTimes->{ 3.7161826208770647`*^9},ExpressionUUID->"e3699712-d004-4605-b2b7-\ fff1f7e29f9f"], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["1", "32"], ",", "0", ",", FractionBox["1", "37"], ",", "0"}], "}"}]], "Output", CellChangeTimes->{3.716139128113662*^9, 3.716182620887228*^9},ExpressionUUID->"ec6c1726-2927-40dd-80ad-\ dea3b83f53d2"] }, Open ]] }, Open ]] }, Open ]] }, Closed]] }, CellGrouping->Manual, WindowSize->{1656, 672}, WindowMargins->{{Automatic, 1}, {Automatic, 0}}, FrontEndVersion->"11.2 for Mac OS X x86 (32-bit, 64-bit Kernel) (September \ 10, 2017)", StyleDefinitions->FrontEnd`FileName[{"Report"}, "StandardReport.nb", CharacterEncoding -> "UTF-8"] ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{ "Info813726993573-3762827"->{ Cell[59393, 1880, 847, 16, 86, "Print",ExpressionUUID->"4c2bf41c-098e-469c-8f29-a2d2bfc3ed0f", CellTags->"Info813726993573-3762827"]}, "Info1123726997631-3762827"->{ Cell[96540, 3070, 2477, 40, 86, "Print",ExpressionUUID->"3002700f-754e-430f-ab50-3cf043755515", CellTags->"Info1123726997631-3762827"]}, "Info1733727002906-3762827"->{ Cell[115658, 3591, 1470, 25, 114, "Print",ExpressionUUID->"8caed2cd-2d69-4e5c-9d47-1058b5b05199", CellTags->"Info1733727002906-3762827"]} } *) (*CellTagsIndex CellTagsIndex->{ {"Info813726993573-3762827", 154211, 4760}, {"Info1123726997631-3762827", 154383, 4763}, {"Info1733727002906-3762827", 154557, 4766} } *) (*NotebookFileOutline Notebook[{ Cell[558, 20, 240, 4, 86, "Chapter",ExpressionUUID->"56e80fe5-ce6c-41d1-b66a-0fb700393263"], Cell[801, 26, 166, 3, 60, "Subchapter",ExpressionUUID->"915b81da-03d3-4d0d-8ec5-5e087cd8cf9d"], Cell[CellGroupData[{ Cell[992, 33, 228, 4, 41, "Subsection",ExpressionUUID->"63055f6c-698d-4384-b2b7-b8b40af5b671"], Cell[1223, 39, 3010, 90, 129, "Input",ExpressionUUID->"81e7ff06-10a7-4abe-b0d5-8654cd23e304"], Cell[CellGroupData[{ Cell[4258, 133, 248, 6, 51, "Input",ExpressionUUID->"0a9a07ca-a2fe-4329-af4e-ef6d7fad2741"], Cell[4509, 141, 1204, 27, 114, "Output",ExpressionUUID->"0751d5a1-e073-44c3-a007-6ea6017a6252"] }, Open ]], Cell[CellGroupData[{ Cell[5750, 173, 158, 3, 51, "Input",ExpressionUUID->"d93ad1fd-94ca-4a17-97b6-120948a7c947"], Cell[5911, 178, 1563, 44, 102, "Output",ExpressionUUID->"3371285e-7307-418f-94ef-f82c713739df"] }, Open ]], Cell[CellGroupData[{ Cell[7511, 227, 355, 7, 51, "Input",ExpressionUUID->"8911e573-03f2-4d01-ae3d-b4f53d26ca3d"], Cell[7869, 236, 679, 20, 69, "Output",ExpressionUUID->"d8a3ad5a-a94c-4f07-8c52-77647dd97cb9"] }, Open ]], Cell[8563, 259, 185, 4, 51, "Input",ExpressionUUID->"4e2a14ac-4778-4680-b630-69f97fa13cdd"], Cell[8751, 265, 567, 11, 132, "Input",ExpressionUUID->"45236a4c-bcd1-489e-8422-aad84f135f3f"], Cell[CellGroupData[{ Cell[9343, 280, 173, 4, 51, "Input",ExpressionUUID->"b07d945b-e9d1-4fe6-84c8-a765c62a62f7"], Cell[9519, 286, 345, 8, 29, "Message",ExpressionUUID->"9b8e5749-865e-4731-b592-2207033c83bb"], Cell[9867, 296, 479, 14, 77, "Output",ExpressionUUID->"2d06303a-f257-4da6-a5ea-ae80280a2273"] }, Open ]], Cell[CellGroupData[{ Cell[10383, 315, 593, 12, 132, "Input",ExpressionUUID->"59ec892a-c1b8-404d-9dd3-bc1206229fee"], Cell[10979, 329, 582, 19, 69, "Output",ExpressionUUID->"f75752c8-e02c-4cda-82ef-5cb630955c1b"] }, Open ]], Cell[CellGroupData[{ Cell[11598, 353, 176, 4, 51, "Input",ExpressionUUID->"cf70663f-9908-4f4e-bfb6-e044bd8d0fba"], Cell[11777, 359, 456, 14, 68, "Output",ExpressionUUID->"0dc8fb9f-e477-49ff-9818-1804b37e4f50"] }, Open ]], Cell[CellGroupData[{ Cell[12270, 378, 362, 9, 51, "Input",ExpressionUUID->"eececbd9-aa1a-48f8-96b5-16e812382573"], Cell[12635, 389, 7088, 232, 429, "Output",ExpressionUUID->"79b90601-9065-4d95-b9f8-1775edbd1b3d"] }, Open ]], Cell[CellGroupData[{ Cell[19760, 626, 398, 12, 55, "Input",ExpressionUUID->"d0760e86-32a9-42cf-9dc8-33472ce898cf"], Cell[20161, 640, 1104, 36, 77, "Output",ExpressionUUID->"dd2f7366-4a1b-484c-90e8-cb021b5a2f1c"] }, Open ]], Cell[CellGroupData[{ Cell[21302, 681, 281, 7, 51, "Input",ExpressionUUID->"bc2cbfc4-6f5a-4f5e-8ca6-4fcebde8afa2"], Cell[21586, 690, 967, 33, 80, "Output",ExpressionUUID->"16fd3b89-fb21-4c6c-b6f1-3ab5e77743d8"] }, Open ]], Cell[CellGroupData[{ Cell[22590, 728, 177, 4, 51, "Input",ExpressionUUID->"f114a5eb-30ab-41ca-9c2d-6ab30ee366ad"], Cell[22770, 734, 272, 8, 52, "Output",ExpressionUUID->"b5ddea42-e524-4197-b6f9-8fc9e8f7c87c"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[23091, 748, 177, 3, 41, "Subsection",ExpressionUUID->"93efdddd-c0e7-490c-9837-75f2dc51ffb7"], Cell[CellGroupData[{ Cell[23293, 755, 174, 3, 41, "Subsubsection",ExpressionUUID->"5a916393-cc07-4f2f-b2ff-c0ae042329bb"], Cell[CellGroupData[{ Cell[23492, 762, 369, 9, 74, "Input",ExpressionUUID->"62d64f93-a1a6-4c53-aabe-fcd5905e0b4b", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[23864, 773, 274, 5, 51, "Output",ExpressionUUID->"c7b97f53-cbce-4abc-812b-6520e11d2833", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[24141, 780, 591, 12, 74, "Input",ExpressionUUID->"0871c25f-cd91-4b68-a996-fb455ed50ed5", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[24735, 794, 393, 7, 51, "Output",ExpressionUUID->"85e37c72-f019-4d46-8ade-8da058e3c350", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[25131, 803, 254, 5, 51, "Input",ExpressionUUID->"91383d2c-f07d-457b-9903-7b77587b8193", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[25388, 810, 215, 4, 51, "Output",ExpressionUUID->"0e6560f8-4c02-44d1-b1d4-b096d3c18175", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[25606, 816, 397, 10, 74, "Input",ExpressionUUID->"7eac9a70-dcd8-4bcc-b2e7-2b985568478c", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[26006, 828, 297, 5, 52, "Output",ExpressionUUID->"253476b1-8d67-4953-8341-8856cc296099", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[26306, 835, 420, 7, 51, "Input",ExpressionUUID->"ff9c3243-b884-4cfd-bb8d-4b0452862503", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[26729, 844, 391, 8, 69, "Output",ExpressionUUID->"8d12588f-190c-4f55-9497-33c0c8233aa5", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[27123, 854, 388, 8, 71, "Input",ExpressionUUID->"3f4ea3e1-6b0f-44dc-9a13-0d27d98bc2fe", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[27514, 864, 252, 4, 52, "Output",ExpressionUUID->"90800ccc-5567-48dc-b842-e580bde3c4f1", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[27769, 870, 446, 11, 74, "Input",ExpressionUUID->"0f8793f7-430a-4c82-afdf-f5b76dfc40c9", CellGroupingRules->{"GroupTogetherGrouping", 10000.}] }, Closed]], Cell[28230, 884, 195, 4, 51, "Output",ExpressionUUID->"564dd5c1-3358-4526-ad02-4100e809456d"], Cell[CellGroupData[{ Cell[28450, 892, 190, 4, 51, "Input",ExpressionUUID->"9af76ae7-4296-47df-be77-5ba978d41f42"], Cell[28643, 898, 195, 4, 51, "Output",ExpressionUUID->"f53fe5d6-629a-401b-a1f0-3a738577982d"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[28887, 908, 168, 3, 40, "Subsubsection",ExpressionUUID->"59c2bc98-6bf1-4ba4-ad5a-82021927f307"], Cell[29058, 913, 476, 10, 101, "Text",ExpressionUUID->"b6e8db86-00e0-4ed3-8b36-6441e94b3697"], Cell[CellGroupData[{ Cell[29559, 927, 293, 8, 55, "Input",ExpressionUUID->"de61f93d-9c5f-4df1-9332-80cb7adc2a58"], Cell[29855, 937, 200, 4, 69, "Output",ExpressionUUID->"651d1735-d376-4de0-a7ba-3ca86105a7fd"] }, Open ]], Cell[30070, 944, 666, 17, 104, InheritFromParent,ExpressionUUID->"b26b222c-ad39-4969-94f8-c907daa782dd"], Cell[30739, 963, 714, 20, 73, "Input",ExpressionUUID->"16e4d7ef-44b9-4fb2-af16-4de2b23e7770"], Cell[CellGroupData[{ Cell[31478, 987, 188, 4, 51, "Input",ExpressionUUID->"a0f70a3e-f82d-4f50-8f88-dc9bcdcc90c9"], Cell[31669, 993, 132, 3, 51, "Output",ExpressionUUID->"cc25a4cb-9025-4481-8bcf-67d80f8956da"] }, Open ]], Cell[CellGroupData[{ Cell[31838, 1001, 158, 3, 51, "Input",ExpressionUUID->"f4aa15b0-b219-424b-ac85-d81499602f8f"], Cell[31999, 1006, 27179, 863, 936, "Output",ExpressionUUID->"d6b9de96-4355-4753-81ed-2d53717d543e"] }, Closed]], Cell[CellGroupData[{ Cell[59215, 1874, 175, 4, 46, "Input",ExpressionUUID->"2e82b0d2-c98a-41f4-84f5-ff7bf20a85cf"], Cell[59393, 1880, 847, 16, 86, "Print",ExpressionUUID->"4c2bf41c-098e-469c-8f29-a2d2bfc3ed0f", CellTags->"Info813726993573-3762827"] }, Open ]], Cell[CellGroupData[{ Cell[60277, 1901, 304, 8, 51, "Input",ExpressionUUID->"7ac399fa-d513-47f2-987d-53633cb736ed"], Cell[60584, 1911, 27179, 863, 936, "Output",ExpressionUUID->"d8be5ff9-9b6e-4847-a685-9f6832e1b231"] }, Closed]] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[87824, 2781, 230, 4, 41, "Subsection",ExpressionUUID->"99f42220-958a-486e-b2e4-9f351bed8353"], Cell[88057, 2787, 322, 9, 54, "Input",ExpressionUUID->"0fbaf712-0d2e-4830-b327-2462ff281ad4"], Cell[CellGroupData[{ Cell[88404, 2800, 294, 6, 51, "Input",ExpressionUUID->"80d22550-dcd9-4fe0-b8a1-86867cce8911"], Cell[88701, 2808, 335, 9, 52, "Output",ExpressionUUID->"122015d2-6db2-4936-b22f-0ab294ce45b0"] }, Open ]], Cell[CellGroupData[{ Cell[89073, 2822, 356, 7, 51, "Input",ExpressionUUID->"3a7663e9-22de-4d84-a5a6-fe1376d9a4af"], Cell[89432, 2831, 221, 4, 51, "Output",ExpressionUUID->"e4c8bc7d-676b-45a8-bc5e-6e2b141fe67a"] }, Open ]], Cell[CellGroupData[{ Cell[89690, 2840, 315, 6, 51, "Input",ExpressionUUID->"32cb3ee4-26c7-4a37-b282-92cfb7ed06ce"], Cell[90008, 2848, 397, 11, 55, "Output",ExpressionUUID->"fb3926e8-be2e-4cc4-a2e4-5e6b9322982d"] }, Open ]], Cell[CellGroupData[{ Cell[90442, 2864, 299, 7, 51, "Input",ExpressionUUID->"1d7f37e8-e3fb-4263-8310-03c4085ce9e3"], Cell[90744, 2873, 285, 8, 52, "Output",ExpressionUUID->"7735ad58-0ccf-4b84-9d36-d57a160bed24"] }, Open ]], Cell[CellGroupData[{ Cell[91066, 2886, 265, 6, 51, "Input",ExpressionUUID->"e9f63a5c-b910-4473-89af-4d3db5f22882"], Cell[91334, 2894, 871, 32, 67, "Output",ExpressionUUID->"490037ba-12fd-4876-8488-9c9615ca4da0"] }, Open ]], Cell[CellGroupData[{ Cell[92242, 2931, 311, 9, 61, "Input",ExpressionUUID->"472cf28a-fcd4-4015-8574-83dd0c77a72e"], Cell[92556, 2942, 186, 4, 51, "Output",ExpressionUUID->"780b87c3-e3ba-48dd-895a-fce388022710"] }, Open ]], Cell[CellGroupData[{ Cell[92779, 2951, 344, 7, 51, "Input",ExpressionUUID->"d2c8cf12-0845-4b49-a15e-34d48d3e7acf", CellID->126272381], Cell[93126, 2960, 947, 28, 55, "Output",ExpressionUUID->"0454a5ee-627c-4fb0-977f-51360a51d15e"] }, Open ]], Cell[CellGroupData[{ Cell[94110, 2993, 346, 7, 51, "Input",ExpressionUUID->"2e6cd11f-fefa-47ba-8859-26900da2b690", CellID->1152671896], Cell[94459, 3002, 1098, 31, 55, "Output",ExpressionUUID->"b4ba8f34-bb8b-4781-9f7d-1ce559223c8e"] }, Open ]], Cell[CellGroupData[{ Cell[95594, 3038, 259, 6, 51, "Input",ExpressionUUID->"25f90edd-ac2b-4e13-9ed3-0481030fbb95"], Cell[95856, 3046, 245, 5, 51, "Output",ExpressionUUID->"c1a8541d-400a-4dbf-9452-b74ebc615be3"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[96150, 3057, 177, 3, 41, "Subsection",ExpressionUUID->"f7a0f677-f53e-4f27-9de9-b63db3e0a089"], Cell[CellGroupData[{ Cell[96352, 3064, 185, 4, 51, "Input",ExpressionUUID->"51a2e1d0-d494-4a3f-bafb-8af01fa831d9"], Cell[96540, 3070, 2477, 40, 86, "Print",ExpressionUUID->"3002700f-754e-430f-ab50-3cf043755515", CellTags->"Info1123726997631-3762827"] }, Open ]], Cell[99032, 3113, 168, 3, 51, "Input",ExpressionUUID->"639b0d29-0534-4d4d-a867-a4bc530d8fac"], Cell[CellGroupData[{ Cell[99225, 3120, 614, 16, 51, "Input",ExpressionUUID->"f9a9367b-556a-4d4b-8272-9b6646fed99a"], Cell[99842, 3138, 706, 22, 51, "Output",ExpressionUUID->"9e0dc764-d879-487a-8f66-fcd4cce902b3"] }, Open ]], Cell[CellGroupData[{ Cell[100585, 3165, 299, 8, 51, "Input",ExpressionUUID->"af43a81f-0361-4708-ad2d-5d96ad567cc7"], Cell[100887, 3175, 474, 14, 51, "Output",ExpressionUUID->"f29c70ee-6e41-411f-a28b-6ac0ee38bbb0"] }, Open ]], Cell[CellGroupData[{ Cell[101398, 3194, 184, 4, 51, "Input",ExpressionUUID->"ba213359-028b-4ef8-a8cc-084b4d77c561"], Cell[101585, 3200, 160, 3, 51, "Output",ExpressionUUID->"3c9a6276-3594-4fa6-a66e-6a2fc8827682"] }, Open ]], Cell[CellGroupData[{ Cell[101782, 3208, 230, 5, 51, "Input",ExpressionUUID->"233badc2-7b82-4dc6-91f2-651a2c6ffc9e"], Cell[102015, 3215, 156, 3, 51, "Output",ExpressionUUID->"d0840b0b-486b-4b01-8416-8241299a58cb"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[102220, 3224, 188, 3, 41, "Subsection",ExpressionUUID->"332b330d-a1d6-4eaf-b2b1-018b9ba9229f"], Cell[102411, 3229, 5573, 161, 260, "Input",ExpressionUUID->"26d55606-59b4-44d4-8ef0-1d3f1053f115"], Cell[CellGroupData[{ Cell[108009, 3394, 187, 4, 51, "Input",ExpressionUUID->"e4cdaec0-02b2-48c4-a5cd-ba31bb0d8318"], Cell[108199, 3400, 204, 4, 51, "Output",ExpressionUUID->"8be59dba-baae-4596-a5ea-db674eb9d2db"] }, Open ]], Cell[108418, 3407, 425, 10, 51, "Input",ExpressionUUID->"899e7726-649d-465a-9c86-a20791bf93b9"], Cell[CellGroupData[{ Cell[108868, 3421, 160, 3, 51, "Input",ExpressionUUID->"a87c649f-82bf-43da-aaa0-18391747884b"], Cell[109031, 3426, 1225, 19, 104, "Output",ExpressionUUID->"6fef8d1a-fbb0-4839-b47d-b24f45f798aa"] }, Open ]], Cell[CellGroupData[{ Cell[110293, 3450, 158, 3, 51, "Input",ExpressionUUID->"bb0c8c0c-a79e-4ce5-a2d1-d3f07475ca7f"], Cell[110454, 3455, 1191, 18, 104, "Output",ExpressionUUID->"40e6ed34-772f-4e19-8fc9-6a1b74a0f89d"] }, Open ]], Cell[CellGroupData[{ Cell[111682, 3478, 208, 5, 51, "Input",ExpressionUUID->"2b552dff-3d60-45bc-a6fb-53ae179e5ab6"], Cell[111893, 3485, 425, 7, 78, "Output",ExpressionUUID->"dd6e6536-ab9a-45d1-8008-60bc68efad5c"] }, Open ]], Cell[CellGroupData[{ Cell[112355, 3497, 451, 9, 51, "Input",ExpressionUUID->"9e27896e-8794-4e19-8cc4-2e0ef115ace3"], Cell[112809, 3508, 448, 8, 78, "Output",ExpressionUUID->"71cfe2f7-c685-4efb-870e-351ebed577cb"] }, Open ]], Cell[CellGroupData[{ Cell[113294, 3521, 437, 10, 74, "Input",ExpressionUUID->"ae721a3f-f7a0-47bb-a507-20800461623e"], Cell[113734, 3533, 200, 3, 52, "Output",ExpressionUUID->"819a0a05-cedd-49d0-8fd0-d37f33aa510a"] }, Open ]], Cell[CellGroupData[{ Cell[113971, 3541, 179, 4, 51, "Input",ExpressionUUID->"880dc2ab-2e1c-41cb-9ac6-4cc0fdfe7225"], Cell[114153, 3547, 175, 2, 51, "Output",ExpressionUUID->"f997db8b-ae0c-494c-8612-f36b6d707c01"] }, Open ]], Cell[CellGroupData[{ Cell[114365, 3554, 882, 19, 67, "Input",ExpressionUUID->"0b161a21-0dc9-4f05-aad7-9bc5c933fe52"], Cell[115250, 3575, 192, 5, 68, "Output",ExpressionUUID->"ba93202d-523e-4d23-9686-a3db6c9e4ea8"] }, Open ]], Cell[CellGroupData[{ Cell[115479, 3585, 176, 4, 51, "Input",ExpressionUUID->"37abda47-3c53-4aca-a71f-21a172ef82ca"], Cell[115658, 3591, 1470, 25, 114, "Print",ExpressionUUID->"8caed2cd-2d69-4e5c-9d47-1058b5b05199", CellTags->"Info1733727002906-3762827"] }, Open ]], Cell[CellGroupData[{ Cell[117165, 3621, 625, 16, 51, "Input",ExpressionUUID->"563d6baf-8975-45d2-bbc3-8768d14c4754"], Cell[117793, 3639, 335, 8, 29, "Message",ExpressionUUID->"3a514dca-1159-4505-b04b-4f35d2bbdabd"], Cell[118131, 3649, 5213, 162, 208, "Output",ExpressionUUID->"4e4f0e8f-ddd4-47db-80f0-3f8bf95133e3"] }, Open ]], Cell[CellGroupData[{ Cell[123381, 3816, 598, 16, 51, "Input",ExpressionUUID->"036a9524-f25a-4e56-9d57-a7e35ba7e6bf"], Cell[123982, 3834, 333, 8, 29, "Message",ExpressionUUID->"43289d4a-1228-4cd2-9eab-c712c466c8fd"], Cell[124318, 3844, 271, 7, 51, "Output",ExpressionUUID->"a77bf81d-ad34-40f6-945c-da8223b62cf6"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[124638, 3857, 167, 3, 41, "Subsection",ExpressionUUID->"e9d7e0f5-ad82-481a-bbf0-23d010e8c8de"], Cell[124808, 3862, 3155, 85, 386, "Input",ExpressionUUID->"6faf3b63-e9b8-4abf-997b-3ce33ad7e16a"], Cell[CellGroupData[{ Cell[127988, 3951, 480, 14, 66, "Input",ExpressionUUID->"d5aab5c2-3e6c-4a3c-a0ef-1c618a97176a"], Cell[128471, 3967, 423, 8, 51, "Output",ExpressionUUID->"747341a6-58d0-4805-8f55-30d57e336bd7"] }, Open ]], Cell[CellGroupData[{ Cell[128931, 3980, 174, 3, 41, "Subsubsection",ExpressionUUID->"f331a640-87c9-48bb-b45a-2803f48ecdd6"], Cell[CellGroupData[{ Cell[129130, 3987, 399, 12, 66, "Input",ExpressionUUID->"7df75cb0-5705-4306-920b-4eaf84bb53cc"], Cell[129532, 4001, 211, 4, 51, "Output",ExpressionUUID->"5a8938c6-c5a3-4eed-ab7f-2e249d32ed71"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[129792, 4011, 156, 3, 87, "Section",ExpressionUUID->"08b4ddb7-f2b4-4afd-bf3a-37c57b8cdef1"], Cell[CellGroupData[{ Cell[129973, 4018, 293, 9, 55, "Input",ExpressionUUID->"494c3f61-73f3-4a15-95bb-55fea0753303"], Cell[130269, 4029, 314, 5, 51, "Output",ExpressionUUID->"d636d0ef-cfd4-481c-9ebb-a77ea1f4c804"] }, Open ]], Cell[CellGroupData[{ Cell[130620, 4039, 500, 12, 55, "Input",ExpressionUUID->"f7bef780-fc94-4234-b9b4-9852452b565c"], Cell[131123, 4053, 327, 7, 51, "Output",ExpressionUUID->"db3a9fc2-9994-4922-a2c5-67020ba87b23"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[131499, 4066, 156, 3, 87, "Section",ExpressionUUID->"365702cf-f759-461a-9f65-a43d6f5bd278"], Cell[CellGroupData[{ Cell[131680, 4073, 871, 21, 75, "Input",ExpressionUUID->"f0881516-5dfc-4ac9-a53e-59ed5b90da23"], Cell[132554, 4096, 556, 9, 51, "Output",ExpressionUUID->"1ee5b1a8-7065-42c1-81cd-22d35c41dfce"] }, Open ]], Cell[CellGroupData[{ Cell[133147, 4110, 772, 17, 55, "Input",ExpressionUUID->"7e0eb221-3cca-461b-94e1-e0e6e48f77d1"], Cell[133922, 4129, 553, 16, 47, "Print",ExpressionUUID->"7acee7fa-3e40-4e32-ba5d-d80176a9d5e7"], Cell[134478, 4147, 663, 14, 69, "Output",ExpressionUUID->"62962717-88cf-40c3-86c5-ce426b0d5cf2"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[135190, 4167, 154, 3, 87, "Section",ExpressionUUID->"224a8f2a-7078-4109-9910-e86e42c4a8ed"], Cell[CellGroupData[{ Cell[135369, 4174, 488, 14, 42, "Subsubsection",ExpressionUUID->"0e46fb48-19cb-4185-8d4d-ffaee047f670"], Cell[CellGroupData[{ Cell[135882, 4192, 1260, 27, 60, "Input",ExpressionUUID->"7eede8e7-7398-48a7-9a1f-74188f08b38f"], Cell[137145, 4221, 1712, 53, 47, "Print",ExpressionUUID->"74af6755-2cbc-4e4a-8388-f4a0c9e38451"], Cell[138860, 4276, 1094, 23, 69, "Output",ExpressionUUID->"108ab6bc-a9e5-45ef-b585-ea9fdd665bdb"] }, Open ]], Cell[CellGroupData[{ Cell[139991, 4304, 407, 10, 55, "Input",ExpressionUUID->"4d5b4980-486f-4ca2-9160-89bf95e227a5"], Cell[140401, 4316, 464, 13, 52, "Output",ExpressionUUID->"6815a389-bed4-4acc-85b4-e069f69ba746"] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[140926, 4336, 156, 3, 87, "Section",ExpressionUUID->"12cde539-58b0-45dd-8256-ee13dbbe59d2"], Cell[CellGroupData[{ Cell[141107, 4343, 167, 3, 41, "Subsubsection",ExpressionUUID->"808c672e-fe26-41ad-a010-ce023d997b68"], Cell[CellGroupData[{ Cell[141299, 4350, 1008, 23, 75, "Input",ExpressionUUID->"cf757cf7-f64e-432c-80fe-3e16635cf395"], Cell[142310, 4375, 327, 6, 51, "Output",ExpressionUUID->"3a34d749-011b-4e3c-a854-b49c5a5a641d"] }, Open ]], Cell[CellGroupData[{ Cell[142674, 4386, 444, 13, 55, "Input",ExpressionUUID->"3a407c85-44ca-45de-86f8-af8ccf9e5559"], Cell[143121, 4401, 594, 16, 47, "Print",ExpressionUUID->"4c4b270c-58a5-4268-8df6-d95959efc8b0"], Cell[143718, 4419, 367, 10, 69, "Output",ExpressionUUID->"5a972932-b3e4-497b-bbd5-7f218af0c30c"] }, Open ]], Cell[CellGroupData[{ Cell[144122, 4434, 694, 20, 55, "Input",ExpressionUUID->"6046adda-078c-405c-969b-8e3e4c7b25dc"], Cell[CellGroupData[{ Cell[144841, 4458, 594, 16, 47, "Print",ExpressionUUID->"1ad73389-25bc-46ef-9948-2b8d3f136b3f"], Cell[145438, 4476, 596, 16, 47, "Print",ExpressionUUID->"a6e7d21b-7549-4410-ab16-94fbbb08bf58"], Cell[146037, 4494, 591, 15, 47, "Print",ExpressionUUID->"fe7139c2-820c-48ab-9f32-388fc808eba5"], Cell[146631, 4511, 594, 16, 47, "Print",ExpressionUUID->"51719150-6faf-406b-aef0-947d185dfe57"], Cell[147228, 4529, 594, 16, 47, "Print",ExpressionUUID->"ce606c76-0626-4b72-bad7-5115587eaaa4"], Cell[147825, 4547, 594, 16, 47, "Print",ExpressionUUID->"06e26a4d-518d-4866-a870-da6f4779f0c3"], Cell[148422, 4565, 596, 16, 47, "Print",ExpressionUUID->"f838b8cb-63eb-4dc7-a83e-a9564340578c"], Cell[149021, 4583, 596, 16, 47, "Print",ExpressionUUID->"25676cbc-88b7-4806-ac35-8ce03c92a699"] }, Open ]], Cell[149632, 4602, 2105, 70, 274, "Output",ExpressionUUID->"43e498a6-95a5-4b04-bb65-83240ae984db"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[151786, 4678, 426, 12, 42, "Subsubsection",ExpressionUUID->"f14549f6-48f6-4382-af27-3e3edbd5f88f"], Cell[CellGroupData[{ Cell[152237, 4694, 668, 20, 71, "Input",ExpressionUUID->"13a5a910-921c-4102-ba18-eddbef2a4f92"], Cell[152908, 4716, 568, 16, 47, "Print",ExpressionUUID->"e3699712-d004-4605-b2b7-fff1f7e29f9f"], Cell[153479, 4734, 263, 7, 69, "Output",ExpressionUUID->"ec6c1726-2927-40dd-80ad-dea3b83f53d2"] }, Open ]] }, Open ]] }, Open ]] }, Closed]] } ] *)