(* 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[ 85382, 2231] NotebookOptionsPosition[ 74761, 2039] NotebookOutlinePosition[ 75220, 2057] CellTagsIndexPosition[ 75177, 2054] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell["Scientific Programming 5", "Chapter", CellChangeTimes->{{3.724943992364118*^9, 3.724944007146431*^9}, 3.725524593957123*^9, 3.726336972840088*^9, 3.727003161874263*^9, 3.791108043260861*^9},ExpressionUUID->"56e80fe5-ce6c-41d1-b66a-\ 0fb700393263"], Cell["Lattice Reduction", "Section", CellChangeTimes->{{3.791112211967801*^9, 3.79111223468692*^9}},ExpressionUUID->"14bb3802-16a1-45a8-95e4-\ 843953412e77"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"LatticeReduce", "[", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1000", ",", "1"}], "}"}]}], "}"}], "]"}]], "Input", CellChangeTimes->{{3.791113566407984*^9, 3.791113613443845*^9}}, CellLabel-> "In[163]:=",ExpressionUUID->"21a79c06-1d1a-43cb-94a8-649e0bb57136"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.791113615499387*^9}, CellLabel-> "Out[163]=",ExpressionUUID->"8a91a0fb-6b06-4706-b6a3-7bdf2f1fe7e6"] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ SubscriptBox["v", "1"], ",", SubscriptBox["v", "2"], ",", SubscriptBox["v", "3"]}], "}"}], "=", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "1345"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "35"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "154"}], "}"}]}], "}"}]}], ";"}]], "Input", CellChangeTimes->{{3.7911127302770367`*^9, 3.791112750234025*^9}, { 3.791112797456379*^9, 3.7911128308639402`*^9}}, CellLabel-> "In[152]:=",ExpressionUUID->"4b51678e-6a82-4e5f-b6fa-870ba0ca632d"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Norm", "/@", RowBox[{"{", RowBox[{ SubscriptBox["v", "1"], ",", SubscriptBox["v", "2"], ",", SubscriptBox["v", "3"]}], "}"}]}]], "Input", CellChangeTimes->{{3.791112836883062*^9, 3.791112850117263*^9}}, CellLabel-> "In[153]:=",ExpressionUUID->"12b547d8-842a-437b-8c58-c29e7aab1c1c"], Cell[BoxData[ RowBox[{"{", RowBox[{ SqrtBox["1809026"], ",", SqrtBox["1226"], ",", SqrtBox["23717"]}], "}"}]], "Output", CellChangeTimes->{3.791112972381501*^9}, CellLabel-> "Out[153]=",ExpressionUUID->"943134d8-b572-4f23-94e8-3b820a89c391"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{ SubscriptBox["u", "1"], ",", SubscriptBox["u", "2"], ",", SubscriptBox["u", "3"]}], "}"}], "=", RowBox[{"LatticeReduce", "[", RowBox[{"{", RowBox[{ SubscriptBox["v", "1"], ",", SubscriptBox["v", "2"], ",", SubscriptBox["v", "3"]}], "}"}], "]"}]}]], "Input", CellChangeTimes->{{3.791112315400316*^9, 3.791112315402204*^9}, { 3.791112888299559*^9, 3.791112908829399*^9}}, CellLabel-> "In[150]:=",ExpressionUUID->"c19889c6-648a-4ad4-889f-73279cfeaf85"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "9", ",", RowBox[{"-", "2"}], ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", RowBox[{"-", "9"}], ",", RowBox[{"-", "6"}]}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", RowBox[{"-", "3"}], ",", RowBox[{"-", "8"}], ",", "8"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.7911124528327208`*^9, 3.791112912394912*^9}, CellLabel-> "Out[150]=",ExpressionUUID->"92f124ed-f6c5-4c6d-8d85-bba86eedbebb"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Norm", "/@", RowBox[{"{", RowBox[{ SubscriptBox["u", "1"], ",", SubscriptBox["u", "2"], ",", SubscriptBox["u", "3"]}], "}"}]}]], "Input", CellChangeTimes->{{3.7911129159611197`*^9, 3.791112929464497*^9}}, CellLabel-> "In[151]:=",ExpressionUUID->"1c2eb959-2807-4a52-a146-260442ab74f6"], Cell[BoxData[ RowBox[{"{", RowBox[{ SqrtBox["134"], ",", SqrtBox["119"], ",", SqrtBox["138"]}], "}"}]], "Output", CellChangeTimes->{3.791112935543045*^9}, CellLabel-> "Out[151]=",ExpressionUUID->"da15c153-11ed-4205-953d-a8395ead72c5"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Asoln", "=", "\[IndentingNewLine]", RowBox[{ RowBox[{"Solve", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{ SubscriptBox["v", "i"], "-", RowBox[{"Sum", "[", RowBox[{ RowBox[{ SubscriptBox["A", RowBox[{"i", ",", "j"}]], SubscriptBox["u", "j"]}], ",", RowBox[{"{", RowBox[{"j", ",", "1", ",", "3"}], "}"}]}], "]"}]}], ",", RowBox[{"{", RowBox[{"i", ",", "1", ",", "3"}], "}"}]}], "]"}], "\[Equal]", "0"}], "]"}], "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}]}]], "Input",\ CellChangeTimes->{{3.791113171684443*^9, 3.791113303970517*^9}, { 3.7911134084642057`*^9, 3.791113428602599*^9}}, CellLabel-> "In[157]:=",ExpressionUUID->"19e8caaf-2802-4b47-ab7d-d942ca939b63"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ SubscriptBox["A", RowBox[{"1", ",", "1"}]], "\[Rule]", "35"}], ",", RowBox[{ SubscriptBox["A", RowBox[{"1", ",", "2"}]], "\[Rule]", RowBox[{"-", "78"}]}], ",", RowBox[{ SubscriptBox["A", RowBox[{"1", ",", "3"}]], "\[Rule]", "79"}], ",", RowBox[{ SubscriptBox["A", RowBox[{"2", ",", "1"}]], "\[Rule]", "1"}], ",", RowBox[{ SubscriptBox["A", RowBox[{"2", ",", "2"}]], "\[Rule]", RowBox[{"-", "2"}]}], ",", RowBox[{ SubscriptBox["A", RowBox[{"2", ",", "3"}]], "\[Rule]", "2"}], ",", RowBox[{ SubscriptBox["A", RowBox[{"3", ",", "1"}]], "\[Rule]", "4"}], ",", RowBox[{ SubscriptBox["A", RowBox[{"3", ",", "2"}]], "\[Rule]", RowBox[{"-", "9"}]}], ",", RowBox[{ SubscriptBox["A", RowBox[{"3", ",", "3"}]], "\[Rule]", "9"}]}], "}"}]], "Output", CellChangeTimes->{ 3.791113305558943*^9, {3.791113416754703*^9, 3.791113430456335*^9}}, CellLabel-> "Out[157]=",ExpressionUUID->"3ee09ee0-a8c5-4a94-9c6a-48ee627c1c9d"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"Amat", ":=", "\[IndentingNewLine]", RowBox[{ RowBox[{"Table", "[", RowBox[{ SubscriptBox["A", RowBox[{"i", ",", "j"}]], ",", RowBox[{"{", RowBox[{"i", ",", "1", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "1", ",", "3"}], "}"}]}], "]"}], "/.", "Asoln"}]}], ";"}], "\[IndentingNewLine]"}], "\[IndentingNewLine]", RowBox[{"Amat", "//", "MatrixForm"}]}], "Input", CellChangeTimes->{{3.791113347594098*^9, 3.7911133988405333`*^9}, { 3.791113442389823*^9, 3.7911134770623617`*^9}}, CellLabel-> "In[158]:=",ExpressionUUID->"2d95cbc6-d04f-4ef9-8d03-ae0d401299aa"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"35", RowBox[{"-", "78"}], "79"}, {"1", RowBox[{"-", "2"}], "2"}, {"4", RowBox[{"-", "9"}], "9"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{3.791113484213612*^9}, CellLabel-> "Out[159]//MatrixForm=",ExpressionUUID->"0f09e9d7-446c-42b8-8de1-\ 052490dd3e00"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Inverse", "[", "Amat", "]"}], "//", "MatrixForm"}]], "Input", CellChangeTimes->{{3.791113488961516*^9, 3.791113510902925*^9}}, CellLabel-> "In[161]:=",ExpressionUUID->"4c6b0a0a-765a-4198-936b-17405069dbb5"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", "9", RowBox[{"-", "2"}]}, {"1", "1", RowBox[{"-", "9"}]}, {"1", RowBox[{"-", "3"}], RowBox[{"-", "8"}]} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{{3.791113500151514*^9, 3.7911135122638893`*^9}}, CellLabel-> "Out[161]//MatrixForm=",ExpressionUUID->"80c8ce2a-78bc-4444-9b0e-\ c5b2ea81eca8"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Det", "[", "Amat", "]"}]], "Input", CellChangeTimes->{{3.7911135182885447`*^9, 3.791113523549448*^9}}, CellLabel-> "In[162]:=",ExpressionUUID->"dc75dfee-4f62-40e0-8989-39417dd80b04"], Cell[BoxData[ RowBox[{"-", "1"}]], "Output", CellChangeTimes->{3.791113524517116*^9}, CellLabel-> "Out[162]=",ExpressionUUID->"a93286b9-ad59-4082-b049-e98447a74e48"] }, Open ]], Cell["Example 1", "Subsection", CellChangeTimes->{{3.791113719159279*^9, 3.7911137428133907`*^9}, { 3.791113827595191*^9, 3.791113843675838*^9}},ExpressionUUID->"ef42efb8-ab99-4cc1-af4f-\ 9fbc90b27fe9"], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"amat", "=", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", RowBox[{"-", "10"}]}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", RowBox[{"-", "20"}]}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", RowBox[{"-", "30"}]}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}]}], ";"}], "\[IndentingNewLine]"}], "\[IndentingNewLine]", RowBox[{"amat", "//", "MatrixForm"}]}], "Input", CellChangeTimes->{{3.791113848132341*^9, 3.791113964001913*^9}}, CellLabel-> "In[164]:=",ExpressionUUID->"3a84dcf5-4195-49a5-a06c-1e5ab8e58f8b"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"1", "0", "0", RowBox[{"-", "10"}]}, {"0", "1", "0", RowBox[{"-", "20"}]}, {"0", "0", "1", RowBox[{"-", "30"}]}, {"0", "0", "0", "0"} }, GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], "\[NoBreak]", ")"}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output", CellChangeTimes->{3.79111396578253*^9}, CellLabel-> "Out[165]//MatrixForm=",ExpressionUUID->"583a0158-38a1-40ae-9984-\ 3f85202e38c4"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"amat", ".", RowBox[{"{", RowBox[{"10", ",", "20", ",", "30", ",", "1"}], "}"}]}]], "Input", CellChangeTimes->{{3.791113979575341*^9, 3.791114002295538*^9}}, CellLabel-> "In[166]:=",ExpressionUUID->"e38e8cb5-7808-4d02-96b1-7316eeb64b5d"], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]], "Output", CellChangeTimes->{3.79111401289113*^9}, CellLabel-> "Out[166]=",ExpressionUUID->"fab431e7-907f-407b-92fe-ceee619cc55d"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"bmat", "=", RowBox[{"LatticeReduce", "[", "amat", "]"}]}]], "Input", CellChangeTimes->{{3.7911140247451477`*^9, 3.791114040913299*^9}}, CellLabel-> "In[167]:=",ExpressionUUID->"68b9a8f3-ccf1-4c13-b4c0-cc3f7d7afdfa"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"-", "1"}], ",", RowBox[{"-", "1"}], ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "2"}], ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", RowBox[{"-", "10"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.791114042711012*^9}, CellLabel-> "Out[167]=",ExpressionUUID->"a7ad53f9-7817-48c3-9de5-23c32c5e0817"] }, Open ]], Cell["Example 2", "Subsection", CellChangeTimes->{{3.791113719159279*^9, 3.7911137428133907`*^9}, { 3.791113827595191*^9, 3.791113843675838*^9}, 3.79111410484583*^9},ExpressionUUID->"db0a8219-f67c-4ef1-ad16-\ 83536ccce7fc"], Cell[BoxData[ RowBox[{"Clear", "[", RowBox[{"a", ",", "x"}], "]"}]], "Input", CellChangeTimes->{{3.791114554586347*^9, 3.791114613038521*^9}}, CellLabel-> "In[189]:=",ExpressionUUID->"949cf6b5-0c3c-419e-bb64-1ba6b59b8c66"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"x", "=", RowBox[{"N", "[", SuperscriptBox["3", RowBox[{"1", "/", "3"}]], "]"}]}]], "Input", CellChangeTimes->{{3.7911141247410727`*^9, 3.79111416174249*^9}}, CellLabel-> "In[193]:=",ExpressionUUID->"460141cb-ff50-49c4-b4a9-58d56719d58a"], Cell[BoxData["1.4422495703074083`"], "Output", CellChangeTimes->{3.791114164111062*^9, 3.791114624189999*^9, 3.791114914830634*^9}, CellLabel-> "Out[193]=",ExpressionUUID->"6dc62a97-391d-4f88-80c0-d0b77a4c427e"] }, Open ]], Cell[TextData[{ "Seek a polynomial of which x is the root, of the form\n", Cell[BoxData[ FormBox[ RowBox[{ SubscriptBox["c", "4"], SuperscriptBox[ RowBox[{"x", " "}], "4"]}], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "11f58f8f-a17c-41e5-bb24-90c1f1982ad1"], " + ", Cell[BoxData[ FormBox[ RowBox[{ SubscriptBox["c", "3"], SuperscriptBox["x", "3"]}], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "2cbd4a89-7903-4d30-8c8b-1e07cf91feda"], " + ", Cell[BoxData[ FormBox[ RowBox[{ SubscriptBox["c", "2"], SuperscriptBox["x", "2"]}], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "8cac96cf-5754-4765-a6bb-3b0dba54fe34"], " + ", Cell[BoxData[ FormBox[ RowBox[{ SubscriptBox["c", "1"], "x"}], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "72ecae76-8d2a-4fce-817e-06bdc3a94efb"], " + ", Cell[BoxData[ FormBox[ SubscriptBox["c", "0"], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "61a7ada9-f924-4e4d-99c0-1c4d87e44a84"], " = 0 ." }], "Text", CellChangeTimes->{{3.791114183402701*^9, 3.7911143419121027`*^9}},ExpressionUUID->"a8543471-e5af-4033-b0bb-\ 87de82098748"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"{", RowBox[{ SubscriptBox["a", "0"], ",", SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"]}], "}"}], "=", RowBox[{"Round", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{ SuperscriptBox["10", "6"], " ", SuperscriptBox["x", "j"]}], ",", RowBox[{"{", RowBox[{"j", ",", "0", ",", "4"}], "}"}]}], "]"}], "]"}]}]], "Input", CellChangeTimes->{{3.791114376928384*^9, 3.791114382030137*^9}, { 3.791114416314292*^9, 3.7911144976150837`*^9}, {3.79111469562788*^9, 3.791114778714769*^9}, 3.791114825918784*^9, {3.791114962457386*^9, 3.7911149873305063`*^9}, {3.791115024481245*^9, 3.7911150316715307`*^9}, { 3.791115098898658*^9, 3.791115201554347*^9}}, CellLabel-> "In[207]:=",ExpressionUUID->"07bfbeb9-f6fc-4e39-8bf5-76ff4f7070fd"], Cell[BoxData[ RowBox[{"{", RowBox[{ "1000000", ",", "1442250", ",", "2080084", ",", "3000000", ",", "4326749"}], "}"}]], "Output", CellChangeTimes->{ 3.791114499259262*^9, 3.791114624318076*^9, {3.7911147031584673`*^9, 3.791114713636798*^9}, 3.791114747624647*^9, 3.7911147827878313`*^9, 3.791114827414727*^9, {3.791114897459447*^9, 3.7911149149109*^9}, 3.791114971554102*^9, 3.791115034253063*^9, {3.791115124711425*^9, 3.791115140433276*^9}, 3.791115204423915*^9}, CellLabel-> "Out[207]=",ExpressionUUID->"57296bea-ab9e-445a-8c44-555573d0f997"] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"Amat", "=", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", RowBox[{"-", SubscriptBox["a", "0"]}]}], "}"}], ",", "\[IndentingNewLine]", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0", ",", RowBox[{"-", SubscriptBox["a", "1"]}]}], "}"}], ",", "\[IndentingNewLine]", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0", ",", RowBox[{"-", SubscriptBox["a", "2"]}]}], "}"}], ",", "\[IndentingNewLine]", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0", ",", RowBox[{"-", SubscriptBox["a", "3"]}]}], "}"}], ",", "\[IndentingNewLine]", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1", ",", RowBox[{"-", SubscriptBox["a", "4"]}]}], "}"}], ",", "\[IndentingNewLine]", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}]}], ";"}]], "Input", CellChangeTimes->{{3.791115269912657*^9, 3.791115407203082*^9}, { 3.791115448147683*^9, 3.7911154487412243`*^9}}, CellLabel-> "In[210]:=",ExpressionUUID->"c028ba27-8922-4fc1-8e10-d6085b57fac2"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Amat", ".", RowBox[{"{", RowBox[{ SubscriptBox["a", "0"], ",", SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", "1"}], "}"}]}]], "Input", CellChangeTimes->{{3.791115415406836*^9, 3.791115434167617*^9}}, CellLabel-> "In[211]:=",ExpressionUUID->"540b0cea-c701-49ae-8fb4-928c42c62cd9"], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}]], "Output", CellChangeTimes->{{3.791115437711919*^9, 3.791115454808104*^9}}, CellLabel-> "Out[211]=",ExpressionUUID->"74e3f20a-2494-4312-b913-2438fa45f3d0"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Bmat", "=", RowBox[{"LatticeReduce", "[", "Amat", "]"}]}]], "Input", CellChangeTimes->{{3.79111547945951*^9, 3.7911155214524307`*^9}}, CellLabel-> "In[213]:=",ExpressionUUID->"2bf3478a-dbe8-470e-9f8e-38886d10f16a"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"-", "3"}], ",", "0", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", RowBox[{"-", "3"}], ",", "0", ",", "0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "5"}], ",", RowBox[{"-", "6"}], ",", RowBox[{"-", "23"}], ",", RowBox[{"-", "17"}], ",", "26", ",", RowBox[{"-", "42"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "6"}], ",", RowBox[{"-", "23"}], ",", "72", ",", RowBox[{"-", "21"}], ",", RowBox[{"-", "11"}], ",", RowBox[{"-", "59"}]}], "}"}], ",", RowBox[{"{", RowBox[{"26", ",", RowBox[{"-", "21"}], ",", RowBox[{"-", "33"}], ",", "82", ",", RowBox[{"-", "40"}], ",", RowBox[{"-", "18"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{{3.791115496835191*^9, 3.7911155225520277`*^9}}, CellLabel-> "Out[213]=",ExpressionUUID->"b78b5c02-02b2-4e32-8e01-5af21e00a518"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Norm", "/@", "Bmat"}]], "Input", CellChangeTimes->{{3.791115540023492*^9, 3.791115546205399*^9}}, CellLabel-> "In[214]:=",ExpressionUUID->"c0a68f25-8e0b-464e-9304-06bd3f49e275"], Cell[BoxData[ RowBox[{"{", RowBox[{ SqrtBox["10"], ",", SqrtBox["11"], ",", SqrtBox["3319"], ",", RowBox[{"24", " ", SqrtBox["17"]}], ",", RowBox[{"9", " ", SqrtBox["134"]}]}], "}"}]], "Output", CellChangeTimes->{3.791115548159446*^9}, CellLabel-> "Out[214]=",ExpressionUUID->"9693692f-8577-40e3-92c4-c1a0b15fced9"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Bmat", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}], ".", RowBox[{"{", RowBox[{ SubscriptBox["a", "0"], ",", SubscriptBox["a", "1"], ",", SubscriptBox["a", "2"], ",", SubscriptBox["a", "3"], ",", SubscriptBox["a", "4"], ",", "1"}], "}"}]}]], "Input", CellChangeTimes->{{3.7911156067725067`*^9, 3.791115657238188*^9}}, CellLabel-> "In[216]:=",ExpressionUUID->"575d26c5-0908-4e5c-b3fb-ffd466185fc9"], Cell[BoxData["0"], "Output", CellChangeTimes->{{3.791115649156335*^9, 3.791115661164534*^9}}, CellLabel-> "Out[216]=",ExpressionUUID->"4d7fab65-3b7d-409b-a895-e290784b49a3"] }, Open ]], Cell[TextData[{ "This tells us that \n-3 + ", Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox["x", "3"], "=", " ", "0"}], TraditionalForm]], FormatType->"TraditionalForm",ExpressionUUID-> "63c62ebb-2e1b-4e66-b8ee-6915d4a1be5d"] }], "Text", CellChangeTimes->{{3.791115680194785*^9, 3.791115733332909*^9}},ExpressionUUID->"39ac8344-db1d-441d-a023-\ cf1ed0882a0d"], 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["Accelerated Convergence", "Subtitle", CellChangeTimes->{{3.759060056578732*^9, 3.7590600688772907`*^9}},ExpressionUUID->"878968e0-0f10-4920-bcfe-\ 22c27984f061"], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{ SubscriptBox["s", "n_"], ":=", RowBox[{ SubscriptBox["s", "n"], "=", RowBox[{ SubscriptBox["s", RowBox[{"n", "-", "1"}]], "+", RowBox[{"N", "[", FractionBox["1", SuperscriptBox["n", "2"]], "]"}]}]}]}], "\[IndentingNewLine]"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ SubscriptBox["s", "0"], "=", "0"}], ";"}]}], "Input", CellChangeTimes->{{3.728825669476066*^9, 3.7288257745337687`*^9}}, CellLabel->"In[87]:=",ExpressionUUID->"d0909b9f-5e62-4b98-9a91-557a6e0b688a"], Cell[BoxData[ RowBox[{ SubscriptBox["r", RowBox[{"n_", ",", "k_"}]], ":=", RowBox[{ SubscriptBox["r", RowBox[{"n", ",", "k"}]], "=", "\[IndentingNewLine]", RowBox[{"Module", "[", RowBox[{ RowBox[{"{", "j", "}"}], ",", "\[IndentingNewLine]", RowBox[{"Sum", "[", RowBox[{ RowBox[{ SubscriptBox["s", RowBox[{"n", "-", "j"}]], SuperscriptBox[ RowBox[{"(", RowBox[{"n", "-", "j"}], ")"}], "k"], FractionBox[ SuperscriptBox[ RowBox[{"(", RowBox[{"-", "1"}], ")"}], "j"], RowBox[{ RowBox[{"j", "!"}], RowBox[{ RowBox[{"(", RowBox[{"k", "-", "j"}], ")"}], "!"}]}]]}], ",", RowBox[{"{", RowBox[{"j", ",", "0", ",", "k"}], "}"}]}], "]"}]}], "\[IndentingNewLine]", " ", "]"}]}]}]], "Input", CellChangeTimes->{ 3.728825689957505*^9, {3.728825779417307*^9, 3.728825976313033*^9}, { 3.728826372891082*^9, 3.72882642488343*^9}}, CellLabel->"In[89]:=",ExpressionUUID->"c8a5d98c-be5b-4fb9-8475-84e5ab8bfef7"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Print", "[", RowBox[{ RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"SetAccuracy", "[", RowBox[{ SubscriptBox["s", "j"], ",", "10"}], "]"}], ",", RowBox[{"{", RowBox[{"j", ",", "1", ",", "20"}], "}"}]}], "]"}], "//", "Column"}], ",", "\"\< \>\"", ",", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"SetAccuracy", "[", RowBox[{ SubscriptBox["r", RowBox[{"j", ",", "1"}]], ",", "10"}], "]"}], ",", RowBox[{"{", RowBox[{"j", ",", "2", ",", "20"}], "}"}]}], "]"}], "//", "Column"}], ",", "\"\< \>\"", ",", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"SetAccuracy", "[", RowBox[{ SubscriptBox["r", RowBox[{"j", ",", "10"}]], ",", "10"}], "]"}], ",", RowBox[{"{", RowBox[{"j", ",", "11", ",", "20"}], "}"}]}], "]"}], "//", "Column"}]}], "]"}]], "Input", CellChangeTimes->{{3.728825988656947*^9, 3.728826077246369*^9}, { 3.728826146067037*^9, 3.728826208098716*^9}, {3.728826448307325*^9, 3.728826462619528*^9}, {3.728826505605521*^9, 3.728826563239485*^9}}, CellLabel->"In[90]:=",ExpressionUUID->"ad9ef983-8e16-4686-8705-c74f1b4cb722"], Cell[BoxData[ InterpretationBox[ RowBox[{ TagBox[GridBox[{ {"1.`10."}, {"1.25`10.096910013008056"}, {"1.36111111111111111111111111111111111111`10.133893579261228"}, {"1.42361111111111111111111111111111111111`10.153391368960504"}, {"1.46361111111111111111111111111111111111`10.165425697805501"}, {"1.49138888888888888888888888888888888889`10.173590903195953"}, {"1.51179705215419501133786848072562358277`10.179493494177555"}, {"1.52742205215419501133786848072562358277`10.183959056437947"}, {"1.53976773116654069035021415973796926178`10.18745521390108"}, {"1.54976773116654069035021415973796926178`10.190266613891968"}, {"1.55803219397645804572211498618425025351`10.19257642735572"}, {"1.56497663842090249016655943062869469796`10.19450785889166"}, {"1.57089379818421609963401505193046984589`10.19614682512806"}, {"1.57599583900054263024625994988965351936`10.197555066515536"}, {"1.5804402834449870746907043943340979638`10.198778090773333"}, {"1.5843465334449870746907043943340979638`10.199850177949873"}, {"1.58780674105744382209554868499153741017`10.200797641416049"}, {"1.59089316081053024184863510474462382992`10.201641014826702"}, {"1.5936632439130233166408788720576432205`10.202396556231127"}, {"1.5961632439130233166408788720576432205`10.203077305752274"} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"], "\[InvisibleSpace]", "\<\" \"\>", "\[InvisibleSpace]", TagBox[GridBox[{ {"1.5`10.176091259055681"}, {"1.58333333333333333333333333333333333333`10.199572354905206"}, {"1.61111111111111111111111111111111111111`10.207125492795651"}, {"1.62361111111111111111111111111111111111`10.210482014730571"}, {"1.63027777777777777777777777777777777778`10.212261608746287"}, {"1.63424603174603174603174603174603174603`10.213317439091288"}, {"1.63679705215419501133786848072562358277`10.213994834211242"}, {"1.63853316326530612244897959183673469388`10.214455235756462"}, {"1.63976773116654069035021415973796926178`10.21478233572053"}, {"1.64067682207563159944112325064706017087`10.215023042837547"}, {"1.64136552730979137905544831951758358685`10.215205307936778"}, {"1.64189971534397941324348250755177162104`10.215346627568575"}, {"1.64232236961278752820544362335904127446`10.215458408326977"}, {"1.64266250566720929691292661655632018602`10.2155483443344"}, {"1.6429402834449870746907043943340979638`10.215621778260601"}, {"1.64317006285675178057305733551056855204`10.215682513853888"}, {"1.64336229661299937765110424054709296572`10.21573331880606"}, {"1.64352473975789866290126668369199225097`10.215776245843546"}, {"1.6436632439130233166408788720576432205`10.215812843440416"} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"], "\[InvisibleSpace]", "\<\" \"\>", "\[InvisibleSpace]", TagBox[GridBox[{ {"1.6449340671487614495141580049617338607`10.216148495083972"}, {"1.64493406690564542438106117225351900142`10.216148495019786"}, {"1.64493406685853895096739260218344332349`10.216148495007348"}, {"1.64493406685020948010769036304347553944`10.216148495005148"}, {"1.64493406684862505976375205323799351758`10.21614849500473"}, {"1.64493406684830284160939543182227012212`10.216148495004646"}, {"1.64493406684823631673870004763097560952`10.216148495004626"}, {"1.64493406684822404735919485812414427812`10.216148495004624"}, {"1.64493406684822305137201346585253008759`10.216148495004624"}, {"1.64493406684822395875066130247335221526`10.216148495004624"} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"]}], SequenceForm[ Column[{ 1.`10., 1.25`10.096910013008056, 1.36111111111111111111111111111111111111`10.133893579261228, 1.42361111111111111111111111111111111111`10.153391368960504, 1.46361111111111111111111111111111111111`10.165425697805501, 1.49138888888888888888888888888888888889`10.173590903195953, 1.51179705215419501133786848072562358277`10.179493494177555, 1.52742205215419501133786848072562358277`10.183959056437947, 1.53976773116654069035021415973796926178`10.18745521390108, 1.54976773116654069035021415973796926178`10.190266613891968, 1.55803219397645804572211498618425025351`10.19257642735572, 1.56497663842090249016655943062869469796`10.19450785889166, 1.57089379818421609963401505193046984589`10.19614682512806, 1.57599583900054263024625994988965351936`10.197555066515536, 1.5804402834449870746907043943340979638`10.198778090773333, 1.5843465334449870746907043943340979638`10.199850177949873, 1.58780674105744382209554868499153741017`10.200797641416049, 1.59089316081053024184863510474462382992`10.201641014826702, 1.5936632439130233166408788720576432205`10.202396556231127, 1.5961632439130233166408788720576432205`10.203077305752274}], " ", Column[{ 1.5`10.176091259055681, 1.58333333333333333333333333333333333333`10.199572354905206, 1.61111111111111111111111111111111111111`10.207125492795651, 1.62361111111111111111111111111111111111`10.210482014730571, 1.63027777777777777777777777777777777778`10.212261608746287, 1.63424603174603174603174603174603174603`10.213317439091288, 1.63679705215419501133786848072562358277`10.213994834211242, 1.63853316326530612244897959183673469388`10.214455235756462, 1.63976773116654069035021415973796926178`10.21478233572053, 1.64067682207563159944112325064706017087`10.215023042837547, 1.64136552730979137905544831951758358685`10.215205307936778, 1.64189971534397941324348250755177162104`10.215346627568575, 1.64232236961278752820544362335904127446`10.215458408326977, 1.64266250566720929691292661655632018602`10.2155483443344, 1.6429402834449870746907043943340979638`10.215621778260601, 1.64317006285675178057305733551056855204`10.215682513853888, 1.64336229661299937765110424054709296572`10.21573331880606, 1.64352473975789866290126668369199225097`10.215776245843546, 1.6436632439130233166408788720576432205`10.215812843440416}], " ", Column[{ 1.6449340671487614495141580049617338607`10.216148495083972, 1.64493406690564542438106117225351900142`10.216148495019786, 1.64493406685853895096739260218344332349`10.216148495007348, 1.64493406685020948010769036304347553944`10.216148495005148, 1.64493406684862505976375205323799351758`10.21614849500473, 1.64493406684830284160939543182227012212`10.216148495004646, 1.64493406684823631673870004763097560952`10.216148495004626, 1.64493406684822404735919485812414427812`10.216148495004624, 1.64493406684822305137201346585253008759`10.216148495004624, 1.64493406684822395875066130247335221526`10.216148495004624}]], Editable->False]], "Print", CellChangeTimes->{3.728826532925518*^9, 3.728826565620915*^9, 3.759066867377021*^9}, CellLabel-> "During evaluation of \ In[90]:=",ExpressionUUID->"e2b2c7ed-72db-4334-8117-7d3fd7e5d951"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"SetAccuracy", "[", RowBox[{ FractionBox[ SuperscriptBox["\[Pi]", "2"], "6"], ",", "10"}], "]"}]], "Input", CellChangeTimes->{{3.728826087733451*^9, 3.728826125600719*^9}}, CellLabel->"In[91]:=",ExpressionUUID->"f9d2bcfa-9f02-426f-b7ef-d0f374ad47b8"], Cell[BoxData["1.6449340668482264365`9.178053063402542"], "Output", CellChangeTimes->{3.7288261267406693`*^9, 3.75906686748363*^9}, CellLabel->"Out[91]=",ExpressionUUID->"3a44951d-e431-4f1c-acb2-84b9be945dce"] }, Open ]], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"Remove", "[", "a", "]"}], ";", RowBox[{"Remove", "[", "atab", "]"}], ";", RowBox[{"Remove", "[", "tab", "]"}], ";", " ", RowBox[{"Remove", "[", "r", "]"}], ";"}], "\[IndentingNewLine]"}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"a", "[", RowBox[{"n_", ",", " ", "0"}], "]"}], "/;", " ", RowBox[{"(", RowBox[{"n", " ", ">=", " ", "1"}], ")"}]}], " ", ":=", " ", RowBox[{ RowBox[{"a", "[", RowBox[{"n", ",", " ", "0"}], "]"}], " ", "=", " ", RowBox[{ RowBox[{"a", "[", RowBox[{ RowBox[{"n", "-", "1"}], ",", " ", "0"}], "]"}], " ", "+", " ", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"-", "1"}], ")"}], "^", RowBox[{"(", RowBox[{"n", "+", "1"}], ")"}]}], "n"]}]}]}], "\n"}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"a", "[", RowBox[{"0", ",", " ", "0"}], "]"}], " ", "=", " ", "0"}], ";"}], "\[IndentingNewLine]"}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"a", "[", RowBox[{"n_", ",", " ", "k_"}], "]"}], "/;", " ", RowBox[{"(", RowBox[{"k", " ", ">=", " ", "1"}], ")"}]}], " ", ":=", " ", RowBox[{ RowBox[{"a", "[", RowBox[{"n", ",", " ", "k"}], "]"}], " ", "=", " ", FractionBox[ RowBox[{ RowBox[{ RowBox[{"a", "[", RowBox[{ RowBox[{"n", "+", "1"}], ",", " ", RowBox[{"k", "-", "1"}]}], "]"}], " ", RowBox[{"a", "[", RowBox[{ RowBox[{"n", "-", "1"}], ",", " ", RowBox[{"k", "-", "1"}]}], "]"}]}], " ", "-", " ", SuperscriptBox[ RowBox[{"a", "[", RowBox[{"n", ",", " ", RowBox[{"k", "-", "1"}]}], "]"}], "2"]}], RowBox[{ RowBox[{"a", "[", RowBox[{ RowBox[{"n", "+", "1"}], ",", " ", RowBox[{"k", "-", "1"}]}], "]"}], " ", "-", " ", RowBox[{"2", " ", RowBox[{"a", "[", RowBox[{"n", ",", " ", RowBox[{"k", "-", "1"}]}], "]"}]}], " ", "+", " ", RowBox[{"a", "[", RowBox[{ RowBox[{"n", "-", "1"}], ",", " ", RowBox[{"k", "-", "1"}]}], "]"}]}]]}]}], "\n", "\n"}], "\n", RowBox[{ RowBox[{ RowBox[{"tab", "[", "r_", "]"}], ":=", " ", RowBox[{ RowBox[{"tab", "[", "r", "]"}], " ", "=", " ", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"SetAccuracy", "[", " ", RowBox[{ RowBox[{"a", "[", RowBox[{"i", ",", " ", "r"}], "]"}], ",", " ", "10"}], "]"}], ",", " ", RowBox[{"{", RowBox[{"i", ",", " ", RowBox[{"r", "+", "1"}], ",", " ", "20"}], "}"}]}], "]"}], "//", "Column"}]}]}], "\n", " ", "\n"}], "\n"}], "Input", CellChangeTimes->{ 3.728827221538637*^9, {3.7288274147880898`*^9, 3.728827421654893*^9}, { 3.728827455801209*^9, 3.728827481151319*^9}, 3.728827551395307*^9, { 3.728827601934124*^9, 3.7288276087678947`*^9}, {3.759060207938208*^9, 3.759060272605188*^9}, {3.7590603062984056`*^9, 3.759060315519135*^9}}, CellLabel-> "In[105]:=",ExpressionUUID->"89f95b45-a7f9-4d10-8231-59df5717e7fc"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Print", "[", RowBox[{ RowBox[{"tab", "[", "0", "]"}], ",", "\"\< \>\"", ",", " ", RowBox[{"tab", "[", "1", "]"}], ",", "\"\< \>\"", ",", RowBox[{"tab", "[", "10", "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.72882743736572*^9, 3.728827444499653*^9}, { 3.728827486619039*^9, 3.7288275298311234`*^9}}, CellLabel-> "In[110]:=",ExpressionUUID->"0c4405f3-1a76-4abe-b25b-e3ced38ae6dc"], Cell[BoxData[ InterpretationBox[ RowBox[{ TagBox[GridBox[{ {"1.`10."}, {"0.5`9.698970004336019"}, {"0.83333333333333333333333333333333333333`9.920818753952377"}, {"0.58333333333333333333333333333333333333`9.765916793966634"}, {"0.78333333333333333333333333333333333333`9.893946607552074"}, {"0.61666666666666666666666666666666666666`9.790050473683351"}, {"0.75952380952380952380952380952380952381`9.88054139265928"}, {"0.63452380952380952380952380952380952381`9.802447922964692"}, {"0.74563492063492063492063492063492063492`9.872526239318981"}, {"0.64563492063492063492063492063492063492`9.809987012155315"}, {"0.73654401154401154401154401154401154401`9.867198702841412"}, {"0.65321067821067821067821067821067821068`9.815053275651387"}, {"0.73013375513375513375513375513375513375`9.863402426963527"}, {"0.65870518370518370518370518370518370518`9.8186910811517"}, {"0.72537185037185037185037185037185037185`9.860560697831977"}, {"0.66287185037185037185037185037185037185`9.821429576586171"}, {"0.72169537978361507773272479154832096008`9.858353925"}, {"0.66613982422805952217716923599276540453`9.823565398114887"}, {"0.71877140317542794322980081494013382558`9.856590790069983"}, {"0.66877140317542794322980081494013382558`9.82527769429245"} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"], "\[InvisibleSpace]", "\<\" \"\>", "\[InvisibleSpace]", TagBox[GridBox[{ {"0.7`9.845098040014259"}, {"0.69047619047619047619047619047619047619`9.839148707501055"}, {"0.69444444444444444444444444444444444444`9.841637507904752"}, {"0.69242424242424242424242424242424242424`9.840372264527984"}, {"0.69358974358974358974358974358974358974`9.841102662416091"}, {"0.69285714285714285714285714285714285714`9.840643698588009"}, {"0.69334733893557422969187675070028011204`9.840950853071467"}, {"0.69300334168755221386800334168755221387`9.84073532880079"}, {"0.69325396825396825396825396825396825397`9.840892364201387"}, {"0.69306575067444632662023966371792458749`9.840774437787198"}, {"0.69321067821067821067821067821067821068`9.840865243961465"}, {"0.69309671809671809671809671809671809672`9.840793842410994"}, {"0.69318794232587336035611897680863198104`9.840850999761903"}, {"0.69311378585572133959230733424281811378`9.84080453693904"}, {"0.69317488067488067488067488067488067488`9.840842816329893"}, {"0.69312395121218650630415336297689238866`9.840810906348992"}, {"0.69316685125508654920419626301979243156`9.840837785632727"}, {"0.69313037753440230220415978929910818456`9.840814932906342"}, {"0.69316164707786696762004471737915821583`9.84083452501239"} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"], "\[InvisibleSpace]", "\<\" \"\>", "\[InvisibleSpace]", TagBox[GridBox[{ {"0.6931471805599453092260181573881128827`9.840825461046743"}, {"0.69314718055994530921883110642174002347`9.84082546102922"}, {"0.69314718055994530941696612638789983594`9.840825461046743"}, {"0.69314718055994530941719411767436443557`9.840825461046743"}, {"0.69314718055994530941727093709873734044`9.840825461046743"}, {"0.69314718055994530941723891937605171866`9.840825461046743"}, {"0.69314718055994530941723156277633698957`9.840825461046743"}, {"0.69314718055994530940979111782826658375`9.840825461046743"}, {"0.69314718055994530941723212093901543452`9.840825461046743"}, {"0.69314718055994530941723211677739308611`9.840825461046743"} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"]}], SequenceForm[ Column[{ 1.`10., 0.5`9.698970004336019, 0.83333333333333333333333333333333333333`9.920818753952377, 0.58333333333333333333333333333333333333`9.765916793966634, 0.78333333333333333333333333333333333333`9.893946607552074, 0.61666666666666666666666666666666666666`9.790050473683351, 0.75952380952380952380952380952380952381`9.88054139265928, 0.63452380952380952380952380952380952381`9.802447922964692, 0.74563492063492063492063492063492063492`9.872526239318981, 0.64563492063492063492063492063492063492`9.809987012155315, 0.73654401154401154401154401154401154401`9.867198702841412, 0.65321067821067821067821067821067821068`9.815053275651387, 0.73013375513375513375513375513375513375`9.863402426963527, 0.65870518370518370518370518370518370518`9.8186910811517, 0.72537185037185037185037185037185037185`9.860560697831977, 0.66287185037185037185037185037185037185`9.821429576586171, 0.72169537978361507773272479154832096008`9.858353925, 0.66613982422805952217716923599276540453`9.823565398114887, 0.71877140317542794322980081494013382558`9.856590790069983, 0.66877140317542794322980081494013382558`9.82527769429245}], " ", Column[{ 0.7`9.845098040014259, 0.69047619047619047619047619047619047619`9.839148707501055, 0.69444444444444444444444444444444444444`9.841637507904752, 0.69242424242424242424242424242424242424`9.840372264527984, 0.69358974358974358974358974358974358974`9.841102662416091, 0.69285714285714285714285714285714285714`9.840643698588009, 0.69334733893557422969187675070028011204`9.840950853071467, 0.69300334168755221386800334168755221387`9.84073532880079, 0.69325396825396825396825396825396825397`9.840892364201387, 0.69306575067444632662023966371792458749`9.840774437787198, 0.69321067821067821067821067821067821068`9.840865243961465, 0.69309671809671809671809671809671809672`9.840793842410994, 0.69318794232587336035611897680863198104`9.840850999761903, 0.69311378585572133959230733424281811378`9.84080453693904, 0.69317488067488067488067488067488067488`9.840842816329893, 0.69312395121218650630415336297689238866`9.840810906348992, 0.69316685125508654920419626301979243156`9.840837785632727, 0.69313037753440230220415978929910818456`9.840814932906342, 0.69316164707786696762004471737915821583`9.84083452501239}], " ", Column[{ 0.6931471805599453092260181573881128827`9.840825461046743, 0.69314718055994530921883110642174002347`9.84082546102922, 0.69314718055994530941696612638789983594`9.840825461046743, 0.69314718055994530941719411767436443557`9.840825461046743, 0.69314718055994530941727093709873734044`9.840825461046743, 0.69314718055994530941723891937605171866`9.840825461046743, 0.69314718055994530941723156277633698957`9.840825461046743, 0.69314718055994530940979111782826658375`9.840825461046743, 0.69314718055994530941723212093901543452`9.840825461046743, 0.69314718055994530941723211677739308611`9.840825461046743}]], Editable->False]], "Print", CellChangeTimes->{3.728827567058956*^9, 3.7288276215367928`*^9, 3.7590605162188807`*^9, 3.759066868474246*^9, 3.7590669222852907`*^9}, CellLabel-> "During evaluation of \ In[110]:=",ExpressionUUID->"3fc6ad02-1bb9-4407-a746-32e81adf01e7"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"N", "[", RowBox[{ RowBox[{"Log", "[", "2", "]"}], ",", "10"}], "]"}]], "Input", CellChangeTimes->{{3.7288276429092197`*^9, 3.728827668296009*^9}}, CellLabel-> "In[111]:=",ExpressionUUID->"f6e52e6b-d4dd-4aad-a2d4-8a85238d8c8d"], Cell[BoxData["0.69314718055994530941723212145817656807`10."], "Output", CellChangeTimes->{{3.728827650184388*^9, 3.728827669383277*^9}, 3.7590605346677513`*^9, 3.759066868658723*^9, 3.759066930428939*^9}, CellLabel-> "Out[111]=",ExpressionUUID->"6c6a40ca-fd69-4d29-92da-e13ae29c3375"] }, Open ]], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"Remove", "[", "a", "]"}], ";", RowBox[{"Remove", "[", "atab", "]"}], ";", RowBox[{"Remove", "[", "tab", "]"}], ";", RowBox[{"Remove", "[", "r", "]"}], ";"}], "\n"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{ RowBox[{"a", "[", RowBox[{"n_", ",", " ", "0"}], "]"}], "/;", " ", RowBox[{"(", RowBox[{"n", " ", ">=", " ", "1"}], ")"}]}], " ", ":=", " ", RowBox[{ RowBox[{"a", "[", RowBox[{"n", ",", "0"}], "]"}], " ", "=", " ", RowBox[{ RowBox[{"a", "[", RowBox[{ RowBox[{"n", "-", "1"}], ",", " ", "0"}], "]"}], " ", "+", " ", RowBox[{ SuperscriptBox[ RowBox[{"(", RowBox[{"-", "1"}], ")"}], RowBox[{"n", "+", "1"}]], "n"}]}]}]}], "\n"}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"a", "[", RowBox[{"0", ",", " ", "0"}], "]"}], " ", "=", " ", "0"}], ";"}], "\n"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{ RowBox[{"a", "[", RowBox[{"n_", ",", " ", "k_"}], "]"}], "/;", " ", RowBox[{"(", RowBox[{"k", " ", ">=", " ", "1"}], ")"}]}], " ", ":=", " ", RowBox[{ RowBox[{"a", "[", RowBox[{"n", ",", " ", "k"}], "]"}], " ", "=", " ", FractionBox[ RowBox[{ RowBox[{ RowBox[{"a", "[", RowBox[{ RowBox[{"n", "+", "1"}], ",", " ", RowBox[{"k", "-", "1"}]}], "]"}], " ", RowBox[{"a", "[", RowBox[{ RowBox[{"n", "-", "1"}], ",", " ", RowBox[{"k", "-", "1"}]}], "]"}]}], " ", "-", " ", SuperscriptBox[ RowBox[{"a", "[", RowBox[{"n", ",", " ", RowBox[{"k", "-", "1"}]}], "]"}], "2"]}], RowBox[{ RowBox[{"a", "[", RowBox[{ RowBox[{"n", "+", "1"}], ",", " ", RowBox[{"k", "-", "1"}]}], "]"}], " ", "-", " ", RowBox[{"2", " ", RowBox[{"a", "[", RowBox[{"n", ",", " ", RowBox[{"k", "-", "1"}]}], "]"}]}], " ", "+", " ", RowBox[{"a", "[", RowBox[{ RowBox[{"n", "-", "1"}], ",", " ", RowBox[{"k", "-", "1"}]}], "]"}]}]]}]}], "\n", "\n"}], "\n", RowBox[{ RowBox[{"tab", "[", "r_", "]"}], ":=", " ", RowBox[{ RowBox[{"tab", "[", "r", "]"}], " ", "=", " ", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"SetAccuracy", "[", " ", RowBox[{ RowBox[{"a", "[", RowBox[{"i", ",", " ", "r"}], "]"}], ",", " ", "10"}], "]"}], ",", " ", RowBox[{"{", RowBox[{"i", ",", " ", RowBox[{"r", "+", "1"}], ",", " ", "20"}], "}"}]}], "]"}], "//", "Column"}]}]}], "\n", RowBox[{" "}]}], "Input", CellChangeTimes->{ 3.728827221538637*^9, {3.7288274147880898`*^9, 3.728827421654893*^9}, { 3.728827455801209*^9, 3.728827481151319*^9}, 3.728827551395307*^9, { 3.728827601934124*^9, 3.7288276087678947`*^9}, {3.728827816542143*^9, 3.7288278185223417`*^9}, {3.759060366660738*^9, 3.7590604923838673`*^9}, { 3.7590605398450603`*^9, 3.759060552754809*^9}}, CellLabel->"In[99]:=",ExpressionUUID->"934d3f6f-1c32-4a40-9196-be52f742d4b9"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Print", "[", RowBox[{ RowBox[{"tab", "[", "0", "]"}], ",", "\"\< \>\"", ",", " ", RowBox[{"tab", "[", "1", "]"}], ",", "\"\< \>\"", ",", RowBox[{"tab", "[", "10", "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.72882743736572*^9, 3.728827444499653*^9}, { 3.728827486619039*^9, 3.7288275298311234`*^9}}, CellLabel-> "In[104]:=",ExpressionUUID->"4de37c21-f975-4be6-9118-096ee08a41fc"], Cell[BoxData[ InterpretationBox[ RowBox[{ TagBox[GridBox[{ {"1.`10."}, { RowBox[{"-", "1.`10."}]}, {"2.`10.301029995663981"}, { RowBox[{"-", "2.`10.301029995663981"}]}, {"3.`10.477121254719663"}, { RowBox[{"-", "3.`10.477121254719663"}]}, {"4.`10.602059991327963"}, { RowBox[{"-", "4.`10.602059991327963"}]}, {"5.`10.698970004336019"}, { RowBox[{"-", "5.`10.698970004336019"}]}, {"6.`10.778151250383644"}, { RowBox[{"-", "6.`10.778151250383644"}]}, {"7.`10.845098040014259"}, { RowBox[{"-", "7.`10.845098040014259"}]}, {"8.`10.903089986991944"}, { RowBox[{"-", "8.`10.903089986991944"}]}, {"9.`10.954242509439327"}, { RowBox[{"-", "9.`10.954242509439327"}]}, {"10.`11."}, { RowBox[{"-", "10.`11."}]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"], "\[InvisibleSpace]", "\<\" \"\>", "\[InvisibleSpace]", TagBox[GridBox[{ {"0.2`9.301029995663983"}, {"0.28571428571428571428571428571428571429`9.455931955649724"}, {"0.22222222222222222222222222222222222222`9.346787486224658"}, {"0.27272727272727272727272727272727272727`9.435728569561437"}, {"0.23076923076923076923076923076923076923`9.363177902412826"}, {"0.26666666666666666666666666666666666667`9.425968732272281"}, {"0.23529411764705882352941176470588235294`9.37161106994969"}, {"0.26315789473684210526315789473684210526`9.42021640338319"}, {"0.23809523809523809523809523809523809524`9.376750709602101"}, {"0.26086956521739130434782608695652173913`9.41642341436605"}, {"0.24`9.380211241711606"}, {"0.25925925925925925925925925925925925926`9.413734275855271"}, {"0.24137931034482758620689655172413793103`9.382700042115301"}, {"0.25806451612903225806451612903225806452`9.41172829315767"}, {"0.24242424242424242424242424242424242424`9.384576047114056"}, {"0.25714285714285714285714285714285714285`9.41017446508905"}, {"0.24324324324324324324324324324324324324`9.38604078537233"}, {"0.25641025641025641025641025641025641025`9.4089353929735"}, {"0.24390243902439024390243902439024390244`9.387216143280266"} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"], "\[InvisibleSpace]", "\<\" \"\>", "\[InvisibleSpace]", TagBox[GridBox[{ {"0.24999999999999999992513869972359760469`9.39794000867204"}, {"0.24999999999999999996144186310352335212`9.39794000867204"}, {"0.25000000000000000000074391090027682523`9.39794000867204"}, {"0.24999999999999999999993578729066524001`9.39794000867204"}, {"0.24999999999999999999998075053384089154`9.39794000867204"}, {"0.25000000000000000000001396240401909066`9.39794000867204"}, {"0.24999999999999999999999324293296995665`9.39794000867204"}, {"0.25000000000000000000000302716937453206`9.39794000867204"}, {"0.24999999999999999999999865912336311589`9.39794000867204"}, {"0.25000000000000000000417966188857637305`9.39794000867204"} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"]}], SequenceForm[ Column[{ 1.`10., -1.`10., 2.`10.301029995663981, -2.`10.301029995663981, 3.`10.477121254719663, -3.`10.477121254719663, 4.`10.602059991327963, -4.`10.602059991327963, 5.`10.698970004336019, -5.`10.698970004336019, 6.`10.778151250383644, -6.`10.778151250383644, 7.`10.845098040014259, -7.`10.845098040014259, 8.`10.903089986991944, -8.`10.903089986991944, 9.`10.954242509439327, -9.`10.954242509439327, 10.`11., -10.`11.}], " ", Column[{ 0.2`9.301029995663983, 0.28571428571428571428571428571428571429`9.455931955649724, 0.22222222222222222222222222222222222222`9.346787486224658, 0.27272727272727272727272727272727272727`9.435728569561437, 0.23076923076923076923076923076923076923`9.363177902412826, 0.26666666666666666666666666666666666667`9.425968732272281, 0.23529411764705882352941176470588235294`9.37161106994969, 0.26315789473684210526315789473684210526`9.42021640338319, 0.23809523809523809523809523809523809524`9.376750709602101, 0.26086956521739130434782608695652173913`9.41642341436605, 0.24`9.380211241711606, 0.25925925925925925925925925925925925926`9.413734275855271, 0.24137931034482758620689655172413793103`9.382700042115301, 0.25806451612903225806451612903225806452`9.41172829315767, 0.24242424242424242424242424242424242424`9.384576047114056, 0.25714285714285714285714285714285714285`9.41017446508905, 0.24324324324324324324324324324324324324`9.38604078537233, 0.25641025641025641025641025641025641025`9.4089353929735, 0.24390243902439024390243902439024390244`9.387216143280266}], " ", Column[{ 0.24999999999999999992513869972359760469`9.39794000867204, 0.24999999999999999996144186310352335212`9.39794000867204, 0.25000000000000000000074391090027682523`9.39794000867204, 0.24999999999999999999993578729066524001`9.39794000867204, 0.24999999999999999999998075053384089154`9.39794000867204, 0.25000000000000000000001396240401909066`9.39794000867204, 0.24999999999999999999999324293296995665`9.39794000867204, 0.25000000000000000000000302716937453206`9.39794000867204, 0.24999999999999999999999865912336311589`9.39794000867204, 0.25000000000000000000417966188857637305`9.39794000867204}]], Editable->False]], "Print", CellChangeTimes->{3.7288278507780237`*^9, 3.759060583621258*^9, 3.7590668889492073`*^9}, CellLabel-> "During evaluation of \ In[104]:=",ExpressionUUID->"2759602d-acbc-435e-a4a5-17a8b345c531"] }, Open ]] }, CellGrouping->Manual, WindowSize->{1680, 952}, WindowMargins->{{0, Automatic}, {Automatic, 0}}, Magnification:>1.5 Inherited, FrontEndVersion->"12.0 for Mac OS X x86 (64-bit) (April 8, 2019)", StyleDefinitions->FrontEnd`FileName[{"Report"}, "StandardReport.nb", CharacterEncoding -> "UTF-8"] ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[558, 20, 262, 4, 103, "Chapter",ExpressionUUID->"56e80fe5-ce6c-41d1-b66a-0fb700393263"], Cell[823, 26, 161, 3, 81, "Section",ExpressionUUID->"14bb3802-16a1-45a8-95e4-843953412e77"], Cell[CellGroupData[{ Cell[1009, 33, 367, 10, 56, "Input",ExpressionUUID->"21a79c06-1d1a-43cb-94a8-649e0bb57136"], Cell[1379, 45, 296, 9, 80, "Output",ExpressionUUID->"8a91a0fb-6b06-4706-b6a3-7bdf2f1fe7e6"] }, Open ]], Cell[1690, 57, 690, 20, 63, "Input",ExpressionUUID->"4b51678e-6a82-4e5f-b6fa-870ba0ca632d"], Cell[CellGroupData[{ Cell[2405, 81, 331, 9, 63, "Input",ExpressionUUID->"12b547d8-842a-437b-8c58-c29e7aab1c1c"], Cell[2739, 92, 260, 8, 83, "Output",ExpressionUUID->"943134d8-b572-4f23-94e8-3b820a89c391"] }, Open ]], Cell[CellGroupData[{ Cell[3036, 105, 550, 16, 63, "Input",ExpressionUUID->"c19889c6-648a-4ad4-889f-73279cfeaf85"], Cell[3589, 123, 544, 16, 80, "Output",ExpressionUUID->"92f124ed-f6c5-4c6d-8d85-bba86eedbebb"] }, Open ]], Cell[CellGroupData[{ Cell[4170, 144, 333, 9, 63, "Input",ExpressionUUID->"1c2eb959-2807-4a52-a146-260442ab74f6"], Cell[4506, 155, 253, 8, 83, "Output",ExpressionUUID->"da15c153-11ed-4205-953d-a8395ead72c5"] }, Open ]], Cell[CellGroupData[{ Cell[4796, 168, 883, 24, 132, "Input",ExpressionUUID->"19e8caaf-2802-4b47-ab7d-d942ca939b63"], Cell[5682, 194, 1100, 36, 83, "Output",ExpressionUUID->"3ee09ee0-a8c5-4a94-9c6a-48ee627c1c9d"] }, Open ]], Cell[CellGroupData[{ Cell[6819, 235, 694, 18, 160, "Input",ExpressionUUID->"2d95cbc6-d04f-4ef9-8d03-ae0d401299aa"], Cell[7516, 255, 722, 23, 127, "Output",ExpressionUUID->"0f09e9d7-446c-42b8-8de1-052490dd3e00"] }, Open ]], Cell[CellGroupData[{ Cell[8275, 283, 245, 5, 63, "Input",ExpressionUUID->"4c6b0a0a-765a-4198-936b-17405069dbb5"], Cell[8523, 290, 767, 24, 127, "Output",ExpressionUUID->"80c8ce2a-78bc-4444-9b0e-c5b2ea81eca8"] }, Open ]], Cell[CellGroupData[{ Cell[9327, 319, 210, 4, 63, "Input",ExpressionUUID->"dc75dfee-4f62-40e0-8989-39417dd80b04"], Cell[9540, 325, 170, 4, 80, "Output",ExpressionUUID->"a93286b9-ad59-4082-b049-e98447a74e48"] }, Open ]], Cell[9725, 332, 208, 4, 51, "Subsection",ExpressionUUID->"ef42efb8-ab99-4cc1-af4f-9fbc90b27fe9"], Cell[CellGroupData[{ Cell[9958, 340, 793, 21, 150, "Input",ExpressionUUID->"3a84dcf5-4195-49a5-a06c-1e5ab8e58f8b"], Cell[10754, 363, 763, 24, 153, "Output",ExpressionUUID->"583a0158-38a1-40ae-9984-3f85202e38c4"] }, Open ]], Cell[CellGroupData[{ Cell[11554, 392, 271, 6, 63, "Input",ExpressionUUID->"e38e8cb5-7808-4d02-96b1-7316eeb64b5d"], Cell[11828, 400, 217, 5, 80, "Output",ExpressionUUID->"fab431e7-907f-407b-92fe-ceee619cc55d"] }, Open ]], Cell[CellGroupData[{ Cell[12082, 410, 246, 5, 63, "Input",ExpressionUUID->"68b9a8f3-ccf1-4c13-b4c0-cc3f7d7afdfa"], Cell[12331, 417, 500, 15, 80, "Output",ExpressionUUID->"a7ad53f9-7817-48c3-9de5-23c32c5e0817"] }, Open ]], Cell[12846, 435, 231, 4, 51, "Subsection",ExpressionUUID->"db0a8219-f67c-4ef1-ad16-83536ccce7fc"], Cell[13080, 441, 230, 5, 56, "Input",ExpressionUUID->"949cf6b5-0c3c-419e-bb64-1ba6b59b8c66"], Cell[CellGroupData[{ Cell[13335, 450, 277, 7, 66, "Input",ExpressionUUID->"460141cb-ff50-49c4-b4a9-58d56719d58a"], Cell[13615, 459, 218, 4, 80, "Output",ExpressionUUID->"6dc62a97-391d-4f88-80c0-d0b77a4c427e"] }, Open ]], Cell[13848, 466, 1257, 43, 88, "Text",ExpressionUUID->"a8543471-e5af-4033-b0bb-87de82098748"], Cell[CellGroupData[{ Cell[15130, 513, 904, 23, 66, "Input",ExpressionUUID->"07bfbeb9-f6fc-4e39-8bf5-76ff4f7070fd"], Cell[16037, 538, 577, 12, 80, "Output",ExpressionUUID->"57296bea-ab9e-445a-8c44-555573d0f997"] }, Open ]], Cell[16629, 553, 1317, 31, 250, "Input",ExpressionUUID->"c028ba27-8922-4fc1-8e10-d6085b57fac2"], Cell[CellGroupData[{ Cell[17971, 588, 408, 11, 63, "Input",ExpressionUUID->"540b0cea-c701-49ae-8fb4-928c42c62cd9"], Cell[18382, 601, 265, 6, 80, "Output",ExpressionUUID->"74e3f20a-2494-4312-b913-2438fa45f3d0"] }, Open ]], Cell[CellGroupData[{ Cell[18684, 612, 245, 5, 63, "Input",ExpressionUUID->"2bf3478a-dbe8-470e-9f8e-38886d10f16a"], Cell[18932, 619, 1055, 32, 80, "Output",ExpressionUUID->"b78b5c02-02b2-4e32-8e01-5af21e00a518"] }, Open ]], Cell[CellGroupData[{ Cell[20024, 656, 205, 4, 63, "Input",ExpressionUUID->"c0a68f25-8e0b-464e-9304-06bd3f49e275"], Cell[20232, 662, 352, 12, 83, "Output",ExpressionUUID->"9693692f-8577-40e3-92c4-c1a0b15fced9"] }, Open ]], Cell[CellGroupData[{ Cell[20621, 679, 477, 12, 63, "Input",ExpressionUUID->"575d26c5-0908-4e5c-b3fb-ffd466185fc9"], Cell[21101, 693, 177, 3, 80, "Output",ExpressionUUID->"4d7fab65-3b7d-409b-a895-e290784b49a3"] }, Open ]], Cell[21293, 699, 379, 11, 88, "Text",ExpressionUUID->"39ac8344-db1d-441d-a023-cf1ed0882a0d"], Cell[CellGroupData[{ Cell[21697, 714, 167, 3, 51, "Subsection",ExpressionUUID->"e9d7e0f5-ad82-481a-bbf0-23d010e8c8de"], Cell[21867, 719, 3065, 82, 431, "Input",ExpressionUUID->"6faf3b63-e9b8-4abf-997b-3ce33ad7e16a"], Cell[CellGroupData[{ Cell[24957, 805, 480, 14, 81, "Input",ExpressionUUID->"d5aab5c2-3e6c-4a3c-a0ef-1c618a97176a"], Cell[25440, 821, 474, 10, 63, "Output",ExpressionUUID->"5985a4ac-e832-44ed-ab4e-656a0ef05bdb"] }, Open ]], Cell[CellGroupData[{ Cell[25951, 836, 174, 3, 49, "Subsubsection",ExpressionUUID->"f331a640-87c9-48bb-b45a-2803f48ecdd6"], Cell[CellGroupData[{ Cell[26150, 843, 399, 12, 81, "Input",ExpressionUUID->"7df75cb0-5705-4306-920b-4eaf84bb53cc"], Cell[26552, 857, 255, 4, 63, "Output",ExpressionUUID->"887b6bcf-5a52-4775-9c92-eabe5e9ba4ce"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[26856, 867, 156, 3, 104, "Section",ExpressionUUID->"08b4ddb7-f2b4-4afd-bf3a-37c57b8cdef1"], Cell[CellGroupData[{ Cell[27037, 874, 293, 9, 66, "Input",ExpressionUUID->"494c3f61-73f3-4a15-95bb-55fea0753303"], Cell[27333, 885, 359, 5, 61, "Output",ExpressionUUID->"e7c90d38-0a47-40c2-866e-91865f7f0657"] }, Open ]], Cell[CellGroupData[{ Cell[27729, 895, 500, 12, 66, "Input",ExpressionUUID->"f7bef780-fc94-4234-b9b4-9852452b565c"], Cell[28232, 909, 373, 7, 61, "Output",ExpressionUUID->"9cd5dcaf-5b9c-498f-a1fb-b3906c00c477"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[28654, 922, 156, 3, 103, "Section",ExpressionUUID->"365702cf-f759-461a-9f65-a43d6f5bd278"], Cell[CellGroupData[{ Cell[28835, 929, 871, 21, 93, "Input",ExpressionUUID->"f0881516-5dfc-4ac9-a53e-59ed5b90da23"], Cell[29709, 952, 630, 10, 61, "Output",ExpressionUUID->"77618b57-486e-403d-8912-edb7e9f64a8d"] }, Open ]], Cell[CellGroupData[{ Cell[30376, 967, 772, 17, 66, "Input",ExpressionUUID->"7e0eb221-3cca-461b-94e1-e0e6e48f77d1"], Cell[31151, 986, 496, 12, 36, "Print",ExpressionUUID->"8fc96bed-e466-4ed2-bdc1-acb27fe272be"], Cell[31650, 1000, 715, 15, 87, "Output",ExpressionUUID->"06d77fbf-ed07-4eda-8d5b-d636b613fabb"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[32414, 1021, 154, 3, 103, "Section",ExpressionUUID->"224a8f2a-7078-4109-9910-e86e42c4a8ed"], Cell[CellGroupData[{ Cell[32593, 1028, 488, 14, 50, "Subsubsection",ExpressionUUID->"0e46fb48-19cb-4185-8d4d-ffaee047f670"], Cell[CellGroupData[{ Cell[33106, 1046, 1260, 27, 67, "Input",ExpressionUUID->"7eede8e7-7398-48a7-9a1f-74188f08b38f"], Cell[34369, 1075, 1020, 27, 36, "Print",ExpressionUUID->"4546e949-87f3-45c5-8568-7878515bec2c"], Cell[35392, 1104, 1142, 24, 80, "Output",ExpressionUUID->"470a5413-4723-484b-8d0d-ef100b128119"] }, Open ]], Cell[36549, 1131, 184, 4, 63, "Input",ExpressionUUID->"9bfa03b7-9809-4655-8c49-f797b086f494"], Cell[CellGroupData[{ Cell[36758, 1139, 407, 10, 66, "Input",ExpressionUUID->"4d5b4980-486f-4ca2-9160-89bf95e227a5"], Cell[37168, 1151, 532, 14, 63, "Output",ExpressionUUID->"a6948333-3911-4962-ad66-eecebbb88053"] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[37761, 1172, 156, 3, 104, "Section",ExpressionUUID->"12cde539-58b0-45dd-8256-ee13dbbe59d2"], Cell[CellGroupData[{ Cell[37942, 1179, 167, 3, 49, "Subsubsection",ExpressionUUID->"808c672e-fe26-41ad-a010-ce023d997b68"], Cell[CellGroupData[{ Cell[38134, 1186, 1008, 23, 90, "Input",ExpressionUUID->"cf757cf7-f64e-432c-80fe-3e16635cf395"], Cell[39145, 1211, 368, 5, 63, "Output",ExpressionUUID->"0bc0332f-0787-4d36-bfd3-40215dcd8263"] }, Open ]], Cell[CellGroupData[{ Cell[39550, 1221, 444, 13, 66, "Input",ExpressionUUID->"3a407c85-44ca-45de-86f8-af8ccf9e5559"], Cell[39997, 1236, 537, 14, 36, "Print",ExpressionUUID->"dbd9e501-170d-4f61-919f-b3543f08759a"], Cell[40537, 1252, 413, 10, 80, "Output",ExpressionUUID->"871897b7-d1b6-45a3-b63f-4161ad0d7813"] }, Open ]], Cell[CellGroupData[{ Cell[40987, 1267, 550, 14, 66, "Input",ExpressionUUID->"6046adda-078c-405c-969b-8e3e4c7b25dc"], Cell[41540, 1283, 376, 9, 80, "Output",ExpressionUUID->"65325e92-129e-4ed4-abd2-06bdc3d9788b"] }, Open ]] }, Open ]] }, Open ]] }, Open ]], Cell[41967, 1298, 171, 3, 49, "Subtitle",ExpressionUUID->"878968e0-0f10-4920-bcfe-22c27984f061"], Cell[CellGroupData[{ Cell[42163, 1305, 563, 17, 152, "Input",ExpressionUUID->"d0909b9f-5e62-4b98-9a91-557a6e0b688a"], Cell[42729, 1324, 1125, 33, 217, "Input",ExpressionUUID->"c8a5d98c-be5b-4fb9-8475-84e5ab8bfef7"], Cell[CellGroupData[{ Cell[43879, 1361, 1260, 35, 101, "Input",ExpressionUUID->"ad9ef983-8e16-4686-8705-c74f1b4cb722"], Cell[45142, 1398, 7530, 127, 488, "Print",ExpressionUUID->"e2b2c7ed-72db-4334-8117-7d3fd7e5d951"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[52721, 1531, 285, 6, 93, "Input",ExpressionUUID->"f9d2bcfa-9f02-426f-b7ef-d0f374ad47b8"], Cell[53009, 1539, 210, 2, 61, "Output",ExpressionUUID->"3a44951d-e431-4f1c-acb2-84b9be945dce"] }, Open ]], Cell[53234, 1544, 3203, 95, 504, "Input",ExpressionUUID->"89f95b45-a7f9-4d10-8231-59df5717e7fc"], Cell[CellGroupData[{ Cell[56462, 1643, 429, 9, 61, "Input",ExpressionUUID->"0c4405f3-1a76-4abe-b25b-e3ced38ae6dc"], Cell[56894, 1654, 7485, 127, 519, "Print",ExpressionUUID->"3fc6ad02-1bb9-4407-a746-32e81adf01e7"] }, Open ]], Cell[CellGroupData[{ Cell[64416, 1786, 260, 6, 61, "Input",ExpressionUUID->"f6e52e6b-d4dd-4aad-a2d4-8a85238d8c8d"], Cell[64679, 1794, 292, 4, 61, "Output",ExpressionUUID->"6c6a40ca-fd69-4d29-92da-e13ae29c3375"] }, Open ]], Cell[64986, 1801, 3181, 93, 415, "Input",ExpressionUUID->"934d3f6f-1c32-4a40-9196-be52f742d4b9"], Cell[CellGroupData[{ Cell[68192, 1898, 429, 9, 61, "Input",ExpressionUUID->"4de37c21-f975-4be6-9118-096ee08a41fc"], Cell[68624, 1909, 6121, 127, 519, "Print",ExpressionUUID->"2759602d-acbc-435e-a4a5-17a8b345c531"] }, Open ]] } ] *)