(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 13.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] NotebookDataLength[ 42702, 1395] NotebookOptionsPosition[ 39389, 1308] NotebookOutlinePosition[ 41149, 1360] CellTagsIndexPosition[ 41106, 1357] WindowTitle->KSetPartitions | Example Notebook WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell[TextData[{ "Basic Examples", "\[NonBreakingSpace]", Cell["(2)", "ExampleCount"], "\[NonBreakingSpace]" }], "Subsection", TaggingRules->{}, CellID->462042388], Cell["\<\ There are 15 set partitions of a five-element set into two subsets:\ \>", "Text", TaggingRules->{}, CellChangeTimes->{{3.760906842360795*^9, 3.760906886271161*^9}, { 3.76090697569199*^9, 3.760906980003921*^9}, {3.770566363618137*^9, 3.770566369162136*^9}}, CellID->13078159], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ksp", "=", 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["KSetPartitions", "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["KSetPartitions", "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.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/KSetPartitions"}, "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], "KSetPartitions"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["KSetPartitions"], BoxID -> "KSetPartitions", Selectable->False], "[", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "b", ",", "c", ",", "d", ",", "e"}], "}"}], ",", "2"}], "]"}]}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.760906781723373*^9, 3.760906800761997*^9}, { 3.8541039183238983`*^9, 3.8541039190591288`*^9}}, CellLabel->"In[542]:=", CellID->443871870], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", "a", "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "c", ",", "d", ",", "e"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "b"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "d", ",", "e"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "c", ",", "d", ",", "e"}], "}"}], ",", RowBox[{"{", "b", "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "b", ",", "c"}], "}"}], ",", RowBox[{"{", RowBox[{"d", ",", "e"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "d", ",", "e"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "c"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "b", ",", "d", ",", "e"}], "}"}], ",", RowBox[{"{", "c", "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "c"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "d", ",", "e"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "b", ",", "c", ",", "d"}], "}"}], ",", RowBox[{"{", "e", "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "e"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "c", ",", "d"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "b", ",", "e"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "d"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "c", ",", "d"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "e"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "b", ",", "c", ",", "e"}], "}"}], ",", RowBox[{"{", "d", "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "d"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "c", ",", "e"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "b", ",", "d"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "e"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", "c", ",", "e"}], "}"}], ",", RowBox[{"{", RowBox[{"b", ",", "d"}], "}"}]}], "}"}]}], "}"}]], "Output", TaggingRules->{}, CellChangeTimes->{{3.7609068020348263`*^9, 3.760906830236424*^9}, { 3.854103926066186*^9, 3.854103928386465*^9}}, CellLabel->"Out[542]=", CellID->1404574364] }, Open ]], Cell["\<\ The number of such set partitions is given by a Stirling number of the second \ kind:\ \>", "Text", TaggingRules->{}, CellChangeTimes->{{3.760906996139126*^9, 3.7609070623531017`*^9}}, CellID->305982435], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Length", "@", "ksp"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.7609068318594313`*^9, 3.760906835193104*^9}, { 3.854103933690288*^9, 3.854103934258155*^9}}, CellLabel->"In[543]:=", CellID->8169226], Cell[BoxData["15"], "Output", TaggingRules->{}, CellChangeTimes->{3.760906836435623*^9, 3.85410393469916*^9}, CellLabel->"Out[543]=", CellID->2012963473] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"StirlingS2", "[", RowBox[{"5", ",", "2"}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.760906818534844*^9, 3.760906825529388*^9}}, CellLabel->"In[544]:=", CellID->689387391], Cell[BoxData["15"], "Output", TaggingRules->{}, CellChangeTimes->{3.760906826750893*^9, 3.854103936432905*^9}, CellLabel->"Out[544]=", CellID->1251978818] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[TextData[{ "Scope", "\[NonBreakingSpace]", Cell["(1)", "ExampleCount"], "\[NonBreakingSpace]" }], "Subsection", TaggingRules->{}, CellID->964056545], Cell["Here is a compact way to see the blocks:", "Text", TaggingRules->{}, CellChangeTimes->{{3.7609070843679867`*^9, 3.760907113039033*^9}}, CellID->649685796], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Map", "[", RowBox[{"Row", ",", 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["KSetPartitions", "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["KSetPartitions", "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.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/KSetPartitions"}, "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], "KSetPartitions"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["KSetPartitions"], BoxID -> "KSetPartitions", Selectable->False], "[", RowBox[{"6", ",", "3"}], "]"}], ",", RowBox[{"{", "2", "}"}]}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.760907121696083*^9, 3.760907163757402*^9}}, CellLabel->"In[80]:=", CellID->836153427], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"3", "4", "5", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "3"}, "RowDefault"], ",", TemplateBox[{"4", "5", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "4", "5", "6"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "3", "4"}, "RowDefault"], ",", TemplateBox[{"5", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "5", "6"}, "RowDefault"], ",", TemplateBox[{"3", "4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "3", "5", "6"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "4"}, "RowDefault"], ",", TemplateBox[{"3", "5", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "3", "4", "5"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "6"}, "RowDefault"], ",", TemplateBox[{"3", "4", "5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "3", "6"}, "RowDefault"], ",", TemplateBox[{"4", "5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "4", "5"}, "RowDefault"], ",", TemplateBox[{"3", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "3", "4", "6"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "5"}, "RowDefault"], ",", TemplateBox[{"3", "4", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "3", "5"}, "RowDefault"], ",", TemplateBox[{"4", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1"}, "RowDefault"], ",", TemplateBox[{"2", "4", "6"}, "RowDefault"], ",", TemplateBox[{"3", "5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"], ",", TemplateBox[{"4", "5", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"4", "5", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4", "5", "6"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2"}, "RowDefault"], ",", TemplateBox[{"3", "4"}, "RowDefault"], ",", TemplateBox[{"5", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3", "4"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"5", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "5", "6"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"3", "4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2"}, "RowDefault"], ",", TemplateBox[{"3", "5", "6"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3", "5", "6"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"3", "5", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2"}, "RowDefault"], ",", TemplateBox[{"3", "4", "5"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3", "4", "5"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "6"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"3", "4", "5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2"}, "RowDefault"], ",", TemplateBox[{"3", "6"}, "RowDefault"], ",", TemplateBox[{"4", "5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3", "6"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"4", "5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4", "5"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"3", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2"}, "RowDefault"], ",", TemplateBox[{"3", "4", "6"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3", "4", "6"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "5"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"3", "4", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2"}, "RowDefault"], ",", TemplateBox[{"3", "5"}, "RowDefault"], ",", TemplateBox[{"4", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3", "5"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"4", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4", "6"}, "RowDefault"], ",", TemplateBox[{"2"}, "RowDefault"], ",", TemplateBox[{"3", "5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "3"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"], ",", TemplateBox[{"5", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4"}, "RowDefault"], ",", TemplateBox[{"2", "3"}, "RowDefault"], ",", TemplateBox[{"5", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "5", "6"}, "RowDefault"], ",", TemplateBox[{"2", "3"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "4"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"], ",", TemplateBox[{"5", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3"}, "RowDefault"], ",", TemplateBox[{"2", "4"}, "RowDefault"], ",", TemplateBox[{"5", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "5", "6"}, "RowDefault"], ",", TemplateBox[{"2", "4"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "5", "6"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3"}, "RowDefault"], ",", TemplateBox[{"2", "5", "6"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4"}, "RowDefault"], ",", TemplateBox[{"2", "5", "6"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "3"}, "RowDefault"], ",", TemplateBox[{"4", "5"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4", "5"}, "RowDefault"], ",", TemplateBox[{"2", "3"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "6"}, "RowDefault"], ",", TemplateBox[{"2", "3"}, "RowDefault"], ",", TemplateBox[{"4", "5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "4", "5"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3"}, "RowDefault"], ",", TemplateBox[{"2", "4", "5"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "6"}, "RowDefault"], ",", TemplateBox[{"2", "4", "5"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "6"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"], ",", TemplateBox[{"4", "5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3"}, "RowDefault"], ",", TemplateBox[{"2", "6"}, "RowDefault"], ",", TemplateBox[{"4", "5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4", "5"}, "RowDefault"], ",", TemplateBox[{"2", "6"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "3"}, "RowDefault"], ",", TemplateBox[{"4", "6"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4", "6"}, "RowDefault"], ",", TemplateBox[{"2", "3"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "5"}, "RowDefault"], ",", TemplateBox[{"2", "3"}, "RowDefault"], ",", TemplateBox[{"4", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "4", "6"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3"}, "RowDefault"], ",", TemplateBox[{"2", "4", "6"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "5"}, "RowDefault"], ",", TemplateBox[{"2", "4", "6"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "5"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"], ",", TemplateBox[{"4", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3"}, "RowDefault"], ",", TemplateBox[{"2", "5"}, "RowDefault"], ",", TemplateBox[{"4", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4", "6"}, "RowDefault"], ",", TemplateBox[{"2", "5"}, "RowDefault"], ",", TemplateBox[{"3"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "3", "4"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "5"}, "RowDefault"], ",", TemplateBox[{"2", "3", "4"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "6"}, "RowDefault"], ",", TemplateBox[{"2", "3", "4"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "5"}, "RowDefault"], ",", TemplateBox[{"3", "4"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3", "4"}, "RowDefault"], ",", TemplateBox[{"2", "5"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "6"}, "RowDefault"], ",", TemplateBox[{"2", "5"}, "RowDefault"], ",", TemplateBox[{"3", "4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "6"}, "RowDefault"], ",", TemplateBox[{"3", "4"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3", "4"}, "RowDefault"], ",", TemplateBox[{"2", "6"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "5"}, "RowDefault"], ",", TemplateBox[{"2", "6"}, "RowDefault"], ",", TemplateBox[{"3", "4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "3", "5"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4"}, "RowDefault"], ",", TemplateBox[{"2", "3", "5"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "6"}, "RowDefault"], ",", TemplateBox[{"2", "3", "5"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "4"}, "RowDefault"], ",", TemplateBox[{"3", "5"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3", "5"}, "RowDefault"], ",", TemplateBox[{"2", "4"}, "RowDefault"], ",", TemplateBox[{"6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "6"}, "RowDefault"], ",", TemplateBox[{"2", "4"}, "RowDefault"], ",", TemplateBox[{"3", "5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "6"}, "RowDefault"], ",", TemplateBox[{"3", "5"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3", "5"}, "RowDefault"], ",", TemplateBox[{"2", "6"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4"}, "RowDefault"], ",", TemplateBox[{"2", "6"}, "RowDefault"], ",", TemplateBox[{"3", "5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "3", "6"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4"}, "RowDefault"], ",", TemplateBox[{"2", "3", "6"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "5"}, "RowDefault"], ",", TemplateBox[{"2", "3", "6"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "4"}, "RowDefault"], ",", TemplateBox[{"3", "6"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3", "6"}, "RowDefault"], ",", TemplateBox[{"2", "4"}, "RowDefault"], ",", TemplateBox[{"5"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "5"}, "RowDefault"], ",", TemplateBox[{"2", "4"}, "RowDefault"], ",", TemplateBox[{"3", "6"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "2", "5"}, "RowDefault"], ",", TemplateBox[{"3", "6"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "3", "6"}, "RowDefault"], ",", TemplateBox[{"2", "5"}, "RowDefault"], ",", TemplateBox[{"4"}, "RowDefault"]}], "}"}], ",", RowBox[{"{", RowBox[{ TemplateBox[{"1", "4"}, "RowDefault"], ",", TemplateBox[{"2", "5"}, "RowDefault"], ",", TemplateBox[{"3", "6"}, "RowDefault"]}], "}"}]}], "}"}]], "Output", TaggingRules->{}, CellChangeTimes->{{3.7609071420839376`*^9, 3.760907164602222*^9}}, CellLabel->"Out[80]=", CellID->869338181] }, Open ]] }, Closed]] }, ClosingSaveDialog->False, WindowSize->Automatic, WindowMargins->Automatic, WindowTitle->"KSetPartitions | Example Notebook", Visible->False, FrontEndVersion->"13.0 for Mac OS X x86 (64-bit) (December 9, 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 -> "13.0 for Mac OS X x86 (64-bit) (December 9, 2021)", StyleDefinitions -> "PrivateStylesheetFormatting.nb"] ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[627, 23, 168, 7, 70, "Subsection",ExpressionUUID->"3e6cdc1d-413e-4850-96f0-8b7efeda62af", CellID->462042388], Cell[798, 32, 292, 7, 70, "Text",ExpressionUUID->"971c4f5b-11de-4cf2-b8b3-c1942402f7da", CellID->13078159], Cell[CellGroupData[{ Cell[1115, 43, 7542, 188, 70, "Input",ExpressionUUID->"483e3f2f-0fcd-4f05-a3be-e2251442414d", CellID->443871870], Cell[8660, 233, 2775, 92, 70, "Output",ExpressionUUID->"795b5223-3c4f-45d0-8c97-5acab7653d45", CellID->1404574364] }, Open ]], Cell[11450, 328, 216, 6, 70, "Text",ExpressionUUID->"1272c2d9-436d-4dfa-9dc7-728a35086c4e", CellID->305982435], Cell[CellGroupData[{ Cell[11691, 338, 235, 6, 70, "Input",ExpressionUUID->"2b13f8d1-e3ee-4d90-8dd6-418dc767eb6a", CellID->8169226], Cell[11929, 346, 157, 4, 70, "Output",ExpressionUUID->"ab1e1630-e97d-4f22-8e03-70214653bccf", CellID->2012963473] }, Open ]], Cell[CellGroupData[{ Cell[12123, 355, 216, 6, 70, "Input",ExpressionUUID->"18b5c592-f5b7-4e1c-809d-cf55d02639cc", CellID->689387391], Cell[12342, 363, 158, 4, 70, "Output",ExpressionUUID->"2e07b064-ef34-48c9-a27e-d6fd284c8409", CellID->1251978818] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[12549, 373, 159, 7, 70, "Subsection",ExpressionUUID->"4ccac43a-7bf3-4fef-9485-861dc49a772e", CellID->964056545], Cell[12711, 382, 163, 3, 70, "Text",ExpressionUUID->"d6e0bec5-dffb-4c18-9ed8-e975ee8094dc", CellID->649685796], Cell[CellGroupData[{ Cell[12899, 389, 7645, 187, 70, "Input",ExpressionUUID->"331f70ec-f06e-43ca-a6e1-2ed5a5ae9de6", CellID->836153427], Cell[20547, 578, 18814, 726, 70, "Output",ExpressionUUID->"ccc9ec40-bab0-45b6-81c3-e47fffa8c07f", CellID->869338181] }, Open ]] }, Closed]] } ] *) (* End of internal cache information *)