(* 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[ 18729, 503] NotebookOptionsPosition[ 16237, 440] NotebookOutlinePosition[ 16569, 456] CellTagsIndexPosition[ 16526, 453] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["Basic Examples", "Subsection", CellID->462042388], Cell["Here is a partition of 10 and its Ferrers diagram:", "Text", CellChangeTimes->{{3.7658273387737093`*^9, 3.765827358628751*^9}}, CellID->13078159], Cell[BoxData[ RowBox[{ RowBox[{"p", "=", RowBox[{"{", RowBox[{"6", ",", "3", ",", "1"}], "}"}]}], ";"}]], "Input", CellChangeTimes->{{3.7658273622293673`*^9, 3.765827372684349*^9}}, CellLabel->"In[42]:=", CellID->480171683], 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["\<\"FerrersDiagram\"\>", "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], "\"FerrersDiagram\""}], ResourceFunction[ ResourceObject[ Association[ "Name" -> "FerrersDiagram", "UUID" -> "ff9f6ee9-e173-4868-997b-754fe2a50d9a", "ResourceType" -> "Function", "Version" -> "1.0.0", "Description" -> "Displays the Ferrers diagram of a partition with dots", "RepositoryLocation" -> URL["https://www.wolframcloud.com/objects/resourcesystem/api/1.0"], "WolframLanguageVersionRequired" -> "10.0", "SymbolName" -> "FunctionRepository`$cfb969414cd645eaa8530fdec3494798`FerrersDiagram", "FunctionLocation" -> CloudObject[ "https://www.wolframcloud.com/obj/bfd1afa3-668c-4583-9ee4-\ 516df50e49c8"], "ShortName" -> "FerrersDiagram"], { ResourceSystemBase -> Automatic}]], Selectable->False], "[", "p", "]"}]], "Input", CellChangeTimes->{{3.765827377158614*^9, 3.765827394403488*^9}, 3.767627068654263*^9}, CellLabel->"In[43]:=", CellID->1348575063], Cell[BoxData[ TagBox[GridBox[{ {"\<\"\[FilledCircle]\"\>", "\<\"\[FilledCircle]\"\>", "\<\"\ \[FilledCircle]\"\>", "\<\"\[FilledCircle]\"\>", "\<\"\[FilledCircle]\"\>", "\ \<\"\[FilledCircle]\"\>"}, {"\<\"\[FilledCircle]\"\>", "\<\"\[FilledCircle]\"\>", "\<\"\ \[FilledCircle]\"\>", "", "", ""}, {"\<\"\[FilledCircle]\"\>", "", "", "", "", ""} }, AutoDelete->False, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Grid"]], "Output", CellChangeTimes->{3.7658273952816267`*^9, 3.767627075644806*^9}, CellLabel->"Out[43]=", CellID->1575728654] }, Open ]], Cell["Here is the conjugate partition and its Ferrers diagram:", "Text", CellChangeTimes->{{3.765827400372027*^9, 3.765827425178239*^9}}, CellID->685413198], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"q", "=", 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["\<\"ConjugatePartition\"\>", "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], "\"ConjugatePartition\""}], ResourceFunction["ConjugatePartition"], BoxID -> "ConjugatePartition", Selectable->False], "@", "p"}]}]], "Input", CellChangeTimes->{ 3.765827332785136*^9, {3.765827429354454*^9, 3.76582744639354*^9}}, CellLabel->"In[46]:=", CellID->443871870], Cell[BoxData[ RowBox[{"{", RowBox[{"3", ",", "2", ",", "2", ",", "1", ",", "1", ",", "1"}], "}"}]], "Output", CellChangeTimes->{{3.7658274307373953`*^9, 3.7658274478213673`*^9}, 3.765827529050202*^9, {3.767627084101479*^9, 3.767627105621739*^9}}, CellLabel->"Out[46]=", CellID->1938696373] }, Open ]], 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["\<\"FerrersDiagram\"\>", "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], "\"FerrersDiagram\""}], ResourceFunction[ ResourceObject[ Association[ "Name" -> "FerrersDiagram", "UUID" -> "ff9f6ee9-e173-4868-997b-754fe2a50d9a", "ResourceType" -> "Function", "Version" -> "1.0.0", "Description" -> "Displays the Ferrers diagram of a partition with dots", "RepositoryLocation" -> URL["https://www.wolframcloud.com/objects/resourcesystem/api/1.0"], "WolframLanguageVersionRequired" -> "10.0", "SymbolName" -> "FunctionRepository`$cfb969414cd645eaa8530fdec3494798`FerrersDiagram", "FunctionLocation" -> CloudObject[ "https://www.wolframcloud.com/obj/bfd1afa3-668c-4583-9ee4-\ 516df50e49c8"], "ShortName" -> "FerrersDiagram"], { ResourceSystemBase -> Automatic}]], Selectable->False], "[", "q", "]"}]], "Input", CellChangeTimes->{{3.765827450169793*^9, 3.76582745033712*^9}, 3.767627079606072*^9}, CellLabel->"In[47]:=", CellID->1284364952], Cell[BoxData[ TagBox[GridBox[{ {"\<\"\[FilledCircle]\"\>", "\<\"\[FilledCircle]\"\>", "\<\"\ \[FilledCircle]\"\>"}, {"\<\"\[FilledCircle]\"\>", "\<\"\[FilledCircle]\"\>", ""}, {"\<\"\[FilledCircle]\"\>", "\<\"\[FilledCircle]\"\>", ""}, {"\<\"\[FilledCircle]\"\>", "", ""}, {"\<\"\[FilledCircle]\"\>", "", ""}, {"\<\"\[FilledCircle]\"\>", "", ""} }, AutoDelete->False, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Grid"]], "Output", CellChangeTimes->{3.765827451090929*^9, 3.767627111172419*^9}, CellLabel->"Out[47]=", CellID->1687060573] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[Cell["\t", "ExampleDelimiter"], $Line = 0; Null]], "ExampleDelimiter", CellID->34497563], Cell["Some partitions are self-conjugate:", "Text", CellChangeTimes->{{3.7658274596729927`*^9, 3.765827480120405*^9}}, CellID->528660856], Cell[BoxData[ RowBox[{ RowBox[{"s", "=", RowBox[{"{", RowBox[{"5", ",", "2", ",", "1", ",", "1", ",", "1"}], "}"}]}], ";"}]], "Input", CellChangeTimes->{{3.765827490550089*^9, 3.765827503575863*^9}}, CellLabel->"In[49]:=", CellID->922949956], 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["\<\"ConjugatePartition\"\>", "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], "\"ConjugatePartition\""}], ResourceFunction["ConjugatePartition"], BoxID -> "ConjugatePartition", Selectable->False], "@", "s"}]], "Input", CellChangeTimes->{{3.765827521191805*^9, 3.76582752151081*^9}}, CellLabel->"In[97]:=", CellID->391055555], Cell[BoxData[ RowBox[{"{", RowBox[{"5", ",", "2", ",", "1", ",", "1", ",", "1"}], "}"}]], "Output", CellChangeTimes->{{3.7658275222640667`*^9, 3.765827538517692*^9}}, CellLabel->"Out[97]=", CellID->1341873044] }, Open ]], Cell["A self-conjugate partition has a symmetric Ferrers diagram:", "Text", CellChangeTimes->{{3.767627221811672*^9, 3.767627255274362*^9}}, CellID->1281473722], 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["\<\"FerrersDiagram\"\>", "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], "\"FerrersDiagram\""}], ResourceFunction[ ResourceObject[ Association[ "Name" -> "FerrersDiagram", "UUID" -> "ff9f6ee9-e173-4868-997b-754fe2a50d9a", "ResourceType" -> "Function", "Version" -> "1.0.0", "Description" -> "Displays the Ferrers diagram of a partition with dots", "RepositoryLocation" -> URL["https://www.wolframcloud.com/objects/resourcesystem/api/1.0"], "WolframLanguageVersionRequired" -> "10.0", "SymbolName" -> "FunctionRepository`$cfb969414cd645eaa8530fdec3494798`FerrersDiagram", "FunctionLocation" -> CloudObject[ "https://www.wolframcloud.com/obj/bfd1afa3-668c-4583-9ee4-\ 516df50e49c8"], "ShortName" -> "FerrersDiagram"], { ResourceSystemBase -> Automatic}]], Selectable->False], "[", "s", "]"}]], "Input", CellChangeTimes->{{3.767627266530795*^9, 3.767627267026286*^9}}, CellLabel->"In[50]:=", CellID->1135301435], Cell[BoxData[ TagBox[GridBox[{ {"\<\"\[FilledCircle]\"\>", "\<\"\[FilledCircle]\"\>", "\<\"\ \[FilledCircle]\"\>", "\<\"\[FilledCircle]\"\>", "\<\"\[FilledCircle]\"\>"}, {"\<\"\[FilledCircle]\"\>", "\<\"\[FilledCircle]\"\>", "", "", ""}, {"\<\"\[FilledCircle]\"\>", "", "", "", ""}, {"\<\"\[FilledCircle]\"\>", "", "", "", ""}, {"\<\"\[FilledCircle]\"\>", "", "", "", ""} }, AutoDelete->False, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Grid"]], "Output", CellChangeTimes->{{3.7676272687899218`*^9, 3.767627274729939*^9}}, CellLabel->"Out[50]=", CellID->497080641] }, Open ]] }, Open ]] }, Open ]] }, WindowSize->Automatic, WindowMargins->Automatic, Visible->False, FrontEndVersion->"12.0 for Microsoft Windows (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->"aadedcbe-489b-44a9-8171-401280b54e0a", CellID->462042388], Cell[639, 25, 153, 2, 70, "Text",ExpressionUUID->"0b98ea6b-4005-40f8-be03-7b9d57695396", CellID->13078159], Cell[795, 29, 238, 7, 70, "Input",ExpressionUUID->"41f2613a-3227-4ab7-96f8-eaf325403cec", CellID->480171683], Cell[CellGroupData[{ Cell[1058, 40, 2616, 62, 70, "Input",ExpressionUUID->"d7a4add9-e883-4d80-a0b7-09831af0be5c", CellID->1348575063], Cell[3677, 104, 593, 14, 70, "Output",ExpressionUUID->"dfbe8d93-9214-40bd-8232-923e84bc8d6f", CellID->1575728654] }, Open ]], Cell[4285, 121, 158, 2, 70, "Text",ExpressionUUID->"288c7ca0-6db1-4a98-aba1-83105803a875", CellID->685413198], Cell[CellGroupData[{ Cell[4468, 127, 2010, 49, 70, "Input",ExpressionUUID->"d581cc55-1baf-4ec3-b3b2-5251f2b3d454", CellID->443871870], Cell[6481, 178, 303, 7, 70, "Output",ExpressionUUID->"f18ff000-8b5d-4734-b8ef-47a6930bf8b3", CellID->1938696373] }, Open ]], Cell[CellGroupData[{ Cell[6821, 190, 2615, 62, 70, "Input",ExpressionUUID->"dc41495c-484f-4091-aa95-057395b31014", CellID->1284364952], Cell[9439, 254, 605, 15, 70, "Output",ExpressionUUID->"c5721730-ac3a-43b6-a8b2-b57a68449d93", CellID->1687060573] }, Open ]], Cell[CellGroupData[{ Cell[10081, 274, 124, 3, 70, "ExampleDelimiter",ExpressionUUID->"984fb48f-97e0-4c55-b619-d12109f720ff", CellID->34497563], Cell[10208, 279, 139, 2, 70, "Text",ExpressionUUID->"b3469be2-f5de-4f8d-8160-a81cb038d0ad", CellID->528660856], Cell[10350, 283, 259, 8, 70, "Input",ExpressionUUID->"d6269ccf-be73-4ee3-80f3-bcd9b66c2843", CellID->922949956], Cell[CellGroupData[{ Cell[10634, 295, 1919, 47, 70, "Input",ExpressionUUID->"cadfeb33-71d9-43c7-9bbb-08729e0334b8", CellID->391055555], Cell[12556, 344, 216, 5, 70, "Output",ExpressionUUID->"d3e18dda-ef5b-4d51-9a36-e779cf8acd4c", CellID->1341873044] }, Open ]], Cell[12787, 352, 162, 2, 70, "Text",ExpressionUUID->"ca4fa5c7-1f0e-4926-8caa-ecfd2ea5a9da", CellID->1281473722], Cell[CellGroupData[{ Cell[12974, 358, 2590, 61, 70, "Input",ExpressionUUID->"a7bf9502-2ea9-4caf-ae94-bbdf6e7846d1", CellID->1135301435], Cell[15567, 421, 630, 14, 70, "Output",ExpressionUUID->"feb4f54d-6487-4d0f-a496-e0c8bfa7d3cb", CellID->497080641] }, Open ]] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)