(* Content-type: application/mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 7.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 145, 7] NotebookDataLength[ 46141, 1511] NotebookOptionsPosition[ 39787, 1296] NotebookOutlinePosition[ 40992, 1335] CellTagsIndexPosition[ 40738, 1326] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["Notebook that accompany package Builder.", "Title", CellChangeTimes->{{3.4545980572187247`*^9, 3.454598087408725*^9}, 3.4545981997187247`*^9, {3.454602251382725*^9, 3.454602252451725*^9}}], Cell["\<\ Authors: Luis A. Medina and Doron Zeilberger \t Rutgers University \t [lmedina, zeilberg]@math.rutgers.edu\ \>", "Subsubtitle", CellChangeTimes->{{3.454598090958725*^9, 3.454598142543725*^9}, { 3.454602254460725*^9, 3.454602288367725*^9}}], Cell[TextData[StyleBox["Please report bugs to: lmedina@math.rutgers.edu", FontSize->16]], "Text", CellChangeTimes->{{3.454598151564725*^9, 3.454598172062725*^9}, { 3.454598744487725*^9, 3.454598747348725*^9}}], Cell[CellGroupData[{ Cell["Calling Builder.m", "Section", CellChangeTimes->{{3.4545981858837247`*^9, 3.4545981915087247`*^9}}], Cell[TextData[{ StyleBox["Please save Builder.m in a folder that is readable by ", FontSize->16], StyleBox["Mathematica", FontSize->16, FontSlant->"Italic"], StyleBox[". For example, if you are a Windows user,\nyou can save the file \ Builder.m in the following location: \ C:\\ProgramData\\Mathematica\\Applications.\n\nOnce this is done, you can \ read the package by simply typing:\t", FontSize->16] }], "Text", CellChangeTimes->{{3.454598209078725*^9, 3.454598302019725*^9}, { 3.454598340118725*^9, 3.454598377309725*^9}, {3.454599702092725*^9, 3.4545997095677247`*^9}, {3.454602269347725*^9, 3.4546022700167246`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"<<", "Builder.m"}]], "Input", CellChangeTimes->{{3.454598062852725*^9, 3.4545980657447248`*^9}}], Cell[BoxData[ StyleBox["\<\" Created: June 20, 2009.\\n\\nThis program was written by Luis \ A. Medina and Doron Zeilberger,\\nRutgers University. [medina, zeilberg] at \ math dot rutgers dot edu \\n\\nThis is one of the packages that accompany the \ article:\\n'An Experimental Mathematics Perspective on the Old, and \\nstill \ Open, Question of When To Stop?'\\n\\tby Luis A. Medina and Doron Zeilberger.\ \\n\\nPlease report bug to: lmedina at math dot rutgers dot edu.\\n\\nThe \ most current version of this package and paper\\nare available from \ http://www.math.rutgers.edu/~lmedina.\\n\\nFunctions included in this package \ are:\\n\\nGuessRationalFunction[list,m,n,x]\\nGF[m,n,\[Alpha]]\\nBUILDER[m,n,\ \[Alpha]].\\n\\nIf you want to know more information about these functions, \ \\nsimpliy input ?nameoffunction. For example, try ?GF.\"\>", "MSG"]], "Print", "PrintUsage", CellChangeTimes->{3.454598066250725*^9}, CellTags->"Info3454583666-8806079"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["The functions", "Section", CellChangeTimes->{{3.454598410324725*^9, 3.4545984118987246`*^9}}], Cell[TextData[StyleBox["If you need information about the functions included \ in this package, simply\ntype ?nameoffunction. For example:", FontSize->16]], "Text", CellChangeTimes->{{3.4545984223117247`*^9, 3.4545984571657248`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "GF"}]], "Input", CellChangeTimes->{{3.454598459578725*^9, 3.454598461303725*^9}, { 3.454598593465725*^9, 3.4545986091037245`*^9}}], Cell[BoxData[ StyleBox["\<\"GF[m,n,\[Alpha]] takes as input a positive integer m and two \ variables n and \[Alpha], \\nIt then tries to guess the closed forms of \ \!\(\*StyleBox[\\\"f\\\",\\nFontSlant->\\\"Italic\\\"]\)(n+\[Alpha],n-\[Alpha]\ -m+1,2n+1).\\nFor instance, try GF[3,n,\[Alpha]].\\n\\nGF has an option \ called Bound. What Bound does is to \\nchange the bound on 'n'. For \ instance, GF[2,n,\[Alpha],Bound->20] \\nassumes that n>=20.\"\>", "MSG"]], "Print", "PrintUsage", CellChangeTimes->{3.454598609564725*^9}, CellTags->"Info3454584209-8191052"] }, Open ]], Cell[CellGroupData[{ Cell["GuessRationalFunction", "Subsection", CellChangeTimes->{{3.4545984732877245`*^9, 3.4545984793467245`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "GuessRationalFunction"}]], "Input", CellChangeTimes->{{3.454598617807725*^9, 3.4545986199907246`*^9}}], Cell[BoxData[ StyleBox["\<\"GuessRationalFunction[list,degN,degD,x] tries to match \\na \ given list of values to a rational function in x whose degree \\nin the \ numerator is at most degN and whose degree in the \\ndenominator is at most \ degN.\"\>", "MSG"]], "Print", "PrintUsage", CellChangeTimes->{3.4545986209627247`*^9}, CellTags->"Info3454584220-5948249"] }, Open ]], Cell[CellGroupData[{ Cell["Example 1", "Subsubsection", CellChangeTimes->{{3.4545986682617245`*^9, 3.454598669324725*^9}, { 3.4545987597717247`*^9, 3.454598760466725*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ FractionBox["x", RowBox[{ SuperscriptBox["x", "3"], "+", RowBox[{"3", "x"}], "+", "1"}]], ",", RowBox[{"{", RowBox[{"x", ",", "1", ",", "10"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.454598625682725*^9, 3.454598640500725*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["1", "5"], ",", FractionBox["2", "15"], ",", FractionBox["3", "37"], ",", FractionBox["4", "77"], ",", FractionBox["5", "141"], ",", FractionBox["6", "235"], ",", FractionBox["7", "365"], ",", FractionBox["8", "537"], ",", FractionBox["9", "757"], ",", FractionBox["10", "1031"]}], "}"}]], "Output", CellChangeTimes->{3.454598640689725*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"GuessRationalFunction", "[", RowBox[{ RowBox[{"{", RowBox[{ FractionBox["1", "5"], ",", FractionBox["2", "15"], ",", FractionBox["3", "37"], ",", FractionBox["4", "77"], ",", FractionBox["5", "141"], ",", FractionBox["6", "235"], ",", FractionBox["7", "365"], ",", FractionBox["8", "537"], ",", FractionBox["9", "757"], ",", FractionBox["10", "1031"]}], "}"}], ",", "4", ",", "4", ",", "x"}], "]"}]], "Input", CellChangeTimes->{{3.454598646637725*^9, 3.454598656706725*^9}}], Cell[BoxData[ FractionBox["x", RowBox[{"1", "+", RowBox[{"3", " ", "x"}], "+", SuperscriptBox["x", "3"]}]]], "Output", CellChangeTimes->{3.454598657234725*^9}] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["Example 2", "Subsubsection", CellChangeTimes->{{3.4545987646347246`*^9, 3.454598766305725*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ FractionBox[ RowBox[{ SuperscriptBox["x", "2"], "+", "1"}], RowBox[{ SuperscriptBox["x", "4"], "+", RowBox[{"3", SuperscriptBox["x", "3"]}], "+", "1"}]], ",", RowBox[{"{", RowBox[{"x", ",", "1", ",", "12"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.4545986912267246`*^9, 3.4545987050277247`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["2", "5"], ",", FractionBox["5", "41"], ",", FractionBox["10", "163"], ",", FractionBox["17", "449"], ",", FractionBox["2", "77"], ",", FractionBox["37", "1945"], ",", FractionBox["50", "3431"], ",", FractionBox["65", "5633"], ",", FractionBox["82", "8749"], ",", FractionBox["101", "13001"], ",", FractionBox["122", "18635"], ",", FractionBox["145", "25921"]}], "}"}]], "Output", CellChangeTimes->{3.454598705263725*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"GuessRationalFunction", "[", RowBox[{ RowBox[{"{", RowBox[{ FractionBox["2", "5"], ",", FractionBox["5", "41"], ",", FractionBox["10", "163"], ",", FractionBox["17", "449"], ",", FractionBox["2", "77"], ",", FractionBox["37", "1945"], ",", FractionBox["50", "3431"], ",", FractionBox["65", "5633"], ",", FractionBox["82", "8749"], ",", FractionBox["101", "13001"], ",", FractionBox["122", "18635"], ",", FractionBox["145", "25921"]}], "}"}], ",", "4", ",", "4", ",", "x"}], "]"}]], "Input", CellChangeTimes->{{3.454598707097725*^9, 3.4545987165087247`*^9}}], Cell[BoxData[ FractionBox[ RowBox[{"1", "+", SuperscriptBox["x", "2"]}], RowBox[{"1", "+", RowBox[{"3", " ", SuperscriptBox["x", "3"]}], "+", SuperscriptBox["x", "4"]}]]], "Output", CellChangeTimes->{3.454598716802725*^9}] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["Example 3", "Subsubsection", CellChangeTimes->{{3.454598771873725*^9, 3.454598773727725*^9}}], Cell[TextData[StyleBox["The number of elements in the list should be bigger \ than the sum of the guess degrees. \nFor example", FontSize->16]], "Text", CellChangeTimes->{{3.454599309974725*^9, 3.454599346529725*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ FractionBox[ RowBox[{ SuperscriptBox["x", "5"], "+", "1"}], RowBox[{ SuperscriptBox["x", "4"], "+", RowBox[{"3", SuperscriptBox["x", "3"]}], "+", "1"}]], ",", RowBox[{"{", RowBox[{"x", ",", "1", ",", "9"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.454599351274725*^9, 3.454599358650725*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["2", "5"], ",", FractionBox["33", "41"], ",", FractionBox["244", "163"], ",", FractionBox["1025", "449"], ",", FractionBox["3126", "1001"], ",", FractionBox["7777", "1945"], ",", FractionBox["16808", "3431"], ",", FractionBox["32769", "5633"], ",", FractionBox["59050", "8749"]}], "}"}]], "Output", CellChangeTimes->{{3.454599353533725*^9, 3.454599358982725*^9}}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"GuessRationalFunction", "[", RowBox[{ RowBox[{"{", RowBox[{ FractionBox["2", "5"], ",", FractionBox["33", "41"], ",", FractionBox["244", "163"], ",", FractionBox["1025", "449"], ",", FractionBox["3126", "1001"], ",", FractionBox["7777", "1945"], ",", FractionBox["16808", "3431"], ",", FractionBox["32769", "5633"], ",", FractionBox["59050", "8749"]}], "}"}], ",", "5", ",", "5", ",", "x"}], "]"}]], "Input", CellChangeTimes->{{3.4545993612917247`*^9, 3.4545993695217247`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"GuessRationalFunction", "::", "\<\"numelemlist\"\>"}], RowBox[{ ":", " "}], "\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"The number of elements in \ the list should exceeds the sum of the degrees.\\\\\\\"\\\", \\\"MT\\\"]\\)\"\ \>"}]], "Message", "MSG", CellChangeTimes->{3.454599370361725*^9}], Cell[BoxData[ RowBox[{"GuessRationalFunction", "[", RowBox[{ RowBox[{"{", RowBox[{ FractionBox["2", "5"], ",", FractionBox["33", "41"], ",", FractionBox["244", "163"], ",", FractionBox["1025", "449"], ",", FractionBox["3126", "1001"], ",", FractionBox["7777", "1945"], ",", FractionBox["16808", "3431"], ",", FractionBox["32769", "5633"], ",", FractionBox["59050", "8749"]}], "}"}], ",", "5", ",", "5", ",", "x"}], "]"}]], "Output", CellChangeTimes->{3.4545993704157248`*^9}] }, Open ]], Cell[TextData[StyleBox["But", FontSize->16]], "Text", CellChangeTimes->{{3.4545993749687247`*^9, 3.454599375288725*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"GuessRationalFunction", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ FractionBox[ RowBox[{ SuperscriptBox["x", "5"], "+", "1"}], RowBox[{ SuperscriptBox["x", "4"], "+", RowBox[{"3", SuperscriptBox["x", "3"]}], "+", "1"}]], ",", RowBox[{"{", RowBox[{"x", ",", "1", ",", "11"}], "}"}]}], "]"}], ",", "5", ",", "5", ",", "x"}], "]"}]], "Input", CellChangeTimes->{{3.454599429335725*^9, 3.4545994360017247`*^9}}], Cell[BoxData[ FractionBox[ RowBox[{"1", "+", SuperscriptBox["x", "5"]}], RowBox[{"1", "+", RowBox[{"3", " ", SuperscriptBox["x", "3"]}], "+", SuperscriptBox["x", "4"]}]]], "Output", CellChangeTimes->{3.454599436300725*^9}] }, Open ]] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["GF", "Subsection", CellChangeTimes->{{3.454599452536725*^9, 3.4545994531347246`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "GF"}]], "Input", CellChangeTimes->{{3.4545994545677247`*^9, 3.454599455548725*^9}}], Cell[BoxData[ StyleBox["\<\"GF[m,n,\[Alpha]] takes as input a positive integer m and two \ variables n and \[Alpha], \\nIt then tries to guess the closed forms of \ \\!\\(\\*StyleBox[\\\"f\\\",\\nFontSlant->\\\"Italic\\\"]\\)(n+\[Alpha],n-\ \[Alpha]-m+1,2n+1).\\nFor instance, try GF[3,n,\[Alpha]].\\n\\nGF has an \ option called Bound. What Bound does is to \\nchange the bound on 'n'. For \ instance, GF[2,n,\[Alpha],Bound->20] \\nassumes that n>=20.\"\>", "MSG"]], "Print", "PrintUsage", CellChangeTimes->{3.454599456052725*^9}, CellTags->"Info3454585056-2019082"] }, Open ]], Cell[TextData[StyleBox["The function that GF is trying to match is given by", FontSize->16]], "Text", CellChangeTimes->{{3.4546015733507247`*^9, 3.4546015914837246`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"f", "[", RowBox[{"h_", ",", "t_", ",", "n_"}], "]"}], "/;", RowBox[{"(", RowBox[{ RowBox[{"h", "+", "t"}], "==", "n"}], ")"}]}], ":=", RowBox[{"Max", "[", RowBox[{ RowBox[{"1", "/", "2"}], ",", RowBox[{"h", "/", "n"}]}], "]"}]}]], "Input"], Cell[BoxData[ RowBox[{ RowBox[{"f", "[", RowBox[{"0", ",", "0", ",", "n_"}], "]"}], ":=", RowBox[{ RowBox[{"1", "/", "2"}], " ", RowBox[{"(", RowBox[{ RowBox[{"f", "[", RowBox[{"1", ",", "0", ",", "n"}], "]"}], "+", RowBox[{"f", "[", RowBox[{"0", ",", "1", ",", "n"}], "]"}]}], ")"}]}]}]], "Input"], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"f", "[", RowBox[{"h_", ",", "t_", ",", "n_"}], "]"}], "/;", RowBox[{ RowBox[{"h", "+", "t"}], "<", "n"}]}], ":=", RowBox[{ RowBox[{"f", "[", RowBox[{"h", ",", "t", ",", "n"}], "]"}], "=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"$RecursionLimit", "=", "Infinity"}], "}"}], ",", RowBox[{"Max", "[", RowBox[{ RowBox[{"h", "/", RowBox[{"(", RowBox[{"h", "+", "t"}], ")"}]}], ",", RowBox[{ RowBox[{"1", "/", "2"}], " ", RowBox[{"(", RowBox[{ RowBox[{"f", "[", RowBox[{ RowBox[{"h", "+", "1"}], ",", "t", ",", "n"}], "]"}], "+", RowBox[{"f", "[", RowBox[{"h", ",", RowBox[{"t", "+", "1"}], ",", "n"}], "]"}]}], ")"}]}]}], "]"}]}], "]"}]}]}]], "Input"], Cell[TextData[StyleBox["In particular, it studies", FontSize->16]], "Text", CellChangeTimes->{{3.454601642842725*^9, 3.4546016496207247`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"F", "[", RowBox[{"m_", ",", "n_", ",", "\[Alpha]_"}], "]"}], ":=", RowBox[{"f", "[", RowBox[{ RowBox[{"n", "+", "\[Alpha]"}], ",", RowBox[{"n", "-", "m", "+", "1", "-", "\[Alpha]"}], ",", RowBox[{ RowBox[{"2", "n"}], "+", "1"}]}], "]"}]}]], "Input"], Cell[CellGroupData[{ Cell["Example 1", "Subsubsection", CellChangeTimes->{{3.454599477024725*^9, 3.454599478691725*^9}}], Cell[TextData[StyleBox["If no bound is entered, then GF uses an internal \ bound to calculate\nthe guess function.", FontSize->16]], "Text", CellChangeTimes->{{3.454599483177725*^9, 3.454599514366725*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"GF", "[", RowBox[{"2", ",", "n", ",", "\[Alpha]"}], "]"}]], "Input", CellChangeTimes->{{3.4545994654437246`*^9, 3.454599470682725*^9}, { 3.4545995244557247`*^9, 3.454599528406725*^9}}], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"The following function was guessed assuming n\[GreaterEqual]\"\ \>", "\[InvisibleSpace]", "3", "\[InvisibleSpace]", "\<\".\"\>"}], SequenceForm[ "The following function was guessed assuming n\[GreaterEqual]", 3, "."], Editable->False]], "Print", CellChangeTimes->{ 3.4545994714107246`*^9, {3.4545995248567247`*^9, 3.4545995289367247`*^9}, 3.454601675612725*^9}], Cell[BoxData[ RowBox[{"\[Piecewise]", GridBox[{ { FractionBox["1", "2"], RowBox[{"\[Alpha]", "\[LessEqual]", RowBox[{"-", "2"}]}]}, { FractionBox[ RowBox[{"5", "+", RowBox[{"8", " ", "n"}]}], RowBox[{"8", "+", RowBox[{"16", " ", "n"}]}]], RowBox[{"\[Alpha]", "\[Equal]", RowBox[{"-", "1"}]}]}, { FractionBox[ RowBox[{"2", "+", RowBox[{"9", " ", "n"}], "+", RowBox[{"8", " ", SuperscriptBox["n", "2"]}]}], RowBox[{ RowBox[{"8", " ", "n"}], "+", RowBox[{"16", " ", SuperscriptBox["n", "2"]}]}]], RowBox[{"\[Alpha]", "\[Equal]", "0"}]}, { FractionBox[ RowBox[{"n", "+", "\[Alpha]"}], RowBox[{ RowBox[{"-", "1"}], "+", RowBox[{"2", " ", "n"}]}]], RowBox[{"\[Alpha]", "\[GreaterEqual]", "1"}]}, {"0", TagBox["True", "PiecewiseDefault", AutoDelete->False, DeletionWarning->True]} }, GridBoxAlignment->{ "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, "RowsIndexed" -> {}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.84]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}}]}]], "Output", CellChangeTimes->{ 3.454599471411725*^9, {3.454599524857725*^9, 3.4545995289387245`*^9}, 3.454601675616725*^9}] }, Open ]], Cell[TextData[StyleBox["Note that ", FontSize->16]], "Text", CellChangeTimes->{{3.454601690826725*^9, 3.4546016924817247`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ FractionBox[ RowBox[{"2", "+", RowBox[{"9", " ", "n"}], "+", RowBox[{"8", " ", SuperscriptBox["n", "2"]}]}], RowBox[{ RowBox[{"8", " ", "n"}], "+", RowBox[{"16", " ", SuperscriptBox["n", "2"]}]}]], ",", RowBox[{"{", RowBox[{"n", ",", "3", ",", "10"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.4546016861797247`*^9, 3.4546017092717247`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["101", "168"], ",", FractionBox["83", "144"], ",", FractionBox["247", "440"], ",", FractionBox["43", "78"], ",", FractionBox["457", "840"], ",", FractionBox["293", "544"], ",", FractionBox["731", "1368"], ",", FractionBox["223", "420"]}], "}"}]], "Output", CellChangeTimes->{3.454601709512725*^9}] }, Open ]], Cell[TextData[StyleBox["and", FontSize->16]], "Text", CellChangeTimes->{{3.4546017159837246`*^9, 3.454601716237725*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"F", "[", RowBox[{"2", ",", "n", ",", "0"}], "]"}], ",", RowBox[{"{", RowBox[{"n", ",", "3", ",", "10"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.454601717536725*^9, 3.454601731888725*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["101", "168"], ",", FractionBox["83", "144"], ",", FractionBox["247", "440"], ",", FractionBox["43", "78"], ",", FractionBox["457", "840"], ",", FractionBox["293", "544"], ",", FractionBox["731", "1368"], ",", FractionBox["223", "420"]}], "}"}]], "Output", CellChangeTimes->{3.454601732090725*^9}] }, Open ]], Cell[TextData[StyleBox["Similarly", FontSize->16]], "Text", CellChangeTimes->{{3.454601758807725*^9, 3.4546017629647245`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ FractionBox[ RowBox[{"5", "+", RowBox[{"8", " ", "n"}]}], RowBox[{"8", "+", RowBox[{"16", " ", "n"}]}]], ",", RowBox[{"{", RowBox[{"n", ",", "3", ",", "10"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.454601888032725*^9, 3.454601894803725*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["29", "56"], ",", FractionBox["37", "72"], ",", FractionBox["45", "88"], ",", FractionBox["53", "104"], ",", FractionBox["61", "120"], ",", FractionBox["69", "136"], ",", FractionBox["77", "152"], ",", FractionBox["85", "168"]}], "}"}]], "Output", CellChangeTimes->{3.454601895026725*^9}] }, Open ]], Cell[TextData[StyleBox["and", FontSize->16]], "Text", CellChangeTimes->{{3.454601899274725*^9, 3.454601900295725*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"F", "[", RowBox[{"2", ",", "n", ",", RowBox[{"-", "1"}]}], "]"}], ",", RowBox[{"{", RowBox[{"n", ",", "3", ",", "10"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.4546019019247246`*^9, 3.454601916418725*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["29", "56"], ",", FractionBox["37", "72"], ",", FractionBox["45", "88"], ",", FractionBox["53", "104"], ",", FractionBox["61", "120"], ",", FractionBox["69", "136"], ",", FractionBox["77", "152"], ",", FractionBox["85", "168"]}], "}"}]], "Output", CellChangeTimes->{3.4546019166537247`*^9}] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["Example 2", "Subsubsection", CellChangeTimes->{{3.4545995615757246`*^9, 3.4545995635937247`*^9}}], Cell[TextData[StyleBox["You can enter your own bound on n by typing", FontSize->16]], "Text", CellChangeTimes->{{3.4545995683657246`*^9, 3.4545995981747246`*^9}, 3.454599741894725*^9}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"GF", "[", RowBox[{"3", ",", "n", ",", "\[Alpha]", ",", RowBox[{"Bound", "\[Rule]", "15"}]}], "]"}]], "Input", CellChangeTimes->{{3.4545997452947245`*^9, 3.454599754430725*^9}}], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"The following function was guessed assuming n\[GreaterEqual]\"\ \>", "\[InvisibleSpace]", "15", "\[InvisibleSpace]", "\<\".\"\>"}], SequenceForm[ "The following function was guessed assuming n\[GreaterEqual]", 15, "."], Editable->False]], "Print", CellChangeTimes->{3.4545997547517247`*^9, 3.454601678204725*^9}], Cell[BoxData[ RowBox[{"\[Piecewise]", GridBox[{ { FractionBox["1", "2"], RowBox[{"\[Alpha]", "\[LessEqual]", RowBox[{"-", "3"}]}]}, { FractionBox[ RowBox[{"9", "+", RowBox[{"16", " ", "n"}]}], RowBox[{"16", "+", RowBox[{"32", " ", "n"}]}]], RowBox[{"\[Alpha]", "\[Equal]", RowBox[{"-", "2"}]}]}, { FractionBox[ RowBox[{"1", "+", RowBox[{"7", " ", "n"}], "+", RowBox[{"8", " ", SuperscriptBox["n", "2"]}]}], RowBox[{ RowBox[{"8", " ", "n"}], "+", RowBox[{"16", " ", SuperscriptBox["n", "2"]}]}]], RowBox[{"\[Alpha]", "\[Equal]", RowBox[{"-", "1"}]}]}, { FractionBox[ RowBox[{"2", "-", RowBox[{"3", " ", "n"}], "-", RowBox[{"34", " ", SuperscriptBox["n", "2"]}], "-", RowBox[{"32", " ", SuperscriptBox["n", "3"]}]}], RowBox[{ RowBox[{"16", " ", "n"}], "-", RowBox[{"64", " ", SuperscriptBox["n", "3"]}]}]], RowBox[{"\[Alpha]", "\[Equal]", "0"}]}, { FractionBox[ RowBox[{"n", "+", "\[Alpha]"}], RowBox[{ RowBox[{"-", "2"}], "+", RowBox[{"2", " ", "n"}]}]], RowBox[{"\[Alpha]", "\[GreaterEqual]", "1"}]}, {"0", TagBox["True", "PiecewiseDefault", AutoDelete->False, DeletionWarning->True]} }, GridBoxAlignment->{ "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, "RowsIndexed" -> {}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.84]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}}]}]], "Output", CellChangeTimes->{3.4545997547527246`*^9, 3.454601678216725*^9}] }, Open ]], Cell[TextData[{ StyleBox["However, sometimes your bound is too small and GF cannot\nguess \ the appropiate form of ", FontSize->16], StyleBox["f. ", FontSize->16, FontSlant->"Italic"], StyleBox["In this case, GF returns an error\nmessage.", FontSize->16] }], "Text", CellChangeTimes->{{3.4545997621067247`*^9, 3.454599813163725*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"GF", "[", RowBox[{"3", ",", "n", ",", "\[Alpha]", ",", RowBox[{"Bound", "\[Rule]", "6"}]}], "]"}]], "Input", CellChangeTimes->{{3.454599819649725*^9, 3.454599819716725*^9}, { 3.454601541763725*^9, 3.4546015541937246`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"GF", "::", "\<\"bound\"\>"}], RowBox[{ ":", " "}], "\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"Try a bigger bound in the \ last argument.\\\\\\\"\\\", \\\"MT\\\"]\\)\"\>"}]], "Message", "MSG", CellChangeTimes->{3.4546015544817247`*^9}], Cell[BoxData["$Failed"], "Output", CellChangeTimes->{ 3.454599820098725*^9, {3.454601542064725*^9, 3.4546015544837246`*^9}}] }, Open ]] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["BUILDER", "Subsection", CellChangeTimes->{{3.454601937918725*^9, 3.454601940276725*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "BUILDER"}]], "Input", CellChangeTimes->{{3.454601942413725*^9, 3.4546019509787245`*^9}}], Cell[BoxData[ StyleBox["\<\"BUILDER[m,n,\[Alpha]] takes as input a positive integer m \ and\\ntwo variables n and \[Alpha]. It then find the closed form of \ \\!\\(\\*StyleBox[\\\"f\\\",\\nFontSlant->\\\"Italic\\\"]\\)(n+\[Alpha],n-\ \[Alpha]-m+1,2n+1).\\nFor instance, try BUILDER[3,n,\[Alpha]].\\n\\nBUILDER \ has an option called Bound. What Bound does is \\nto change the bound on \ 'n'. For instance, BUILDER[2,n,\[Alpha],Bound->20] \\nassumes that \ n>=20.\"\>", "MSG"]], "Print", "PrintUsage", CellChangeTimes->{3.454601951456725*^9}, CellTags->"Info3454587551-3787535"] }, Open ]], Cell[CellGroupData[{ Cell["Example 1", "Subsubsection", CellChangeTimes->{{3.454601957519725*^9, 3.454601963451725*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"BUILDER", "[", RowBox[{"4", ",", "n", ",", "\[Alpha]"}], "]"}]], "Input", CellChangeTimes->{{3.454601965875725*^9, 3.4546019783987246`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"The following formula was found assuming n\[GreaterEqual]\"\>", "\[InvisibleSpace]", "37", "\[InvisibleSpace]", "\<\".\"\>"}], SequenceForm[ "The following formula was found assuming n\[GreaterEqual]", 37, "."], Editable->False]], "Print", CellChangeTimes->{3.454601978644725*^9}], Cell[BoxData["\<\"We do not claim this bound on n is minimal!\"\>"], "Print", CellChangeTimes->{3.4546019786537247`*^9}] }, Open ]], Cell[BoxData[ RowBox[{"\[Piecewise]", GridBox[{ { FractionBox["1", "2"], RowBox[{"\[Alpha]", "\[LessEqual]", RowBox[{"-", "4"}]}]}, { FractionBox[ RowBox[{"17", "+", RowBox[{"32", " ", "n"}]}], RowBox[{"32", "+", RowBox[{"64", " ", "n"}]}]], RowBox[{"\[Alpha]", "\[Equal]", RowBox[{"-", "3"}]}]}, { FractionBox[ RowBox[{"2", "+", RowBox[{"23", " ", "n"}], "+", RowBox[{"32", " ", SuperscriptBox["n", "2"]}]}], RowBox[{ RowBox[{"32", " ", "n"}], "+", RowBox[{"64", " ", SuperscriptBox["n", "2"]}]}]], RowBox[{"\[Alpha]", "\[Equal]", RowBox[{"-", "2"}]}]}, { FractionBox[ RowBox[{ RowBox[{"-", "4"}], "-", RowBox[{"7", " ", "n"}], "+", RowBox[{"46", " ", SuperscriptBox["n", "2"]}], "+", RowBox[{"64", " ", SuperscriptBox["n", "3"]}]}], RowBox[{ RowBox[{ RowBox[{"-", "32"}], " ", "n"}], "+", RowBox[{"128", " ", SuperscriptBox["n", "3"]}]}]], RowBox[{"\[Alpha]", "\[Equal]", RowBox[{"-", "1"}]}]}, { FractionBox[ RowBox[{"2", "-", RowBox[{"13", " ", "n"}], "-", RowBox[{"39", " ", SuperscriptBox["n", "2"]}], "+", RowBox[{"34", " ", SuperscriptBox["n", "3"]}], "+", RowBox[{"64", " ", SuperscriptBox["n", "4"]}]}], RowBox[{ RowBox[{"32", " ", "n"}], "-", RowBox[{"32", " ", SuperscriptBox["n", "2"]}], "-", RowBox[{"128", " ", SuperscriptBox["n", "3"]}], "+", RowBox[{"128", " ", SuperscriptBox["n", "4"]}]}]], RowBox[{"\[Alpha]", "\[Equal]", "0"}]}, { FractionBox[ RowBox[{"n", "+", "\[Alpha]"}], RowBox[{ RowBox[{"-", "3"}], "+", RowBox[{"2", " ", "n"}]}]], RowBox[{"\[Alpha]", "\[GreaterEqual]", "1"}]}, {"0", TagBox["True", "PiecewiseDefault", AutoDelete->False, DeletionWarning->True]} }, GridBoxAlignment->{ "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, "RowsIndexed" -> {}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.84]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}}]}]], "Output", CellChangeTimes->{3.454601978663725*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"BUILDER", "[", RowBox[{"4", ",", "n", ",", "\[Alpha]"}], "]"}]], "Input", CellChangeTimes->{{3.454601965875725*^9, 3.4546020043797245`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"The following formula was found assuming n\[GreaterEqual]\"\>", "\[InvisibleSpace]", "37", "\[InvisibleSpace]", "\<\".\"\>"}], SequenceForm[ "The following formula was found assuming n\[GreaterEqual]", 37, "."], Editable->False]], "Print", CellChangeTimes->{{3.454601983925725*^9, 3.4546020049647245`*^9}}], Cell[BoxData["\<\"We do not claim this bound on n is minimal!\"\>"], "Print", CellChangeTimes->{{3.454601983925725*^9, 3.454602004966725*^9}}] }, Open ]], Cell[BoxData[ RowBox[{"\[Piecewise]", GridBox[{ { FractionBox["1", "2"], RowBox[{"\[Alpha]", "\[LessEqual]", RowBox[{"-", "4"}]}]}, { FractionBox[ RowBox[{"17", "+", RowBox[{"32", " ", "n"}]}], RowBox[{"32", "+", RowBox[{"64", " ", "n"}]}]], RowBox[{"\[Alpha]", "\[Equal]", RowBox[{"-", "3"}]}]}, { FractionBox[ RowBox[{"2", "+", RowBox[{"23", " ", "n"}], "+", RowBox[{"32", " ", SuperscriptBox["n", "2"]}]}], RowBox[{ RowBox[{"32", " ", "n"}], "+", RowBox[{"64", " ", SuperscriptBox["n", "2"]}]}]], RowBox[{"\[Alpha]", "\[Equal]", RowBox[{"-", "2"}]}]}, { FractionBox[ RowBox[{ RowBox[{"-", "4"}], "-", RowBox[{"7", " ", "n"}], "+", RowBox[{"46", " ", SuperscriptBox["n", "2"]}], "+", RowBox[{"64", " ", SuperscriptBox["n", "3"]}]}], RowBox[{ RowBox[{ RowBox[{"-", "32"}], " ", "n"}], "+", RowBox[{"128", " ", SuperscriptBox["n", "3"]}]}]], RowBox[{"\[Alpha]", "\[Equal]", RowBox[{"-", "1"}]}]}, { FractionBox[ RowBox[{"2", "-", RowBox[{"13", " ", "n"}], "-", RowBox[{"39", " ", SuperscriptBox["n", "2"]}], "+", RowBox[{"34", " ", SuperscriptBox["n", "3"]}], "+", RowBox[{"64", " ", SuperscriptBox["n", "4"]}]}], RowBox[{ RowBox[{"32", " ", "n"}], "-", RowBox[{"32", " ", SuperscriptBox["n", "2"]}], "-", RowBox[{"128", " ", SuperscriptBox["n", "3"]}], "+", RowBox[{"128", " ", SuperscriptBox["n", "4"]}]}]], RowBox[{"\[Alpha]", "\[Equal]", "0"}]}, { FractionBox[ RowBox[{"n", "+", "\[Alpha]"}], RowBox[{ RowBox[{"-", "3"}], "+", RowBox[{"2", " ", "n"}]}]], RowBox[{"\[Alpha]", "\[GreaterEqual]", "1"}]}, {"0", TagBox["True", "PiecewiseDefault", AutoDelete->False, DeletionWarning->True]} }, GridBoxAlignment->{ "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, "RowsIndexed" -> {}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.84]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}}]}]], "Output", CellChangeTimes->{{3.454601983953725*^9, 3.454602004970725*^9}}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ FractionBox[ RowBox[{ RowBox[{"-", "4"}], "-", RowBox[{"7", " ", "n"}], "+", RowBox[{"46", " ", SuperscriptBox["n", "2"]}], "+", RowBox[{"64", " ", SuperscriptBox["n", "3"]}]}], RowBox[{ RowBox[{ RowBox[{"-", "32"}], " ", "n"}], "+", RowBox[{"128", " ", SuperscriptBox["n", "3"]}]}]], ",", RowBox[{"{", RowBox[{"n", ",", "37", ",", "50"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.454602043901725*^9, 3.454602053137725*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["1101501", "2160800"], ",", FractionBox["596327", "1170400"], ",", FractionBox["3866105", "7591584"], ",", FractionBox["347443", "682560"], ",", FractionBox["1495993", "2940192"], ",", FractionBox["2411239", "4740960"], ",", FractionBox["1724399", "3391840"], ",", FractionBox["230855", "454256"], ",", FractionBox["5924831", "11662560"], ",", FractionBox["1054419", "2076256"], ",", FractionBox["2248651", "4429280"], ",", FractionBox["1795883", "3538560"], ",", FractionBox["2546545", "5019168"], ",", FractionBox["1352441", "2666400"]}], "}"}]], "Output", CellChangeTimes->{3.454602053388725*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{"F", "[", RowBox[{"4", ",", "n", ",", RowBox[{"-", "1"}]}], "]"}], ",", RowBox[{"{", RowBox[{"n", ",", "37", ",", "50"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.4546020550027246`*^9, 3.454602072914725*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox["1101501", "2160800"], ",", FractionBox["596327", "1170400"], ",", FractionBox["3866105", "7591584"], ",", FractionBox["347443", "682560"], ",", FractionBox["1495993", "2940192"], ",", FractionBox["2411239", "4740960"], ",", FractionBox["1724399", "3391840"], ",", FractionBox["230855", "454256"], ",", FractionBox["5924831", "11662560"], ",", FractionBox["1054419", "2076256"], ",", FractionBox["2248651", "4429280"], ",", FractionBox["1795883", "3538560"], ",", FractionBox["2546545", "5019168"], ",", FractionBox["1352441", "2666400"]}], "}"}]], "Output", CellChangeTimes->{3.454602073232725*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Example 2", "Subsubsection", CellChangeTimes->{{3.454602121783725*^9, 3.454602124812725*^9}}], Cell[TextData[StyleBox["As in the case of GF, you can change the bound on n \ by simply\ndoing", FontSize->16]], "Text", CellChangeTimes->{{3.454602130774725*^9, 3.454602170753725*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"BUILDER", "[", RowBox[{"3", ",", "n", ",", "\[Alpha]", ",", RowBox[{"Bound", "\[Rule]", "20"}]}], "]"}]], "Input", CellChangeTimes->{{3.4546021736067247`*^9, 3.454602187104725*^9}}], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"The following formula was found assuming n\[GreaterEqual]\"\>", "\[InvisibleSpace]", "20", "\[InvisibleSpace]", "\<\".\"\>"}], SequenceForm[ "The following formula was found assuming n\[GreaterEqual]", 20, "."], Editable->False]], "Print", CellChangeTimes->{3.4546021874857244`*^9}], Cell[BoxData[ RowBox[{"\[Piecewise]", GridBox[{ { FractionBox["1", "2"], RowBox[{"\[Alpha]", "\[LessEqual]", RowBox[{"-", "3"}]}]}, { FractionBox[ RowBox[{"9", "+", RowBox[{"16", " ", "n"}]}], RowBox[{"16", "+", RowBox[{"32", " ", "n"}]}]], RowBox[{"\[Alpha]", "\[Equal]", RowBox[{"-", "2"}]}]}, { FractionBox[ RowBox[{"1", "+", RowBox[{"7", " ", "n"}], "+", RowBox[{"8", " ", SuperscriptBox["n", "2"]}]}], RowBox[{ RowBox[{"8", " ", "n"}], "+", RowBox[{"16", " ", SuperscriptBox["n", "2"]}]}]], RowBox[{"\[Alpha]", "\[Equal]", RowBox[{"-", "1"}]}]}, { FractionBox[ RowBox[{ RowBox[{"-", "2"}], "+", RowBox[{"3", " ", "n"}], "+", RowBox[{"34", " ", SuperscriptBox["n", "2"]}], "+", RowBox[{"32", " ", SuperscriptBox["n", "3"]}]}], RowBox[{ RowBox[{ RowBox[{"-", "16"}], " ", "n"}], "+", RowBox[{"64", " ", SuperscriptBox["n", "3"]}]}]], RowBox[{"\[Alpha]", "\[Equal]", "0"}]}, { FractionBox[ RowBox[{"n", "+", "\[Alpha]"}], RowBox[{ RowBox[{"-", "2"}], "+", RowBox[{"2", " ", "n"}]}]], RowBox[{"\[Alpha]", "\[GreaterEqual]", "1"}]}, {"0", TagBox["True", "PiecewiseDefault", AutoDelete->False, DeletionWarning->True]} }, GridBoxAlignment->{ "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, "RowsIndexed" -> {}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.84]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}}]}]], "Output", CellChangeTimes->{3.454602187496725*^9}] }, Open ]], Cell[TextData[{ StyleBox["However, sometimes your bound is too small and BUILDER cannot\n\ find the appropiate closed form of ", FontSize->16], StyleBox["f. ", FontSize->16, FontSlant->"Italic"], StyleBox["In this case, BUILDER returns \nan error message.", FontSize->16] }], "Text", CellChangeTimes->{{3.4546021981067247`*^9, 3.4546022242387247`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"BUILDER", "[", RowBox[{"3", ",", "n", ",", "\[Alpha]", ",", RowBox[{"Bound", "\[Rule]", "5"}]}], "]"}]], "Input", CellChangeTimes->{3.4546022317527246`*^9}], Cell[BoxData[ RowBox[{ RowBox[{"BUILDER", "::", "\<\"bound\"\>"}], RowBox[{ ":", " "}], "\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"Try a bigger bound in the \ last argument.\\\\\\\"\\\", \\\"MT\\\"]\\)\"\>"}]], "Message", "MSG", CellChangeTimes->{3.4546022320287247`*^9}], Cell[BoxData["$Failed"], "Output", CellChangeTimes->{3.454602232043725*^9}] }, Open ]] }, Open ]] }, Open ]] }, Open ]] }, Open ]] }, WindowSize->{1264, 679}, WindowMargins->{{0, Automatic}, {Automatic, 0}}, ShowSelection->True, FrontEndVersion->"7.0 for Microsoft Windows (32-bit) (November 10, 2008)", StyleDefinitions->FrontEnd`FileName[{"Report"}, "StandardReport.nb", CharacterEncoding -> "WindowsANSI"] ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{ "Info3454583666-8806079"->{ Cell[2165, 66, 971, 14, 415, "Print", CellTags->"Info3454583666-8806079"]}, "Info3454584209-8191052"->{ Cell[3714, 101, 570, 9, 143, "Print", CellTags->"Info3454584209-8191052"]}, "Info3454584220-5948249"->{ Cell[4594, 124, 367, 6, 92, "Print", CellTags->"Info3454584220-5948249"]}, "Info3454585056-2019082"->{ Cell[12694, 404, 574, 9, 143, "Print", CellTags->"Info3454585056-2019082"]}, "Info3454587551-3787535"->{ Cell[25972, 847, 582, 9, 143, "Print", CellTags->"Info3454587551-3787535"]} } *) (*CellTagsIndex CellTagsIndex->{ {"Info3454583666-8806079", 40193, 1308}, {"Info3454584209-8191052", 40303, 1311}, {"Info3454584220-5948249", 40413, 1314}, {"Info3454585056-2019082", 40522, 1317}, {"Info3454587551-3787535", 40633, 1320} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[567, 22, 199, 2, 81, "Title"], Cell[769, 26, 256, 6, 66, "Subsubtitle"], Cell[1028, 34, 213, 3, 33, "Text"], Cell[CellGroupData[{ Cell[1266, 41, 106, 1, 73, "Section"], Cell[1375, 44, 641, 14, 99, "Text"], Cell[CellGroupData[{ Cell[2041, 62, 121, 2, 40, "Input"], Cell[2165, 66, 971, 14, 415, "Print", CellTags->"Info3454583666-8806079"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[3185, 86, 100, 1, 43, "Section"], Cell[3288, 89, 236, 3, 55, "Text"], Cell[CellGroupData[{ Cell[3549, 96, 162, 3, 40, "Input"], Cell[3714, 101, 570, 9, 143, "Print", CellTags->"Info3454584209-8191052"] }, Open ]], Cell[CellGroupData[{ Cell[4321, 115, 113, 1, 24, "Subsection"], Cell[CellGroupData[{ Cell[4459, 120, 132, 2, 40, "Input"], Cell[4594, 124, 367, 6, 92, "Print", CellTags->"Info3454584220-5948249"] }, Open ]], Cell[CellGroupData[{ Cell[4998, 135, 153, 2, 23, "Subsubsection"], Cell[CellGroupData[{ Cell[5176, 141, 312, 9, 55, "Input"], Cell[5491, 152, 432, 13, 56, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[5960, 170, 572, 16, 56, "Input"], Cell[6535, 188, 172, 5, 55, "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[6756, 199, 102, 1, 23, "Subsubsection"], Cell[CellGroupData[{ Cell[6883, 204, 396, 12, 60, "Input"], Cell[7282, 218, 521, 15, 56, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[7840, 238, 667, 18, 56, "Input"], Cell[8510, 258, 246, 8, 60, "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[8805, 272, 100, 1, 23, "Subsubsection"], Cell[8908, 275, 220, 3, 55, "Text"], Cell[CellGroupData[{ Cell[9153, 282, 391, 12, 60, "Input"], Cell[9547, 296, 451, 12, 56, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[10035, 313, 569, 15, 56, "Input"], Cell[10607, 330, 325, 7, 21, "Message"], Cell[10935, 339, 544, 15, 56, "Output"] }, Open ]], Cell[11494, 357, 122, 2, 33, "Text"], Cell[CellGroupData[{ Cell[11641, 363, 510, 15, 60, "Input"], Cell[12154, 380, 246, 8, 60, "Output"] }, Open ]] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell[12461, 395, 92, 1, 24, "Subsection"], Cell[CellGroupData[{ Cell[12578, 400, 113, 2, 40, "Input"], Cell[12694, 404, 574, 9, 143, "Print", CellTags->"Info3454585056-2019082"] }, Open ]], Cell[13283, 416, 172, 2, 33, "Text"], Cell[13458, 420, 321, 11, 40, "Input"], Cell[13782, 433, 345, 11, 40, "Input"], Cell[14130, 446, 899, 29, 40, "Input"], Cell[15032, 477, 144, 2, 33, "Text"], Cell[15179, 481, 314, 9, 40, "Input"], Cell[CellGroupData[{ Cell[15518, 494, 100, 1, 23, "Subsubsection"], Cell[15621, 497, 207, 3, 55, "Text"], Cell[CellGroupData[{ Cell[15853, 504, 214, 4, 40, "Input"], Cell[16070, 510, 423, 9, 23, "Print"], Cell[16496, 521, 1645, 53, 143, "Output"] }, Open ]], Cell[18156, 577, 129, 2, 33, "Text"], Cell[CellGroupData[{ Cell[18310, 583, 454, 14, 60, "Input"], Cell[18767, 599, 381, 11, 56, "Output"] }, Open ]], Cell[19163, 613, 122, 2, 33, "Text"], Cell[CellGroupData[{ Cell[19310, 619, 271, 7, 40, "Input"], Cell[19584, 628, 381, 11, 56, "Output"] }, Open ]], Cell[19980, 642, 128, 2, 33, "Text"], Cell[CellGroupData[{ Cell[20133, 648, 332, 10, 57, "Input"], Cell[20468, 660, 372, 11, 56, "Output"] }, Open ]], Cell[20855, 674, 120, 2, 33, "Text"], Cell[CellGroupData[{ Cell[21000, 680, 294, 8, 40, "Input"], Cell[21297, 690, 374, 11, 56, "Output"] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[21720, 707, 104, 1, 23, "Subsubsection"], Cell[21827, 710, 190, 3, 33, "Text"], Cell[CellGroupData[{ Cell[22042, 717, 208, 4, 40, "Input"], Cell[22253, 723, 368, 7, 23, "Print"], Cell[22624, 732, 2004, 65, 174, "Output"] }, Open ]], Cell[24643, 800, 346, 10, 77, "Text"], Cell[CellGroupData[{ Cell[25014, 814, 256, 5, 40, "Input"], Cell[25273, 821, 267, 6, 21, "Message"], Cell[25543, 829, 127, 2, 39, "Output"] }, Open ]] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell[25731, 838, 95, 1, 24, "Subsection"], Cell[CellGroupData[{ Cell[25851, 843, 118, 2, 40, "Input"], Cell[25972, 847, 582, 9, 143, "Print", CellTags->"Info3454587551-3787535"] }, Open ]], Cell[CellGroupData[{ Cell[26591, 861, 100, 1, 23, "Subsubsection"], Cell[CellGroupData[{ Cell[26716, 866, 168, 3, 40, "Input"], Cell[CellGroupData[{ Cell[26909, 873, 340, 7, 23, "Print"], Cell[27252, 882, 121, 1, 23, "Print"] }, Open ]], Cell[27388, 886, 2652, 87, 205, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[30077, 978, 168, 3, 40, "Input"], Cell[CellGroupData[{ Cell[30270, 985, 366, 7, 23, "Print"], Cell[30639, 994, 143, 1, 23, "Print"] }, Open ]], Cell[30797, 998, 2676, 87, 205, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[33510, 1090, 562, 18, 60, "Input"], Cell[34075, 1110, 707, 17, 56, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[34819, 1132, 295, 8, 40, "Input"], Cell[35117, 1142, 707, 17, 56, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[35873, 1165, 100, 1, 23, "Subsubsection"], Cell[35976, 1168, 187, 3, 55, "Text"], Cell[CellGroupData[{ Cell[36188, 1175, 213, 4, 40, "Input"], Cell[36404, 1181, 342, 7, 23, "Print"], Cell[36749, 1190, 2027, 67, 174, "Output"] }, Open ]], Cell[38791, 1260, 365, 10, 77, "Text"], Cell[CellGroupData[{ Cell[39181, 1274, 188, 4, 40, "Input"], Cell[39372, 1280, 272, 6, 21, "Message"], Cell[39647, 1288, 76, 1, 39, "Output"] }, Open ]] }, Open ]] }, Open ]] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)