(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 9.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 157, 7] NotebookDataLength[ 134280, 3783] NotebookOptionsPosition[ 127059, 3563] NotebookOutlinePosition[ 127972, 3593] CellTagsIndexPosition[ 127929, 3590] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["Credits", "Subsection", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.579077648693802*^9, 3.5790776504059*^9}}], Cell[TextData[{ "http://www.mcs.csueastbay.edu/~kbalasub/reprints/136.pdf\n\ http://www.math.umn.edu/~tlawson/old/18.704/symmetric1.pdf\n\ http://www.polyomino.f2s.com/david/haskell/charactersSn.html\n\ http://en.wikipedia.org/wiki/Symmetric_polynomial\n", StyleBox["http://www.personal.rhul.ac.uk/usah/080/QITNotes_files/Irreps_v06.\ pdf\n", FontVariations->{"CompatibilityType"->0}], "http://mathcircle.berkeley.edu/BMC3/SymPol.pdf\n\ http://faculty.math.tsinghua.edu.cn/~jzhou/SymmetricF.pdf\n\ Littlewood-Richardson program: ", StyleBox["Copyright 1996 by Daniel Bump (bump@math.stanford.edu)", FontFamily->"Courier New", FontSize->10], "\nhttp://math.stackexchange.com/questions/114151\nhttp:// \ math.stackexchange.com/questions/395842\n\ http://math.stackexchange.com/questions/83214\n\ http://lipn.univ-paris13.fr/~toumazet/biblio/ARTICLES/NTB.pdf\[LineSeparator]", "http://young.sp2mi.univ-poitiers.fr/cgi-bin/form-prep/marc/LiE_form.act?\ action=LRR" }], "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.577533907818513*^9, 3.5775339094591804`*^9}, 3.5779648110843143`*^9, {3.577964883421452*^9, 3.5779649475391197`*^9}, { 3.577965576535096*^9, 3.577965628862089*^9}, {3.5779657832209177`*^9, 3.577965784902014*^9}, {3.577965921363819*^9, 3.5779659607240705`*^9}, { 3.578050407713518*^9, 3.5780504131768303`*^9}, {3.5780504478808155`*^9, 3.578050448857871*^9}, {3.5780505104883966`*^9, 3.5780505461364355`*^9}, { 3.5790770973062644`*^9, 3.5790771006174536`*^9}, {3.5802053596327252`*^9, 3.5802053618515463`*^9}, {3.580994915083788*^9, 3.580994930579674*^9}}], Cell[TextData[StyleBox["special thanks to Marc van Leeuwen for several \ patient explanations, both by email and on Math StackExchange.", FontSlant->"Italic"]], "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.577533907818513*^9, 3.5775339094591804`*^9}, 3.5779648110843143`*^9, {3.577964883421452*^9, 3.5779649475391197`*^9}, { 3.577965576535096*^9, 3.577965628862089*^9}, {3.5779657832209177`*^9, 3.577965784902014*^9}, {3.577965921363819*^9, 3.5779659607240705`*^9}, { 3.578050407713518*^9, 3.5780504131768303`*^9}, {3.5780504478808155`*^9, 3.578050448857871*^9}, {3.5780505104883966`*^9, 3.5780505461364355`*^9}, { 3.5790770973062644`*^9, 3.5790771006174536`*^9}, {3.5802053596327252`*^9, 3.5802053618515463`*^9}, {3.580994915083788*^9, 3.580994944362462*^9}}] }, Open ]], Cell[CellGroupData[{ Cell["Inits", "Subsection", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{3.5790776947894382`*^9}, LineBreakWithin->False], Cell["\<\ variables in use before installing ToolBox.nb :\ \>", "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5776901733919764`*^9, 3.577690190783269*^9}, { 3.580368198317807*^9, 3.5803682058852406`*^9}}], Cell["\<\ DeleteCases[Names[\"@*\"], str_ /; StringMatchQ[str, \"$*\"] || StringMatchQ[ToString[FullForm[str]], \"*Formal*\"]]\ \>", "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.5781164773149967`*^9}], Cell[BoxData[ RowBox[{ RowBox[{"<<", "Combinatorica`"}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.576060951948417*^9, {3.576061233026494*^9, 3.5760612401219*^9}, 3.577419690677643*^9}, LineBreakWithin->False], Cell[TextData[{ "variables in use after installing ToolBox.nb : (all other cells are \ initialisation cells, ", StyleBox["execute this one", FontColor->RGBColor[1, 0, 0]], " to have it as last instruction)" }], "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5776901733919764`*^9, 3.577690190783269*^9}, { 3.577690265879903*^9, 3.5776903438203955`*^9}, {3.5776903760716343`*^9, 3.5776904091666546`*^9}}], Cell[BoxData[ RowBox[{"DeleteCases", "[", RowBox[{ RowBox[{"Names", "[", "\"\<@*\>\"", "]"}], ",", " ", RowBox[{"str_", " ", "/;", " ", RowBox[{ RowBox[{"StringMatchQ", "[", RowBox[{"str", ",", " ", "\"\<$*\>\""}], "]"}], " ", "||", " ", "\n", " ", RowBox[{"StringMatchQ", "[", RowBox[{ RowBox[{"ToString", "[", RowBox[{"FullForm", "[", "str", "]"}], "]"}], ",", " ", "\"\<*Formal*\>\""}], "]"}]}]}]}], "]"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.578116420703086*^9, 3.5781164576422405`*^9}}, FontColor->RGBColor[1, 0, 0], Background->RGBColor[1, 0.85, 0.85]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"Partition1Q", "[", "arg_List", "]"}], ":=", RowBox[{"And", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"arg", ",", RowBox[{"{", "___Integer", "}"}]}], "]"}], ",", RowBox[{ RowBox[{"arg", "\[Equal]", RowBox[{"{", "}"}]}], "||", RowBox[{"Positive", "[", RowBox[{"1", "+", RowBox[{"Min", "[", RowBox[{"arg", "-", RowBox[{"Append", "[", RowBox[{ RowBox[{"Rest", "[", "arg", "]"}], ",", "0"}], "]"}]}], "]"}]}], "]"}]}]}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5790756614581385`*^9, 3.579075670476654*^9}, { 3.579076323672015*^9, 3.5790763429841194`*^9}, {3.5830658476709356`*^9, 3.5830658550703588`*^9}}] }, Open ]], Cell[CellGroupData[{ Cell["Definitions and Implementation conventions.", "Subsection", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5777741790959253`*^9, 3.5777742256133366`*^9}, { 3.577777422099639*^9, 3.5777774250059075`*^9}, 3.577784699848549*^9}], Cell[TextData[{ "in the following description we designate the five S.P. by a generic name ", StyleBox["u", FontWeight->"Bold"], " (representing ", StyleBox["m", FontWeight->"Bold"], ", ", StyleBox["p", FontWeight->"Bold"], ", ", StyleBox["h", FontWeight->"Bold"], ", ", StyleBox["e", FontWeight->"Bold"], " or ", StyleBox["s", FontWeight->"Bold"], ").\nWe choose to define 3 formats for representing the Symmetric \ Polynomials (S.P.) .\n*\texpanded format: ", StyleBox["u[ arg , ", FontWeight->"Bold"], "# of variables", StyleBox[" v ]", FontWeight->"Bold"], " produces \[CapitalSigma] a ", Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox[ SubscriptBox["x", "1"], "i"], " ", SuperscriptBox[ SubscriptBox["x", "2"], "j"]}], TraditionalForm]]], " ... ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["x", "v"], "z"], TraditionalForm]]], " : allows all symbolic manipulations using standard algebraic functions, \ but becomes large and slow for small to moderate arguments, and quite unfit \ for human consumption.\nIt can however always be reduced to elementary S.P. \ by the standard \[OpenCurlyQuote]", StyleBox["SymmetricReduction", FontWeight->"Bold"], "\[CloseCurlyQuote] function.\n*\tcondensed format: ", Cell[BoxData[ FormBox[ SubscriptBox["\[CapitalSigma]", "i"], TraditionalForm]]], " ", Cell[BoxData[ FormBox[ SubscriptBox["a", "i"], TraditionalForm]]], " ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["p", "n"], "i"], TraditionalForm]]], " where ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["p", "n"], "i"], TraditionalForm]]], " stands for the i-th partition of n in reverse lexicographic ordering. It \ codes the expanded format by ignoring the permutation of the \ (interchangeable) indices and extracting only the (orderless) exponents \ recast into a partition of n. This format loses the info on the actual number \ of variables used. It groups monomials according to the exponents : 5 ", Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox[ SubscriptBox["x", "1"], "3"], SuperscriptBox[ SubscriptBox["x", "3"], "2"]}], TraditionalForm]]], " becomes 5 ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["p", "5"], "3"], TraditionalForm]]], " since {3,2} is the 3rd partition of 5. The info that there are 3 or more \ variables \[OpenCurlyQuote]in play\[CloseCurlyQuote] (as shown by the indices \ 1 and 3) is lost.\n*\tunevaluated format ", StyleBox["uu[ arg , ", FontWeight->"Bold"], "# of variables", StyleBox[" v ]", FontWeight->"Bold"], " which can be taken as argument for symbolic transformation functions. Only \ the basic definition ", StyleBox["uu[ partition, v ]==0 /; Length[partition]>v", FontWeight->"Bold"], " is coded for (one cannot distribute 5 exponents over 4 variables). " }], "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5777742395513716`*^9, 3.577774318835666*^9}, { 3.5777743508993974`*^9, 3.577774390010274*^9}, {3.577774427058572*^9, 3.577774573970463*^9}, {3.577774613050089*^9, 3.577774906087525*^9}, { 3.577775411738783*^9, 3.5777755906976347`*^9}, {3.5777756548716087`*^9, 3.5777758579262805`*^9}, {3.577775891193183*^9, 3.5777759420701365`*^9}, { 3.577776035323717*^9, 3.577776105529538*^9}, {3.5777761466404915`*^9, 3.577776397181362*^9}, {3.577776448792719*^9, 3.5777765193891797`*^9}, { 3.5777765593282137`*^9, 3.5777766663948245`*^9}, 3.577776784196044*^9, { 3.5777774581154947`*^9, 3.5777774716780815`*^9}, {3.577783878822277*^9, 3.5777839501058083`*^9}, {3.5778050413347855`*^9, 3.57780504595105*^9}, { 3.5778050914946547`*^9, 3.5778051088866496`*^9}, {3.5778051561503525`*^9, 3.577805186606095*^9}, {3.577805225822338*^9, 3.5778052291595287`*^9}, { 3.5778052863498*^9, 3.5778054557964916`*^9}, {3.578050767928121*^9, 3.578050812126649*^9}}], Cell[TextData[{ "The S.P. ", StyleBox["p", FontWeight->"Bold"], " , ", StyleBox["h", FontWeight->"Bold"], " and ", StyleBox["e", FontWeight->"Bold"], " have the property of being threaded over their (first) argument: ", StyleBox["p[{3,1,1}, v]", FontWeight->"Bold"], " equals ", StyleBox["p[3, v] p[1, v]^2", FontWeight->"Bold"], " and the transformation rules work on this last unevaluated form with \ integer argument. The forward and backward conversions on ", StyleBox["uu", FontWeight->"Bold"], " are performed by the functions ", StyleBox["threadSP[ expr , uu ]", FontWeight->"Bold"], " and ", StyleBox["unthreadSP[ arg , uu ] ", FontWeight->"Bold"], "regrouping (products of) integer arguments uu[ n ", Cell[BoxData[ FormBox[ SuperscriptBox[ RowBox[{ RowBox[{",", "v"}], "]"}], "i"], TraditionalForm]]], " uu[ m , ", Cell[BoxData[ FormBox[ SuperscriptBox[ RowBox[{"v", "]"}], "j"], TraditionalForm]]], " ... into partition arguments uu[{ n (i copies), m (j copies) ... }, v] \ or the reverse.\nThe S.P. ", StyleBox["m", FontWeight->"Bold"], " (monomial) and ", StyleBox["s", FontWeight->"Bold"], " (Schur) do not share this property, and always need a partition as first \ argument. Transformations thus need a threading step in order to get \ acceptable arguments." }], "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5777768190505104`*^9, 3.5777768826353064`*^9}, { 3.577776924801244*^9, 3.577777161105074*^9}, {3.5777793774672203`*^9, 3.5777794391871557`*^9}, {3.5777795416584992`*^9, 3.577779710506572*^9}, 3.5778054755086193`*^9, {3.577805577051427*^9, 3.577805588659091*^9}, { 3.5778059809685297`*^9, 3.577806001144684*^9}, 3.5810072698924417`*^9}], Cell[TextData[{ "Transformation Functions:\n", StyleBox["u[ arg , ", FontWeight->"Bold"], "# of variables", StyleBox[" v ]", FontWeight->"Bold"], " produces the expanded format \[CapitalSigma] a ", Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox[ SubscriptBox["x", "1"], "i"], " ", SuperscriptBox[ SubscriptBox["x", "2"], "j"]}], TraditionalForm]]], " ... ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["x", "v"], "z"], TraditionalForm]]], " ,\n", StyleBox["expr2pow[ arg ]", FontWeight->"Bold"], " converts expanded format into condensed format ", Cell[BoxData[ FormBox[ SubscriptBox["\[CapitalSigma]", "i"], TraditionalForm]]], " ", Cell[BoxData[ FormBox[ SubscriptBox["a", "i"], TraditionalForm]]], " ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["p", "n"], "i"], TraditionalForm]]], " ,\n", StyleBox["pow2m[ condensed , v ", FontWeight->"Bold"], ":optional ", StyleBox["]", FontWeight->"Bold"], " converts the condensed format into monomial S.P. but if no ", StyleBox["v", FontWeight->"Bold"], " (# of variables) is entered, then it defaults to the partition size ", StyleBox["n", FontWeight->"Bold"], " common to all terms ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["p", "n"], "i"], TraditionalForm]]], " \n", StyleBox["uu[ arg , v ]", FontWeight->"Bold"], " is an inactive (unevaluated) representation except for a partition \ \[Lambda] as argument when |\[Lambda]|> ", StyleBox["v", FontWeight->"Bold"], " (producing 0) ;\n\n", StyleBox["u2w[ arg , v ]", FontWeight->"Bold"], " converts ", StyleBox["uu[ arg , v ]", FontWeight->"Bold"], " into ", StyleBox["ww[ arg , v ]", FontWeight->"Bold"], " if such transformation is known and available; it is intended to be \ implemented as a substitution rule, example: ", StyleBox["( expression containing uu[ arg , v ] ) /. uu-> u2w //Expand", FontWeight->"Bold"], "\n\n", StyleBox["monomProd2Sum[ arg ]", FontWeight->"Bold"], " implements the decomposition of powers and products of mm[ par, v ] into \ sums of them. ( http://math.stackexchange.com/questions/83214 )\n", StyleBox["schurProd2Sum[ arg ]", FontWeight->"Bold"], " implements the decomposition of powers and products of ss[ par, v ] into \ sums of them by calling the L-R rule package.\n\nThe following grid shows the \ available conversions:\n(entries in ", StyleBox["red", FontColor->RGBColor[1, 0, 0]], " need a partition-type argument) " }], "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5777785515178013`*^9, 3.5777785721122103`*^9}, { 3.5777786183480654`*^9, 3.577779088103716*^9}, {3.577779187635451*^9, 3.5777791926042967`*^9}, {3.5777797538046193`*^9, 3.577779780305467*^9}, { 3.577781091933731*^9, 3.577781378111946*^9}, 3.5777839687782803`*^9, { 3.5778056437232404`*^9, 3.5778057436659565`*^9}, {3.577805793129786*^9, 3.5778059050651884`*^9}, {3.577966040850653*^9, 3.577966093786681*^9}, { 3.5779661457706547`*^9, 3.5779661875460434`*^9}, {3.577966322609769*^9, 3.5779663297131753`*^9}, {3.577966370233493*^9, 3.577966385520367*^9}, { 3.5780514537223463`*^9, 3.578051540113288*^9}, {3.5790774430810413`*^9, 3.579077512391006*^9}}], Cell[TextData[Cell[BoxData[GridBox[{ { RowBox[{" ", RowBox[{"to", "\[IndentingNewLine]", " ", "from", " "}]}], StyleBox["e", FontWeight->"Bold"], StyleBox["p", FontWeight->"Bold"], StyleBox["h", FontWeight->"Bold"], StyleBox["m", FontWeight->"Bold"], StyleBox["s", FontWeight->"Bold"]}, { StyleBox["e", FontWeight->"Bold"], "1", "e2p", "e2h", StyleBox["e2m", FontColor->RGBColor[1, 0, 0]], "-"}, { StyleBox["p", FontWeight->"Bold"], "p2e", "1", "p2h", "-", StyleBox["p2s", FontColor->RGBColor[1, 0, 0]]}, { StyleBox["h", FontWeight->"Bold"], "h2e", "h2p", "1", "h2m", StyleBox["h2s", FontColor->RGBColor[1, 0, 0]]}, { StyleBox["m", FontWeight->"Bold"], StyleBox["m2e", FontColor->RGBColor[1, 0, 0]], "-", "-", "1", StyleBox["m2s", FontColor->RGBColor[1, 0, 0]]}, { StyleBox["s", FontWeight->"Bold"], StyleBox["s2e", FontColor->RGBColor[1, 0, 0]], StyleBox["s2p", FontColor->RGBColor[1, 0, 0]], StyleBox["s2h", FontColor->RGBColor[1, 0, 0]], StyleBox["s2m", FontColor->RGBColor[1, 0, 0]], "1"} }, GridBoxDividers->{ "Columns" -> {{True}}, "ColumnsIndexed" -> {}, "Rows" -> {{True}}, "RowsIndexed" -> {}}]]]], "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.577779850838974*^9, 3.5777801480516095`*^9}, { 3.5777803682930317`*^9, 3.577780398262741*^9}, {3.5777804873749676`*^9, 3.577780515516493*^9}, {3.577780583018653*^9, 3.5777806890376706`*^9}, { 3.5777897578854866`*^9, 3.577789760073001*^9}, {3.5780510824461107`*^9, 3.5780510926446943`*^9}, {3.5802049998443785`*^9, 3.5802050012193604`*^9}}] }, Closed]], Cell[CellGroupData[{ Cell["General", "Subsection", CellMargins->{{66, 0}, {2, 10}}, LineBreakWithin->False], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"BinomialTransform", "[", RowBox[{ RowBox[{"{", "}"}], ",", " ", "___"}], "]"}], " ", "=", " ", RowBox[{"{", "}"}]}], ";"}], " "}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"BinomialTransform", "[", RowBox[{"seq_List", ",", " ", RowBox[{"way_:", "1"}]}], "]"}], " ", ":=", " ", RowBox[{"Table", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"Sum", "[", RowBox[{ RowBox[{ RowBox[{"way", "^", RowBox[{"(", RowBox[{"i", " ", "-", " ", "1", " ", "-", " ", "k"}], ")"}]}], "*", RowBox[{"Binomial", "[", RowBox[{ RowBox[{"i", " ", "-", " ", "1"}], ",", " ", "k"}], "]"}], "*", RowBox[{"seq", "[", RowBox[{"[", RowBox[{"k", " ", "+", " ", "1"}], "]"}], "]"}]}], ",", " ", "\n", " ", RowBox[{"{", RowBox[{"k", ",", " ", "0", ",", " ", RowBox[{"i", " ", "-", " ", "1"}]}], "}"}]}], "]"}], ",", " ", RowBox[{"{", RowBox[{"i", ",", " ", "1", ",", " ", RowBox[{"Length", "[", "seq", "]"}]}], "}"}]}], "]"}]}], ";"}], " "}]}], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.5803662170804873`*^9, {3.5803662484872837`*^9, 3.580366254943653*^9}, 3.5803696065163517`*^9}, LineBreakWithin->False], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"BinomialInvTransform", "[", RowBox[{ RowBox[{"{", "}"}], ",", " ", "___"}], "]"}], " ", "=", " ", RowBox[{"{", "}"}]}], ";"}], " "}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"BinomialInvTransform", "[", RowBox[{"seq_List", ",", " ", RowBox[{"way_:", "1"}]}], "]"}], " ", ":=", " ", "\[IndentingNewLine]", RowBox[{"BinomialTransform", "[", RowBox[{"seq", ",", " ", RowBox[{"-", "way"}]}], "]"}]}], ";"}], " "}]}], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.580366221932765*^9, 3.5803692432255726`*^9, {3.5803692866010537`*^9, 3.5803692905182776`*^9}}, LineBreakWithin->False], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"toPolCoeff", "[", "arg_", "]"}], " ", ":=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"le", " ", "=", " ", RowBox[{"Length", "[", "arg", "]"}]}], ",", " ", "r", ",", " ", "k"}], "}"}], ",", " ", "\n", " ", RowBox[{"arg", " ", ".", " ", RowBox[{"Inverse", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{"k", "!"}], "*", RowBox[{"StirlingS2", "[", RowBox[{"r", ",", " ", "k"}], "]"}]}], ",", " ", RowBox[{"{", RowBox[{"r", ",", " ", "0", ",", " ", RowBox[{"le", " ", "-", " ", "1"}]}], "}"}], ",", " ", "\[IndentingNewLine]", RowBox[{"{", RowBox[{"k", ",", " ", "0", ",", " ", RowBox[{"le", " ", "-", " ", "1"}]}], "}"}]}], "]"}], "]"}]}]}], "]"}]}], ";"}], " "}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"toPolCoeff2", "[", "arg_", "]"}], " ", ":=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"le", " ", "=", " ", RowBox[{"Length", "[", "arg", "]"}]}], ",", " ", "x", ",", " ", "z"}], "}"}], ",", " ", "\[IndentingNewLine]", RowBox[{"CoefficientList", "[", "\n", " ", RowBox[{ RowBox[{ RowBox[{ RowBox[{"toPolCoeff", "[", "arg", "]"}], " ", ".", " ", RowBox[{"x", "^", RowBox[{"Range", "[", RowBox[{"0", ",", " ", RowBox[{ RowBox[{"-", "1"}], " ", "+", " ", "le"}]}], "]"}]}]}], " ", "/.", " ", RowBox[{"x", " ", "->", " ", RowBox[{"z", " ", "-", " ", "1"}]}]}], ",", " ", "z"}], "]"}]}], "]"}]}], ";"}], " "}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"fromPolCoeff", "[", "arg_", "]"}], " ", ":=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"le", " ", "=", " ", RowBox[{"Length", "[", "arg", "]"}]}], ",", " ", "r", ",", " ", "k"}], "}"}], ",", " ", "\n", " ", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"r", " ", "===", " ", "k", " ", "===", " ", "0"}], ",", " ", "1", ",", " ", RowBox[{"r", "^", "k"}]}], "]"}], ",", " ", RowBox[{"{", RowBox[{"r", ",", " ", "0", ",", " ", RowBox[{"le", " ", "-", " ", "1"}]}], "}"}], ",", " ", RowBox[{"{", RowBox[{"k", ",", " ", "0", ",", " ", RowBox[{"le", " ", "-", " ", "1"}]}], "}"}]}], "]"}], " ", ".", " ", "arg"}]}], "]"}]}], ";"}], " "}]}], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.580366505561987*^9, 3.5803665129214087`*^9}, 3.5803669468982306`*^9, 3.580369307449246*^9, {3.5803695903024244`*^9, 3.580369594645673*^9}}, LineBreakWithin->False], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"NumberOfPartitions2", "[", RowBox[{ RowBox[{ RowBox[{"(", "n_Integer", ")"}], "?", "Positive"}], ",", " ", "0"}], "]"}], " ", ":=", " ", "0"}], ";"}], " "}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"NumberOfPartitions2", "[", RowBox[{"0", ",", " ", "k_Integer"}], "]"}], " ", ":=", " ", "1"}], ";"}], " "}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"NumberOfPartitions2", "[", RowBox[{ RowBox[{ RowBox[{"(", "n_Integer", ")"}], "?", "Positive"}], ",", " ", "1"}], "]"}], " ", ":=", " ", "1"}], ";"}], " "}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"NumberOfPartitions2", "[", RowBox[{ RowBox[{ RowBox[{"(", "n_Integer", ")"}], "?", "Positive"}], ",", " ", RowBox[{ RowBox[{"(", "k_Integer", ")"}], "?", "Positive"}]}], "]"}], " ", ":=", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"NumberOfPartitions", "[", "n", "]"}], " ", "/;", " ", RowBox[{"k", " ", ">=", " ", "n"}]}]}], ";"}], " "}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"NumberOfPartitions2", "[", RowBox[{"n_Integer", ",", " ", "k_Integer"}], "]"}], " ", ":=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"$RecursionLimit", " ", "=", " ", "Infinity"}], "}"}], ",", " ", "\n", " ", RowBox[{ RowBox[{"NumberOfPartitions2", "[", RowBox[{"n", ",", " ", "k"}], "]"}], " ", "=", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"NumberOfPartitions2", "[", RowBox[{"n", ",", " ", RowBox[{"k", " ", "-", " ", "1"}]}], "]"}], " ", "+", " ", RowBox[{"NumberOfPartitions2", "[", RowBox[{ RowBox[{"n", " ", "-", " ", "k"}], ",", " ", "k"}], "]"}]}]}]}], "]"}]}], ";"}], " "}]}], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.5803664606694193`*^9, {3.580371261161992*^9, 3.5803712768658905`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"rankpartition", "[", RowBox[{ RowBox[{"(", "p_", ")"}], "?", "Partition1Q"}], "]"}], " ", ":=", " ", RowBox[{ RowBox[{"PartitionsP", "[", RowBox[{"Tr", "[", "p", "]"}], "]"}], " ", "-", " ", "\n", " ", RowBox[{"Sum", "[", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"NumberOfPartitions2", "[", RowBox[{ RowBox[{"Tr", "[", "#1", "]"}], ",", " ", RowBox[{ RowBox[{"First", "[", "#1", "]"}], " ", "-", " ", "1"}]}], "]"}], " ", "&"}], " ", ")"}], "[", "\[IndentingNewLine]", RowBox[{"Drop", "[", RowBox[{"p", ",", " ", "k"}], "]"}], "]"}], ",", " ", RowBox[{"{", RowBox[{"k", ",", " ", "0", ",", " ", RowBox[{ RowBox[{"Length", "[", "p", "]"}], " ", "-", " ", "1"}]}], "}"}]}], "]"}]}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.5776831923457727`*^9, 3.5803664705979877`*^9, 3.5803712883685484`*^9, 3.5830659220301886`*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"unrankpartition", "[", RowBox[{"n_Integer", ",", " ", "k_Integer"}], "]"}], " ", ":=", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ "ove", ",", " ", "res", ",", " ", "qq", ",", " ", "zz", ",", " ", "mem"}], "}"}], ",", " ", "\n", " ", RowBox[{ RowBox[{"ove", " ", "=", " ", RowBox[{ RowBox[{"PartitionsP", "[", "n", "]"}], " ", "-", " ", "k"}]}], ";", " ", RowBox[{"res", " ", "=", " ", RowBox[{"{", "}"}]}], ";", " ", RowBox[{"While", "[", RowBox[{ RowBox[{ RowBox[{"n", " ", "-", " ", RowBox[{"Tr", "[", "res", "]"}]}], " ", ">", " ", "0"}], ",", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"qq", " ", "=", " ", "0"}], ";", " ", RowBox[{"zz", " ", "=", " ", "0"}], ";", " ", "\n", " ", RowBox[{"While", "[", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"mem", " ", "=", " ", RowBox[{"NumberOfPartitions2", "[", RowBox[{ RowBox[{"n", " ", "-", " ", RowBox[{"Tr", "[", "res", "]"}]}], ",", " ", RowBox[{"qq", " ", "+", " ", "1"}]}], "]"}]}], ")"}], " ", "<=", " ", "ove"}], ",", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{"zz", " ", "=", " ", "mem"}], ";", " ", RowBox[{"qq", "++"}]}]}], "]"}], ";", " ", "\n", " ", RowBox[{"AppendTo", "[", RowBox[{"res", ",", " ", RowBox[{"qq", " ", "+", " ", "1"}]}], "]"}], ";", " ", RowBox[{"ove", " ", "=", " ", RowBox[{"ove", " ", "-", " ", "zz"}]}]}]}], "]"}], ";", " ", "res"}]}], "]"}], " ", "/;", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"k", " ", "<=", " ", RowBox[{"PartitionsP", "[", "n", "]"}]}], " ", "&&", " ", RowBox[{"k", " ", ">", " ", "0"}]}]}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.577683194736535*^9, 3.580366475324258*^9, {3.5803712960419874`*^9, 3.580371317210198*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"aspartitions", "[", "n_", "]"}], ":=", RowBox[{"Reverse", "/@", RowBox[{"Sort", "[", RowBox[{"Sort", "/@", RowBox[{"Partitions", "[", "n", "]"}]}], "]"}]}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.580366480177535*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"asorder", "[", "n_", "]"}], ":=", RowBox[{"rankpartition", "/@", RowBox[{"Reverse", "/@", RowBox[{"Sort", "[", RowBox[{"Sort", "/@", "\[IndentingNewLine]", RowBox[{"Partitions", "[", "n", "]"}]}], "]"}]}]}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.5803664820506425`*^9, 3.5803701615520983`*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"lesspartitions", "[", RowBox[{"\[Lambda]_", "?", "Partition1Q"}], "]"}], ":=", RowBox[{"Drop", "[", RowBox[{ RowBox[{"Partitions", "[", RowBox[{"Tr", "@", "\[Lambda]"}], "]"}], ",", RowBox[{"rankpartition", "[", "\[Lambda]", "]"}]}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5778850099314766`*^9, 3.577885017546912*^9}, { 3.5803670229025774`*^9, 3.5803670276698503`*^9}, {3.5803701480803275`*^9, 3.580370149288397*^9}, 3.583065922037189*^9}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"trim", "[", RowBox[{"\[Lambda]_", "?", "Partition1Q"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"DeleteCases", "[", RowBox[{ RowBox[{"MapAt", "[", RowBox[{ RowBox[{ RowBox[{"#", "-", "1"}], "&"}], ",", "\[Lambda]", ",", "#"}], "]"}], ",", "0"}], "]"}], "&"}], "/@", RowBox[{"Position", "[", RowBox[{ RowBox[{"\[Lambda]", " ", "-", RowBox[{"Append", "[", RowBox[{ RowBox[{"Rest", "[", "\[Lambda]", "]"}], ",", "0"}], "]"}]}], ",", RowBox[{"_", "?", "Positive"}]}], "]"}]}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5770877612388086`*^9, 3.5770879045560064`*^9}, { 3.577088321448851*^9, 3.5770883352016373`*^9}, 3.577088451016262*^9, 3.5776846407814674`*^9, 3.5830659220401893`*^9}] }, Closed]], Cell[CellGroupData[{ Cell["Kostka", "Subsection", CellMargins->{{66, 0}, {2, 10}}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"multi", "[", RowBox[{"n_", ",", " ", "v_", ",", " ", "q_", ",", " ", "le_"}], "]"}], " ", ":=", " ", RowBox[{"Take", "[", RowBox[{ RowBox[{"Apply", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"Multinomial", " ", "@@", " ", RowBox[{"Append", "[", RowBox[{ RowBox[{"Length", " ", "/@", " ", "\[IndentingNewLine]", RowBox[{"Split", "[", RowBox[{"Sort", "[", "#1", "]"}], "]"}]}], ",", " ", RowBox[{"v", " ", "-", " ", "#2"}]}], "]"}]}], "*", "#3"}], " ", "&"}], " ", ",", " ", "\n", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"{", RowBox[{"#1", ",", " ", RowBox[{"Length", "[", "#1", "]"}], ",", " ", RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"Length", "[", "#1", "]"}], " ", ">", " ", "v"}], " ", "||", " ", RowBox[{ RowBox[{"Length", "[", "#1", "]"}], " ", "<", " ", "le"}]}], ",", " ", "0", ",", " ", "1"}], "]"}]}], "}"}], " ", "&"}], " ", ")"}], " ", "\[IndentingNewLine]", "/@", " ", RowBox[{"Partitions", "[", "n", "]"}]}], ",", " ", RowBox[{"{", "1", "}"}]}], "]"}], ",", " ", RowBox[{"{", RowBox[{"q", ",", " ", RowBox[{"-", "1"}]}], "}"}]}], "]"}]}], ";"}], " "}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.580366544930239*^9, 3.580366561396181*^9}, { 3.5803714187370048`*^9, 3.580371432080768*^9}, 3.5803715011307173`*^9, { 3.5803745693702106`*^9, 3.580374577825694*^9}}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"multipol", "[", RowBox[{ RowBox[{ RowBox[{"(", "par_", ")"}], "?", "Partition1Q"}], ",", " ", "v_Integer"}], "]"}], " ", ":=", " ", RowBox[{"multi", "[", RowBox[{ RowBox[{"Tr", "[", "par", "]"}], ",", " ", "v", ",", " ", "\[IndentingNewLine]", RowBox[{"rankpartition", "[", "par", "]"}], ",", " ", RowBox[{"Length", "[", "par", "]"}]}], "]"}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.5803665614111814`*^9, 3.580371445119514*^9, {3.5803715112862988`*^9, 3.580371513150405*^9}, 3.58306592204519*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"recur", "[", RowBox[{ RowBox[{ RowBox[{"(", "par_", ")"}], "?", "Partition1Q"}], ",", " ", "v_Integer", ",", " ", RowBox[{"h_:", RowBox[{"{", "}"}]}]}], "]"}], " ", ":=", " ", RowBox[{"0", " ", "/;", " ", RowBox[{"v", " ", "<", " ", RowBox[{"Length", "[", "par", "]"}]}]}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.580366561415182*^9, 3.5830659220481896`*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"recur", "[", RowBox[{ RowBox[{ RowBox[{"(", "par_", ")"}], "?", "Partition1Q"}], ",", " ", "v_Integer", ",", " ", RowBox[{"h_:", RowBox[{"{", "}"}]}]}], "]"}], " ", ":=", " ", "\[IndentingNewLine]", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ "segs", ",", " ", "deco", ",", " ", "trabase", ",", " ", "np"}], "}"}], ",", " ", "\n", " ", RowBox[{ RowBox[{"np", " ", "=", " ", RowBox[{"Tr", "[", "par", "]"}]}], ";", " ", RowBox[{"segs", " ", "=", " ", RowBox[{"Length", " ", "/@", " ", RowBox[{"Split", "[", RowBox[{"TransposePartition", "[", "par", "]"}], "]"}]}]}], ";", " ", "\n", " ", RowBox[{"deco", " ", "=", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Max", "[", RowBox[{"0", ",", " ", RowBox[{"Min", "[", RowBox[{ RowBox[{"i", " ", "-", " ", "j", " ", "+", " ", "1"}], ",", " ", "1"}], "]"}]}], "]"}], ",", " ", RowBox[{"{", RowBox[{"i", ",", " ", "0", ",", " ", "#1"}], "}"}], ",", " ", RowBox[{"{", RowBox[{"j", ",", " ", "#1"}], "}"}]}], "]"}], " ", "&"}], " ", ")"}], " ", "/@", " ", "segs"}]}], ";", " ", "\n", " ", RowBox[{"trabase", " ", "=", " ", RowBox[{ RowBox[{"TransposePartition", "[", "par", "]"}], " ", "-", " ", "1"}]}], ";", " ", "\n", " ", RowBox[{"Tr", "[", RowBox[{ RowBox[{"Flatten", "[", RowBox[{"Outer", "[", RowBox[{ RowBox[{ RowBox[{"w", "[", RowBox[{"TransposePartition", "[", RowBox[{"DeleteCases", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"trabase", " ", "+", " ", RowBox[{"Flatten", "[", RowBox[{"{", "##1", "}"}], "]"}]}], ",", " ", "0"}], "]"}], "]"}], "]"}], " ", "&"}], " ", ",", " ", "\n", " ", RowBox[{"Sequence", " ", "@@", " ", "deco"}], ",", " ", "1"}], "]"}], "]"}], " ", "/.", " ", RowBox[{ RowBox[{"w", "[", "q_List", "]"}], " ", "->", " ", RowBox[{"temp", "[", RowBox[{"q", ",", " ", RowBox[{"v", " ", "-", " ", "1"}], ",", " ", RowBox[{"DeleteCases", "[", "\n", " ", RowBox[{ RowBox[{"Sort", "[", RowBox[{"Append", "[", RowBox[{"h", ",", " ", RowBox[{"np", " ", "-", " ", RowBox[{"Tr", "[", "q", "]"}], " ", "-", " ", RowBox[{"Tr", "[", "h", "]"}]}]}], "]"}], "]"}], ",", " ", "0"}], "]"}]}], "]"}]}]}], "]"}]}]}], "]"}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.5803665614191823`*^9, {3.5803714734891367`*^9, 3.58037148876101*^9}, { 3.580374585883155*^9, 3.580374599090911*^9}, 3.58306592205319*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"intermed0", "[", RowBox[{"par_List", ",", " ", "v_Integer", ",", " ", "h_List"}], "]"}], " ", ":=", " ", "\n", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", "}"}], ",", " ", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"w", "[", RowBox[{"Reverse", "[", RowBox[{"Sort", "[", RowBox[{"Append", "[", RowBox[{"#1", ",", " ", RowBox[{"Tr", "[", "h", "]"}]}], "]"}], "]"}], "]"}], "]"}], " ", "&"}], " ", ")"}], " ", "/@", " ", "\[IndentingNewLine]", RowBox[{"Take", "[", RowBox[{ RowBox[{"Partitions", "[", RowBox[{"Tr", "[", "par", "]"}], "]"}], ",", " ", "\n", " ", RowBox[{"-", RowBox[{"(", RowBox[{ RowBox[{"PartitionsP", "[", RowBox[{"Tr", "[", "par", "]"}], "]"}], " ", "+", " ", "1", " ", "-", " ", RowBox[{"rankpartition", "[", "par", "]"}]}], ")"}]}]}], "]"}]}], " ", ".", " ", RowBox[{"MapThread", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"#1", "*", "#2"}], " ", "&"}], " ", ",", " ", RowBox[{"{", RowBox[{ RowBox[{"multipol", "[", RowBox[{"par", ",", " ", "v"}], "]"}], ",", " ", RowBox[{"kostka1", "[", "par", "]"}]}], "}"}]}], "]"}]}]}], "]"}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.5803665614301825`*^9, {3.58037460537027*^9, 3.5803746158658705`*^9}}, LineBreakWithin->False], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"Clear", "[", "kostka1", "]"}], ";"}], " "}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"kostka1", "[", RowBox[{"{", RowBox[{ RowBox[{"(", "1", ")"}], ".."}], "}"}], "]"}], " ", ":=", " ", RowBox[{"{", "1", "}"}]}], ";"}], " "}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"kostka1", "[", RowBox[{"{", "k_Integer", "}"}], "]"}], " ", ":=", " ", RowBox[{"1", " ", "+", " ", RowBox[{"0", "*", RowBox[{"Range", "[", RowBox[{"PartitionsP", "[", "k", "]"}], "]"}]}]}]}], ";"}], " "}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"kostka1", "[", RowBox[{ RowBox[{"(", "par_", ")"}], "?", "Partition1Q"}], "]"}], " ", ":=", " ", RowBox[{ RowBox[{"kostka1", "[", "par", "]"}], " ", "=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"parlen", " ", "=", " ", RowBox[{"Tr", "[", "par", "]"}]}], ",", "\[IndentingNewLine]", RowBox[{"v", " ", "=", " ", RowBox[{"Tr", "[", "par", "]"}]}], ",", " ", "it", ",", " ", "vec"}], "}"}], ",", " ", "\n", " ", RowBox[{ RowBox[{"it", " ", "=", " ", RowBox[{ RowBox[{"recur", "[", RowBox[{"par", ",", " ", "v"}], "]"}], " ", "//.", " ", RowBox[{ RowBox[{"temp", "[", RowBox[{"a_", ",", " ", "b_", ",", " ", "c_"}], "]"}], " ", ":>", " ", RowBox[{ RowBox[{"recur", "[", RowBox[{"a", ",", " ", "b", ",", " ", "c"}], "]"}], " ", "/;", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"Tr", "[", "a", "]"}], " ", "==", " ", "parlen"}], " ", "&&", " ", RowBox[{"b", " ", ">", " ", "1"}]}], ")"}], " ", "||", " ", RowBox[{"b", " ", "<", " ", RowBox[{"Length", "[", "a", "]"}]}]}]}]}]}]}], ";", " ", "\n", " ", RowBox[{"vec", " ", "=", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"it", " ", "/.", " ", RowBox[{"temp", " ", "->", " ", "intermed0"}]}], " ", "/.", " ", RowBox[{ RowBox[{"w", "[", "p_List", "]"}], " ", "->", " ", RowBox[{"w", "[", RowBox[{"rankpartition", "[", "p", "]"}], "]"}]}]}], ")"}], " ", "+", " ", "\n", " ", RowBox[{"Plus", " ", "@@", " ", RowBox[{"w", " ", "/@", " ", RowBox[{"Range", "[", RowBox[{ RowBox[{"rankpartition", "[", "par", "]"}], ",", " ", RowBox[{"PartitionsP", "[", RowBox[{"Tr", "[", "par", "]"}], "]"}]}], "]"}]}]}]}]}], ";", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"List", " ", "@@", " ", "vec"}], " ", "/.", " ", RowBox[{ RowBox[{"w", "[", "_", "]"}], " ", "->", " ", "1"}]}], ")"}], " ", "-", " ", "1"}], ")"}], "/", "\n", RowBox[{"(", RowBox[{ RowBox[{"multipol", "[", RowBox[{"par", ",", " ", RowBox[{"Tr", "[", "par", "]"}]}], "]"}], " ", "/.", " ", RowBox[{"0", " ", "->", " ", "1"}]}], ")"}]}]}]}], "]"}]}]}], ";"}], " "}]}], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.5803665614401836`*^9, {3.5803715536647224`*^9, 3.5803716331282673`*^9}, { 3.580371876982215*^9, 3.5803718831585684`*^9}, 3.5830659220581903`*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{" ", RowBox[{ RowBox[{ "<<", "\"\\""}], ";"}]}]], "Input", InitializationCell->True, CellChangeTimes->{{3.5838263722183585`*^9, 3.583826372752389*^9}, { 3.5838264124246583`*^9, 3.5838264239673185`*^9}, 3.583826472688105*^9, 3.5838334970858774`*^9, 3.5843666841666374`*^9}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"kostka", "[", RowBox[{ RowBox[{"(", "par_", ")"}], "?", "Partition1Q"}], "]"}], " ", ":=", " ", RowBox[{"PadLeft", "[", RowBox[{ RowBox[{"kostka1", "[", "par", "]"}], ",", " ", RowBox[{"PartitionsP", "[", RowBox[{"Tr", "[", "par", "]"}], "]"}]}], "]"}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.5803665614461837`*^9, 3.58306592206219*^9}] }, Closed]], Cell[CellGroupData[{ Cell["Hook lengths and Contents", "Subsection", CellMargins->{{66, 0}, {2, 10}}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"hooklength", "[", RowBox[{ RowBox[{"(", "\[Lambda]_", ")"}], "?", "Partition1Q"}], "]"}], " ", ":=", " ", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{"Count", "[", RowBox[{"\[Lambda]", ",", " ", RowBox[{"q_", " ", "/;", " ", RowBox[{"q", " ", ">=", " ", "j"}]}]}], "]"}], " ", "+", " ", "1", " ", "-", " ", "i", " ", "+", " ", RowBox[{"\[Lambda]", "[", RowBox[{"[", "i", "]"}], "]"}], " ", "-", " ", "j"}], ",", " ", "\[IndentingNewLine]", RowBox[{"{", RowBox[{"i", ",", " ", RowBox[{"Length", "[", "\[Lambda]", "]"}]}], "}"}], ",", " ", RowBox[{"{", RowBox[{"j", ",", " ", RowBox[{"\[Lambda]", "[", RowBox[{"[", "i", "]"}], "]"}]}], "}"}]}], "]"}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.580366577754116*^9, 3.5803673033506184`*^9, {3.580371825045244*^9, 3.580371842308232*^9}, 3.5830659220651903`*^9}], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"content", "[", RowBox[{"{", "}"}], "]"}], " ", ":=", " ", RowBox[{"{", RowBox[{"{", "}"}], "}"}]}], ";"}], " "}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"content", "[", RowBox[{ RowBox[{"(", "p_", ")"}], "?", "Partition1Q"}], "]"}], " ", ":=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"le", " ", "=", " ", RowBox[{"Max", "[", "p", "]"}]}], ",", " ", "\[IndentingNewLine]", RowBox[{"ferr", " ", "=", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"PadLeft", "[", RowBox[{ RowBox[{"1", " ", "+", " ", RowBox[{"0", "*", RowBox[{"Range", "[", "#1", "]"}]}]}], ",", " ", RowBox[{"Max", "[", "p", "]"}]}], "]"}], " ", "&"}], " ", ")"}], " ", "/@", " ", "p"}]}]}], "}"}], ",", " ", "\n", " ", RowBox[{ RowBox[{"DeleteCases", "[", RowBox[{ RowBox[{ RowBox[{"MapIndexed", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"-", "le"}], " ", "+", " ", RowBox[{"Range", "[", RowBox[{"le", ",", " ", "1", ",", " ", RowBox[{"-", "1"}]}], "]"}], " ", "-", " ", "#1", " ", "-", " ", RowBox[{"Tr", "[", "#2", "]"}]}], " ", "&"}], " ", ",", "\[IndentingNewLine]", " ", RowBox[{"0", "*", "ferr"}]}], "]"}], "*", " ", "ferr"}], ",", " ", "0", ",", " ", RowBox[{"-", "1"}]}], "]"}], " ", "+", " ", "le"}]}], "]"}]}], ";"}], " "}]}], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.5803665945380764`*^9, 3.5803717604495497`*^9, {3.580371792582388*^9, 3.58037180975737*^9}, 3.583065922069191*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"stanley", "[", RowBox[{ RowBox[{ RowBox[{"(", "p_", ")"}], "?", "Partition1Q"}], ",", " ", "t_Integer"}], "]"}], " ", ":=", " ", RowBox[{"Times", " ", "@@", " ", RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{"t", " ", "+", " ", RowBox[{"Flatten", "[", RowBox[{"content", "[", "p", "]"}], "]"}]}], ")"}], "/", "\[IndentingNewLine]", RowBox[{"Flatten", "[", RowBox[{"hooklength", "[", "p", "]"}], "]"}]}], ")"}]}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.58036729394608*^9, 3.580371666904199*^9, 3.5803717130798407`*^9, 3.58037176046255*^9, 3.580371856701055*^9, 3.583065922073191*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"allcontents", "[", "li_List", "]"}], " ", ":=", " ", RowBox[{"Table", "[", RowBox[{ RowBox[{"Count", "[", RowBox[{ RowBox[{"Sort", "[", RowBox[{"Flatten", "[", "li", "]"}], "]"}], ",", " ", "k"}], "]"}], ",", "\[IndentingNewLine]", " ", RowBox[{"{", RowBox[{"k", ",", " ", RowBox[{"Max", "[", RowBox[{"Flatten", "[", "li", "]"}], "]"}]}], "}"}]}], "]"}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.578202762364052*^9, 3.580366599746374*^9, 3.580371713084841*^9, 3.580381166323535*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"hookvector", "[", RowBox[{ RowBox[{"(", "par_", ")"}], "?", "Partition1Q"}], "]"}], " ", ":=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"res", " ", "=", " ", RowBox[{"{", "0", "}"}]}], ",", " ", RowBox[{"le", " ", "=", " ", RowBox[{"Tr", "[", "par", "]"}]}]}], "}"}], ",", " ", "\n", " ", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"AppendTo", "[", RowBox[{"res", ",", " ", RowBox[{ RowBox[{"stanley", "[", RowBox[{"par", ",", " ", "v"}], "]"}], " ", "-", " ", RowBox[{"Coefficient", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"Series", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"x", "^", RowBox[{"Range", "[", RowBox[{"0", ",", " ", RowBox[{"v", " ", "-", " ", "1"}]}], "]"}]}], " ", ".", " ", "res"}], "/", RowBox[{ RowBox[{"(", RowBox[{"1", " ", "-", " ", "x"}], ")"}], "^", RowBox[{"(", RowBox[{"le", " ", "+", " ", "1"}], ")"}]}]}], ",", " ", "\[IndentingNewLine]", RowBox[{"{", RowBox[{"x", ",", " ", "0", ",", " ", "v"}], "}"}]}], "]"}], ",", " ", RowBox[{"x", "^", "v"}]}], "]"}]}]}], "]"}], ",", " ", RowBox[{"{", RowBox[{"v", ",", " ", "le"}], "}"}]}], "]"}], ";", " ", RowBox[{"Rest", "[", "res", "]"}]}]}], "]"}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5803666031845713`*^9, 3.5803666096409407`*^9}, 3.5803672984623384`*^9, 3.5803717130888405`*^9, {3.5803746304667053`*^9, 3.580374634945962*^9}, 3.5803811757240725`*^9, 3.583065922079191*^9}] }, Closed]], Cell[CellGroupData[{ Cell["SSYT", "Subsection", CellMargins->{{66, 0}, {2, 10}}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"majorsweak", "[", RowBox[{"left_List", ",", " ", "right_List"}], "]"}], " ", ":=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"le1", " ", "=", " ", RowBox[{"Length", "[", "left", "]"}]}], ",", "\[IndentingNewLine]", " ", RowBox[{"le2", " ", "=", " ", RowBox[{"Length", "[", "right", "]"}]}]}], "}"}], ",", " ", "\n", " ", RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{"le2", " ", ">", " ", "le1"}], " ", "||", " ", RowBox[{ RowBox[{"Min", "[", RowBox[{"Sign", "[", RowBox[{"left", " ", "-", " ", RowBox[{"PadRight", "[", RowBox[{"right", ",", " ", "le1"}], "]"}]}], "]"}], "]"}], " ", "<", " ", "0"}]}], ",", " ", "False", ",", " ", "True"}], "]"}]}], "]"}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.580367348507201*^9, 3.580381197043292*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"majorsstrong", "[", RowBox[{"left_List", ",", " ", "right_List"}], "]"}], " ", ":=", " ", RowBox[{"!", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"First", "[", "right", "]"}], " ", ">", " ", RowBox[{"First", "[", "left", "]"}]}], " ", "||", " ", "\n", " ", RowBox[{ RowBox[{"Min", "[", RowBox[{"Sign", "[", RowBox[{ RowBox[{"PadRight", "[", RowBox[{"left", ",", " ", RowBox[{"Length", "[", "right", "]"}]}], "]"}], " ", "-", " ", "right"}], "]"}], "]"}], " ", "<", " ", "1"}]}], ")"}]}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.580366621488618*^9, 3.580367348518202*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"solspace", "[", RowBox[{"par_List", ",", " ", "v_Integer"}], "]"}], " ", ":=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"tra", " ", "=", " ", RowBox[{"TransposePartition", "[", "par", "]"}]}], ",", " ", "it"}], "}"}], ",", " ", "\n", " ", RowBox[{ RowBox[{"it", " ", "=", " ", RowBox[{"MapIndexed", "[", RowBox[{ RowBox[{"Function", "[", RowBox[{ RowBox[{"{", RowBox[{"q", ",", " ", "i"}], "}"}], ",", " ", RowBox[{"Union", "[", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"PadRight", "[", RowBox[{"#1", ",", " ", "q"}], "]"}], " ", "&"}], " ", ")"}], " ", "/@", " ", "\[IndentingNewLine]", RowBox[{"Partitions", "[", RowBox[{ RowBox[{"q", "*", RowBox[{"(", RowBox[{"v", " ", "+", " ", "1", " ", "-", " ", RowBox[{"Tr", "[", "i", "]"}]}], ")"}]}], ",", " ", "\n", " ", RowBox[{"v", " ", "+", " ", "1", " ", "-", " ", RowBox[{"Tr", "[", "i", "]"}]}]}], "]"}]}], "]"}]}], "]"}], ",", " ", "par"}], "]"}]}], ";", " ", RowBox[{"MapIndexed", "[", "\n", " ", RowBox[{ RowBox[{ RowBox[{"Cases", "[", RowBox[{"#1", ",", " ", RowBox[{"q_List", " ", "/;", " ", RowBox[{"majorsweak", "[", RowBox[{"q", ",", " ", RowBox[{ RowBox[{"(", RowBox[{"1", " ", "-", " ", RowBox[{"Tr", "[", "#2", "]"}]}], ")"}], " ", "+", " ", "\[IndentingNewLine]", RowBox[{"Take", "[", RowBox[{"tra", ",", " ", RowBox[{"par", "[", RowBox[{"[", RowBox[{"Tr", "[", "#2", "]"}], "]"}], "]"}]}], "]"}]}]}], "]"}]}]}], "]"}], " ", "&"}], " ", ",", " ", "it"}], "]"}]}]}], "]"}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5776838306090565`*^9, 3.5776838336246624`*^9}, 3.580366627616968*^9, 3.580367348528202*^9, {3.5803812118351383`*^9, 3.580381216523406*^9}}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"SSYT", "[", RowBox[{"par_List", ",", " ", "v_Integer"}], "]"}], " ", ":=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", "sspace", "}"}], ",", " ", RowBox[{ RowBox[{"sspace", " ", "=", " ", RowBox[{"solspace", "[", RowBox[{"par", ",", " ", "v"}], "]"}]}], ";", " ", "\n", " ", RowBox[{"v", " ", "+", " ", "1", " ", "-", " ", RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{"Length", "[", "par", "]"}], " ", "===", " ", "1"}], ",", " ", RowBox[{"List", " ", "/@", " ", RowBox[{"Flatten", "[", RowBox[{"sspace", ",", " ", "1"}], "]"}]}], ",", " ", RowBox[{"Backtrack", "[", RowBox[{"sspace", ",", " ", "\n", " ", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{"Length", "[", "#1", "]"}], " ", "<", " ", "2"}], ",", " ", "True", ",", " ", RowBox[{"majorsstrong", "[", RowBox[{ RowBox[{"#1", "[", RowBox[{"[", RowBox[{"-", "2"}], "]"}], "]"}], ",", " ", RowBox[{"#1", "[", RowBox[{"[", RowBox[{"-", "1"}], "]"}], "]"}]}], "]"}]}], "]"}], " ", "&"}], " ", ",", "\[IndentingNewLine]", " ", RowBox[{"True", " ", "&"}], " ", ",", " ", "All"}], "]"}]}], "]"}]}]}]}], "]"}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5774197187133493`*^9, 3.577419720636602*^9}, 3.5803666327052593`*^9, 3.580367348538203*^9, 3.5803812267229896`*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"tableauxForm", "[", "yt_List", "]"}], " ", ":=", " ", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"TableForm", "[", RowBox[{"#1", ",", " ", RowBox[{"TableSpacing", " ", "->", " ", RowBox[{"{", RowBox[{"0", ",", " ", "0"}], "}"}]}]}], "]"}], " ", "&"}], " ", ")"}], " ", "/@", " ", "\[IndentingNewLine]", "yt"}], " ", "/.", " ", RowBox[{ RowBox[{"q", ":", RowBox[{"{", "__Integer", "}"}]}], " ", ":>", " ", RowBox[{"StringJoin", " ", "@@", " ", RowBox[{"ToString", " ", "/@", " ", "q"}]}]}]}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.5803666366564856`*^9, 3.580367348547203*^9, {3.580381231834282*^9, 3.5803812354824905`*^9}}, LineBreakWithin->False] }, Closed]], Cell[CellGroupData[{ Cell["Symmetric Polynomials", "Subsection", CellMargins->{{66, 0}, {2, 10}}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"par2pow", "[", RowBox[{ RowBox[{"(", "p1_", ")"}], "?", "Partition1Q"}], "]"}], " ", ":=", " ", RowBox[{ RowBox[{"Subscript", "[", RowBox[{"p", ",", " ", RowBox[{"Tr", "[", "p1", "]"}]}], "]"}], "^", RowBox[{"rankpartition", "[", "p1", "]"}]}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.5803666545765104`*^9, 3.5803674278537397`*^9, 3.583065922086192*^9}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"pow2par", "[", "li_", "]"}], " ", ":=", " ", RowBox[{ RowBox[{"li", " ", "/.", " ", RowBox[{"Plus", " ", "->", " ", "List"}]}], " ", "/.", " ", RowBox[{ RowBox[{ RowBox[{"Subscript", "[", RowBox[{"p", ",", " ", "a_"}], "]"}], "^", RowBox[{"(", "b_", ")"}]}], " ", ":>", " ", RowBox[{"X", "[", RowBox[{ RowBox[{"Partitions", "[", "a", "]"}], "[", RowBox[{"[", "b", "]"}], "]"}], "]"}]}]}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.580366653064424*^9, 3.5803674278567395`*^9}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"expr2pow", "[", "expr_", "]"}], " ", ":=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ "a", ",", " ", "q", ",", " ", "e", ",", " ", "w", ",", " ", "u1", ",", " ", "u2", ",", " ", "u3"}], "}"}], ",", " ", "\n", " ", RowBox[{ RowBox[{"u1", " ", "=", " ", RowBox[{ RowBox[{"Expand", "[", RowBox[{ RowBox[{"q", "*", RowBox[{"Together", "[", RowBox[{"Expand", "[", RowBox[{"expr", " ", "/.", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"Subscript", "[", RowBox[{"a_", ",", " ", "b_"}], "]"}], " ", "->", " ", RowBox[{"a", "[", "b", "]"}]}]}], "]"}], "]"}]}], " ", "+", " ", RowBox[{"q", "*", "a"}]}], "]"}], " ", "/.", " ", RowBox[{"Plus", " ", "->", " ", "List"}]}]}], ";", " ", "\n", " ", RowBox[{"u2", " ", "=", " ", RowBox[{ RowBox[{ RowBox[{ RowBox[{"u1", " ", "/.", " ", RowBox[{"Times", " ", "->", " ", "w"}]}], " ", "/.", " ", RowBox[{"q", " ", "->", " ", RowBox[{"Sequence", "[", "]"}]}]}], " ", "/.", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"w", "[", RowBox[{ RowBox[{ RowBox[{"(", "i_Integer", ")"}], " ", "|", " ", RowBox[{"(", "i_Rational", ")"}]}], ",", " ", "r__"}], "]"}], " ", ":>", " ", RowBox[{"i", "*", RowBox[{"w", "[", "r", "]"}]}]}]}], " ", "/.", " ", "\n", " ", RowBox[{ RowBox[{ RowBox[{"x", "[", "_", "]"}], "^", RowBox[{"(", RowBox[{"e_:", "1"}], ")"}]}], " ", "->", " ", "e"}]}]}], ";", " ", RowBox[{"u3", " ", "=", " ", RowBox[{ RowBox[{ RowBox[{ RowBox[{"Plus", " ", "@@", " ", "u2"}], " ", "/.", " ", RowBox[{ RowBox[{"w", "[", "arg__", "]"}], " ", ":>", " ", "\[IndentingNewLine]", RowBox[{"Reverse", "[", RowBox[{"Sort", "[", RowBox[{"w", "[", "arg", "]"}], "]"}], "]"}]}]}], " ", "/.", " ", RowBox[{ RowBox[{"w", "[", "a", "]"}], " ", "->", " ", "0"}]}], " ", "/.", " ", RowBox[{"a", " ", "->", " ", "0"}]}]}], ";", " ", "\n", " ", RowBox[{"u3", " ", "/.", " ", RowBox[{ RowBox[{"w", "[", "q__", "]"}], " ", ":>", " ", RowBox[{ RowBox[{"Subscript", "[", RowBox[{"p", ",", " ", RowBox[{"Tr", "[", RowBox[{"{", "q", "}"}], "]"}]}], "]"}], "^", RowBox[{"rankpartition", "[", RowBox[{"{", "q", "}"}], "]"}]}]}]}]}]}], "]"}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.577684129124377*^9, 3.577684131983862*^9}, { 3.5776859090037947`*^9, 3.5776859121132293`*^9}, 3.580366647859126*^9, { 3.580371947126227*^9, 3.5803719566617727`*^9}}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"threadSP", "[", RowBox[{"expr_", ",", " ", "uu_"}], "]"}], " ", ":=", " ", RowBox[{"Expand", "[", RowBox[{"expr", " ", "/.", " ", RowBox[{ RowBox[{"uu", "[", RowBox[{"arg_List", ",", " ", "v_"}], "]"}], " ", ":>", " ", "\[IndentingNewLine]", RowBox[{"Times", " ", "@@", " ", RowBox[{"Thread", "[", RowBox[{"uu", "[", RowBox[{"arg", ",", " ", "v"}], "]"}], "]"}]}]}]}], "]"}]}], ";"}], " "}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.577777238493718*^9, 3.5777772901486454`*^9}, { 3.577779355310545*^9, 3.577779355498049*^9}, {3.577781519361405*^9, 3.577781590565897*^9}, {3.5777816610047493`*^9, 3.5777817691787014`*^9}, { 3.580371962492106*^9, 3.5803719882355785`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"unthreadSP", "[", RowBox[{"expr_", ",", " ", "uu_"}], "]"}], " ", ":=", " ", RowBox[{ RowBox[{ RowBox[{"Expand", "[", "expr", "]"}], " ", "/.", " ", RowBox[{ RowBox[{ RowBox[{"uu", "[", RowBox[{"a_Integer", ",", " ", "v_"}], "]"}], "^", RowBox[{"(", RowBox[{"i_:", "1"}], ")"}]}], " ", ":>", " ", "\[IndentingNewLine]", RowBox[{"uu", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{"a", ",", " ", RowBox[{"{", "i", "}"}]}], "]"}], ",", " ", "v"}], "]"}]}]}], " ", "//.", " ", "\n", " ", RowBox[{ RowBox[{ RowBox[{"uu", "[", RowBox[{"a_", ",", " ", "v_"}], "]"}], "*", RowBox[{"uu", "[", RowBox[{"b_", ",", " ", "v_"}], "]"}]}], " ", ":>", " ", RowBox[{"uu", "[", RowBox[{ RowBox[{"Reverse", "[", RowBox[{"Sort", "[", RowBox[{"Join", "[", RowBox[{"a", ",", " ", "b"}], "]"}], "]"}], "]"}], ",", " ", "v"}], "]"}]}]}]}], ";"}], " "}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.577781779694528*^9, 3.5777819729338493`*^9}, { 3.5777820049815445`*^9, 3.577782112515757*^9}, {3.5777822942246966`*^9, 3.577782295099725*^9}, {3.577866941010993*^9, 3.5778669454592476`*^9}, { 3.5778669764510202`*^9, 3.57786699619615*^9}, {3.5778670517153254`*^9, 3.5778670782988453`*^9}, {3.5778678131498766`*^9, 3.5778678187011943`*^9}, 3.580366667538252*^9, 3.5803674495239787`*^9, {3.5803719650922546`*^9, 3.5803719914757633`*^9}}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{"<<", "Algebra`SymmetricPolynomials`"}], ";"}], " ", "*)"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5776840684200344`*^9, 3.577684081951198*^9}}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{"Clear", "[", RowBox[{"ee", ",", "pp", ",", "hh", ",", " ", "mm", ",", " ", "ss"}], "]"}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.57786400704618*^9, 3.5778640216070127`*^9}, { 3.580367809392562*^9, 3.580367829912736*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"ee", "[", RowBox[{"0", ",", "_"}], "]"}], ":=", "1"}], ";", RowBox[{ RowBox[{"ee", "[", RowBox[{"n_", ",", "_"}], "]"}], ":=", RowBox[{"0", "/;", RowBox[{"n", "<", "0"}]}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"pp", "[", RowBox[{"0", ",", "v_"}], "]"}], ":=", "v"}], ";", RowBox[{ RowBox[{"pp", "[", RowBox[{"n_", ",", "_"}], "]"}], ":=", RowBox[{"0", "/;", RowBox[{"n", "<", "0"}]}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"hh", "[", RowBox[{"0", ",", "_"}], "]"}], ":=", "1"}], ";", RowBox[{ RowBox[{"hh", "[", RowBox[{"n_", ",", "_"}], "]"}], ":=", RowBox[{"0", "/;", RowBox[{"n", "<", "0"}]}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"mm", "[", RowBox[{"li_List", ",", "v_Integer"}], "]"}], ":=", RowBox[{"0", " ", "/;", " ", RowBox[{ RowBox[{ RowBox[{"Length", "[", "li", "]"}], ">", "v"}], " ", "||", " ", RowBox[{ RowBox[{"Max", "[", "li", "]"}], "\[LessEqual]", "0"}]}]}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"ss", "[", RowBox[{"li_List", ",", "v_Integer"}], "]"}], ":=", RowBox[{"0", " ", "/;", " ", RowBox[{ RowBox[{ RowBox[{"Length", "[", "li", "]"}], ">", "v"}], "||", " ", RowBox[{ RowBox[{"Max", "[", "li", "]"}], "\[LessEqual]", "0"}]}]}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"(*", " ", RowBox[{ RowBox[{ RowBox[{"not", " ", RowBox[{"pp", "[", RowBox[{"list_", ",", "v_Integer"}], "]"}]}], ":=", RowBox[{"0", " ", "/;", " ", RowBox[{ RowBox[{"Length", "[", "list", "]"}], ">", "v"}]}]}], ";", " ", RowBox[{"or", " ", "s2p", " ", RowBox[{"doesn", "'"}], "t", " ", "work"}], ";", " ", RowBox[{"to", " ", "be", " ", "investigated"}]}], " ", "*)"}]}]}], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.577789487580264*^9, 3.577789562796126*^9}, { 3.5778079099558616`*^9, 3.57780791605121*^9}, {3.5778080601074495`*^9, 3.5778080973945827`*^9}, {3.5778636242182837`*^9, 3.577863689234002*^9}, { 3.577863725593082*^9, 3.5778637671134567`*^9}, {3.5778638032485237`*^9, 3.5778638095538845`*^9}, {3.577863943960572*^9, 3.5778639773204803`*^9}, { 3.5778641116161613`*^9, 3.5778641341194487`*^9}, {3.577964559054899*^9, 3.5779646047825146`*^9}, 3.5779646363023176`*^9, {3.5803678478337607`*^9, 3.580367865192754*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{"Clear", "[", "e", "]"}], ";", RowBox[{ RowBox[{"e", "[", RowBox[{ RowBox[{"{", "0", "}"}], ",", "0"}], "]"}], ":=", "1"}], ";", RowBox[{ RowBox[{"e", "[", RowBox[{ RowBox[{"{", "0", "}"}], ",", "_"}], "]"}], ":=", "0"}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"e", "[", RowBox[{"n_Integer", ",", "v_"}], "]"}], ":=", RowBox[{"Tr", "[", RowBox[{"Times", "@@@", RowBox[{"Select", "[", RowBox[{ RowBox[{"Subsets", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{"Subscript", "[", RowBox[{"x", ",", "j"}], "]"}], ",", RowBox[{"{", RowBox[{"j", ",", "v"}], "}"}]}], "]"}], "]"}], ",", RowBox[{ RowBox[{ RowBox[{"Length", "[", "#", "]"}], "\[Equal]", "n"}], "&"}]}], "]"}]}], "]"}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"e", "[", RowBox[{ RowBox[{"par_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{"Times", "@@", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"e", "[", RowBox[{"#", ",", "v"}], "]"}], "&"}], "/@", " ", "par"}], ")"}]}]}], ";"}]}], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.577964723502305*^9, 3.5779647273735266`*^9}, 3.583065922093192*^9}, LineBreakWithin->False, Background->RGBColor[1, 1, 0.85]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"e2p", "[", RowBox[{"n_Integer", ",", "v_Integer"}], "]"}], ":=", RowBox[{"Expand", "[", RowBox[{ RowBox[{"Det", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{"1", "+", "c", "-", "r"}], "\[Equal]", "0"}], ",", RowBox[{"n", "+", "1", "-", "r"}], ",", RowBox[{"pp", "[", " ", RowBox[{ RowBox[{"1", "+", "c", "-", "r"}], " ", ",", "v"}], "]"}]}], "]"}], "/.", " ", RowBox[{ RowBox[{"pp", "[", RowBox[{"0", ",", " ", "v"}], " ", "]"}], " ", "->", " ", "v"}]}], " ", "/.", " ", RowBox[{ RowBox[{ RowBox[{"pp", "[", RowBox[{"q_", ",", " ", "_"}], "]"}], " ", "/;", " ", "\[IndentingNewLine]", RowBox[{"q", " ", "<", " ", "0"}]}], " ", "->", " ", "0"}]}], ",", RowBox[{"{", RowBox[{"r", ",", "n"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "n"}], "}"}]}], "]"}], "]"}], "/", RowBox[{"n", "!"}]}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5775289809687376`*^9, 3.5775290727992134`*^9}, { 3.577529125550564*^9, 3.5775291348476768`*^9}, {3.5775291659578485`*^9, 3.577529175317463*^9}, {3.57752986135065*^9, 3.577529866163273*^9}, { 3.577530017339018*^9, 3.5775300199328346`*^9}, {3.5775321913526983`*^9, 3.577532203462383*^9}, {3.5775323954047966`*^9, 3.5775324051394205`*^9}, 3.5775324436560316`*^9, 3.577684626390934*^9, 3.580366702682262*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"e2h", "[", RowBox[{"n_Integer", ",", "v_Integer"}], "]"}], ":=", RowBox[{"Expand", "[", RowBox[{"Det", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"hh", "[", " ", RowBox[{ RowBox[{"1", "+", "c", "-", "r"}], ",", "v"}], "]"}], "/.", " ", RowBox[{ RowBox[{"hh", "[", RowBox[{"0", ",", " ", "_"}], "]"}], " ", "->", " ", "1"}]}], " ", "/.", " ", "\n", " ", RowBox[{ RowBox[{ RowBox[{"hh", "[", RowBox[{"q_", ",", " ", "_"}], "]"}], " ", "/;", " ", RowBox[{"q", " ", "<", " ", "0"}]}], " ", "->", " ", "0"}]}], ",", RowBox[{"{", RowBox[{"r", ",", "n"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "n"}], "}"}]}], "]"}], "]"}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5775289809687376`*^9, 3.5775290727992134`*^9}, { 3.577532316324647*^9, 3.57753232426235*^9}, 3.577612650626897*^9, 3.5776846256253138`*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[{ RowBox[{ RowBox[{"Clear", "[", "e2m", "]"}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"e2m", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"ko", "=", RowBox[{"kostka", "/@", RowBox[{"Partitions", "[", RowBox[{"Tr", "[", "\[Lambda]", "]"}], "]"}]}]}], "}"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"Part", "[", RowBox[{ RowBox[{ RowBox[{"Transpose", "[", RowBox[{"Map", "[", " ", RowBox[{ RowBox[{ RowBox[{"kostka", "[", RowBox[{"TransposePartition", "[", "#", "]"}], "]"}], "&"}], ",", RowBox[{"Partitions", "[", RowBox[{"Tr", "[", "\[Lambda]", "]"}], "]"}]}], "]"}], "]"}], ".", "ko"}], " ", ",", RowBox[{"rankpartition", "[", "\[Lambda]", "]"}]}], "]"}], " ", ".", " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"mm", "[", RowBox[{"#", ",", "v"}], "]"}], "&"}], "/@", RowBox[{"Partitions", "[", RowBox[{"Tr", "[", "\[Lambda]", "]"}], "]"}]}], ")"}]}]}], "]"}]}], ";"}]}], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5780484266822095`*^9, 3.5780485027995634`*^9}, { 3.5780485853502846`*^9, 3.5780485907185917`*^9}, {3.578048674974411*^9, 3.5780487223981237`*^9}, {3.578048797373412*^9, 3.5780488904047327`*^9}, { 3.5780496775597553`*^9, 3.5780498016228514`*^9}, 3.578049835422785*^9, { 3.578049947038169*^9, 3.5780499567337236`*^9}, 3.5780502891717377`*^9, 3.5830659220971923`*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[{ RowBox[{ RowBox[{"Clear", "[", "p", "]"}], ";", RowBox[{ RowBox[{"p", "[", RowBox[{ RowBox[{"{", "0", "}"}], ",", "0"}], "]"}], ":=", "1"}], ";", RowBox[{ RowBox[{"p", "[", RowBox[{ RowBox[{"{", "0", "}"}], ",", "_"}], "]"}], ":=", "0"}], ";", RowBox[{ RowBox[{"p", "[", RowBox[{"0", ",", "v_"}], "]"}], ":=", "v"}], ";", RowBox[{ RowBox[{"p", "[", RowBox[{"n_", ",", "_"}], "]"}], ":=", RowBox[{"0", "/;", RowBox[{"n", "<", "0"}]}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"n_Integer", ",", "v_"}], "]"}], ":=", RowBox[{"Sum", "[", RowBox[{ RowBox[{ RowBox[{"Subscript", "[", RowBox[{"x", ",", "j"}], "]"}], "^", "n"}], ",", RowBox[{"{", RowBox[{"j", ",", "v"}], "}"}]}], "]"}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{ RowBox[{"par_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{"Times", "@@", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"#", ",", "v"}], "]"}], "&"}], "/@", " ", "par"}], ")"}]}]}], ";"}]}], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.577526403920706*^9, 3.577526429546034*^9}, { 3.577526494968746*^9, 3.577526498859421*^9}, {3.5778643582942705`*^9, 3.5778643713250155`*^9}, 3.5830659221011925`*^9}, LineBreakWithin->False, Background->RGBColor[1, 1, 0.85]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"p2e", "[", RowBox[{"n_Integer", ",", "v_Integer"}], "]"}], ":=", RowBox[{"Expand", "[", RowBox[{"Det", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"If", "[", " ", RowBox[{ RowBox[{"c", " ", "\[Equal]", "n"}], ",", RowBox[{ RowBox[{"(", RowBox[{"n", "+", "1", "-", "r"}], ")"}], RowBox[{"ee", "[", " ", RowBox[{ RowBox[{"1", "+", "c", "-", "r"}], " ", ",", "v"}], "]"}]}], ",", RowBox[{"ee", "[", " ", RowBox[{ RowBox[{"1", "+", "c", "-", "r"}], " ", ",", "v"}], "]"}]}], "]"}], "/.", " ", RowBox[{ RowBox[{"ee", "[", RowBox[{"0", ",", " ", "v"}], " ", "]"}], " ", "->", " ", "1"}]}], " ", "/.", " ", RowBox[{ RowBox[{ RowBox[{"ee", "[", RowBox[{"q_", ",", " ", "_"}], "]"}], " ", "/;", " ", RowBox[{"q", " ", "<", " ", "0"}]}], " ", "->", " ", "0"}]}], ",", RowBox[{"{", RowBox[{"r", ",", "n"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "n"}], "}"}]}], "]"}], "]"}], " ", "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5775289809687376`*^9, 3.5775290727992134`*^9}, { 3.577529125550564*^9, 3.5775291348476768`*^9}, {3.5775291659578485`*^9, 3.577529175317463*^9}, {3.57752986135065*^9, 3.577529866163273*^9}, { 3.577530017339018*^9, 3.5775300199328346`*^9}, {3.5775321913526983`*^9, 3.577532203462383*^9}, {3.5775323954047966`*^9, 3.5775324051394205`*^9}, 3.5775324436560316`*^9, {3.5776128764194365`*^9, 3.57761291296561*^9}, 3.5776129520122347`*^9, {3.5776129864970512`*^9, 3.577612988653329*^9}, { 3.5776130227162647`*^9, 3.577613037278951*^9}, 3.5776130693731117`*^9, 3.5776846379689856`*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"p2h", "[", RowBox[{"n_Integer", ",", "v_Integer"}], "]"}], ":=", RowBox[{"Expand", "[", RowBox[{ RowBox[{"-", RowBox[{ RowBox[{"(", RowBox[{"-", "1"}], ")"}], "^", "n"}]}], " ", RowBox[{"Det", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"If", "[", " ", RowBox[{ RowBox[{"c", " ", "\[Equal]", "n"}], ",", RowBox[{ RowBox[{"(", RowBox[{"n", "+", "1", "-", "r"}], ")"}], RowBox[{"hh", "[", " ", RowBox[{ RowBox[{"1", "+", "c", "-", "r"}], " ", ",", "v"}], "]"}]}], ",", RowBox[{"hh", "[", " ", RowBox[{ RowBox[{"1", "+", "c", "-", "r"}], " ", ",", "v"}], "]"}]}], "]"}], "/.", RowBox[{ RowBox[{"hh", "[", RowBox[{"0", ",", " ", "v"}], " ", "]"}], " ", "->", " ", "1"}]}], " ", "/.", " ", RowBox[{ RowBox[{ RowBox[{"hh", "[", RowBox[{"q_", ",", " ", "_"}], "]"}], " ", "/;", " ", RowBox[{"q", " ", "<", " ", "0"}]}], " ", "->", " ", "0"}]}], ",", RowBox[{"{", RowBox[{"r", ",", "n"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "n"}], "}"}]}], "]"}], "]"}]}], " ", "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5775289809687376`*^9, 3.5775290727992134`*^9}, { 3.577529125550564*^9, 3.5775291348476768`*^9}, {3.5775291659578485`*^9, 3.577529175317463*^9}, {3.57752986135065*^9, 3.577529866163273*^9}, { 3.577530017339018*^9, 3.5775300199328346`*^9}, {3.5775321913526983`*^9, 3.577532203462383*^9}, {3.5775323954047966`*^9, 3.5775324051394205`*^9}, 3.5775324436560316`*^9, {3.5776128764194365`*^9, 3.57761291296561*^9}, 3.5776129520122347`*^9, {3.5776129864970512`*^9, 3.577612988653329*^9}, { 3.5776130227162647`*^9, 3.577613037278951*^9}, 3.5776130693731117`*^9, { 3.5776139148462443`*^9, 3.577613944956583*^9}, {3.5776141151651545`*^9, 3.5776141206653304`*^9}, 3.577684635547126*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{" ", RowBox[{ RowBox[{ RowBox[{"p2s", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"Part", "[", RowBox[{ RowBox[{"chars", "[", "#", "]"}], ",", RowBox[{"rankpartition", "[", "\[Lambda]", "]"}]}], "]"}], "&"}], "/@", " ", RowBox[{"Partitions", "[", RowBox[{"Tr", "@", "\[Lambda]"}], "]"}]}], ")"}], " ", ".", " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"ss", "[", RowBox[{"#", ",", "v"}], "]"}], "&"}], "/@", " ", RowBox[{"Partitions", "[", RowBox[{"Tr", "@", "\[Lambda]"}], "]"}]}], ")"}]}]}], ";"}]}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.577615228935169*^9, 3.577615277999239*^9}, { 3.5776154135192003`*^9, 3.5776154161442842`*^9}, {3.577615717450801*^9, 3.5776157873124113`*^9}, {3.577616140089325*^9, 3.577616145745756*^9}, { 3.5776186690731907`*^9, 3.577618764795004*^9}, 3.577618862204371*^9, 3.577618904893237*^9, 3.577684632719019*^9, 3.5830659221041927`*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[{ RowBox[{ RowBox[{"Clear", "[", "h", "]"}], ";", RowBox[{ RowBox[{"h", "[", RowBox[{"0", ",", "_"}], "]"}], ":=", "1"}], ";", RowBox[{ RowBox[{"h", "[", RowBox[{ RowBox[{"{", "0", "}"}], ",", "_"}], "]"}], ":=", "0"}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"h", "[", RowBox[{"n_Integer", ",", "v_"}], "]"}], ":=", RowBox[{"Tr", "[", RowBox[{"Apply", "[", RowBox[{"Times", ",", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Subscript", "[", RowBox[{"x", ",", "j"}], "]"}], ",", RowBox[{"{", RowBox[{"j", ",", "v"}], "}"}]}], "]"}], "^", "#"}], ")"}], "&"}], "/@", "\[IndentingNewLine]", RowBox[{"Compositions", "[", RowBox[{"n", ",", "v"}], "]"}]}], ",", RowBox[{"{", "1", "}"}]}], "]"}], "]"}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"h", "[", RowBox[{ RowBox[{"par_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{"Times", "@@", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"h", "[", RowBox[{"#", ",", "v"}], "]"}], "&"}], "/@", " ", "par"}], ")"}]}]}], ";"}]}], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.57796470836644*^9, 3.577964714373783*^9}, 3.5803815009926767`*^9, 3.5830659221081934`*^9}, LineBreakWithin->False, Background->RGBColor[1, 1, 0.85]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"h2e", "[", RowBox[{"n_Integer", ",", "v_Integer"}], "]"}], ":=", RowBox[{"Expand", "[", RowBox[{"Det", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"ee", "[", " ", RowBox[{ RowBox[{"1", "+", "c", "-", "r"}], ",", "v"}], "]"}], "/.", " ", RowBox[{ RowBox[{"ee", "[", RowBox[{"0", ",", " ", "_"}], "]"}], " ", "->", " ", "1"}]}], " ", "/.", " ", "\n", " ", RowBox[{ RowBox[{ RowBox[{"ee", "[", RowBox[{"q_", ",", " ", "_"}], "]"}], " ", "/;", " ", RowBox[{"q", " ", "<", " ", "0"}]}], " ", "->", " ", "0"}]}], ",", RowBox[{"{", RowBox[{"r", ",", "n"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "n"}], "}"}]}], "]"}], "]"}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5775289809687376`*^9, 3.5775290727992134`*^9}, { 3.577532316324647*^9, 3.57753232426235*^9}, {3.5776120482618837`*^9, 3.5776120501056924`*^9}, {3.5776121004354277`*^9, 3.5776121174203463`*^9}, 3.577612221783061*^9, 3.577684630828406*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"h2p", "[", RowBox[{"n_Integer", ",", "v_Integer"}], "]"}], ":=", RowBox[{"Expand", "[", RowBox[{ RowBox[{ RowBox[{"Det", "[", RowBox[{"Table", "[", " ", RowBox[{ RowBox[{ RowBox[{ RowBox[{"ptemp", "[", " ", RowBox[{ RowBox[{"1", "+", "c", "-", "r"}], " ", ",", "v"}], "]"}], " ", "/.", " ", RowBox[{ RowBox[{"ptemp", "[", RowBox[{"0", ",", " ", "v"}], " ", "]"}], " ", "->", " ", RowBox[{ RowBox[{"-", "n"}], "-", "1", "+", "r"}]}]}], "/.", " ", RowBox[{ RowBox[{ RowBox[{"ptemp", "[", RowBox[{"q_", ",", " ", "_"}], "]"}], " ", "/;", " ", RowBox[{"q", " ", "<", " ", "0"}]}], " ", "->", " ", "0"}]}], ",", RowBox[{"{", RowBox[{"r", ",", "n"}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", "n"}], "}"}]}], "]"}], "]"}], "/", RowBox[{"n", "!"}]}], " ", "/.", " ", RowBox[{"ptemp", "\[Rule]", "pp"}]}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5775289809687376`*^9, 3.5775290727992134`*^9}, { 3.577529125550564*^9, 3.5775291348476768`*^9}, {3.5775291659578485`*^9, 3.577529175317463*^9}, {3.57752986135065*^9, 3.577529866163273*^9}, { 3.577530017339018*^9, 3.5775300199328346`*^9}, {3.5775321913526983`*^9, 3.577532203462383*^9}, {3.5775323954047966`*^9, 3.5775324051394205`*^9}, 3.5775324436560316`*^9, 3.5776133623315983`*^9, {3.5776134193174324`*^9, 3.5776134465993805`*^9}, {3.5776136849961085`*^9, 3.577613697324549*^9}, 3.5776846282659225`*^9, {3.5778651102812815`*^9, 3.5778651893518043`*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"h2m", "[", RowBox[{"n_Integer", ",", " ", "v_Integer"}], "]"}], ":=", " ", RowBox[{"Tr", "[", RowBox[{ RowBox[{ RowBox[{"mm", "[", RowBox[{"#", ",", "v"}], "]"}], "&"}], "/@", RowBox[{"Partitions", "[", "n", "]"}]}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.577780813947918*^9, 3.5777808784812326`*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"h2s", "[", RowBox[{ RowBox[{"\[Mu]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"Tr", "[", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"Part", "[", " ", RowBox[{ RowBox[{"kostka", "[", "#", "]"}], " ", ",", RowBox[{"rankpartition", "[", "\[Mu]", "]"}]}], "]"}], " ", RowBox[{"ss", "[", RowBox[{"#", ",", "v"}], "]"}]}], ")"}], "&"}], "/@", RowBox[{"Take", "[", RowBox[{ RowBox[{"Partitions", "[", RowBox[{"Tr", "[", "\[Mu]", "]"}], "]"}], ",", RowBox[{"rankpartition", "[", "\[Mu]", "]"}]}], "]"}]}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5801983826644063`*^9, 3.5801984587376623`*^9}, { 3.580200159056472*^9, 3.5802001855262384`*^9}, {3.5802002218870096`*^9, 3.580200242840939*^9}, {3.5802002833737454`*^9, 3.5802003734345756`*^9}, 3.5802005645029173`*^9, 3.580200782876338*^9, {3.580204420270499*^9, 3.5802044909503083`*^9}, 3.5802047829409046`*^9, {3.580204830268424*^9, 3.5802048581743164`*^9}, 3.5802048927988734`*^9, {3.58020495086063*^9, 3.5802049528137302`*^9}, 3.583065922112193*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[{ RowBox[{ RowBox[{"Clear", "[", "m", "]"}], ";", RowBox[{ RowBox[{"m", "[", RowBox[{"li_List", ",", "_"}], "]"}], ":=", RowBox[{"0", "/;", " ", RowBox[{ RowBox[{"Max", "[", "li", "]"}], "\[LessEqual]", "0"}]}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"m", "[", RowBox[{ RowBox[{"par_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"le", "=", RowBox[{"Length", "[", "par", "]"}]}], ",", "it"}], " ", "}"}], ",", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"le", ">", "v"}], ",", RowBox[{"Return", "[", "0", "]"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"it", "=", RowBox[{"Permutations", "[", RowBox[{"PadRight", "[", RowBox[{"par", ",", "v"}], "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"Tr", "[", " ", RowBox[{"Apply", "[", RowBox[{"Times", ",", RowBox[{ RowBox[{ RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Subscript", "[", RowBox[{"x", ",", "j"}], "]"}], ",", RowBox[{"{", RowBox[{"j", ",", "v"}], "}"}]}], "]"}], "^", "#"}], " ", "&"}], " ", "/@", " ", "it"}], ",", RowBox[{"{", "1", "}"}]}], "]"}], "]"}]}]}], "]"}]}], ";"}]}], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.57786406893572*^9, 3.5778640991194468`*^9}, { 3.577864156406723*^9, 3.577864159430896*^9}, {3.5779646859511576`*^9, 3.5779646866461973`*^9}, 3.5803674893072543`*^9, 3.583065922116194*^9}, LineBreakWithin->False, Background->RGBColor[1, 1, 0.85]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"pow2m", "[", RowBox[{"expr_", ",", RowBox[{"v_:", "0"}]}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", "par", "}"}], ",", " ", RowBox[{"expr", "/.", " ", RowBox[{ RowBox[{"(", RowBox[{ SubscriptBox["p", "n_"], "^", RowBox[{"(", RowBox[{"e_:", "1"}], ")"}]}], ")"}], " ", "\[RuleDelayed]", " ", RowBox[{ RowBox[{"mm", "[", RowBox[{ RowBox[{"par", "=", RowBox[{"unrankpartition", "[", RowBox[{"n", ",", "e"}], "]"}]}], ",", RowBox[{"If", "[", RowBox[{ RowBox[{"v", "===", "0"}], ",", "n", ",", "v"}], "]"}]}], "]"}], "/", RowBox[{"Apply", "[", RowBox[{"Multinomial", ",", RowBox[{"Length", "/@", RowBox[{"Split", "[", RowBox[{"PadRight", "[", RowBox[{"par", ",", RowBox[{"If", "[", RowBox[{ RowBox[{"v", "===", "0"}], ",", "n", ",", "v"}], "]"}]}], "]"}], "]"}]}]}], "]"}]}]}]}]}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5776850286003575`*^9, 3.577685052273142*^9}, { 3.5776851067596087`*^9, 3.577685416822054*^9}, {3.57768580167616*^9, 3.5776858083789845`*^9}, {3.577690080279026*^9, 3.5776900808415475`*^9}, { 3.577690680252554*^9, 3.5776907429332333`*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[{ RowBox[{ RowBox[{"Clear", "[", "m2e", "]"}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"m2e", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"ko", "=", RowBox[{"kostka", "/@", RowBox[{"Partitions", "[", RowBox[{"Tr", "[", "\[Lambda]", "]"}], "]"}]}]}], "}"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"Part", "[", RowBox[{ RowBox[{"Inverse", "[", RowBox[{ RowBox[{"Transpose", "[", RowBox[{"Map", "[", " ", RowBox[{ RowBox[{ RowBox[{"kostka", "[", RowBox[{"TransposePartition", "[", "#", "]"}], "]"}], "&"}], ",", RowBox[{"Partitions", "[", RowBox[{"Tr", "[", "\[Lambda]", "]"}], "]"}]}], "]"}], "]"}], ".", "ko"}], " ", "]"}], ",", RowBox[{"rankpartition", "[", "\[Lambda]", "]"}]}], "]"}], " ", ".", " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"ee", "[", RowBox[{"#", ",", "v"}], "]"}], "&"}], "/@", RowBox[{"Partitions", "[", RowBox[{"Tr", "[", "\[Lambda]", "]"}], "]"}]}], ")"}]}]}], "]"}]}], ";"}]}], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5780484266822095`*^9, 3.5780485027995634`*^9}, { 3.5780485853502846`*^9, 3.5780485907185917`*^9}, {3.578048674974411*^9, 3.5780487223981237`*^9}, {3.578048797373412*^9, 3.5780488904047327`*^9}, { 3.5780496775597553`*^9, 3.5780498016228514`*^9}, 3.578049835422785*^9, { 3.578049947038169*^9, 3.5780499567337236`*^9}, {3.578050001022257*^9, 3.5780500521731825`*^9}, 3.578050351483302*^9, 3.5830659221201935`*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"m2s", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"Expand", "[", RowBox[{ RowBox[{ RowBox[{"Inverse", "[", RowBox[{"kostka", "/@", RowBox[{"Partitions", "[", RowBox[{"Tr", "@", "\[Lambda]"}], "]"}]}], "]"}], "[", RowBox[{"[", RowBox[{"rankpartition", "@", "\[Lambda]"}], "]"}], "]"}], " ", ".", " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"ss", "[", RowBox[{"#1", ",", "v"}], "]"}], "&"}], " ", "/@", RowBox[{"Partitions", "[", RowBox[{"Tr", "@", "\[Lambda]"}], "]"}]}], ")"}]}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.577788891496914*^9, 3.577788955217703*^9}, 3.57778911788955*^9, 3.5803667520650864`*^9, 3.583065922124194*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"Clear", "[", RowBox[{"monomProd2Sum0", ",", "monomProd2Sum1", ",", "monomProd2Sum"}], "]"}], ";"}], " "}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5779611068094425`*^9, 3.5779611143348727`*^9}, { 3.5779618483378553`*^9, 3.5779618496509304`*^9}, 3.577963569741314*^9, { 3.5779643739913144`*^9, 3.5779643844459124`*^9}, {3.5779644200629497`*^9, 3.5779644296074953`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"monomProd2Sum0", "[", RowBox[{ RowBox[{"mm", "[", RowBox[{"\[Lambda]_", ",", " ", "v_Integer"}], "]"}], ",", " ", RowBox[{"mm", "[", RowBox[{"\[Mu]_", ",", " ", "v_"}], "]"}]}], "]"}], " ", ":=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ "\[Alpha]", ",", " ", "\[Beta]", ",", " ", "dim\[Beta]", ",", " ", "it"}], "}"}], ",", " ", "\n", " ", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"\[Alpha]", ",", " ", "\[Beta]"}], "}"}], " ", "=", " ", RowBox[{"Last", " ", "/@", " ", RowBox[{"Sort", "[", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Length", "[", RowBox[{"Union", "[", "#1", "]"}], "]"}], ",", " ", "#1"}], "}"}], " ", "&"}], " ", ")"}], " ", "/@", " ", RowBox[{"{", RowBox[{"\[Lambda]", ",", " ", "\[Mu]"}], "}"}]}], "]"}]}]}], ";", " ", "\n", " ", RowBox[{"dim\[Beta]", " ", "=", " ", RowBox[{"Multinomial", " ", "@@", " ", RowBox[{"Length", " ", "/@", " ", RowBox[{"Split", "[", RowBox[{"PadRight", "[", RowBox[{"\[Beta]", ",", " ", "v"}], "]"}], "]"}]}]}]}], ";", " ", "\n", " ", RowBox[{"it", " ", "=", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"PadRight", "[", RowBox[{"\[Beta]", ",", " ", "v"}], "]"}], " ", "+", " ", "#1"}], " ", "&"}], " ", ")"}], " ", "/@", " ", RowBox[{"Permutations", "[", RowBox[{"PadRight", "[", RowBox[{"\[Alpha]", ",", " ", "v"}], "]"}], "]"}]}]}], ";", " ", "\n", " ", RowBox[{"Expand", "[", RowBox[{"Tr", "[", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"dim\[Beta]", "/", RowBox[{"Multinomial", " ", "@@", " ", RowBox[{"Length", " ", "/@", " ", RowBox[{"Split", "[", "#1", "]"}]}]}]}], ")"}], "*", RowBox[{"mm", "[", RowBox[{ RowBox[{"DeleteCases", "[", RowBox[{"#1", ",", " ", "0"}], "]"}], ",", " ", "v"}], "]"}]}], " ", "&"}], " ", ")"}], "[", "\n", " ", RowBox[{"Reverse", "[", RowBox[{"Sort", "[", "#1", "]"}], "]"}], "]"}], " ", "&"}], " ", ")"}], " ", "/@", " ", "it"}], "]"}], "]"}]}]}], "]"}]}], ";"}], " "}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5779602549137163`*^9, 3.577960329732996*^9}, { 3.577960385139165*^9, 3.5779605258602138`*^9}, {3.577960565011453*^9, 3.5779606616999836`*^9}, {3.5779606945628633`*^9, 3.577960705162469*^9}, { 3.577960949001416*^9, 3.5779609666654263`*^9}, {3.57796113736819*^9, 3.5779611475117702`*^9}, {3.5779611811356936`*^9, 3.5779612812474194`*^9}, {3.5779613893346014`*^9, 3.5779613952539406`*^9}, {3.5779616599320793`*^9, 3.577961665636405*^9}, { 3.5779618656668463`*^9, 3.577961869555069*^9}, 3.5779619638024597`*^9, 3.5779622868719378`*^9, {3.5779623171686707`*^9, 3.5779623898318267`*^9}, { 3.5779642582026916`*^9, 3.577964262265924*^9}, 3.577964384449912*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"monomProd2Sum1", "[", "expr_", "]"}], " ", ":=", " ", RowBox[{"Expand", "[", RowBox[{ RowBox[{"Expand", "[", "expr", "]"}], " ", "/.", " ", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"mm", "[", RowBox[{"\[Lambda]_", ",", " ", "v_Integer"}], "]"}], "^", RowBox[{"(", RowBox[{"e_", " ", "/;", " ", RowBox[{"e", " ", ">", " ", "1"}]}], ")"}]}], " ", ":>", " ", "\n", " ", RowBox[{ RowBox[{ RowBox[{"mm", "[", RowBox[{"\[Lambda]", ",", " ", "v"}], "]"}], "^", RowBox[{"(", RowBox[{"e", " ", "-", " ", "2"}], ")"}]}], "*", RowBox[{"monomProd2Sum0", "[", RowBox[{ RowBox[{"mm", "[", RowBox[{"\[Lambda]", ",", " ", "v"}], "]"}], ",", " ", RowBox[{"mm", "[", RowBox[{"\[Lambda]", ",", " ", "v"}], "]"}]}], "]"}]}]}], ",", " ", RowBox[{ RowBox[{ RowBox[{"mm", "[", RowBox[{"\[Lambda]_", ",", " ", "v_Integer"}], "]"}], "*", RowBox[{"mm", "[", RowBox[{"\[Mu]_", ",", " ", "v_"}], "]"}]}], " ", ":>", " ", "\n", " ", RowBox[{"monomProd2Sum0", "[", RowBox[{ RowBox[{"mm", "[", RowBox[{"\[Lambda]", ",", " ", "v"}], "]"}], ",", " ", RowBox[{"mm", "[", RowBox[{"\[Mu]", ",", " ", "v"}], "]"}]}], "]"}]}]}], "}"}]}], "]"}]}], ";"}], " "}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5779607205683503`*^9, 3.577960821649132*^9}, { 3.5779608923761773`*^9, 3.5779608960573883`*^9}, {3.577960990943815*^9, 3.5779610083758125`*^9}, {3.57796134437403*^9, 3.577961348861287*^9}, { 3.5779614102687993`*^9, 3.5779614341411643`*^9}, {3.577961513332694*^9, 3.5779615214521585`*^9}, {3.5779615544120436`*^9, 3.577961557972247*^9}, { 3.5779616844194794`*^9, 3.577961686050573*^9}, {3.5779624341973643`*^9, 3.5779624646051035`*^9}, {3.5779624948528337`*^9, 3.577962533837064*^9}, 3.5779625781896005`*^9, {3.5779626137246327`*^9, 3.577962646036481*^9}, { 3.577962676628231*^9, 3.577962729012227*^9}, {3.5779628195884075`*^9, 3.5779628233796244`*^9}, {3.577962882851026*^9, 3.5779628878913145`*^9}, { 3.57796323014489*^9, 3.577963266360962*^9}, 3.5779633484966593`*^9, 3.5779635442468557`*^9, 3.577963581894009*^9, 3.577964267659232*^9, { 3.5779643641367507`*^9, 3.577964384461913*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"monomProd2Sum", "[", "expr_", "]"}], " ", ":=", " ", RowBox[{"FixedPoint", "[", RowBox[{"monomProd2Sum1", ",", " ", "expr"}], "]"}]}], ";"}], " "}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5779609237829733`*^9, 3.5779609249920425`*^9}, { 3.577961013424101*^9, 3.57796104190273*^9}, {3.577961459548618*^9, 3.5779614634598417`*^9}, {3.577961809497634*^9, 3.5779618104586887`*^9}, { 3.577962767827447*^9, 3.577962782523288*^9}, {3.5779629146578455`*^9, 3.577962931457806*^9}, {3.5779633002559004`*^9, 3.5779633066312647`*^9}, { 3.5779635039425507`*^9, 3.5779635070217266`*^9}, {3.5779635938696938`*^9, 3.5779636355650787`*^9}, {3.5779643602485285`*^9, 3.5779643844699135`*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"Clear", "[", "s", "]"}], ";", " ", RowBox[{ RowBox[{"s", "[", RowBox[{"li_List", ",", " ", "_"}], "]"}], " ", ":=", " ", RowBox[{"0", " ", "/;", " ", RowBox[{ RowBox[{"Max", "[", "li", "]"}], " ", "<=", " ", "0"}]}]}], ";"}], " "}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"s", "[", RowBox[{ RowBox[{ RowBox[{"(", "p_", ")"}], "?", "Partition1Q"}], ",", " ", "v_"}], "]"}], " ", ":=", " ", RowBox[{ RowBox[{"s", "[", RowBox[{"p", ",", " ", "v"}], "]"}], " ", "=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"le", " ", "=", " ", RowBox[{"Length", "[", "p", "]"}]}], ",", " ", RowBox[{"n", " ", "=", " ", RowBox[{"Tr", "[", "p", "]"}]}]}], "}"}], ",", " ", "\n", " ", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"v", " ", "<", " ", "le"}], ",", " ", RowBox[{"Return", "[", "0", "]"}]}], "]"}], ";", " ", RowBox[{"Together", "[", RowBox[{"Expand", "[", RowBox[{ RowBox[{"Factor", "[", RowBox[{"Det", "[", RowBox[{"Outer", "[", RowBox[{ RowBox[{ RowBox[{"#2", "^", "#1"}], " ", "&"}], " ", ",", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"PadRight", "[", RowBox[{"p", ",", " ", "v"}], "]"}], " ", "+", " ", "v", " ", "-", " ", RowBox[{"Range", "[", "v", "]"}]}], ",", " ", "\n", " ", RowBox[{"Array", "[", RowBox[{ RowBox[{ RowBox[{"Subscript", "[", RowBox[{"x", ",", " ", "#1"}], "]"}], " ", "&"}], " ", ",", " ", "v"}], "]"}]}], "]"}], "]"}], "]"}], "/", RowBox[{"Factor", "[", RowBox[{"Det", "[", RowBox[{"Outer", "[", RowBox[{ RowBox[{ RowBox[{"#2", "^", "#1"}], " ", "&"}], " ", ",", " ", RowBox[{"Range", "[", RowBox[{ RowBox[{"v", " ", "-", " ", "1"}], ",", " ", "0", ",", " ", RowBox[{"-", "1"}]}], "]"}], ",", " ", "\n", " ", RowBox[{"Array", "[", RowBox[{ RowBox[{ RowBox[{"Subscript", "[", RowBox[{"x", ",", " ", "#1"}], "]"}], " ", "&"}], " ", ",", " ", "v"}], "]"}]}], "]"}], "]"}], "]"}]}], "]"}], "]"}]}]}], "]"}]}]}], ";"}], " "}]}], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5778644521176367`*^9, 3.577864479749217*^9}, { 3.5779647340869102`*^9, 3.5779647377271185`*^9}, 3.5803667186511755`*^9, 3.580381523201947*^9, 3.583065922128194*^9}, LineBreakWithin->False, Background->RGBColor[1, 1, 0.85]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"Clear", "[", "s2e", "]"}], ";", " ", RowBox[{ RowBox[{"s2e", "[", RowBox[{"\[Mu]_", ",", " ", "v_"}], "]"}], " ", ":=", " ", "\n", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"\[Nu]", " ", "=", " ", RowBox[{"PadRight", "[", RowBox[{ RowBox[{"TransposePartition", "[", "\[Mu]", "]"}], ",", " ", RowBox[{"Max", "[", RowBox[{"v", ",", " ", RowBox[{"Length", "[", RowBox[{"TransposePartition", "[", "\[Mu]", "]"}], "]"}], ",", " ", "\n", " ", RowBox[{"Length", "[", "\[Mu]", "]"}]}], "]"}]}], "]"}]}], "}"}], ",", " ", RowBox[{"Simplify", "[", "\n", " ", RowBox[{"Expand", "[", RowBox[{"Det", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"ee", "[", RowBox[{ RowBox[{ RowBox[{"\[Nu]", "[", RowBox[{"[", "i", "]"}], "]"}], " ", "-", " ", "i", " ", "+", " ", "j"}], ",", " ", "v"}], "]"}], "/.", " ", RowBox[{ RowBox[{"ee", "[", RowBox[{"0", ",", " ", "_"}], "]"}], " ", "->", " ", "1"}]}], " ", "/.", " ", "\n", " ", RowBox[{ RowBox[{ RowBox[{"ee", "[", RowBox[{"q_", ",", " ", "_"}], "]"}], " ", "/;", " ", RowBox[{"q", " ", "<", " ", "0"}]}], " ", "->", " ", "0"}]}], ",", " ", RowBox[{"{", RowBox[{"i", ",", " ", "v"}], "}"}], ",", " ", RowBox[{"{", RowBox[{"j", ",", " ", "v"}], "}"}]}], "]"}], "]"}], "]"}], " ", "]"}]}], "]"}]}], ";"}], " "}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.577163553926903*^9, 3.5771635547789516`*^9}, { 3.577164145962765*^9, 3.5771641590745153`*^9}, 3.57716420968241*^9, 3.577173911607328*^9, {3.5771741586764593`*^9, 3.5771742201629763`*^9}, 3.57717428945994*^9, {3.5771743676194105`*^9, 3.5771744146340995`*^9}, { 3.5771755578744893`*^9, 3.5771755743534317`*^9}, {3.5775295238576355`*^9, 3.57752953399852*^9}, {3.577532028223522*^9, 3.57753203244238*^9}, { 3.577684313678338*^9, 3.577684316397193*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"s2p", "[", RowBox[{ RowBox[{"\[Mu]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", " ", RowBox[{ RowBox[{ RowBox[{"Part", "[", RowBox[{ RowBox[{"Transpose", "[", RowBox[{"Inverse", "[", RowBox[{"chars", "/@", RowBox[{"Partitions", "[", RowBox[{"Tr", "[", "\[Mu]", "]"}], "]"}]}], "]"}], "]"}], ",", RowBox[{"rankpartition", "[", "\[Mu]", "]"}]}], " ", "]"}], ".", " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"pp", "[", RowBox[{"#", ",", "v"}], "]"}], "&"}], "/@", RowBox[{"Partitions", "[", RowBox[{"Tr", "[", "\[Mu]", "]"}], "]"}]}], ")"}]}], " ", "/.", " ", RowBox[{ RowBox[{"pp", "[", RowBox[{"li_List", ",", "v"}], " ", "]"}], " ", "\[RuleDelayed]", " ", RowBox[{"Apply", "[", RowBox[{"Times", ",", RowBox[{"Thread", "[", RowBox[{"pp", "[", RowBox[{"li", ",", "v"}], "]"}], "]"}]}], "]"}]}]}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.577617497145932*^9, 3.577617514896387*^9}, { 3.577617604039294*^9, 3.5776177028078966`*^9}, {3.5776178225304775`*^9, 3.57761785026574*^9}, {3.5776178855324936`*^9, 3.5776179105801697`*^9}, { 3.577618011302143*^9, 3.5776181557130136`*^9}, {3.57761842247155*^9, 3.5776184230496936`*^9}, 3.5776846224222097`*^9, 3.5830659221321945`*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell["first Giambelli formula, alias Jacobi-Trudy identity.", "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5776942214264565`*^9, 3.5776942810533643`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"s2h", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"Expand", "[", RowBox[{"Det", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"hh", "[", RowBox[{ RowBox[{ RowBox[{"\[Lambda]", "[", RowBox[{"[", "r", "]"}], "]"}], " ", "+", "c", "-", "r"}], ",", "v"}], "]"}], "/.", " ", RowBox[{ RowBox[{"hh", "[", RowBox[{"0", ",", " ", "_"}], "]"}], " ", "->", " ", "1"}]}], " ", "/.", " ", "\n", " ", RowBox[{ RowBox[{ RowBox[{"hh", "[", RowBox[{"q_", ",", " ", "_"}], "]"}], " ", "/;", " ", RowBox[{"q", " ", "<", " ", "0"}]}], " ", "->", " ", "0"}]}], ",", RowBox[{"{", RowBox[{"r", ",", RowBox[{"Length", "[", "\[Lambda]", "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{"c", ",", RowBox[{"Length", "[", "\[Lambda]", "]"}]}], "}"}]}], "]"}], "]"}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5775289809687376`*^9, 3.5775290727992134`*^9}, { 3.577532316324647*^9, 3.57753232426235*^9}, 3.577612650626897*^9, { 3.577694023138861*^9, 3.5776940452645693`*^9}, {3.5776941293766356`*^9, 3.5776941519554834`*^9}, {3.577694190347337*^9, 3.5776942045665417`*^9}, 3.5803675389150915`*^9, 3.5830659221371946`*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"s2m", "[", RowBox[{"\[Lambda]_", ",", "v_Integer"}], "]"}], ":=", RowBox[{"Expand", "[", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"mm", "[", RowBox[{"#1", ",", "v"}], "]"}], "&"}], " ", "/@", RowBox[{"Prepend", "[", RowBox[{ RowBox[{"lesspartitions", "[", "\[Lambda]", "]"}], ",", "\[Lambda]"}], "]"}]}], ")"}], ".", RowBox[{"Drop", "[", RowBox[{ RowBox[{"kostka", "[", "\[Lambda]", "]"}], ",", RowBox[{ RowBox[{"rankpartition", "[", "\[Lambda]", "]"}], "-", "1"}]}], "]"}]}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.577692912113312*^9, 3.5776930304877563`*^9}, { 3.577693090020149*^9, 3.577693101114112*^9}, {3.5776947620996366`*^9, 3.577694812751996*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"schurProd2Sum0", "[", RowBox[{ RowBox[{"ss", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ",", RowBox[{"ss", "[", RowBox[{ RowBox[{"\[Mu]_", "?", "Partition1Q"}], ",", "v_"}], "]"}]}], "]"}], ":=", RowBox[{"Tr", "[", RowBox[{"(", RowBox[{ RowBox[{"LRRule", "[", RowBox[{"\[Lambda]", ",", "\[Mu]"}], "]"}], " ", "/.", " ", RowBox[{ RowBox[{"q", ":", RowBox[{"{", "__Integer", "}"}]}], "\[Rule]", RowBox[{"ss", "[", RowBox[{"q", ",", "v"}], "]"}]}]}], ")"}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5790746957949057`*^9, 3.5790748095304112`*^9}, { 3.5790748414102345`*^9, 3.5790749005706186`*^9}, {3.5790752837275333`*^9, 3.5790753081509304`*^9}, {3.579075577998365*^9, 3.579075602109744*^9}, { 3.5830659221411953`*^9, 3.5830659221441956`*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"schurProd2Sum1", "[", "expr_", "]"}], " ", ":=", " ", RowBox[{"Expand", "[", RowBox[{ RowBox[{"Expand", "[", "expr", "]"}], " ", "/.", " ", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"ss", "[", RowBox[{"\[Lambda]_", ",", " ", "v_Integer"}], "]"}], "^", RowBox[{"(", RowBox[{"e_", " ", "/;", " ", RowBox[{"e", " ", ">", " ", "1"}]}], ")"}]}], " ", ":>", " ", "\n", " ", RowBox[{ RowBox[{ RowBox[{"ss", "[", RowBox[{"\[Lambda]", ",", " ", "v"}], "]"}], "^", RowBox[{"(", RowBox[{"e", " ", "-", " ", "2"}], ")"}]}], "*", RowBox[{"schurProd2Sum0", "[", RowBox[{ RowBox[{"ss", "[", RowBox[{"\[Lambda]", ",", " ", "v"}], "]"}], ",", " ", RowBox[{"ss", "[", RowBox[{"\[Lambda]", ",", " ", "v"}], "]"}]}], "]"}]}]}], ",", " ", RowBox[{ RowBox[{ RowBox[{"ss", "[", RowBox[{"\[Lambda]_", ",", " ", "v_Integer"}], "]"}], "*", RowBox[{"ss", "[", RowBox[{"\[Mu]_", ",", " ", "v_"}], "]"}]}], " ", ":>", " ", "\n", " ", RowBox[{"schurProd2Sum0", "[", RowBox[{ RowBox[{"ss", "[", RowBox[{"\[Lambda]", ",", " ", "v"}], "]"}], ",", " ", RowBox[{"ss", "[", RowBox[{"\[Mu]", ",", " ", "v"}], "]"}]}], "]"}]}]}], "}"}]}], "]"}]}], ";"}], " "}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5779607205683503`*^9, 3.577960821649132*^9}, { 3.5779608923761773`*^9, 3.5779608960573883`*^9}, {3.577960990943815*^9, 3.5779610083758125`*^9}, {3.57796134437403*^9, 3.577961348861287*^9}, { 3.5779614102687993`*^9, 3.5779614341411643`*^9}, {3.577961513332694*^9, 3.5779615214521585`*^9}, {3.5779615544120436`*^9, 3.577961557972247*^9}, { 3.5779616844194794`*^9, 3.577961686050573*^9}, {3.5779624341973643`*^9, 3.5779624646051035`*^9}, {3.5779624948528337`*^9, 3.577962533837064*^9}, 3.5779625781896005`*^9, {3.5779626137246327`*^9, 3.577962646036481*^9}, { 3.577962676628231*^9, 3.577962729012227*^9}, {3.5779628195884075`*^9, 3.5779628233796244`*^9}, {3.577962882851026*^9, 3.5779628878913145`*^9}, { 3.57796323014489*^9, 3.577963266360962*^9}, 3.5779633484966593`*^9, 3.5779635442468557`*^9, 3.577963581894009*^9, 3.577964267659232*^9, { 3.5779643641367507`*^9, 3.577964384461913*^9}, {3.579075198272646*^9, 3.5790752582480764`*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"schurProd2Sum", "[", "expr_", "]"}], " ", ":=", " ", RowBox[{"FixedPoint", "[", RowBox[{"schurProd2Sum1", ",", " ", "expr"}], "]"}]}], ";"}], " "}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5779609237829733`*^9, 3.5779609249920425`*^9}, { 3.577961013424101*^9, 3.57796104190273*^9}, {3.577961459548618*^9, 3.5779614634598417`*^9}, {3.577961809497634*^9, 3.5779618104586887`*^9}, { 3.577962767827447*^9, 3.577962782523288*^9}, {3.5779629146578455`*^9, 3.577962931457806*^9}, {3.5779633002559004`*^9, 3.5779633066312647`*^9}, { 3.5779635039425507`*^9, 3.5779635070217266`*^9}, {3.5779635938696938`*^9, 3.5779636355650787`*^9}, {3.5779643602485285`*^9, 3.5779643844699135`*^9}, { 3.579075168200926*^9, 3.5790751780884914`*^9}}, Background->RGBColor[0.87, 0.94, 1]] }, Closed]], Cell[CellGroupData[{ Cell[TextData[{ "Character Table of ", Cell[BoxData[ FormBox[ SubscriptBox["S", "n"], TraditionalForm]], FormatType->"TraditionalForm"] }], "Subsection", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5803725465575123`*^9, 3.5803725632014647`*^9}}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"cycleclasses", "[", RowBox[{ RowBox[{"(", "p_", ")"}], "?", "Partition1Q"}], "]"}], " ", ":=", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{ RowBox[{"Tr", "[", "p", "]"}], "!"}], "/", RowBox[{"Times", " ", "@@", " ", "#1"}]}], " ", "&"}], " ", ")"}], "[", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"#1", "!"}], "*", RowBox[{ RowBox[{"Range", "[", RowBox[{"Tr", "[", "p", "]"}], "]"}], "^", "#1"}]}], " ", "&"}], " ", ")"}], "[", "\n", " ", RowBox[{ RowBox[{"Function", "[", RowBox[{"par", ",", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"Count", "[", RowBox[{"par", ",", " ", "#1"}], "]"}], " ", "&"}], " ", ")"}], " ", "/@", " ", RowBox[{"Range", "[", RowBox[{"Tr", "[", "p", "]"}], "]"}]}]}], "]"}], "[", "p", "]"}], "]"}], "]"}]}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.577696787114887*^9, 3.5776967942869916`*^9}, 3.583065922152196*^9}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"cycleclasses", "[", "n_Integer", "]"}], " ", ":=", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"n", "!"}], "/", RowBox[{"Times", " ", "@@", " ", "#1"}]}], " ", "&"}], " ", ")"}], " ", "/@", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"#1", "!"}], "*", RowBox[{ RowBox[{"Range", "[", "n", "]"}], "^", "#1"}]}], " ", "&"}], " ", ")"}], " ", "/@", " ", "\n", " ", RowBox[{ RowBox[{"Function", "[", RowBox[{"par", ",", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"Count", "[", RowBox[{"par", ",", " ", "#1"}], "]"}], " ", "&"}], " ", ")"}], " ", "/@", " ", RowBox[{"Range", "[", "n", "]"}]}]}], "]"}], " ", "/@", " ", RowBox[{"Partitions", "[", "n", "]"}]}]}]}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.580366773226297*^9}, LineBreakWithin->False], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"w2", "[", "0", "]"}], ":=", "1"}], ";", RowBox[{ RowBox[{"w2", "[", RowBox[{"n_", "?", "Negative"}], "]"}], ":=", "0"}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"w2", "[", "n_Integer", "]"}], ":=", RowBox[{ RowBox[{"Coefficient", "[", RowBox[{ RowBox[{"Series", "[", RowBox[{ RowBox[{"Exp", "[", RowBox[{"Sum", "[", RowBox[{ RowBox[{ RowBox[{"s2", "[", "k", "]"}], RowBox[{ RowBox[{"t2", "^", "k"}], " ", "/", "k"}]}], ",", RowBox[{"{", RowBox[{"k", ",", "n"}], "}"}]}], "]"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"{", RowBox[{"t2", ",", "0", ",", "n"}], "}"}]}], "]"}], ",", RowBox[{"t2", "^", "n"}]}], "]"}], "//", "Expand"}]}], ";"}]}], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.5776835836972837`*^9, {3.5776836555166745`*^9, 3.5776836594224496`*^9}, { 3.5776837045263395`*^9, 3.5776837089320536`*^9}, 3.5803815807202373`*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"schur2", "[", RowBox[{ RowBox[{"(", "par_", ")"}], "?", "Partition1Q"}], "]"}], " ", ":=", " ", "\n", " ", RowBox[{"Expand", "[", RowBox[{ RowBox[{ RowBox[{"Tr", "[", "par", "]"}], "!"}], "*", RowBox[{"Det", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{"w2", "[", RowBox[{ RowBox[{"par", "[", RowBox[{"[", "i", "]"}], "]"}], " ", "-", " ", "i", " ", "+", " ", "j"}], "]"}], ",", " ", RowBox[{"{", RowBox[{"i", ",", " ", RowBox[{"Length", "[", "par", "]"}]}], "}"}], ",", "\[IndentingNewLine]", " ", RowBox[{"{", RowBox[{"j", ",", " ", RowBox[{"Length", "[", "par", "]"}]}], "}"}]}], "]"}], "]"}]}], "]"}]}], ";"}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.577683665546705*^9, {3.580366781481769*^9, 3.5803667867050676`*^9}, 3.5803816417997303`*^9, 3.5830659221561956`*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"chars", "[", RowBox[{ RowBox[{"(", "par_", ")"}], "?", "Partition1Q"}], "]"}], " ", ":=", " ", RowBox[{ RowBox[{"chars", "[", "par", "]"}], " ", "=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"u1", ",", " ", "u2"}], "}"}], ",", " ", "\n", " ", RowBox[{ RowBox[{"u1", " ", "=", " ", RowBox[{ RowBox[{ RowBox[{"schur2", "[", "par", "]"}], " ", "//.", " ", RowBox[{ RowBox[{ RowBox[{"s2", "[", "j_", "]"}], "^", RowBox[{"(", RowBox[{"e_:", "1"}], ")"}]}], " ", ":>", " ", RowBox[{"s2", "[", RowBox[{"Sequence", " ", "@@", " ", RowBox[{"Table", "[", RowBox[{"j", ",", " ", RowBox[{"{", "e", "}"}]}], "]"}]}], "]"}]}]}], " ", "//.", " ", "\n", " ", RowBox[{ RowBox[{ RowBox[{"s2", "[", "i__", "]"}], "*", RowBox[{"s2", "[", "j__", "]"}]}], " ", ":>", " ", RowBox[{"s2", "[", RowBox[{"i", ",", " ", "j"}], "]"}]}]}]}], ";", " ", "\n", " ", RowBox[{"u2", " ", "=", " ", RowBox[{"Rest", "[", RowBox[{"CoefficientList", "[", RowBox[{ RowBox[{"u1", " ", "/.", " ", RowBox[{ RowBox[{"s2", "[", "pa__", "]"}], " ", ":>", " ", "\[IndentingNewLine]", RowBox[{"p", "^", RowBox[{"rankpartition", "[", RowBox[{"Reverse", "[", RowBox[{"Sort", "[", RowBox[{"{", "pa", "}"}], "]"}], "]"}], "]"}]}]}]}], ",", " ", "p"}], "]"}], "]"}]}], ";", " ", "\n", " ", RowBox[{"u2", "/", RowBox[{"cycleclasses", "[", RowBox[{"Tr", "[", "par", "]"}], "]"}]}]}]}], "]"}]}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5776835971800194`*^9, 3.5776836124594107`*^9}, 3.580366790626292*^9, 3.5803816562245555`*^9, 3.5830659221611958`*^9}, LineBreakWithin->False], Cell[BoxData[ RowBox[{" ", RowBox[{ "<<", "\"\\""}]}]], \ "Input", InitializationCell->True, CellChangeTimes->{{3.5838263722183585`*^9, 3.583826372752389*^9}, { 3.5838264124246583`*^9, 3.5838264239673185`*^9}, 3.583826472688105*^9, { 3.5838334248547463`*^9, 3.583833438319516*^9}, 3.584366705326848*^9}] }, Closed]], Cell[CellGroupData[{ Cell["Littlewood-Richardson", "Subsection", CellMargins->{{66, 0}, {2, 10}}], Cell[TextData[{ StyleBox["http://sporadic.stanford.edu/bump/match/weight/lwr.m", FontFamily->"Courier New", FontSize->10, FontVariations->{"Underline"->True}, FontColor->RGBColor[0, 0, 0.996109]], StyleBox["\nCopyright 1996 by Daniel Bump (bump@math.stanford.edu)\nas \ received from Marc van Leeuwen.", FontFamily->"Courier New", FontSize->10] }], "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.579076582599825*^9, 3.5790765886691723`*^9}, { 3.579077127385985*^9, 3.57907716139293*^9}}], Cell[TextData[{ "In this package, it is implemented as \[OpenCurlyQuote]", StyleBox["schurProd2Sum", FontWeight->"Bold"], "\[CloseCurlyQuote] in a similar way as \[OpenCurlyQuote]", StyleBox["monomProd2Sum", FontWeight->"Bold"], "\[CloseCurlyQuote]." }], "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.579076595029536*^9, 3.579076716508484*^9}}], Cell["<<\"c:/_wouter/it/LittlewoodRichardson.m\";", "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.5803668095833764`*^9}], Cell["<<\"H:/data/notebooks/LittlewoodRichardson.m\";", "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.5776833418700094`*^9, 3.577683353886327*^9}, 3.5803668113434772`*^9}], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{ RowBox[{"LittlewoodRichardsonFast", "[", RowBox[{ RowBox[{ RowBox[{"(", "p1_", ")"}], "?", "Partition1Q"}], ",", " ", RowBox[{ RowBox[{"(", "p2_", ")"}], "?", "Partition1Q"}]}], "]"}], " ", ":=", " ", "\n", " ", RowBox[{"Tr", "[", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"Subscript", "[", RowBox[{"p", ",", " ", RowBox[{"Tr", "[", "#1", "]"}]}], "]"}], "^", RowBox[{"rankpartition", "[", "#1", "]"}]}], " ", "&"}], " ", ")"}], " ", "/@", " ", RowBox[{"LRRule", "[", RowBox[{"p1", ",", " ", "p2"}], "]"}]}], "]"}]}], " ", "*)"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, Evaluatable->False, CellChangeTimes->{ 3.5790723083423514`*^9, {3.5790768829810057`*^9, 3.579076888348313*^9}, { 3.5830659221701965`*^9, 3.583065922172197*^9}}, FontSlant->"Italic", FontColor->GrayLevel[0.5]] }, Closed]] }, AutoGeneratedPackage->None, WindowSize->{810, 844}, WindowMargins->{{144, Automatic}, {Automatic, 2}}, PrintingCopies->1, PrintingPageRange->{32000, 32000}, PrintingOptions->{"Magnification"->1., "PaperOrientation"->"Portrait", "PaperSize"->{595.2, 841.8}, "PrintCellBrackets"->False, "PrintMultipleHorizontalPages"->False, "PrintRegistrationMarks"->False, "PrintingMargins"->{{72.00000078, 72.00000078}, {54.000000584999995`, \ 54.000000584999995`}}}, PrivateNotebookOptions->{"VersionedStylesheet"->{"Default.nb"[8.] -> True}}, ShowSelection->True, ShowCellTags->True, FrontEndVersion->"9.0 for Microsoft Windows (64-bit) (November 20, 2012)", StyleDefinitions->FrontEnd`FileName[{"Article"}, "Preprint.nb", CharacterEncoding -> "WindowsANSI"] ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[579, 22, 127, 2, 28, "Subsection"], Cell[709, 26, 1620, 29, 243, "Text"], Cell[2332, 57, 805, 11, 27, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[3174, 73, 130, 3, 28, "Subsection"], Cell[3307, 78, 224, 5, 27, "Text"], Cell[3534, 85, 276, 7, 45, "Input", InitializationCell->True], Cell[3813, 94, 277, 8, 28, "Input", InitializationCell->True], Cell[4093, 104, 430, 10, 27, "Text"], Cell[4526, 116, 664, 17, 65, "Input"], Cell[5193, 135, 850, 24, 49, "Input", InitializationCell->True] }, Open ]], Cell[CellGroupData[{ Cell[6080, 164, 243, 3, 28, "Subsection"], Cell[6326, 169, 3956, 108, 189, "Text"], Cell[10285, 279, 1770, 53, 99, "Text"], Cell[12058, 334, 3285, 97, 261, "Text"], Cell[15346, 433, 1759, 56, 135, "Text"] }, Closed]], Cell[CellGroupData[{ Cell[17142, 494, 88, 2, 22, "Subsection"], Cell[17233, 498, 1466, 43, 103, "Input", InitializationCell->True], Cell[18702, 543, 776, 23, 83, "Input", InitializationCell->True], Cell[19481, 568, 3099, 85, 183, "Input", InitializationCell->True], Cell[22583, 655, 2093, 62, 183, "Input", InitializationCell->True], Cell[24679, 719, 1207, 33, 69, "Input", InitializationCell->True], Cell[25889, 754, 2396, 59, 183, "Input", InitializationCell->True], Cell[28288, 815, 372, 11, 42, "Input", InitializationCell->True], Cell[28663, 828, 457, 12, 63, "Input", InitializationCell->True], Cell[29123, 842, 598, 15, 28, "Input", InitializationCell->True], Cell[29724, 859, 912, 25, 28, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[30673, 889, 87, 2, 22, "Subsection"], Cell[30763, 893, 1855, 47, 89, "Input", InitializationCell->True], Cell[32621, 942, 746, 21, 49, "Input", InitializationCell->True], Cell[33370, 965, 595, 18, 28, "Input", InitializationCell->True], Cell[33968, 985, 3311, 83, 189, "Input", InitializationCell->True], Cell[37282, 1070, 1762, 48, 109, "Input", InitializationCell->True], Cell[39047, 1120, 3829, 103, 229, "Input", InitializationCell->True], Cell[42879, 1225, 374, 9, 31, "Input", InitializationCell->True], Cell[43256, 1236, 537, 16, 28, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[43830, 1257, 106, 2, 22, "Subsection"], Cell[43939, 1261, 1132, 32, 63, "Input", InitializationCell->True], Cell[45074, 1295, 1966, 55, 123, "Input", InitializationCell->True], Cell[47043, 1352, 873, 26, 63, "Input", InitializationCell->True], Cell[47919, 1380, 750, 22, 63, "Input", InitializationCell->True], Cell[48672, 1404, 2075, 51, 89, "Input"] }, Closed]], Cell[CellGroupData[{ Cell[50784, 1460, 85, 2, 22, "Subsection"], Cell[50872, 1464, 1151, 32, 83, "Input", InitializationCell->True], Cell[52026, 1498, 887, 25, 63, "Input", InitializationCell->True], Cell[52916, 1525, 2546, 64, 143, "Input", InitializationCell->True], Cell[55465, 1591, 1866, 46, 103, "Input", InitializationCell->True], Cell[57334, 1639, 939, 27, 63, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[58310, 1671, 102, 2, 22, "Subsection"], Cell[58415, 1675, 552, 16, 28, "Input", InitializationCell->True], Cell[58970, 1693, 711, 20, 42, "Input", InitializationCell->True], Cell[59684, 1715, 3297, 86, 183, "Input", InitializationCell->True], Cell[62984, 1803, 878, 22, 63, "Input", InitializationCell->True], Cell[63865, 1827, 1678, 42, 83, "Input", InitializationCell->True], Cell[65546, 1871, 257, 7, 28, "Input"], Cell[65806, 1880, 299, 7, 28, "Input"], Cell[66108, 1889, 2582, 72, 163, "Input", InitializationCell->True], Cell[68693, 1963, 1433, 47, 99, "Input", InitializationCell->True], Cell[70129, 2012, 1782, 44, 99, "Input", InitializationCell->True], Cell[71914, 2058, 1190, 33, 79, "Input", InitializationCell->True], Cell[73107, 2093, 1820, 48, 119, "Input", InitializationCell->True], Cell[74930, 2143, 1488, 48, 99, "Input", InitializationCell->True], Cell[76421, 2193, 2035, 50, 119, "Input", InitializationCell->True], Cell[78459, 2245, 2287, 56, 139, "Input", InitializationCell->True], Cell[80749, 2303, 1271, 34, 79, "Input", InitializationCell->True], Cell[82023, 2339, 1519, 48, 119, "Input", InitializationCell->True], Cell[83545, 2389, 1291, 34, 79, "Input", InitializationCell->True], Cell[84839, 2425, 1866, 43, 119, "Input", InitializationCell->True], Cell[86708, 2470, 495, 14, 58, "Input", InitializationCell->True], Cell[87206, 2486, 1332, 32, 79, "Input", InitializationCell->True], Cell[88541, 2520, 1813, 52, 119, "Input", InitializationCell->True], Cell[90357, 2574, 1551, 42, 125, "Input", InitializationCell->True], Cell[91911, 2618, 1917, 49, 119, "Input", InitializationCell->True], Cell[93831, 2669, 979, 28, 99, "Input", InitializationCell->True], Cell[94813, 2699, 488, 11, 42, "Input", InitializationCell->True], Cell[95304, 2712, 3649, 87, 159, "Input", InitializationCell->True], Cell[98956, 2801, 2682, 60, 99, "Input", InitializationCell->True], Cell[101641, 2863, 854, 17, 58, "Input", InitializationCell->True], Cell[102498, 2882, 3104, 81, 145, "Input", InitializationCell->True], Cell[105605, 2965, 2443, 58, 139, "Input", InitializationCell->True], Cell[108051, 3025, 1548, 40, 85, "Input", InitializationCell->True], Cell[109602, 3067, 173, 2, 27, "Text"], Cell[109778, 3071, 1595, 41, 65, "Input", InitializationCell->True], Cell[111376, 3114, 959, 27, 58, "Input", InitializationCell->True], Cell[112338, 3143, 1049, 27, 44, "Input", InitializationCell->True], Cell[113390, 3172, 2733, 61, 99, "Input", InitializationCell->True], Cell[116126, 3235, 905, 18, 58, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[117068, 3258, 291, 9, 22, "Subsection"], Cell[117362, 3269, 1202, 37, 49, "Input", InitializationCell->True], Cell[118567, 3308, 1142, 35, 49, "Input", InitializationCell->True], Cell[119712, 3345, 1147, 33, 69, "Input", InitializationCell->True], Cell[120862, 3380, 1107, 33, 69, "Input", InitializationCell->True], Cell[121972, 3415, 2275, 59, 129, "Input", InitializationCell->True], Cell[124250, 3476, 372, 8, 31, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[124659, 3489, 77, 1, 22, "Subsection"], Cell[124739, 3492, 520, 13, 54, "Text"], Cell[125262, 3507, 371, 10, 27, "Text"], Cell[125636, 3519, 190, 4, 42, "Input", InitializationCell->True], Cell[125829, 3525, 246, 5, 42, "Input", InitializationCell->True], Cell[126078, 3532, 965, 28, 49, "Input", Evaluatable->False] }, Closed]] } ] *) (* End of internal cache information *)