(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 12.3' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] NotebookDataLength[ 58859, 1577] NotebookOptionsPosition[ 54466, 1466] NotebookOutlinePosition[ 56224, 1518] CellTagsIndexPosition[ 56181, 1515] WindowTitle->CombinatorFixedPoint | Example Notebook WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell[TextData[{ "Basic Examples", "\[NonBreakingSpace]", Cell["(2)", "ExampleCount"], "\[NonBreakingSpace]" }], "Subsection", TaggingRules->{}, CellID->1079833159], Cell["\<\ Calculate the fixed point of a combinator expression using the default single \ leftmost outermost update with S and K combinator transformation rules:\ \>", "Text", TaggingRules->{}, CellChangeTimes->{{3.816009185073964*^9, 3.81600923990305*^9}}, CellID->13078159], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[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->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CombinatorFixedPoint", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[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->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CombinatorFixedPoint", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"1.0.1\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CombinatorFixedPoint"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CombinatorFixedPoint"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CombinatorFixedPoint"], BoxID -> "CombinatorFixedPoint", Selectable->False], "[", RowBox[{ RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", "s", "]"}], "[", RowBox[{ RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", RowBox[{ RowBox[{"k", "[", "k", "]"}], "[", "s", "]"}], "]"}], "[", "s", "]"}], "]"}], "]"}], "[", RowBox[{ RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{"k", "[", "s", "]"}], "[", "k", "]"}], "]"}], "[", "k", "]"}], "[", "s", "]"}], "]"}], ",", " ", RowBox[{"\"\\"", " ", "\[Rule]", " ", RowBox[{"{", RowBox[{"s", ",", " ", "k"}], "}"}]}]}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{ 3.8146262165043907`*^9, 3.816009277116469*^9, {3.816009327605513*^9, 3.816009348714991*^9}, {3.816044389110395*^9, 3.8160443977137833`*^9}}, CellLabel->"In[82]:=", CellID->443871870], Cell[BoxData[ RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", RowBox[{"k", "[", "s", "]"}], "]"}], "]"}], "[", RowBox[{"s", "[", RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", RowBox[{"k", "[", "s", "]"}], "]"}], "]"}], "]"}], "]"}], "[", RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", RowBox[{"k", "[", "s", "]"}], "]"}], "]"}]], "Output", TaggingRules->{}, CellChangeTimes->{ 3.814626217639821*^9, 3.816009245103752*^9, 3.816009277559721*^9, { 3.816009346616098*^9, 3.8160093493488417`*^9}, {3.816044381517211*^9, 3.816044398285739*^9}, 3.8161544924802713`*^9}, CellLabel->"Out[82]=", CellID->765455479] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[Cell["\t", "ExampleDelimiter"], $Line = 0; Null]], "ExampleDelimiter", TaggingRules->{}, CellID->484059471], Cell["\<\ Specify the update scheme and only use the K combinator transformation rule \ to evolve the combinator expression to its fixed point:\ \>", "Text", TaggingRules->{}, CellChangeTimes->{{3.8160094000969753`*^9, 3.8160094285043583`*^9}, { 3.816009570700616*^9, 3.816009575219983*^9}}, CellID->1946609828], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[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->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CombinatorFixedPoint", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[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->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CombinatorFixedPoint", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"1.0.1\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CombinatorFixedPoint"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CombinatorFixedPoint"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CombinatorFixedPoint"], BoxID -> "CombinatorFixedPoint", Selectable->False], "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"k", "[", "x_", "]"}], "[", "y_", "]"}], "\[Rule]", "x"}], "}"}], ",", " ", RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", "s", "]"}], "[", RowBox[{ RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", RowBox[{ RowBox[{"k", "[", "k", "]"}], "[", "s", "]"}], "]"}], "[", "s", "]"}], "]"}], "]"}], "[", RowBox[{ RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{"k", "[", "s", "]"}], "[", "k", "]"}], "]"}], "[", "k", "]"}], "[", "s", "]"}], "]"}], ",", " ", RowBox[{"{", RowBox[{ "\"\\"", ",", " ", "\"\\"", ",", " ", "1"}], "}"}], ",", " ", RowBox[{"\"\\"", " ", "\[Rule]", " ", RowBox[{"{", RowBox[{"s", ",", " ", "k"}], "}"}]}]}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.8160092060724287`*^9, 3.816009218615984*^9}, { 3.816009252169959*^9, 3.816009296557719*^9}, {3.8160093325226173`*^9, 3.816009396970923*^9}, {3.816009437049018*^9, 3.816009438011189*^9}, { 3.8160444028927097`*^9, 3.816044406489756*^9}}, CellLabel->"In[83]:=", CellID->1280962160], Cell[BoxData[ RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", "s", "]"}], "[", RowBox[{ RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", "k", "]"}], "[", "s", "]"}], "]"}], "]"}], "[", RowBox[{ RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", "k", "]"}], "[", "s", "]"}], "]"}]], "Output", TaggingRules->{}, CellChangeTimes->{{3.8160092470401087`*^9, 3.816009296928382*^9}, { 3.8160093608660717`*^9, 3.816009372487154*^9}, 3.8160094384557667`*^9, { 3.816044403710183*^9, 3.816044406879139*^9}, 3.816154494782398*^9}, CellLabel->"Out[83]=", CellID->1794756216] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[TextData[{ "Properties and Relations", "\[NonBreakingSpace]", Cell["(2)", "ExampleCount"], "\[NonBreakingSpace]" }], "Subsection", TaggingRules->{}, CellID->754506620], Cell["\<\ Calculate the fixed point of a combinator expression using the default single \ leftmost outermost update with S and K combinator transformation rules:\ \>", "Text", TaggingRules->{}, CellChangeTimes->{{3.816009185073964*^9, 3.81600923990305*^9}, 3.816169583398005*^9}, CellID->114287703], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[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->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CombinatorFixedPoint", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[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->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CombinatorFixedPoint", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"1.0.1\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CombinatorFixedPoint"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CombinatorFixedPoint"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CombinatorFixedPoint"], BoxID -> "CombinatorFixedPoint", Selectable->False], "[", RowBox[{ RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", "s", "]"}], "[", RowBox[{ RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", RowBox[{ RowBox[{"k", "[", "k", "]"}], "[", "s", "]"}], "]"}], "[", "s", "]"}], "]"}], "]"}], "[", RowBox[{ RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{"k", "[", "s", "]"}], "[", "k", "]"}], "]"}], "[", "k", "]"}], "[", "s", "]"}], "]"}], ",", " ", RowBox[{"\"\\"", " ", "\[Rule]", " ", RowBox[{"{", RowBox[{"s", ",", " ", "k"}], "}"}]}]}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{ 3.8146262165043907`*^9, 3.816009277116469*^9, {3.816009327605513*^9, 3.816009348714991*^9}, {3.816044389110395*^9, 3.8160443977137833`*^9}}, CellLabel->"In[84]:=", CellID->265916708], Cell[BoxData[ RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", RowBox[{"k", "[", "s", "]"}], "]"}], "]"}], "[", RowBox[{"s", "[", RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", RowBox[{"k", "[", "s", "]"}], "]"}], "]"}], "]"}], "]"}], "[", RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", RowBox[{"k", "[", "s", "]"}], "]"}], "]"}]], "Output", TaggingRules->{}, CellChangeTimes->{ 3.814626217639821*^9, 3.816009245103752*^9, 3.816009277559721*^9, { 3.816009346616098*^9, 3.8160093493488417`*^9}, {3.816044381517211*^9, 3.816044398285739*^9}, 3.816154497146492*^9}, CellLabel->"Out[84]=", CellID->1830125612] }, Open ]], Cell[TextData[{ "One can replicate this result with the use of ", Cell[BoxData[ TagBox[ ButtonBox[ StyleBox["ReplaceAll", "SymbolsRefLink", ShowStringCharacters->True, FontFamily->"Source Sans Pro"], BaseStyle->Dynamic[ FEPrivate`If[ CurrentValue["MouseOver"], { "Link", FontColor -> RGBColor[0.854902, 0.396078, 0.145098]}, { "Link"}]], ButtonData->"paclet:ref/ReplaceAll", ContentPadding->False], MouseAppearanceTag["LinkHand"]]], "InlineFormula", FontFamily->"Source Sans Pro"], " in ", Cell[BoxData[ TagBox[ ButtonBox[ StyleBox["FixedPoint", "SymbolsRefLink", ShowStringCharacters->True, FontFamily->"Source Sans Pro"], BaseStyle->Dynamic[ FEPrivate`If[ CurrentValue["MouseOver"], { "Link", FontColor -> RGBColor[0.854902, 0.396078, 0.145098]}, { "Link"}]], ButtonData->"paclet:ref/FixedPoint", ContentPadding->False], MouseAppearanceTag["LinkHand"]]], "InlineFormula", FontFamily->"Source Sans Pro"], ":" }], "Text", TaggingRules->{}, CellChangeTimes->{{3.816044774792985*^9, 3.8160448554021378`*^9}, 3.816044940396522*^9, 3.81604498060719*^9, {3.8161023214179387`*^9, 3.81610234773216*^9}}, CellID->169632239], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FixedPoint", "[", RowBox[{ RowBox[{ RowBox[{"ReplaceAll", "[", RowBox[{"#", ",", " ", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"s", "[", "x_", "]"}], "[", "y_", "]"}], "[", "z_", "]"}], "\[RuleDelayed]", " ", RowBox[{ RowBox[{"x", "[", "z", "]"}], "[", RowBox[{"y", "[", "z", "]"}], "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"k", "[", "x_", "]"}], "[", "y_", "]"}], "\[RuleDelayed]", " ", "x"}]}], "}"}]}], "]"}], "&"}], ",", " ", RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", "s", "]"}], "[", RowBox[{ RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", RowBox[{ RowBox[{"k", "[", "k", "]"}], "[", "s", "]"}], "]"}], "[", "s", "]"}], "]"}], "]"}], "[", RowBox[{ RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{"k", "[", "s", "]"}], "[", "k", "]"}], "]"}], "[", "k", "]"}], "[", "s", "]"}], "]"}]}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.816044691332424*^9, 3.816044752526465*^9}}, CellLabel->"In[85]:=", CellID->10865385], Cell[BoxData[ RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", RowBox[{"k", "[", "s", "]"}], "]"}], "]"}], "[", RowBox[{"s", "[", RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", RowBox[{"k", "[", "s", "]"}], "]"}], "]"}], "]"}], "]"}], "[", RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", RowBox[{"k", "[", "s", "]"}], "]"}], "]"}]], "Output", TaggingRules->{}, CellChangeTimes->{3.8160447535690823`*^9, 3.8160448797413187`*^9, 3.816154499203014*^9}, CellLabel->"Out[85]=", CellID->1530387832] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[TextData[{ "Possible Issues", "\[NonBreakingSpace]", Cell["(1)", "ExampleCount"], "\[NonBreakingSpace]" }], "Subsection", TaggingRules->{}, CellID->92483860], Cell["\<\ The \"MaxSize\" and \"MaxSteps\" options can be useful for avoiding \ excessively long combinator evolutions, but will throw failures if their \ values are surpassed:\ \>", "Text", TaggingRules->{}, CellChangeTimes->{{3.816009456047989*^9, 3.816009496966497*^9}, { 3.8161033184156084`*^9, 3.816103319766136*^9}}, CellID->2017162328], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[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->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CombinatorFixedPoint", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[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->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CombinatorFixedPoint", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"1.0.1\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CombinatorFixedPoint"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CombinatorFixedPoint"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CombinatorFixedPoint"], BoxID -> "CombinatorFixedPoint", Selectable->False], "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", "s", "]"}], "[", RowBox[{"s", "[", "s", "]"}], "]"}], "[", "s", "]"}], "[", "s", "]"}], ",", RowBox[{"\"\\"", "\[Rule]", "100"}], ",", " ", RowBox[{"\"\\"", " ", "\[Rule]", " ", RowBox[{"{", RowBox[{"s", ",", " ", "k"}], "}"}]}]}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.813790724299024*^9, 3.813790766296139*^9}, { 3.813790847657613*^9, 3.813790850088455*^9}, {3.813790930009995*^9, 3.813790933690921*^9}, {3.813791269258444*^9, 3.81379127318589*^9}, { 3.816044413385618*^9, 3.816044417808023*^9}}, CellLabel->"In[86]:=", CellID->559373662], Cell[BoxData[ InterpretationBox[ RowBox[{ TagBox["Failure", "SummaryHead"], "[", DynamicModuleBox[{Typeset`open$$ = False, Typeset`embedState$$ = "Ready"}, TemplateBox[{ PaneSelectorBox[{False -> GridBox[{{ FrameBox[ StyleBox["\"\[WarningSign]\"", Directive["Message", 35], StripOnInput -> False], ContentPadding -> False, FrameStyle -> None, FrameMargins -> {{0, 0}, {0, 0}}, StripOnInput -> False], GridBox[{{ RowBox[{ TagBox[ TemplateBox[{"\"Tag\"", "\": \""}, "RowDefault"], "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TagBox["\"MaxSizeReached\"", HoldForm], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> {"Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}], True -> GridBox[{{ FrameBox[ StyleBox["\"\[WarningSign]\"", Directive["Message", 35], StripOnInput -> False], ContentPadding -> False, FrameStyle -> None, FrameMargins -> {{0, 0}, {0, 0}}, StripOnInput -> False], GridBox[{{ RowBox[{ TagBox[ TemplateBox[{"\"Tag\"", "\": \""}, "RowDefault"], "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TagBox["\"MaxSizeReached\"", HoldForm], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> {"Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}]}, Dynamic[Typeset`open$$], ImageSize -> Automatic]}, "SummaryPanel"], DynamicModuleValues:>{}], "]"}], Failure["MaxSizeReached", Association[]], Editable->False, SelectWithContents->True, Selectable->False]], "Output", TaggingRules->{}, CellChangeTimes->{ 3.8137938530973988`*^9, 3.8137939894228687`*^9, {3.813794075436447*^9, 3.8137940883483*^9}, 3.81379425175675*^9, {3.816044422408619*^9, 3.816044424528934*^9}, 3.816154501204014*^9}, CellLabel->"Out[86]=", CellID->1893475806] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[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->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CombinatorFixedPoint", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[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->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["CombinatorFixedPoint", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"1.0.1\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/CombinatorFixedPoint"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "CombinatorFixedPoint"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["CombinatorFixedPoint"], BoxID -> "CombinatorFixedPoint", Selectable->False], "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"s", "[", "s", "]"}], "[", "s", "]"}], "[", RowBox[{"s", "[", "s", "]"}], "]"}], "[", "s", "]"}], "[", "s", "]"}], ",", " ", RowBox[{"\"\\"", " ", "\[Rule]", " ", "30"}], ",", " ", RowBox[{"\"\\"", " ", "\[Rule]", " ", RowBox[{"{", RowBox[{"s", ",", " ", "k"}], "}"}]}]}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.8137942099925632`*^9, 3.813794213879436*^9}, 3.816044427548675*^9}, CellLabel->"In[87]:=", CellID->1870035055], Cell[BoxData[ InterpretationBox[ RowBox[{ TagBox["Failure", "SummaryHead"], "[", DynamicModuleBox[{Typeset`open$$ = False, Typeset`embedState$$ = "Ready"}, TemplateBox[{ PaneSelectorBox[{False -> GridBox[{{ FrameBox[ StyleBox["\"\[WarningSign]\"", Directive["Message", 35], StripOnInput -> False], ContentPadding -> False, FrameStyle -> None, FrameMargins -> {{0, 0}, {0, 0}}, StripOnInput -> False], GridBox[{{ RowBox[{ TagBox[ TemplateBox[{"\"Tag\"", "\": \""}, "RowDefault"], "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TagBox["\"MaxStepsReached\"", HoldForm], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> {"Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}], True -> GridBox[{{ FrameBox[ StyleBox["\"\[WarningSign]\"", Directive["Message", 35], StripOnInput -> False], ContentPadding -> False, FrameStyle -> None, FrameMargins -> {{0, 0}, {0, 0}}, StripOnInput -> False], GridBox[{{ RowBox[{ TagBox[ TemplateBox[{"\"Tag\"", "\": \""}, "RowDefault"], "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TagBox["\"MaxStepsReached\"", HoldForm], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> {"Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}]}, Dynamic[Typeset`open$$], ImageSize -> Automatic]}, "SummaryPanel"], DynamicModuleValues:>{}], "]"}], Failure["MaxStepsReached", Association[]], Editable->False, SelectWithContents->True, Selectable->False]], "Output", TaggingRules->{}, CellChangeTimes->{3.81379421452782*^9, 3.8137942531039543`*^9, 3.816044428256003*^9, 3.816154503967443*^9}, CellLabel->"Out[87]=", CellID->990269626] }, Open ]] }, Closed]] }, ClosingSaveDialog->False, WindowSize->Automatic, WindowMargins->Automatic, WindowTitle->"CombinatorFixedPoint | Example Notebook", Visible->False, FrontEndVersion->"12.3 for Mac OS X x86 (64-bit) (May 11, 2021)", StyleDefinitions->Notebook[{ Cell[ StyleData[ StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb", CharacterEncoding -> "UTF-8"]]], Cell[ StyleData[All, "Working"], Editable -> True, DockedCells -> {}], Cell[ StyleData["Notebook"], Editable -> True, DockedCells -> {}, ScrollingOptions -> {"VerticalScrollRange" -> Automatic}], Cell[ StyleData[ "Section", StyleDefinitions -> StyleData["PrimaryExamplesSection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData["Subsection", StyleDefinitions -> StyleData["ExampleSection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData[ "Subsubsection", StyleDefinitions -> StyleData["ExampleSubsection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData[ "Subsubsubsection", StyleDefinitions -> StyleData["ExampleSubsubsection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData["Text", StyleDefinitions -> StyleData["ExampleText"]], Editable -> True]}, Visible -> False, FrontEndVersion -> "12.3 for Mac OS X x86 (64-bit) (May 11, 2021)", StyleDefinitions -> "PrivateStylesheetFormatting.nb"] ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[633, 23, 169, 7, 70, "Subsection",ExpressionUUID->"c8c37e89-4783-4eab-a733-d3757462234e", CellID->1079833159], Cell[805, 32, 278, 6, 70, "Text",ExpressionUUID->"cd1c2d65-a19c-46a4-b1ba-ab0f66ffb94e", CellID->13078159], Cell[CellGroupData[{ Cell[1108, 42, 7967, 205, 70, "Input",ExpressionUUID->"f3434dc9-5d73-4098-a204-71392ecf18e7", CellID->443871870], Cell[9078, 249, 726, 21, 70, "Output",ExpressionUUID->"4cf3e5c3-8a5a-4d9f-9081-45de6eb5297a", CellID->765455479] }, Open ]], Cell[CellGroupData[{ Cell[9841, 275, 144, 4, 70, "ExampleDelimiter",ExpressionUUID->"de634652-f2ac-4ca2-8945-56a37df109c5", CellID->484059471], Cell[9988, 281, 316, 7, 70, "Text",ExpressionUUID->"e062db88-df31-4f8d-9117-7d3e14e3f49d", CellID->1946609828], Cell[CellGroupData[{ Cell[10329, 292, 8332, 215, 70, "Input",ExpressionUUID->"621e889f-aba3-4682-893e-07c39e97d82d", CellID->1280962160], Cell[18664, 509, 640, 19, 70, "Output",ExpressionUUID->"166c6a06-5070-4719-b2c3-11f6f1123418", CellID->1794756216] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[19365, 535, 178, 7, 70, "Subsection",ExpressionUUID->"f1610387-6fb3-4ad7-b3a8-b4246ceabdc1", CellID->754506620], Cell[19546, 544, 305, 7, 70, "Text",ExpressionUUID->"cecb67a0-8dca-4e41-8eea-6083a0058cfb", CellID->114287703], Cell[CellGroupData[{ Cell[19876, 555, 7967, 205, 70, "Input",ExpressionUUID->"12cca70b-7635-4414-9285-c427ace971c0", CellID->265916708], Cell[27846, 762, 725, 21, 70, "Output",ExpressionUUID->"446bc8b0-7c16-49c7-91c6-ffb529324a4b", CellID->1830125612] }, Open ]], Cell[28586, 786, 1257, 39, 70, "Text",ExpressionUUID->"2c5831ed-1679-4991-989d-5bfcd4eebd7e", CellID->169632239], Cell[CellGroupData[{ Cell[29868, 829, 1265, 40, 70, "Input",ExpressionUUID->"e9c0495e-311b-4520-bfeb-3626d98f832e", CellID->10865385], Cell[31136, 871, 605, 19, 70, "Output",ExpressionUUID->"165c6535-b6be-4cd8-8ae5-2d6c8a70ec71", CellID->1530387832] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[31790, 896, 168, 7, 70, "Subsection",ExpressionUUID->"40d43530-5d8d-4fcb-a184-2fa39467746d", CellID->92483860], Cell[31961, 905, 347, 8, 70, "Text",ExpressionUUID->"eadaffad-edf1-4ec2-b13a-1583b4420cdb", CellID->2017162328], Cell[CellGroupData[{ Cell[32333, 917, 7808, 197, 70, "Input",ExpressionUUID->"5d86ab32-45b6-4e90-a860-c2360c1cde89", CellID->559373662], Cell[40144, 1116, 3346, 73, 70, "Output",ExpressionUUID->"ac5657d4-bed7-4c50-862b-4c65a99ce8c4", CellID->1893475806] }, Open ]], Cell[CellGroupData[{ Cell[43527, 1194, 7660, 195, 70, "Input",ExpressionUUID->"b6dd05b7-b8d7-4476-a7e7-227106c99ae0", CellID->1870035055], Cell[51190, 1391, 3248, 71, 70, "Output",ExpressionUUID->"9b5f62e9-aeed-4056-83c9-eb7cec49a0c6", CellID->990269626] }, Open ]] }, Closed]] } ] *) (* End of internal cache information *)