(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 12.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] NotebookDataLength[ 11571, 320] NotebookOptionsPosition[ 9824, 272] NotebookOutlinePosition[ 10132, 287] CellTagsIndexPosition[ 10089, 284] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["Basic Examples", "Subsection", CellID->462042388], Cell[TextData[{ Cell[BoxData[ StyleBox["BinaryIteratedLog", "InlineResourceFunction"]], "InlineFormula", FontFamily->"Source Sans Pro"], " is the inverse of binary tetration (repeated exponentiation):" }], "Text", CellChangeTimes->{{3.7717728505494995`*^9, 3.7717728734884996`*^9}, { 3.7717729062334995`*^9, 3.771772932871499*^9}, {3.771773911522499*^9, 3.7717739311274996`*^9}, {3.7717742269314995`*^9, 3.771774230081499*^9}}, CellID->720636062], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ StyleBox[ StyleBox[ FrameBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->Rational[10, 13] Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ StyleBox["\<\"BinaryIteratedLog\"\>", "ResourceFunctionLabel"], ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited]} }]], "ResourceFunctionFrame"], FrameBoxOptions->{Background->GrayLevel[0.5, 0.15], BaseStyle->{ "StandardForm", LineSpacing -> {0, 0}, LineBreakWithin -> False}, FrameMargins->{{3, 3}, {0, 0}}, FrameStyle->Directive[ GrayLevel[0.5, 0.35], AbsoluteThickness[0.5]], RoundingRadius->4}, GridBoxOptions->{FrameStyle->GrayLevel[1, 0], GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, GridBoxFrame->{"Columns" -> {{True}}, "Rows" -> {{True}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0.25}}, "Rows" -> {-0.1, {}, 0}}}], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "\"BinaryIteratedLog\""}], ResourceFunction["BinaryIteratedLog"], BoxID -> "BinaryIteratedLog", Selectable->False], "[", RowBox[{"2", "^", RowBox[{"2", "^", RowBox[{"2", "^", "2"}]}]}], "]"}]], "Input", CellChangeTimes->{{3.7717727793864994`*^9, 3.7717728231234994`*^9}, { 3.7717728554584994`*^9, 3.7717728594134994`*^9}, {3.7717740639764996`*^9, 3.7717740815244994`*^9}}, CellLabel->"In[61]:=", CellID->55910764], Cell[BoxData["4"], "Output", CellChangeTimes->{{3.771772784746499*^9, 3.7717728240124993`*^9}, 3.7717729674344997`*^9, {3.771774075055499*^9, 3.7717740821294994`*^9}}, CellLabel->"Out[61]=", CellID->304761634] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[Cell["\t", "ExampleDelimiter"], $Line = 0; Null]], "ExampleDelimiter", CellID->208300011], Cell["\<\ A slightly larger input shows a step-like jump in the value of \ BinaryIteratedLog:\ \>", "Text", TaggingRules->{}, CellChangeTimes->{{3.7717728505494995`*^9, 3.7717728734884996`*^9}, { 3.7717729062334995`*^9, 3.771772932871499*^9}, {3.771773741996499*^9, 3.771773807645499*^9}, 3.771773857930499*^9, {3.7717739504004993`*^9, 3.7717739598734994`*^9}, {3.7717741632384996`*^9, 3.7717741701444993`*^9}, {3.7717850331623755`*^9, 3.7717850334544044`*^9}}, CellID->593070481], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ StyleBox[ StyleBox[ FrameBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->Rational[10, 13] Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ StyleBox["\<\"BinaryIteratedLog\"\>", "ResourceFunctionLabel"], ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited]} }]], "ResourceFunctionFrame"], FrameBoxOptions->{Background->GrayLevel[0.5, 0.15], BaseStyle->{ "StandardForm", LineSpacing -> {0, 0}, LineBreakWithin -> False}, FrameMargins->{{3, 3}, {0, 0}}, FrameStyle->Directive[ GrayLevel[0.5, 0.35], AbsoluteThickness[0.5]], RoundingRadius->4}, GridBoxOptions->{FrameStyle->GrayLevel[1, 0], GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, GridBoxFrame->{"Columns" -> {{True}}, "Rows" -> {{True}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0.25}}, "Rows" -> {-0.1, {}, 0}}}], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "\"BinaryIteratedLog\""}], ResourceFunction["BinaryIteratedLog"], BoxID -> "BinaryIteratedLog", Selectable->False], "[", RowBox[{ RowBox[{"2", "^", RowBox[{"2", "^", RowBox[{"2", "^", "2"}]}]}], "+", "1"}], "]"}]], "Input", CellChangeTimes->{{3.7717723737614994`*^9, 3.7717724072574997`*^9}, { 3.771772837232499*^9, 3.7717728392784996`*^9}, {3.7717729722474995`*^9, 3.7717729816044993`*^9}, {3.7717740952944994`*^9, 3.7717741057574997`*^9}}, CellLabel->"In[63]:=", CellID->280345775], Cell[BoxData["5"], "Output", CellChangeTimes->{{3.7717723930394993`*^9, 3.7717724019194994`*^9}, 3.7717727873534994`*^9, 3.7717728397234993`*^9, 3.7717729822014995`*^9, { 3.7717740963674994`*^9, 3.7717741067694993`*^9}}, CellLabel->"Out[63]=", CellID->219881585] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[Cell["\t", "ExampleDelimiter"], $Line = 0; Null]], "ExampleDelimiter", CellID->104380350], Cell["\<\ Make a table of the binary iterated logarithm of the first 30 integers:\ \>", "Text", CellChangeTimes->{{3.7717728505494995`*^9, 3.7717728734884996`*^9}, { 3.7717729062334995`*^9, 3.771772932871499*^9}, {3.771773050001499*^9, 3.7717731003074994`*^9}, {3.7717741193664994`*^9, 3.7717741391434994`*^9}}, CellID->185460593], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{ InterpretationBox[ TagBox[ StyleBox[ StyleBox[ FrameBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->Rational[10, 13] Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ StyleBox["\<\"BinaryIteratedLog\"\>", "ResourceFunctionLabel"], ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited]} }]], "ResourceFunctionFrame"], FrameBoxOptions->{Background->GrayLevel[0.5, 0.15], BaseStyle->{ "StandardForm", LineSpacing -> {0, 0}, LineBreakWithin -> False}, FrameMargins->{{3, 3}, {0, 0}}, FrameStyle->Directive[ GrayLevel[0.5, 0.35], AbsoluteThickness[0.5]], RoundingRadius->4}, GridBoxOptions->{FrameStyle->GrayLevel[1, 0], GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, GridBoxFrame->{"Columns" -> {{True}}, "Rows" -> {{True}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0.25}}, "Rows" -> {-0.1, {}, 0}}}], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "\"BinaryIteratedLog\""}], ResourceFunction["BinaryIteratedLog"], BoxID -> "BinaryIteratedLog", Selectable->False], "[", "i", "]"}], ",", " ", RowBox[{"{", RowBox[{"i", ",", "0", ",", "30"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.771774115364499*^9, 3.771774128185499*^9}}, CellLabel->"In[65]:=", CellID->28546136], Cell[BoxData[ RowBox[{"{", RowBox[{ "0", ",", "0", ",", "1", ",", "2", ",", "2", ",", "3", ",", "3", ",", "3", ",", "3", ",", "3", ",", "3", ",", "3", ",", "3", ",", "3", ",", "3", ",", "3", ",", "3", ",", "4", ",", "4", ",", "4", ",", "4", ",", "4", ",", "4", ",", "4", ",", "4", ",", "4", ",", "4", ",", "4", ",", "4", ",", "4", ",", "4"}], "}"}]], "Output", CellChangeTimes->{ 3.771770728159499*^9, {3.7717741237364993`*^9, 3.7717741293154993`*^9}}, CellLabel->"Out[65]=", CellID->166312584] }, Open ]] }, Open ]] }, Open ]] }, WindowSize->Automatic, WindowMargins->Automatic, FrontEndVersion->"12.0 for Linux x86 (64-bit) (April 8, 2019)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[580, 22, 56, 1, 70, "Subsection",ExpressionUUID->"ac608f1f-d43f-4a2d-899c-3f88bc60adf9", CellID->462042388], Cell[639, 25, 459, 9, 70, "Text",ExpressionUUID->"b6aac20f-861d-460c-b768-93208c92aca0", CellID->720636062], Cell[CellGroupData[{ Cell[1123, 38, 2102, 52, 70, "Input",ExpressionUUID->"acf7e2b9-a16c-429d-82b9-91dc52924ab3", CellID->55910764], Cell[3228, 92, 216, 4, 70, "Output",ExpressionUUID->"495a4639-4424-4107-82ab-c96811ac8de4", CellID->304761634] }, Open ]], Cell[CellGroupData[{ Cell[3481, 101, 125, 3, 70, "ExampleDelimiter",ExpressionUUID->"4f638cbc-33d6-472e-880a-91c7770f352a", CellID->208300011], Cell[3609, 106, 500, 11, 70, "Text",ExpressionUUID->"c2f08a5c-c049-44d1-b537-b3774cf5b698", CellID->593070481], Cell[CellGroupData[{ Cell[4134, 121, 2177, 53, 70, "Input",ExpressionUUID->"7cca9355-5041-411d-8c01-c202acb44cc6", CellID->280345775], Cell[6314, 176, 272, 5, 70, "Output",ExpressionUUID->"df4e3126-5d49-4c16-8e77-ec5f07c32902", CellID->219881585] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[6635, 187, 125, 3, 70, "ExampleDelimiter",ExpressionUUID->"796e5ab6-736f-498c-a7f6-15d33998a8fa", CellID->104380350], Cell[6763, 192, 337, 6, 70, "Text",ExpressionUUID->"8a04963b-005d-4d42-9eed-9072d756f399", CellID->185460593], Cell[CellGroupData[{ Cell[7125, 202, 2135, 52, 70, "Input",ExpressionUUID->"c5f280c7-21cb-4877-8593-25bf52069255", CellID->28546136], Cell[9263, 256, 521, 11, 70, "Output",ExpressionUUID->"6bea165b-1716-4b36-8f87-8e101725e3bf", CellID->166312584] }, Open ]] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)