(* 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[ 172031, 4941] NotebookOptionsPosition[ 151042, 4563] NotebookOutlinePosition[ 152149, 4595] CellTagsIndexPosition[ 151968, 4588] 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}, 3.727008658228136*^9},ExpressionUUID->"c2809176-4e8b-4cac-8bdd-\ a18deb2caeab"] }, 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, 3.727008679643668*^9},ExpressionUUID->"65647dcd-2ac3-45c2-8c54-\ a1a6594f0d22"] }, 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, 3.72700873795395*^9},ExpressionUUID->"ac2a46f9-2ee5-4aed-b9c7-\ fc40190e7f2b"] }, Open ]], 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,192,18, 19067309671427949855,"Local"}, "MessageTemplate"]], "Message", "MSG", CellChangeTimes->{3.7269897429824867`*^9, 3.726989866251737*^9, 3.726990262375597*^9, 3.72700880356743*^9},ExpressionUUID->"20d3765d-5806-4db0-8a6f-7a487f6996c9"], 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, 3.7270088035874977`*^9},ExpressionUUID->"a199e134-9ca2-4395-a87c-\ 69490aca8435"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ SubscriptBox["a", "n_"], "=", "\[IndentingNewLine]", RowBox[{"Simplify", "[", "\[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, {3.727008913846189*^9, 3.7270089229551983`*^9}, { 3.727008966815406*^9, 3.7270089885538263`*^9}},ExpressionUUID->"59ec892a-c1b8-404d-9dd3-\ bc1206229fee"], Cell[BoxData[ RowBox[{ RowBox[{"-", "95"}], "+", RowBox[{"50", " ", "EulerGamma"}], "+", FractionBox["20", "n"], "-", FractionBox["192", RowBox[{"1", "+", "n"}]], "+", FractionBox["2268", RowBox[{"2", "+", "n"}]], "-", FractionBox["2340", RowBox[{"3", "+", "n"}]], "+", RowBox[{"50", " ", RowBox[{"PolyGamma", "[", RowBox[{"0", ",", "n"}], "]"}]}]}]], "Output", CellChangeTimes->{3.726990372885523*^9, 3.727008862918942*^9, 3.727008925330645*^9, 3.727008975211177*^9},ExpressionUUID->"5f7d461a-10bd-4a6c-a1f6-\ 67944b1695e9"] }, 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[{ RowBox[{"-", FractionBox["183", "2"]}], "+", RowBox[{"50", " ", RowBox[{"(", RowBox[{ FractionBox["25", "12"], "-", "EulerGamma"}], ")"}]}], "+", RowBox[{"50", " ", "EulerGamma"}]}]], "Output", CellChangeTimes->{{3.726990393152672*^9, 3.72699040437568*^9}, 3.727008869243245*^9, 3.727008936487179*^9},ExpressionUUID->"ac504a2e-8464-49f8-8e36-\ 90e86babea5e"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Table", "[", RowBox[{ SubscriptBox["a", "n"], ",", RowBox[{"{", RowBox[{"n", ",", "1", ",", "20"}], "}"}]}], "]"}], "//", "Simplify"}]], "Input", CellChangeTimes->{{3.72698865028659*^9, 3.726988678810697*^9}, { 3.726989507725223*^9, 3.726989512378146*^9}, 3.726990469822007*^9, { 3.727008994888582*^9, 3.727008998325261*^9}},ExpressionUUID->"eececbd9-aa1a-48f8-96b5-\ 16e812382573"], 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"]}], "}"}]], "Output", CellChangeTimes->{ 3.726988682990512*^9, 3.7269895179772463`*^9, 3.726989704897962*^9, { 3.726990463537739*^9, 3.726990471101481*^9}, 3.727008877328094*^9, 3.7270089414867697`*^9, {3.727008981569867*^9, 3.72700900032087*^9}},ExpressionUUID->"a15778cc-0c9f-4c4f-8e75-\ 47b148a1b17e"] }, 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, 3.727009067219349*^9},ExpressionUUID->"b16b0f99-14a5-4679-b721-\ e98d9dac4fd6"] }, 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, 3.727009123300626*^9},ExpressionUUID->"2fe8c806-6885-482f-8646-\ fb7be5ea1a53"] }, 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, 3.727009171120207*^9},ExpressionUUID->"ae53214e-c881-49fb-ab0d-\ f9fb8cb51b9c"] }, 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}, CellLabel-> "In[257]:=",ExpressionUUID->"62d64f93-a1a6-4c53-aabe-fcd5905e0b4b"], Cell[BoxData["0.1666666666666666666666666666666666666666666666666666666667`30.\ "], "Output", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{3.7269916803377438`*^9, 3.726992058891268*^9, 3.72700938302398*^9, 3.75742329141947*^9}, CellLabel-> "Out[257]=",ExpressionUUID->"3a2a19d8-f3e1-4c86-98c4-f7c3e6fb22aa"], Cell[CellGroupData[{ 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}, CellLabel-> "In[258]:=",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, 3.727009400219953*^9, 3.757423291576195*^9}, CellLabel-> "Out[258]=",ExpressionUUID->"06d7297c-187d-4fec-bc7d-1f7949ab311f"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"1", "/", "%"}]], "Input", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{{3.7269917074615307`*^9, 3.72699170991295*^9}, 3.726992058891567*^9}, CellLabel-> "In[259]:=",ExpressionUUID->"91383d2c-f07d-457b-9903-7b77587b8193"], Cell[BoxData["90.`30."], "Output", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{3.726991712158641*^9, 3.7269920588916683`*^9, 3.727009408051116*^9, 3.757423291644952*^9}, CellLabel-> "Out[259]=",ExpressionUUID->"4f7a44a0-665c-41ba-bb60-982498d130f3"] }, Open ]], Cell[CellGroupData[{ 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}, CellLabel-> "In[260]:=",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, 3.72700942470813*^9, 3.7574232917109756`*^9}, CellLabel-> "Out[260]=",ExpressionUUID->"87dec377-dd97-4847-a951-14615cc5ddd7"] }, Open ]], Cell[CellGroupData[{ 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}, CellLabel-> "In[261]:=",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, 3.72700947222243*^9, 3.757423291777718*^9}, CellLabel-> "Out[261]=",ExpressionUUID->"b05ceeaf-7fa3-4499-bfbc-fcd0940f3d22"] }, Open ]], Cell[CellGroupData[{ 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}, CellLabel-> "In[262]:=",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, 3.72700950414355*^9, 3.757423291852333*^9}, CellLabel-> "Out[262]=",ExpressionUUID->"39cdca1a-7472-4825-9a96-b83ec0f5f5d3"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"s", "=", RowBox[{"N", "[", RowBox[{ FractionBox[ RowBox[{"Zeta", "[", "12", "]"}], SuperscriptBox["\[Pi]", "11"]], ",", "30"}], "]"}]}]], "Input", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{{3.7269917826604843`*^9, 3.726991795397936*^9}, 3.72699205889176*^9, {3.726992857665716*^9, 3.726992865135935*^9}, { 3.7574233033962173`*^9, 3.757423304166297*^9}}, CellLabel-> "In[265]:=",ExpressionUUID->"0f8793f7-430a-4c82-afdf-f5b76dfc40c9"], Cell[BoxData["3.3998382939898386978926408928655299127370674474938318`30.*^-6"]\ , "Output", CellChangeTimes->{ 3.726992866990631*^9, 3.727009695668047*^9, {3.757423291936832*^9, 3.757423306507687*^9}}, CellLabel-> "Out[265]=",ExpressionUUID->"e724f509-cbcf-4543-9a4e-0d0771196014"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Rationalize", "[", "s", "]"}]], "Input", CellChangeTimes->{{3.726992871034885*^9, 3.726992882550477*^9}}, CellLabel-> "In[266]:=",ExpressionUUID->"9af76ae7-4296-47df-be77-5ba978d41f42"], Cell[BoxData["3.3998382939898386978926408928655299127370674474938318`30.*^-6"]\ , "Output", CellChangeTimes->{ 3.726992885278708*^9, 3.7270097074246073`*^9, {3.757423292034561*^9, 3.7574233135269957`*^9}}, CellLabel-> "Out[266]=",ExpressionUUID->"ff767c3d-da84-469a-98fe-8a1ffa7462ac"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["A Rational number", "Subsubsection", CellChangeTimes->{{3.757423505199162*^9, 3.75742351500241*^9}},ExpressionUUID->"8207bcf2-1ee8-4fe1-b359-\ a07686d8fa8c"], Cell[BoxData[ RowBox[{"Clear", "[", RowBox[{"r", ",", "s"}], "]"}]], "Input", CellChangeTimes->{{3.7574233466128607`*^9, 3.7574233737112226`*^9}}, CellLabel-> "In[267]:=",ExpressionUUID->"51158d47-97b6-4f27-bc05-4124a1e1a58a"], Cell[BoxData[ RowBox[{ RowBox[{"r", "=", FractionBox["8225", "157984"]}], ";"}]], "Input", CellChangeTimes->{{3.757423390721558*^9, 3.757423433210827*^9}}, CellLabel-> "In[270]:=",ExpressionUUID->"8d80300d-5212-4d84-9b25-eedaf4863258"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"N", "[", RowBox[{"r", ",", "30"}], "]"}]], "Input", CellChangeTimes->{{3.757423441733638*^9, 3.7574234511404047`*^9}}, CellLabel-> "In[271]:=",ExpressionUUID->"cf56eb91-7d9b-46cc-b456-6c590d3213a1"], Cell[BoxData["0.05206223415029370062791168725946931334818715819323475795`30."]\ , "Output", CellChangeTimes->{3.757423453476142*^9}, CellLabel-> "Out[271]=",ExpressionUUID->"aa7a2525-a173-49a8-83e9-8b7336e7b5c7"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Rationalize", "[", "%", "]"}]], "Input", CellChangeTimes->{{3.757423455457233*^9, 3.757423463758107*^9}}, CellLabel-> "In[272]:=",ExpressionUUID->"576aa94a-a2ec-4351-9d41-924140416355"], Cell[BoxData[ FractionBox["8225", "157984"]], "Output", CellChangeTimes->{3.7574234656796503`*^9}, CellLabel-> "Out[272]=",ExpressionUUID->"29e4fdd5-c576-473f-82c3-dbfcb07eca07"] }, 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, 3.7270099255311203`*^9, 3.7275173087285547`*^9},ExpressionUUID->"8c2dca16-0b23-4a8e-89d4-\ 8ec2beb6f3dc"] }, 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, 3.7270102834671392`*^9, 3.727517310469246*^9},ExpressionUUID->"920bf171-5f07-490f-9fae-\ 34a2761aada1"] }, 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, 3.727010290394157*^9, 3.727517310536396*^9},ExpressionUUID->"282c9038-ee62-4721-aa57-\ c5c47a26757f"] }, Open ]], 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.727517310825748*^9}, CellTags-> "Info103727517310-9137412",ExpressionUUID->"e9ca7cbd-b402-4ae0-80dc-\ 553f3d7565c4"] }, 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, 3.72701033823013*^9, {3.727517287328511*^9, 3.727517311317335*^9}},ExpressionUUID->"566a85b5-e2c9-4e1e-93a7-\ 8ca278b6bcaf"] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"bats", "[", "bmax_", "]"}], ":=", "\[IndentingNewLine]", RowBox[{"Module", "[", RowBox[{ RowBox[{"{", RowBox[{"ls", ",", "poss"}], "}"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"ls", "=", "\[IndentingNewLine]", RowBox[{"Flatten", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"{", RowBox[{"h", ",", "b"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "1", ",", "bmax"}], "}"}], ",", RowBox[{"{", RowBox[{"h", ",", "1", ",", "b"}], "}"}]}], "]"}], ",", "1"}], "]"}]}], ";", "\[IndentingNewLine]", 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"}]]}]}], "&"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"Rational", "@@", RowBox[{ RowBox[{"SortBy", "[", RowBox[{"poss", ",", RowBox[{ RowBox[{"#", "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}], "&"}]}], "]"}], "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}]}]}]}], "\[IndentingNewLine]", " ", "]"}]}]], "Input", CellChangeTimes->{{3.727010406725397*^9, 3.7270105582859783`*^9}},ExpressionUUID->"5cbe8462-e851-49f0-a0ea-\ 3600e438669e"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"bats", "[", "1000", "]"}]], "Input", CellChangeTimes->{{3.7270105680205708`*^9, 3.727010581920059*^9}},ExpressionUUID->"72c00ce1-379c-4e44-b7fb-\ 78ec5fdd4a86"], Cell[BoxData[ FractionBox["96", "287"]], "Output", CellChangeTimes->{3.727010575733191*^9, 3.727109732930263*^9, 3.727517313916148*^9},ExpressionUUID->"9eaf5579-2b53-4f4f-8228-\ f7948a439ddf"] }, Open ]] }, Closed]] }, 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}, 3.7270106538400793`*^9},ExpressionUUID->"e85ebbe6-852f-48ff-8139-\ 5026d384afea"] }, 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}, 3.727010777533832*^9},ExpressionUUID->"1a1804e4-705d-49ed-908e-\ 6b0c2ff08692"] }, 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}, 3.727010819972988*^9},ExpressionUUID->"e36aea5f-c104-413f-8ce0-\ b1cfce0c232b"] }, 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}, 3.7270108509188538`*^9},ExpressionUUID->"93665f20-d620-40dd-aa90-\ de76cf9c9fa4"] }, 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}, 3.727010869557116*^9},ExpressionUUID->"59b7a1a0-4254-46ab-8e91-\ 846f3c5208ff"] }, 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}, 3.7270109240901623`*^9},ExpressionUUID->"4f654b1b-2a8d-471c-8314-\ cd1a593ebd5c"] }, 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}, 3.7270109776906853`*^9},ExpressionUUID->"1384a06a-c2c3-43a8-863e-\ 1d95068a8971"] }, 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}, 3.72701100322055*^9},ExpressionUUID->"56c99c51-c15d-422b-adcc-\ 8ba8ade7b61d"] }, 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"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["The Chinese Remainder Theorem", "Subsection", CellChangeTimes->{{3.726997307728508*^9, 3.726997323908902*^9}},ExpressionUUID->"f7a0f677-f53e-4f27-9de9-\ b63db3e0a089"], Cell[TextData[{ "You wish to count the number of soldiers in a well drilled army. If you \ issue the order \[OpenCurlyDoubleQuote]Form ranks of \ n\[CloseCurlyDoubleQuote] the army immediately responds and you note that \ there are ", Cell[BoxData[ FormBox[ RowBox[{ SubscriptBox["r", "n"], " ", "soldiers", " ", "left", " ", "over"}], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "7dfd0cd2-94b5-4f83-a216-076524557a43"], ".\nYou do this for a sequence of mutually prime n\[CloseCurlyQuote]s. Can \ you reconstruct from the ", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox["r", "n"], "'"}], "s", " ", "the", " ", "number", " ", "of", " ", "soldiers", " ", "in", " ", "the", " ", RowBox[{"army", "?"}]}], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "7dbbaa09-56bd-40ab-aa5c-5a2c9f749cac"] }], "Text", CellChangeTimes->{{3.757443280508548*^9, 3.757443423112015*^9}, { 3.757443466530891*^9, 3.7574435339938583`*^9}, {3.7574435749766083`*^9, 3.7574436027091913`*^9}, 3.757443637568727*^9},ExpressionUUID->"b9959570-af69-4696-abb9-\ 9662c8e7b3ee"], 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[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, 3.7270113637238207`*^9},ExpressionUUID->"9e37ef0c-5399-4f95-9090-\ 9b513138bafe"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{"primes", ",", "vals"}], "}"}], "=", RowBox[{"Transpose", "[", "data", "]"}]}]], "Input", CellChangeTimes->{ 3.726997832835431*^9, {3.726997867342411*^9, 3.726997897730644*^9}, { 3.727011391028977*^9, 3.7270113921528397`*^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}, 3.727011443262786*^9},ExpressionUUID->"b631dedc-3679-4f0d-95a8-\ 1f9492e732f7"] }, Open ]], Cell["The answer will be unique modulo this number:", "Text", CellChangeTimes->{{3.7574436950150757`*^9, 3.7574437258198442`*^9}},ExpressionUUID->"d607f135-fed6-4027-b0e9-\ 26ad7016d066"], 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}, 3.7270114582410927`*^9},ExpressionUUID->"f5013b34-d59e-48fd-ac4b-\ e822e675504e"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ChineseRemainder", "[", RowBox[{"vals", ",", "primes"}], "]"}]], "Input", CellChangeTimes->{{3.726997915310093*^9, 3.726997934450704*^9}, { 3.727011467747443*^9, 3.7270114689017076`*^9}},ExpressionUUID->"233badc2-7b82-4dc6-91f2-\ 651a2c6ffc9e"], Cell[BoxData["100345"], "Output", CellChangeTimes->{3.72699793540177*^9, 3.726998025958948*^9, 3.727011471906499*^9},ExpressionUUID->"a5986951-ccd6-459b-a382-\ 8ecc7e50bc47"] }, Open ]] }, Open ]], 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["\<\ A harder problem is to recover a rational number from values modulo a \ collection of primes. The following is real life data from a research problem\ \ \>", "Text", CellChangeTimes->{{3.757443785528241*^9, 3.75744389593647*^9}},ExpressionUUID->"65308c72-d3f8-4fd3-8bd9-\ 40240654fc69"], 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}}, CellLabel-> "In[274]:=",ExpressionUUID->"26d55606-59b4-44d4-8ef0-1d3f1053f115"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Length", "[", "%", "]"}]], "Input", CellChangeTimes->{{3.7257542002069063`*^9, 3.725754209063747*^9}}, CellLabel-> "In[275]:=",ExpressionUUID->"e4cdaec0-02b2-48c4-a5cd-ba31bb0d8318"], Cell[BoxData["76"], "Output", CellChangeTimes->{ 3.7257542106217947`*^9, 3.7257542816003437`*^9, 3.726999177043543*^9, 3.727002694870343*^9, {3.7270119075018883`*^9, 3.727011915789514*^9}, 3.757443995340713*^9}, CellLabel-> "Out[275]=",ExpressionUUID->"238ebbee-5319-4e69-8e30-98d1b45e2a3d"] }, Open ]], Cell["Is there an integer that reproduces this data?", "Text", CellChangeTimes->{{3.757443923961401*^9, 3.7574439507325573`*^9}},ExpressionUUID->"19763eb8-79dc-4dd0-8c1c-\ c0386dd1232a"], 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}}, CellLabel-> "In[276]:=",ExpressionUUID->"899e7726-649d-465a-9c86-a20791bf93b9"], Cell[CellGroupData[{ Cell[BoxData["primes"], "Input", CellChangeTimes->{{3.7259539576314087`*^9, 3.725953959397255*^9}}, CellLabel-> "In[277]:=",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, 3.727011925174395*^9, 3.7574439954379377`*^9}, CellLabel-> "Out[277]=",ExpressionUUID->"fa24badb-4d67-43e9-989b-7b167925e76c"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData["vals"], "Input", CellChangeTimes->{{3.7259539656862698`*^9, 3.725953966987537*^9}}, CellLabel-> "In[278]:=",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, 3.727011930055992*^9, 3.757443995538732*^9}, CellLabel-> "Out[278]=",ExpressionUUID->"5e879ed1-9f79-4cca-9fa1-9ecde54b7042"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"m", "=", RowBox[{"Times", "@@", "primes"}]}]], "Input", CellChangeTimes->{{3.725954004333432*^9, 3.725954019307477*^9}}, CellLabel-> "In[279]:=",ExpressionUUID->"2b552dff-3d60-45bc-a6fb-53ae179e5ab6"], Cell[BoxData[\ "14034381007759063394557539556714876421810773381185683406749405939169724728862\ 682432648464872607361607088642197855139381399657004211183597234464120390419076\ 755164376658920062206218996307338352862494109464163538045481576105660369415393\ 7851568295"], "Output", CellChangeTimes->{3.72595402230899*^9, 3.726999218237225*^9, 3.7270027170390368`*^9, 3.727011937298683*^9, 3.757443995637397*^9}, CellLabel-> "Out[279]=",ExpressionUUID->"d89d86dc-a0de-4dcc-bb13-ec21b3645195"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"N", "[", "m", "]"}]], "Input", CellChangeTimes->{{3.757443975016828*^9, 3.757443978469377*^9}}, CellLabel-> "In[280]:=",ExpressionUUID->"8848c28f-9202-4e59-a4a6-bb7ab8e6554f"], Cell[BoxData["1.4034381007759063`*^242"], "Output", CellChangeTimes->{{3.7574439805943317`*^9, 3.757444001229877*^9}}, CellLabel-> "Out[280]=",ExpressionUUID->"ffde606a-eed0-4ed0-8cf3-0496f1168738"] }, 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}}, CellLabel-> "In[281]:=",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, 3.727011948437482*^9, 3.757444021511759*^9}, CellLabel-> "Out[281]=",ExpressionUUID->"04bb720e-1939-4b89-bd25-7a6d5027d41f"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"N", "[", "z", "]"}]], "Input", CellChangeTimes->{{3.757444024181407*^9, 3.757444028051366*^9}}, CellLabel-> "In[282]:=",ExpressionUUID->"e78e5527-f430-4473-8174-b837b58f53f6"], Cell[BoxData["1.432079694669292`*^241"], "Output", CellChangeTimes->{3.7574440303136787`*^9}, CellLabel-> "Out[282]=",ExpressionUUID->"9a83c729-e353-4934-83f3-0ebde98b0682"] }, Open ]], Cell[TextData[{ "This is huge. Perhaps there is a rational number of low height that \ reproduces the data?\n\nConsider the problem ", Cell[BoxData[ FormBox[ FractionBox["a", "b"], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "6ac46161-132b-4483-8fde-ae90aa8d074c"], " = z mod m and take a and b small compared to m, in the sense that |a|, \ |b| < ", Cell[BoxData[ FormBox[ SqrtBox["m"], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "318e9475-6f5c-4218-a15b-61230fd1d978"], ".\nWe have b z = a + c m, for some integer c and \n", Cell[BoxData[ FormBox[ RowBox[{"|", " ", RowBox[{ RowBox[{"(", RowBox[{"z", "/", "m"}], ")"}], "-", RowBox[{"(", RowBox[{"c", "/", "b"}], ")"}]}], "|"}], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "675986ee-5b65-48b1-a3f3-258ac4bddb57"], " = |a/(m b)| < ", Cell[BoxData[ FormBox[ RowBox[{"1", "/", SqrtBox["m"]}], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "02e02bf4-aa5e-4821-b81a-8234068faeaf"], " , since b\[GreaterEqual]1 and a\[LessEqual] ", Cell[BoxData[ FormBox[ SqrtBox["m"], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "169a3d85-670c-41cc-98a0-4e77aa588fcd"], "\n\nSo if we Rationalize[ N[z/m], ", Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox["m", RowBox[{ RowBox[{"-", "1"}], "/", "2"}]], "]"}], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "62ae9af4-4723-416d-8e68-a32fda12410c"], " we find c/b\nSo now we calculate\nz - m Rationalize[ N[z/m], ", Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox["m", RowBox[{ RowBox[{"-", "1"}], "/", "2"}]], "]"}], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "65c6b811-3165-4662-b1e0-6a761b0f7e45"], " = z - m c/b = a/b .\n" }], "Text", CellChangeTimes->{{3.757444043125638*^9, 3.757444117029896*^9}, { 3.757444156344379*^9, 3.757444359192319*^9}, {3.757444403867323*^9, 3.7574444919631567`*^9}, {3.757444548076653*^9, 3.757444917691889*^9}, { 3.7574449657471237`*^9, 3.757445082651445*^9}},ExpressionUUID->"addb471b-3a72-49fd-8b85-\ 98074fd2613c"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"acc", "=", "121"}]], "Input", CellChangeTimes->{{3.725955255051504*^9, 3.725955262012534*^9}, 3.727012667096904*^9}, CellLabel-> "In[283]:=",ExpressionUUID->"880dc2ab-2e1c-41cb-9ac6-4cc0fdfe7225"], Cell[BoxData["121"], "Output", CellChangeTimes->{3.7259552632796383`*^9, 3.726999241862237*^9, 3.72700273465381*^9, 3.7270126687385063`*^9, 3.7574451696276827`*^9}, CellLabel-> "Out[283]=",ExpressionUUID->"13f09ccf-8a5a-4335-94ed-1ae1399c93f6"] }, 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}}, CellLabel-> "In[284]:=",ExpressionUUID->"0b161a21-0dc9-4f05-aad7-9bc5c933fe52"], Cell[BoxData[ RowBox[{"-", FractionBox["1", "7"]}]], "Output", CellChangeTimes->{3.726052850252378*^9, 3.7270027855934753`*^9, 3.727012700199787*^9, 3.7574451723772163`*^9}, CellLabel-> "Out[284]=",ExpressionUUID->"2d65923d-4d63-4e20-8f25-0a1b78e2113c"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "PowerMod"}]], "Input", CellChangeTimes->{{3.727002901041697*^9, 3.72700290500175*^9}}, CellLabel-> "In[285]:=",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.757445178954143*^9}, CellTags-> "Info2853757445178-1791060",ExpressionUUID->"86865250-2882-4e45-8c6a-\ 54f41b873d61"] }, 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}}, CellLabel-> "In[286]:=",ExpressionUUID->"563d6baf-8975-45d2-bbc3-8768d14c4754"], Cell[BoxData[ TemplateBox[{ "PowerMod","ninv", "\"\\!\\(\\*RowBox[{\\\"0\\\"}]\\) is not invertible modulo \ \\!\\(\\*RowBox[{\\\"7\\\"}]\\).\"",2,286,63,19265875949749888126,"Local"}, "MessageTemplate"]], "Message", "MSG", CellChangeTimes->{3.7270029227073193`*^9, 3.727012737846434*^9, 3.75744518968118*^9}, CellLabel-> "During evaluation of \ In[286]:=",ExpressionUUID->"4cf0cca1-72da-49c3-a6c9-566603fb3099"], 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, 3.7270127378789186`*^9, 3.757445189716743*^9}, CellLabel-> "Out[286]=",ExpressionUUID->"18614b7a-a1c8-41c8-bb36-c6493a8fbb1a"] }, 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}, CellLabel-> "In[287]:=",ExpressionUUID->"036a9524-f25a-4e56-9d57-a7e35ba7e6bf"], Cell[BoxData[ TemplateBox[{ "PowerMod","ninv", "\"\\!\\(\\*RowBox[{\\\"0\\\"}]\\) is not invertible modulo \ \\!\\(\\*RowBox[{\\\"7\\\"}]\\).\"",2,287,64,19265875949749888126,"Local"}, "MessageTemplate"]], "Message", "MSG", CellChangeTimes->{3.727002975921144*^9, 3.727012773936865*^9, 3.757445196023128*^9}, CellLabel-> "During evaluation of \ In[287]:=",ExpressionUUID->"205e7ae4-1569-4701-b01a-c7392766b125"], Cell[BoxData[ RowBox[{"{", RowBox[{"{", RowBox[{"7", ",", "5"}], "}"}], "}"}]], "Output", CellChangeTimes->{ 3.725760495374625*^9, 3.725955643630567*^9, {3.727002950764514*^9, 3.727002975928821*^9}, 3.7270127739574623`*^9, 3.757445196050664*^9}, CellLabel-> "Out[287]=",ExpressionUUID->"09d4f819-d3a1-44bb-a4fa-c3438b4c3b40"] }, Open ]] }, Open ]], Cell["\<\ This was data taken from a real problem {7, 5} was a spurious datum.\ \>", "Text", CellChangeTimes->{{3.7574452535852737`*^9, 3.757445355926227*^9}},ExpressionUUID->"28a9a13c-fcf5-49c4-96f0-\ c9f1fbe7a084"], 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[{"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}, {3.7286352044279222`*^9, 3.728635237709302*^9}, 3.728635596606412*^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, 3.727014266151772*^9, 3.7286352495196667`*^9},ExpressionUUID->"5985a4ac-e832-44ed-ab4e-\ 656a0ef05bdb"] }, 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, 3.727014287042325*^9, 3.728635253527807*^9},ExpressionUUID->"887b6bcf-5a52-4775-9c92-\ eabe5e9ba4ce"] }, 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, 3.72701438279117*^9, 3.7286352583496428`*^9},ExpressionUUID->"e7c90d38-0a47-40c2-866e-\ 91865f7f0657"] }, 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, 3.727014426740768*^9, 3.7286352626460533`*^9},ExpressionUUID->"9cd5dcaf-5b9c-498f-a1fb-\ b3906c00c477"] }, 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, 3.7270144662593317`*^9, 3.7286344998091173`*^9, 3.728635268642488*^9},ExpressionUUID->"77618b57-486e-403d-8912-\ edb7e9f64a8d"] }, 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[{ RowBox[{"-", "1"}], ",", "0", ",", "945"}], "}"}], "}"}]}], SequenceForm["There are extra vectors that can be added: ", {{-1, 0, 945}}], Editable->False]], "Print", CellChangeTimes->{3.716182620048572*^9, 3.727014471898656*^9, 3.728635274496621*^9},ExpressionUUID->"8fc96bed-e466-4ed2-bdc1-\ acb27fe272be"], 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, 3.7270144719083643`*^9, 3.7286352745099277`*^9},ExpressionUUID->"06d77fbf-ed07-4eda-8d5b-\ d636b613fabb"] }, 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[{"281", ",", "77", ",", RowBox[{"-", "192"}], ",", RowBox[{"-", "22"}], ",", RowBox[{"-", "40"}], ",", RowBox[{"-", "6"}], ",", "1", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"281", ",", "77", ",", "89", ",", RowBox[{"-", "226"}], ",", RowBox[{"-", "28"}], ",", RowBox[{"-", "40"}], ",", RowBox[{"-", "5"}], ",", "1", ",", "1", ",", "0"}], "}"}]}], "}"}]}], SequenceForm[ "There are extra vectors that can be added: ", {{281, 77, -192, -22, -40, -6, 1, 1, 0, 0}, {281, 77, 89, -226, -28, -40, -5, 1, 1, 0}}], Editable->False]], "Print", CellChangeTimes->{3.716182620166253*^9, 3.7161827921932697`*^9, 3.7270145966531553`*^9, 3.728635306762582*^9},ExpressionUUID->"4546e949-87f3-45c5-8568-\ 7878515bec2c"], 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, 3.727014596661519*^9, 3.728635306776022*^9},ExpressionUUID->"470a5413-4723-484b-8d0d-\ ef100b128119"] }, Open ]], Cell[BoxData[ RowBox[{"Clear", "[", "t", "]"}]], "Input", CellChangeTimes->{{3.727014732811863*^9, 3.727014737177544*^9}},ExpressionUUID->"9bfa03b7-9809-4655-8c49-\ f797b086f494"], 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, 3.727014707410887*^9, 3.72701474162613*^9, 3.728635388446896*^9},ExpressionUUID->"a6948333-3911-4962-ad66-\ eecebbb88053"] }, 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\ 6315037791325614510558532997963763477`100."], "Output", CellChangeTimes->{3.716138803273241*^9, 3.716138907524747*^9, 3.7161413999849358`*^9, 3.716182620398082*^9, 3.727014770329576*^9, 3.72863541111423*^9},ExpressionUUID->"0bc0332f-0787-4d36-bfd3-40215dcd8263"] }, 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[{"1", ",", "0", ",", RowBox[{"-", "945"}], ",", "0"}], "}"}], "}"}]}], SequenceForm[ "There are extra vectors that can be added: ", {{1, 0, -945, 0}}], Editable->False]], "Print", CellChangeTimes->{3.716141400085915*^9, 3.716182620510057*^9, 3.727014778576413*^9, 3.728635419595763*^9},ExpressionUUID->"dbd9e501-170d-4f61-919f-\ b3543f08759a"], 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, 3.727014778590336*^9, 3.7286354196093283`*^9},ExpressionUUID->"871897b7-d1b6-45a3-b63f-\ 4161ad0d7813"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"findrel", "[", RowBox[{"x", ",", RowBox[{"{", RowBox[{ SuperscriptBox["\[Pi]", "6"], ",", RowBox[{ SuperscriptBox["\[Pi]", "3"], RowBox[{"Zeta", "[", "3", "]"}]}], ",", "1"}], "}"}], ",", "30"}], "]"}]], "Input", CellChangeTimes->{{3.7161388620857143`*^9, 3.7161388861036577`*^9}, { 3.71613892030742*^9, 3.7161389378204927`*^9}, {3.728635450196813*^9, 3.728635483254725*^9}, {3.728635525950075*^9, 3.728635526847958*^9}},ExpressionUUID->"6046adda-078c-405c-969b-\ 8e3e4c7b25dc"], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["34997", "1118880"], ",", FractionBox["3", "5"], ",", FractionBox["52", "31"]}], "}"}]], "Output", CellChangeTimes->{3.716138939503932*^9, 3.716141409806612*^9, 3.716182620781616*^9, 3.727014799167898*^9, 3.728635485435762*^9, 3.728635528760332*^9},ExpressionUUID->"65325e92-129e-4ed4-abd2-\ 06bdc3d9788b"] }, Open ]] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"findrel", "[", RowBox[{"x", ",", RowBox[{"{", RowBox[{ SuperscriptBox["\[Pi]", "6"], ",", RowBox[{ SuperscriptBox["\[Pi]", "3"], RowBox[{"Zeta", "[", "3", "]"}]}], ",", "1"}], "}"}], ",", "100"}], "]"}]], "Input", CellChangeTimes->{{3.7161388620857143`*^9, 3.7161388861036577`*^9}, { 3.71613892030742*^9, 3.7161389378204927`*^9}, {3.728635450196813*^9, 3.728635483254725*^9}, {3.728635525950075*^9, 3.728635526847958*^9}, { 3.72863556921487*^9, 3.728635580653288*^9}},ExpressionUUID->"1c522d53-871d-4a67-bfac-\ 1568a96cdc83"], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["34997", "1118880"], ",", FractionBox["3", "5"], ",", FractionBox["52", "31"]}], "}"}]], "Output", CellChangeTimes->{{3.728635570943439*^9, 3.728635582310515*^9}},ExpressionUUID->"bb99edb2-fc7f-472a-8f53-\ acd16b7ecad0"] }, Open ]] }, CellGrouping->Manual, WindowSize->{1680, 1001}, WindowMargins->{{0, Automatic}, {Automatic, 0}}, FrontEndVersion->"11.3 for Mac OS X x86 (32-bit, 64-bit Kernel) (March 5, \ 2018)", StyleDefinitions->FrontEnd`FileName[{"Report"}, "StandardReport.nb", CharacterEncoding -> "UTF-8"] ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{ "Info103727517310-9137412"->{ Cell[56441, 1760, 847, 16, 86, "Print",ExpressionUUID->"e9ca7cbd-b402-4ae0-80dc-553f3d7565c4", CellTags->"Info103727517310-9137412"]}, "Info1123726997631-3762827"->{ Cell[97225, 3049, 2477, 40, 86, "Print",ExpressionUUID->"3002700f-754e-430f-ab50-3cf043755515", CellTags->"Info1123726997631-3762827"]}, "Info2853757445178-1791060"->{ Cell[120270, 3670, 1468, 25, 114, "Print",ExpressionUUID->"86865250-2882-4e45-8c6a-54f41b873d61", CellTags->"Info2853757445178-1791060"]} } *) (*CellTagsIndex CellTagsIndex->{ {"Info103727517310-9137412", 151455, 4576}, {"Info1123726997631-3762827", 151627, 4579}, {"Info2853757445178-1791060", 151801, 4582} } *) (*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, 1226, 27, 114, "Output",ExpressionUUID->"c2809176-4e8b-4cac-8bdd-a18deb2caeab"] }, Open ]], Cell[CellGroupData[{ Cell[5772, 173, 158, 3, 51, "Input",ExpressionUUID->"d93ad1fd-94ca-4a17-97b6-120948a7c947"], Cell[5933, 178, 1585, 44, 102, "Output",ExpressionUUID->"65647dcd-2ac3-45c2-8c54-a1a6594f0d22"] }, Open ]], Cell[CellGroupData[{ Cell[7555, 227, 355, 7, 51, "Input",ExpressionUUID->"8911e573-03f2-4d01-ae3d-b4f53d26ca3d"], Cell[7913, 236, 700, 20, 69, "Output",ExpressionUUID->"ac2a46f9-2ee5-4aed-b9c7-fc40190e7f2b"] }, Open ]], Cell[8628, 259, 567, 11, 132, "Input",ExpressionUUID->"45236a4c-bcd1-489e-8422-aad84f135f3f"], Cell[CellGroupData[{ Cell[9220, 274, 173, 4, 51, "Input",ExpressionUUID->"b07d945b-e9d1-4fe6-84c8-a765c62a62f7"], Cell[9396, 280, 369, 8, 29, "Message",ExpressionUUID->"20d3765d-5806-4db0-8a6f-7a487f6996c9"], Cell[9768, 290, 506, 15, 77, "Output",ExpressionUUID->"a199e134-9ca2-4395-a87c-69490aca8435"] }, Open ]], Cell[CellGroupData[{ Cell[10311, 310, 760, 15, 158, "Input",ExpressionUUID->"59ec892a-c1b8-404d-9dd3-bc1206229fee"], Cell[11074, 327, 574, 17, 69, "Output",ExpressionUUID->"5f7d461a-10bd-4a6c-a1f6-67944b1695e9"] }, Open ]], Cell[CellGroupData[{ Cell[11685, 349, 176, 4, 51, "Input",ExpressionUUID->"cf70663f-9908-4f4e-bfb6-e044bd8d0fba"], Cell[11864, 355, 417, 12, 68, "Output",ExpressionUUID->"ac504a2e-8464-49f8-8e36-90e86babea5e"] }, Open ]], Cell[CellGroupData[{ Cell[12318, 372, 450, 12, 51, "Input",ExpressionUUID->"eececbd9-aa1a-48f8-96b5-16e812382573"], Cell[12771, 386, 1114, 26, 114, "Output",ExpressionUUID->"a15778cc-0c9f-4c4f-8e75-47b148a1b17e"] }, Open ]], Cell[CellGroupData[{ Cell[13922, 417, 398, 12, 55, "Input",ExpressionUUID->"d0760e86-32a9-42cf-9dc8-33472ce898cf"], Cell[14323, 431, 1126, 36, 77, "Output",ExpressionUUID->"b16b0f99-14a5-4679-b721-e98d9dac4fd6"] }, Open ]], Cell[CellGroupData[{ Cell[15486, 472, 281, 7, 51, "Input",ExpressionUUID->"bc2cbfc4-6f5a-4f5e-8ca6-4fcebde8afa2"], Cell[15770, 481, 989, 33, 80, "Output",ExpressionUUID->"2fe8c806-6885-482f-8646-fb7be5ea1a53"] }, Open ]], Cell[CellGroupData[{ Cell[16796, 519, 177, 4, 51, "Input",ExpressionUUID->"f114a5eb-30ab-41ca-9c2d-6ab30ee366ad"], Cell[16976, 525, 294, 8, 52, "Output",ExpressionUUID->"ae53214e-c881-49fb-ab0d-f9fb8cb51b9c"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[17319, 539, 177, 3, 41, "Subsection",ExpressionUUID->"93efdddd-c0e7-490c-9837-75f2dc51ffb7"], Cell[CellGroupData[{ Cell[17521, 546, 174, 3, 41, "Subsubsection",ExpressionUUID->"5a916393-cc07-4f2f-b2ff-c0ae042329bb"], Cell[CellGroupData[{ Cell[17720, 553, 395, 10, 74, "Input",ExpressionUUID->"62d64f93-a1a6-4c53-aabe-fcd5905e0b4b", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[18118, 565, 342, 6, 51, "Output",ExpressionUUID->"3a2a19d8-f3e1-4c86-98c4-f7c3e6fb22aa", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[CellGroupData[{ Cell[18485, 575, 617, 13, 74, "Input",ExpressionUUID->"0871c25f-cd91-4b68-a996-fb455ed50ed5", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[19105, 590, 463, 8, 51, "Output",ExpressionUUID->"06d7297c-187d-4fec-bc7d-1f7949ab311f", CellGroupingRules->{"GroupTogetherGrouping", 10000.}] }, Open ]], Cell[CellGroupData[{ Cell[19605, 603, 280, 6, 51, "Input",ExpressionUUID->"91383d2c-f07d-457b-9903-7b77587b8193", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[19888, 611, 285, 5, 51, "Output",ExpressionUUID->"4f7a44a0-665c-41ba-bb60-982498d130f3", CellGroupingRules->{"GroupTogetherGrouping", 10000.}] }, Open ]], Cell[CellGroupData[{ Cell[20210, 621, 423, 11, 74, "Input",ExpressionUUID->"7eac9a70-dcd8-4bcc-b2e7-2b985568478c", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[20636, 634, 368, 6, 52, "Output",ExpressionUUID->"87dec377-dd97-4847-a951-14615cc5ddd7", CellGroupingRules->{"GroupTogetherGrouping", 10000.}] }, Open ]], Cell[CellGroupData[{ Cell[21041, 645, 446, 8, 51, "Input",ExpressionUUID->"ff9c3243-b884-4cfd-bb8d-4b0452862503", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[21490, 655, 460, 9, 69, "Output",ExpressionUUID->"b05ceeaf-7fa3-4499-bfbc-fcd0940f3d22", CellGroupingRules->{"GroupTogetherGrouping", 10000.}] }, Open ]], Cell[CellGroupData[{ Cell[21987, 669, 410, 8, 71, "Input",ExpressionUUID->"3f4ea3e1-6b0f-44dc-9a13-0d27d98bc2fe", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[22400, 679, 321, 5, 52, "Output",ExpressionUUID->"39cdca1a-7472-4825-9a96-b83ec0f5f5d3", CellGroupingRules->{"GroupTogetherGrouping", 10000.}] }, Open ]], Cell[CellGroupData[{ Cell[22758, 689, 521, 12, 74, "Input",ExpressionUUID->"0f8793f7-430a-4c82-afdf-f5b76dfc40c9", CellGroupingRules->{"GroupTogetherGrouping", 10000.}], Cell[23282, 703, 291, 6, 52, "Output",ExpressionUUID->"e724f509-cbcf-4543-9a4e-0d0771196014"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[23622, 715, 213, 4, 51, "Input",ExpressionUUID->"9af76ae7-4296-47df-be77-5ba978d41f42"], Cell[23838, 721, 295, 6, 52, "Output",ExpressionUUID->"ff767c3d-da84-469a-98fe-8a1ffa7462ac"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[24182, 733, 167, 3, 40, "Subsubsection",ExpressionUUID->"8207bcf2-1ee8-4fe1-b359-a07686d8fa8c"], Cell[24352, 738, 234, 5, 51, "Input",ExpressionUUID->"51158d47-97b6-4f27-bc05-4124a1e1a58a"], Cell[24589, 745, 246, 6, 71, "Input",ExpressionUUID->"8d80300d-5212-4d84-9b25-eedaf4863258"], Cell[CellGroupData[{ Cell[24860, 755, 229, 5, 51, "Input",ExpressionUUID->"cf56eb91-7d9b-46cc-b456-6c590d3213a1"], Cell[25092, 762, 216, 4, 51, "Output",ExpressionUUID->"aa7a2525-a173-49a8-83e9-8b7336e7b5c7"] }, Open ]], Cell[CellGroupData[{ Cell[25345, 771, 213, 4, 51, "Input",ExpressionUUID->"576aa94a-a2ec-4351-9d41-924140416355"], Cell[25561, 777, 183, 4, 69, "Output",ExpressionUUID->"29e4fdd5-c576-473f-82c3-dbfcb07eca07"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[25793, 787, 168, 3, 40, "Subsubsection",ExpressionUUID->"59c2bc98-6bf1-4ba4-ad5a-82021927f307"], Cell[25964, 792, 476, 10, 101, "Text",ExpressionUUID->"b6e8db86-00e0-4ed3-8b36-6441e94b3697"], Cell[CellGroupData[{ Cell[26465, 806, 293, 8, 55, "Input",ExpressionUUID->"de61f93d-9c5f-4df1-9332-80cb7adc2a58"], Cell[26761, 816, 252, 5, 69, "Output",ExpressionUUID->"8c2dca16-0b23-4a8e-89d4-8ec2beb6f3dc"] }, Open ]], Cell[27028, 824, 666, 17, 104, "Input",ExpressionUUID->"b26b222c-ad39-4969-94f8-c907daa782dd"], Cell[27697, 843, 714, 20, 73, "Input",ExpressionUUID->"16e4d7ef-44b9-4fb2-af16-4de2b23e7770"], Cell[CellGroupData[{ Cell[28436, 867, 188, 4, 51, "Input",ExpressionUUID->"a0f70a3e-f82d-4f50-8f88-dc9bcdcc90c9"], Cell[28627, 873, 178, 3, 51, "Output",ExpressionUUID->"920bf171-5f07-490f-9fae-34a2761aada1"] }, Open ]], Cell[CellGroupData[{ Cell[28842, 881, 158, 3, 51, "Input",ExpressionUUID->"f4aa15b0-b219-424b-ac85-d81499602f8f"], Cell[29003, 886, 27223, 863, 936, "Output",ExpressionUUID->"282c9038-ee62-4721-aa57-c5c47a26757f"] }, Open ]], Cell[CellGroupData[{ Cell[56263, 1754, 175, 4, 51, "Input",ExpressionUUID->"2e82b0d2-c98a-41f4-84f5-ff7bf20a85cf"], Cell[56441, 1760, 847, 16, 86, "Print",ExpressionUUID->"e9ca7cbd-b402-4ae0-80dc-553f3d7565c4", CellTags->"Info103727517310-9137412"] }, Open ]], Cell[CellGroupData[{ Cell[57325, 1781, 304, 8, 51, "Input",ExpressionUUID->"7ac399fa-d513-47f2-987d-53633cb736ed"], Cell[57632, 1791, 27250, 864, 936, "Output",ExpressionUUID->"566a85b5-e2c9-4e1e-93a7-8ca278b6bcaf"] }, Open ]], Cell[84897, 2658, 1786, 48, 276, "Input",ExpressionUUID->"5cbe8462-e851-49f0-a0ea-3600e438669e"], Cell[CellGroupData[{ Cell[86708, 2710, 188, 4, 51, "Input",ExpressionUUID->"72c00ce1-379c-4e44-b7fb-78ec5fdd4a86"], Cell[86899, 2716, 197, 4, 69, "Output",ExpressionUUID->"9eaf5579-2b53-4f4f-8228-f7948a439ddf"] }, Open ]] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell[87157, 2727, 230, 4, 41, "Subsection",ExpressionUUID->"99f42220-958a-486e-b2e4-9f351bed8353"], Cell[87390, 2733, 322, 9, 54, "Input",ExpressionUUID->"0fbaf712-0d2e-4830-b327-2462ff281ad4"], Cell[CellGroupData[{ Cell[87737, 2746, 294, 6, 51, "Input",ExpressionUUID->"80d22550-dcd9-4fe0-b8a1-86867cce8911"], Cell[88034, 2754, 359, 9, 52, "Output",ExpressionUUID->"e85ebbe6-852f-48ff-8139-5026d384afea"] }, Open ]], Cell[CellGroupData[{ Cell[88430, 2768, 356, 7, 51, "Input",ExpressionUUID->"3a7663e9-22de-4d84-a5a6-fe1376d9a4af"], Cell[88789, 2777, 247, 5, 51, "Output",ExpressionUUID->"1a1804e4-705d-49ed-908e-6b0c2ff08692"] }, Open ]], Cell[CellGroupData[{ Cell[89073, 2787, 315, 6, 51, "Input",ExpressionUUID->"32cb3ee4-26c7-4a37-b282-92cfb7ed06ce"], Cell[89391, 2795, 423, 12, 55, "Output",ExpressionUUID->"e36aea5f-c104-413f-8ce0-b1cfce0c232b"] }, Open ]], Cell[CellGroupData[{ Cell[89851, 2812, 299, 7, 51, "Input",ExpressionUUID->"1d7f37e8-e3fb-4263-8310-03c4085ce9e3"], Cell[90153, 2821, 309, 8, 52, "Output",ExpressionUUID->"93665f20-d620-40dd-aa90-de76cf9c9fa4"] }, Open ]], Cell[CellGroupData[{ Cell[90499, 2834, 265, 6, 51, "Input",ExpressionUUID->"e9f63a5c-b910-4473-89af-4d3db5f22882"], Cell[90767, 2842, 893, 32, 67, "Output",ExpressionUUID->"59b7a1a0-4254-46ab-8e91-846f3c5208ff"] }, Open ]], Cell[CellGroupData[{ Cell[91697, 2879, 311, 9, 61, "Input",ExpressionUUID->"472cf28a-fcd4-4015-8574-83dd0c77a72e"], Cell[92011, 2890, 210, 4, 51, "Output",ExpressionUUID->"4f654b1b-2a8d-471c-8314-cd1a593ebd5c"] }, Open ]], Cell[CellGroupData[{ Cell[92258, 2899, 344, 7, 51, "Input",ExpressionUUID->"d2c8cf12-0845-4b49-a15e-34d48d3e7acf", CellID->126272381], Cell[92605, 2908, 971, 28, 55, "Output",ExpressionUUID->"1384a06a-c2c3-43a8-863e-1d95068a8971"] }, Open ]], Cell[CellGroupData[{ Cell[93613, 2941, 346, 7, 51, "Input",ExpressionUUID->"2e6cd11f-fefa-47ba-8859-26900da2b690", CellID->1152671896], Cell[93962, 2950, 1123, 32, 55, "Output",ExpressionUUID->"56c99c51-c15d-422b-adcc-8ba8ade7b61d"] }, Open ]], Cell[CellGroupData[{ Cell[95122, 2987, 259, 6, 51, "Input",ExpressionUUID->"25f90edd-ac2b-4e13-9ed3-0481030fbb95"], Cell[95384, 2995, 245, 5, 51, "Output",ExpressionUUID->"c1a8541d-400a-4dbf-9452-b74ebc615be3"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell[95678, 3006, 177, 3, 41, "Subsection",ExpressionUUID->"f7a0f677-f53e-4f27-9de9-b63db3e0a089"], Cell[95858, 3011, 1154, 28, 72, "Text",ExpressionUUID->"b9959570-af69-4696-abb9-9662c8e7b3ee"], Cell[CellGroupData[{ Cell[97037, 3043, 185, 4, 51, "Input",ExpressionUUID->"51a2e1d0-d494-4a3f-bafb-8af01fa831d9"], Cell[97225, 3049, 2477, 40, 86, "Print",ExpressionUUID->"3002700f-754e-430f-ab50-3cf043755515", CellTags->"Info1123726997631-3762827"] }, Open ]], Cell[CellGroupData[{ Cell[99739, 3094, 614, 16, 51, "Input",ExpressionUUID->"f9a9367b-556a-4d4b-8272-9b6646fed99a"], Cell[100356, 3112, 730, 22, 51, "Output",ExpressionUUID->"9e37ef0c-5399-4f95-9090-9b513138bafe"] }, Open ]], Cell[CellGroupData[{ Cell[101123, 3139, 347, 9, 51, "Input",ExpressionUUID->"af43a81f-0361-4708-ad2d-5d96ad567cc7"], Cell[101473, 3150, 496, 14, 51, "Output",ExpressionUUID->"b631dedc-3679-4f0d-95a8-1f9492e732f7"] }, Open ]], Cell[101984, 3167, 191, 3, 43, "Text",ExpressionUUID->"d607f135-fed6-4027-b0e9-26ad7016d066"], Cell[CellGroupData[{ Cell[102200, 3174, 184, 4, 51, "Input",ExpressionUUID->"ba213359-028b-4ef8-a8cc-084b4d77c561"], Cell[102387, 3180, 185, 3, 51, "Output",ExpressionUUID->"f5013b34-d59e-48fd-ac4b-e822e675504e"] }, Open ]], Cell[CellGroupData[{ Cell[102609, 3188, 277, 6, 51, "Input",ExpressionUUID->"233badc2-7b82-4dc6-91f2-651a2c6ffc9e"], Cell[102889, 3196, 178, 3, 51, "Output",ExpressionUUID->"a5986951-ccd6-459b-a382-8ecc7e50bc47"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[103116, 3205, 188, 3, 42, "Subsection",ExpressionUUID->"332b330d-a1d6-4eaf-b2b1-018b9ba9229f"], Cell[103307, 3210, 300, 7, 43, "Text",ExpressionUUID->"65308c72-d3f8-4fd3-8bd9-40240654fc69"], Cell[103610, 3219, 5596, 161, 260, "Input",ExpressionUUID->"26d55606-59b4-44d4-8ef0-1d3f1053f115"], Cell[CellGroupData[{ Cell[109231, 3384, 210, 4, 51, "Input",ExpressionUUID->"e4cdaec0-02b2-48c4-a5cd-ba31bb0d8318"], Cell[109444, 3390, 305, 6, 51, "Output",ExpressionUUID->"238ebbee-5319-4e69-8e30-98d1b45e2a3d"] }, Open ]], Cell[109764, 3399, 190, 3, 43, "Text",ExpressionUUID->"19763eb8-79dc-4dd0-8c1c-c0386dd1232a"], Cell[109957, 3404, 447, 10, 51, "Input",ExpressionUUID->"899e7726-649d-465a-9c86-a20791bf93b9"], Cell[CellGroupData[{ Cell[110429, 3418, 183, 3, 51, "Input",ExpressionUUID->"a87c649f-82bf-43da-aaa0-18391747884b"], Cell[110615, 3423, 1297, 20, 104, "Output",ExpressionUUID->"fa24badb-4d67-43e9-989b-7b167925e76c"] }, Open ]], Cell[CellGroupData[{ Cell[111949, 3448, 181, 3, 51, "Input",ExpressionUUID->"bb0c8c0c-a79e-4ce5-a2d1-d3f07475ca7f"], Cell[112133, 3453, 1261, 19, 104, "Output",ExpressionUUID->"5e879ed1-9f79-4cca-9fa1-9ecde54b7042"] }, Open ]], Cell[CellGroupData[{ Cell[113431, 3477, 231, 5, 51, "Input",ExpressionUUID->"2b552dff-3d60-45bc-a6fb-53ae179e5ab6"], Cell[113665, 3484, 495, 8, 78, "Output",ExpressionUUID->"d89d86dc-a0de-4dcc-bb13-ec21b3645195"] }, Open ]], Cell[CellGroupData[{ Cell[114197, 3497, 203, 4, 51, "Input",ExpressionUUID->"8848c28f-9202-4e59-a4a6-bb7ab8e6554f"], Cell[114403, 3503, 202, 3, 52, "Output",ExpressionUUID->"ffde606a-eed0-4ed0-8cf3-0496f1168738"] }, Open ]], Cell[CellGroupData[{ Cell[114642, 3511, 474, 9, 51, "Input",ExpressionUUID->"9e27896e-8794-4e19-8cc4-2e0ef115ace3"], Cell[115119, 3522, 518, 9, 78, "Output",ExpressionUUID->"04bb720e-1939-4b89-bd25-7a6d5027d41f"] }, Open ]], Cell[CellGroupData[{ Cell[115674, 3536, 203, 4, 51, "Input",ExpressionUUID->"e78e5527-f430-4473-8174-b837b58f53f6"], Cell[115880, 3542, 177, 3, 52, "Output",ExpressionUUID->"9a83c729-e353-4934-83f3-0ebde98b0682"] }, Open ]], Cell[116072, 3548, 2243, 64, 317, "Text",ExpressionUUID->"addb471b-3a72-49fd-8b85-98074fd2613c"], Cell[CellGroupData[{ Cell[118340, 3616, 228, 5, 51, "Input",ExpressionUUID->"880dc2ab-2e1c-41cb-9ac6-4cc0fdfe7225"], Cell[118571, 3623, 251, 4, 51, "Output",ExpressionUUID->"13f09ccf-8a5a-4335-94ed-1ae1399c93f6"] }, Open ]], Cell[CellGroupData[{ Cell[118859, 3632, 905, 19, 67, "Input",ExpressionUUID->"0b161a21-0dc9-4f05-aad7-9bc5c933fe52"], Cell[119767, 3653, 264, 6, 68, "Output",ExpressionUUID->"2d65923d-4d63-4e20-8f25-0a1b78e2113c"] }, Open ]], Cell[CellGroupData[{ Cell[120068, 3664, 199, 4, 51, "Input",ExpressionUUID->"37abda47-3c53-4aca-a71f-21a172ef82ca"], Cell[120270, 3670, 1468, 25, 114, "Print",ExpressionUUID->"86865250-2882-4e45-8c6a-54f41b873d61", CellTags->"Info2853757445178-1791060"] }, Open ]], Cell[CellGroupData[{ Cell[121775, 3700, 648, 16, 51, "Input",ExpressionUUID->"563d6baf-8975-45d2-bbc3-8768d14c4754"], Cell[122426, 3718, 427, 10, 29, "Message",ExpressionUUID->"4cf0cca1-72da-49c3-a6c9-566603fb3099"], Cell[122856, 3730, 5285, 163, 208, "Output",ExpressionUUID->"18614b7a-a1c8-41c8-bb36-c6493a8fbb1a"] }, Open ]], Cell[CellGroupData[{ Cell[128178, 3898, 620, 16, 51, "Input",ExpressionUUID->"036a9524-f25a-4e56-9d57-a7e35ba7e6bf"], Cell[128801, 3916, 426, 10, 29, "Message",ExpressionUUID->"205e7ae4-1569-4701-b01a-c7392766b125"], Cell[129230, 3928, 343, 8, 51, "Output",ExpressionUUID->"09d4f819-d3a1-44bb-a4fa-c3438b4c3b40"] }, Open ]] }, Open ]], Cell[129600, 3940, 220, 5, 43, "Text",ExpressionUUID->"28a9a13c-fcf5-49c4-96f0-c9f1fbe7a084"], Cell[CellGroupData[{ Cell[129845, 3949, 167, 3, 42, "Subsection",ExpressionUUID->"e9d7e0f5-ad82-481a-bbf0-23d010e8c8de"], Cell[130015, 3954, 3065, 82, 360, "Input",ExpressionUUID->"6faf3b63-e9b8-4abf-997b-3ce33ad7e16a"], Cell[CellGroupData[{ Cell[133105, 4040, 480, 14, 66, "Input",ExpressionUUID->"d5aab5c2-3e6c-4a3c-a0ef-1c618a97176a"], Cell[133588, 4056, 474, 10, 51, "Output",ExpressionUUID->"5985a4ac-e832-44ed-ab4e-656a0ef05bdb"] }, Open ]], Cell[CellGroupData[{ Cell[134099, 4071, 174, 3, 41, "Subsubsection",ExpressionUUID->"f331a640-87c9-48bb-b45a-2803f48ecdd6"], Cell[CellGroupData[{ Cell[134298, 4078, 399, 12, 66, "Input",ExpressionUUID->"7df75cb0-5705-4306-920b-4eaf84bb53cc"], Cell[134700, 4092, 255, 4, 51, "Output",ExpressionUUID->"887b6bcf-5a52-4775-9c92-eabe5e9ba4ce"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[135004, 4102, 156, 3, 87, "Section",ExpressionUUID->"08b4ddb7-f2b4-4afd-bf3a-37c57b8cdef1"], Cell[CellGroupData[{ Cell[135185, 4109, 293, 9, 55, "Input",ExpressionUUID->"494c3f61-73f3-4a15-95bb-55fea0753303"], Cell[135481, 4120, 359, 5, 51, "Output",ExpressionUUID->"e7c90d38-0a47-40c2-866e-91865f7f0657"] }, Open ]], Cell[CellGroupData[{ Cell[135877, 4130, 500, 12, 55, "Input",ExpressionUUID->"f7bef780-fc94-4234-b9b4-9852452b565c"], Cell[136380, 4144, 373, 7, 51, "Output",ExpressionUUID->"9cd5dcaf-5b9c-498f-a1fb-b3906c00c477"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[136802, 4157, 156, 3, 87, "Section",ExpressionUUID->"365702cf-f759-461a-9f65-a43d6f5bd278"], Cell[CellGroupData[{ Cell[136983, 4164, 871, 21, 75, "Input",ExpressionUUID->"f0881516-5dfc-4ac9-a53e-59ed5b90da23"], Cell[137857, 4187, 630, 10, 51, "Output",ExpressionUUID->"77618b57-486e-403d-8912-edb7e9f64a8d"] }, Open ]], Cell[CellGroupData[{ Cell[138524, 4202, 772, 17, 55, "Input",ExpressionUUID->"7e0eb221-3cca-461b-94e1-e0e6e48f77d1"], Cell[139299, 4221, 496, 12, 29, "Print",ExpressionUUID->"8fc96bed-e466-4ed2-bdc1-acb27fe272be"], Cell[139798, 4235, 715, 15, 69, "Output",ExpressionUUID->"06d77fbf-ed07-4eda-8d5b-d636b613fabb"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[140562, 4256, 154, 3, 87, "Section",ExpressionUUID->"224a8f2a-7078-4109-9910-e86e42c4a8ed"], Cell[CellGroupData[{ Cell[140741, 4263, 488, 14, 42, "Subsubsection",ExpressionUUID->"0e46fb48-19cb-4185-8d4d-ffaee047f670"], Cell[CellGroupData[{ Cell[141254, 4281, 1260, 27, 60, "Input",ExpressionUUID->"7eede8e7-7398-48a7-9a1f-74188f08b38f"], Cell[142517, 4310, 1020, 27, 29, "Print",ExpressionUUID->"4546e949-87f3-45c5-8568-7878515bec2c"], Cell[143540, 4339, 1142, 24, 69, "Output",ExpressionUUID->"470a5413-4723-484b-8d0d-ef100b128119"] }, Open ]], Cell[144697, 4366, 184, 4, 51, "Input",ExpressionUUID->"9bfa03b7-9809-4655-8c49-f797b086f494"], Cell[CellGroupData[{ Cell[144906, 4374, 407, 10, 55, "Input",ExpressionUUID->"4d5b4980-486f-4ca2-9160-89bf95e227a5"], Cell[145316, 4386, 532, 14, 52, "Output",ExpressionUUID->"a6948333-3911-4962-ad66-eecebbb88053"] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[145909, 4407, 156, 3, 87, "Section",ExpressionUUID->"12cde539-58b0-45dd-8256-ee13dbbe59d2"], Cell[CellGroupData[{ Cell[146090, 4414, 167, 3, 41, "Subsubsection",ExpressionUUID->"808c672e-fe26-41ad-a010-ce023d997b68"], Cell[CellGroupData[{ Cell[146282, 4421, 1008, 23, 75, "Input",ExpressionUUID->"cf757cf7-f64e-432c-80fe-3e16635cf395"], Cell[147293, 4446, 368, 5, 51, "Output",ExpressionUUID->"0bc0332f-0787-4d36-bfd3-40215dcd8263"] }, Open ]], Cell[CellGroupData[{ Cell[147698, 4456, 444, 13, 55, "Input",ExpressionUUID->"3a407c85-44ca-45de-86f8-af8ccf9e5559"], Cell[148145, 4471, 537, 14, 29, "Print",ExpressionUUID->"dbd9e501-170d-4f61-919f-b3543f08759a"], Cell[148685, 4487, 413, 10, 69, "Output",ExpressionUUID->"871897b7-d1b6-45a3-b63f-4161ad0d7813"] }, Open ]], Cell[CellGroupData[{ Cell[149135, 4502, 550, 14, 55, "Input",ExpressionUUID->"6046adda-078c-405c-969b-8e3e4c7b25dc"], Cell[149688, 4518, 376, 9, 69, "Output",ExpressionUUID->"65325e92-129e-4ed4-abd2-06bdc3d9788b"] }, Open ]] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[150137, 4535, 599, 15, 55, "Input",ExpressionUUID->"1c522d53-871d-4a67-bfac-1568a96cdc83"], Cell[150739, 4552, 287, 8, 69, "Output",ExpressionUUID->"bb99edb2-fc7f-472a-8f53-acd16b7ecad0"] }, Open ]] } ] *)