(* 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[ 177705, 4990] NotebookOptionsPosition[ 168031, 4698] NotebookOutlinePosition[ 168944, 4728] CellTagsIndexPosition[ 168901, 4725] 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: modification of and parts from Daniel Bump \ (bump@math.stanford.edu) Copyright 1996.\n\ http://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\[LineSeparator]http://mathoverflow.net/questions/22515/practical-\ ways-to-get-skew-schur-functions\n\ http://en.wikipedia.org/wiki/Littlewood%E2%80%93Richardson_rule\n\ http://projecteuclid.org/download/pdf_1/euclid.bams/1183548016" }], "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}, { 3.5845207533533297`*^9, 3.584520770218294*^9}, {3.6007758590824146`*^9, 3.600775859083414*^9}, 3.6227108298753824`*^9, {3.628937651325906*^9, 3.6289377015807805`*^9}, {3.628937756564925*^9, 3.628937774028924*^9}, { 3.628937807580843*^9, 3.628937814836258*^9}}], Cell[TextData[StyleBox["Special thanks to Marc van Leeuwen for several \ patient explanations, both by email and on Math \ StackExchange.\[LineSeparator]Grateful mention of Prof. Joris Van der Jeugt \ for letting me attend his course \[OpenCurlyQuote]Representation Theory\ \[CloseCurlyQuote] (R.U.Gent) fall 2014.\[LineSeparator]", 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}, { 3.6289378291160746`*^9, 3.6289378440519295`*^9}, {3.628937890731599*^9, 3.628937926715657*^9}, {3.6289379818348103`*^9, 3.6289380100114217`*^9}, { 3.6289385621910048`*^9, 3.6289387208140774`*^9}, {3.6289388835723867`*^9, 3.6289388903567743`*^9}, {3.628948198907193*^9, 3.6289482034754543`*^9}}], Cell[TextData[{ "to do: cyclecleasses -> classSize ; {m,e,h,p,s} to be replaced by script { \ \[ScriptM] , \[ScriptE] , \[ScriptH] , \[ScriptP] , \[ScriptS] } or gothic { \ \[GothicM] , \[GothicE] , \[GothicH] , \[GothicP] , \[GothicS] } characters ,\ \nentered as esc-sc-#-esc ( \[OpenCurlyDoubleQuote]\\[Script#] \ \[CloseCurlyDoubleQuote] ) or es-go-#-esc ; convert to subscript notation; \ reserve single letter functions u[par,v_] for symbolic S.F. and double letter \ functions for expressions involving ", Cell[BoxData[ FormBox[ SubscriptBox["x", "i"], TraditionalForm]]], " ; " }], "Text", CellChangeTimes->{{3.622707790473539*^9, 3.6227078522330713`*^9}, { 3.6227103803506713`*^9, 3.6227104583271313`*^9}, {3.622710491430025*^9, 3.6227104976563807`*^9}, 3.622710545325107*^9, {3.6227106772366524`*^9, 3.622710709748512*^9}, {3.622715250581232*^9, 3.6227153849879203`*^9}, { 3.6227165720508165`*^9, 3.622716599003358*^9}, {3.622716642538848*^9, 3.622716669570394*^9}}, FontColor->RGBColor[0, 0, 1]] }, Closed]], Cell[CellGroupData[{ Cell["Inits", "Subsection", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{ 3.5790776947894382`*^9, {3.6227153717481627`*^9, 3.6227153745553236`*^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[CellGroupData[{ 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[{"\<\"str\"\>", ",", "\<\"\[SystemsModelDelay]\"\>"}], "}"}]], "Output", CellChangeTimes->{3.591700085864113*^9, 3.6106050507416415`*^9, 3.6108681065588865`*^9, 3.611123897950614*^9, 3.620981734580658*^9, 3.620990830798071*^9, 3.620991614831915*^9, 3.622354906450588*^9, 3.622435647772914*^9, 3.622699655096222*^9, 3.6235660664991274`*^9, 3.625648253866843*^9, 3.627456730226053*^9, 3.6285958131018925`*^9, 3.6285977210480204`*^9, 3.6287537745313487`*^9, 3.6289356736825743`*^9, 3.6289476954253955`*^9, 3.6291040745576963`*^9, 3.629357116004242*^9, 3.629470895808075*^9, 3.629614562986335*^9, 3.6298087988493357`*^9, 3.6308245068903656`*^9, 3.6308312358912425`*^9, 3.6310133143788323`*^9}] }, Open ]], 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]] }, 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\n", "The following grid shows the available conversions:\n(entries in ", StyleBox["red", FontColor->RGBColor[1, 0, 0]], " need a partition-type argument, entries in black can also take an integer \ 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}, 3.6111376629829288`*^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["e2s", FontColor->RGBColor[1, 0, 0]]}, { StyleBox["p", FontWeight->"Bold"], "p2e", "1", "p2h", StyleBox["p2m", FontColor->RGBColor[1, 0, 0]], StyleBox["p2s", FontColor->RGBColor[1, 0, 0]]}, { StyleBox["h", FontWeight->"Bold"], "h2e", "h2p", "1", StyleBox["h2m", FontColor->GrayLevel[0]], StyleBox["h2s", FontColor->RGBColor[1, 0, 0]]}, { StyleBox["m", FontWeight->"Bold"], StyleBox["m2e", FontColor->RGBColor[1, 0, 0]], StyleBox["m2p", FontColor->RGBColor[1, 0, 0]], StyleBox["m2h", FontColor->RGBColor[1, 0, 0]], StyleBox["1", FontColor->RGBColor[1, 0, 0]], 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]], StyleBox["1", FontColor->RGBColor[1, 0, 0]]} }, GridBoxDividers->{ "Columns" -> {{True}}, "ColumnsIndexed" -> {}, "Rows" -> {{True}}, "RowsIndexed" -> {}}]]]], "Text", 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.611133178270418*^9, 3.6111332425800962`*^9}}] }, Closed]], Cell[CellGroupData[{ Cell["General", "Subsection", CellMargins->{{66, 0}, {2, 10}}, LineBreakWithin->False], 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}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"partitionexact", "[", RowBox[{"n_", ",", "m_"}], "]"}], ":=", RowBox[{"TransposePartition", "/@", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"Prepend", "[", RowBox[{"#", ",", "m"}], "]"}], "&"}], "/@", RowBox[{"Partitions", "[", RowBox[{ RowBox[{"n", "-", "m"}], ",", "m"}], "]"}]}], ")"}]}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.584518920647505*^9, 3.5845189267988567`*^9}}], 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[{"rankpartition", "[", RowBox[{ RowBox[{"par_", "?", "Partition1Q"}], ",", "All"}], "]"}], ":=", RowBox[{ RowBox[{"Tr", "[", RowBox[{"PartitionsP", "[", RowBox[{"Range", "[", RowBox[{ RowBox[{"Tr", "[", "par", "]"}], "-", "1"}], "]"}], "]"}], "]"}], "+", RowBox[{"rankpartition", "[", "par", "]"}]}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.5910804836740637`*^9, 3.591080483675064*^9}, 3.591094252092572*^9}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"unrankpartition", "[", RowBox[{"n_Integer", ",", "All"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"k", "=", "1"}], ",", "z"}], "}"}], ",", RowBox[{ RowBox[{"While", "[", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"z", "=", RowBox[{"Tr", "[", RowBox[{"PartitionsP", "[", RowBox[{"Range", "@", "k"}], "]"}], "]"}]}], ")"}], "<", "n"}], ",", RowBox[{"k", "++"}]}], "]"}], ";", RowBox[{"unrankpartition", "[", RowBox[{"k", ",", RowBox[{ RowBox[{"PartitionsP", "[", "k", "]"}], "+", "n", "-", "z"}]}], "]"}]}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.591080553647066*^9, 3.5910805536480665`*^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}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"grow", "[", RowBox[{"par_", "?", "Partition1Q"}], "]"}], ":=", RowBox[{"Join", "[", RowBox[{ RowBox[{"{", RowBox[{"Append", "[", RowBox[{"par", ",", "1"}], "]"}], "}"}], ",", RowBox[{ RowBox[{ RowBox[{"MapAt", "[", RowBox[{ RowBox[{ RowBox[{"#", "+", "1"}], "&"}], ",", "par", ",", "#"}], "]"}], "&"}], "/@", RowBox[{"Join", "[", RowBox[{ RowBox[{"{", RowBox[{"{", "1", "}"}], "}"}], ",", RowBox[{"1", "+", RowBox[{"Position", "[", RowBox[{ RowBox[{"Differences", "[", "par", "]"}], ",", RowBox[{"_", "?", "Negative"}]}], "]"}]}]}], "]"}]}]}], "]"}]}], ";"}]], "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, {3.6108792321822357`*^9, 3.610879234163349*^9}, 3.6108798090162287`*^9}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"\[Epsilon]", "[", RowBox[{"\[Lambda]_", "?", "PartitionQ"}], "]"}], ":=", RowBox[{ RowBox[{"(", RowBox[{"-", "1"}], ")"}], "^", RowBox[{"(", RowBox[{ RowBox[{"Tr", "[", "\[Lambda]", "]"}], "-", RowBox[{"Count", "[", RowBox[{"\[Lambda]", ",", RowBox[{"_", "?", "Positive"}]}], "]"}]}], ")"}]}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.622544474070179*^9, 3.6225445248770847`*^9}, { 3.623770634171357*^9, 3.62377064751512*^9}}, FontColor->GrayLevel[0]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"z", "[", RowBox[{"\[Lambda]_", "?", "PartitionQ"}], "]"}], ":=", RowBox[{"Apply", "[", RowBox[{"Times", ",", " ", RowBox[{ RowBox[{"Tally", "[", "\[Lambda]", "]"}], "/.", RowBox[{ RowBox[{"{", RowBox[{"a_Integer", ",", "b_"}], "}"}], "\[Rule]", RowBox[{ RowBox[{"a", "^", "b"}], " ", RowBox[{"b", "!"}]}]}]}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.622544559474064*^9, 3.6225446094209204`*^9}}, FontColor->GrayLevel[0]] }, 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[{ 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, { 3.628597647802831*^9, 3.628597656073304*^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[{"{", "}"}], "]"}], ":=", "0"}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.5803665614461837`*^9, 3.58306592206219*^9, {3.628597480898285*^9, 3.6285975036255846`*^9}, {3.630831145824091*^9, 3.630831172263603*^9}}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"kostka", "[", RowBox[{ RowBox[{"(", "par_", ")"}], "?", "Partition1Q"}], "]"}], " ", "/;", " ", RowBox[{ RowBox[{"Tr", "[", "par", "]"}], "\[LessEqual]", "20"}]}], ":=", " ", 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, {3.628597480898285*^9, 3.6285975036255846`*^9}}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"kostka", "[", RowBox[{ RowBox[{"(", "par_", ")"}], "?", "Partition1Q"}], "]"}], " ", "/;", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"Tr", "[", "par", "]"}], ">", "20"}], "&&", RowBox[{ RowBox[{"Tr", "[", "par", "]"}], "<", "30"}]}], ")"}]}], ":=", RowBox[{"Part", "[", " ", RowBox[{ RowBox[{"kostkamat", "[", RowBox[{"Tr", "[", "par", "]"}], "]"}], ",", RowBox[{"rankpartition", "[", "par", "]"}]}], "]"}]}], ";"}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.5803665614461837`*^9, 3.58306592206219*^9, {3.6285960822042837`*^9, 3.628596122642597*^9}, {3.6285962239543915`*^9, 3.628596301401821*^9}, { 3.6285975486261587`*^9, 3.6285975875453844`*^9}, {3.6287560403279448`*^9, 3.6287560439831543`*^9}}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"kostkamat", "[", "n_Integer", "]"}], " ", ":=", RowBox[{ RowBox[{"kostkamat", "[", "n", "]"}], "=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"k1", ",", "k2"}], "}"}], ",", RowBox[{ RowBox[{"k1", "=", RowBox[{ RowBox[{ RowBox[{ RowBox[{"s2h", "[", RowBox[{"#", ",", "n"}], "]"}], "&"}], "/@", RowBox[{"Partitions", "[", "n", "]"}]}], " ", "/.", " ", RowBox[{ RowBox[{"hh", "[", RowBox[{"par_", ",", "_"}], "]"}], ":>", RowBox[{"h", "^", RowBox[{"rankpartition", "[", "par", "]"}]}]}]}]}], ";", "\[IndentingNewLine]", RowBox[{"k2", "=", RowBox[{ RowBox[{ RowBox[{"Rest", "[", RowBox[{"PadRight", "[", RowBox[{ RowBox[{"CoefficientList", "[", RowBox[{"#", ",", "h"}], "]"}], ",", RowBox[{"1", "+", RowBox[{"PartitionsP", "[", "n", "]"}]}]}], "]"}], "]"}], "&"}], "/@", "k1"}]}], ";", "\[IndentingNewLine]", RowBox[{"Transpose", "[", RowBox[{"Inverse", "[", "k2", "]"}], "]"}]}]}], "]"}]}]}], ";"}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.5803665614461837`*^9, 3.58306592206219*^9, {3.6285960822042837`*^9, 3.628596122642597*^9}, {3.6285962239543915`*^9, 3.628596301401821*^9}, { 3.6285964808170834`*^9, 3.628596532721052*^9}, {3.6285965646368775`*^9, 3.6285966454404993`*^9}}, Background->RGBColor[0.88, 1, 0.88]] }, 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[{"content", "[", RowBox[{ RowBox[{"(", "par_", ")"}], "?", "Partition1Q"}], "]"}], " ", ":=", RowBox[{"Table", "[", RowBox[{ RowBox[{"j", "-", "i"}], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"Length", "[", "par", "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"par", "[", RowBox[{"[", "i", "]"}], "]"}]}], "}"}]}], "]"}]}], ";"}]], "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, { 3.620991489299735*^9, 3.620991539284594*^9}, 3.6209915781708183`*^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[{"latticeword", "[", RowBox[{"t_", "?", "TableauQ"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"Part", "[", RowBox[{ RowBox[{"Position", "[", RowBox[{"t", ",", "#"}], "]"}], ",", "1", ",", "1"}], "]"}], "&"}], "/@", RowBox[{"Range", "[", RowBox[{"Max", "[", "t", "]"}], "]"}]}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.584429329820449*^9, 3.584429336516832*^9}, { 3.584429453604529*^9, 3.5844294898276005`*^9}, 3.5845190985906825`*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"latticewordQ", "[", "w_", "]"}], ":=", RowBox[{"And", "@@", RowBox[{"Table", "[", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{"w", "\[LeftDoubleBracket]", "i", "\[RightDoubleBracket]"}], ">", "1"}], ",", RowBox[{ RowBox[{"Count", "[", RowBox[{ RowBox[{"Take", "[", RowBox[{"w", ",", "i"}], "]"}], ",", " ", RowBox[{ RowBox[{ "w", "\[LeftDoubleBracket]", "i", "\[RightDoubleBracket]"}], "-", "1"}]}], " ", "]"}], "\[GreaterEqual]", RowBox[{"Count", "[", RowBox[{ RowBox[{"Take", "[", RowBox[{"w", ",", "i"}], "]"}], ",", RowBox[{ "w", "\[LeftDoubleBracket]", "i", "\[RightDoubleBracket]"}]}], "]"}]}], ",", "True"}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "1", ",", RowBox[{"Length", "[", "w", "]"}]}], "}"}]}], "]"}]}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.628754200732726*^9, 3.6287542073721056`*^9}, { 3.6287542453402777`*^9, 3.6287543026525555`*^9}, {3.6289358470524907`*^9, 3.6289358564190264`*^9}}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"descentset", "[", RowBox[{"t_", "?", "TableauQ"}], "]"}], " ", ":=", " ", RowBox[{"Sort", "[", RowBox[{"Cases", "[", RowBox[{"t", ",", " ", RowBox[{"i_Integer", " ", "/;", " ", RowBox[{ RowBox[{ RowBox[{"Position", "[", RowBox[{"t", ",", " ", RowBox[{"i", " ", "+", " ", "1"}]}], "]"}], "[", RowBox[{"[", RowBox[{"1", ",", "1"}], "]"}], "]"}], " ", ">", " ", "\n", " ", RowBox[{ RowBox[{"Position", "[", RowBox[{"t", ",", " ", "i"}], "]"}], "[", RowBox[{"[", RowBox[{"1", ",", "1"}], "]"}], "]"}]}]}], ",", " ", RowBox[{"{", "2", "}"}]}], "]"}], "]"}]}], ";"}], " "}]], "Input", InitializationCell->True, CellChangeTimes->{{3.5844295068035717`*^9, 3.584429527259742*^9}, { 3.5844295579234953`*^9, 3.584429629195572*^9}, {3.584434400681485*^9, 3.5844344040446777`*^9}, 3.5845138749529076`*^9, {3.584530047265911*^9, 3.5845300516891637`*^9}, {3.5845311426905656`*^9, 3.5845311864140663`*^9}, {3.5845350538462706`*^9, 3.5845350558693867`*^9}, 3.5845351257173815`*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"inversions", "[", RowBox[{"t_", "?", "TableauQ"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", "t0", " ", "}"}], ",", RowBox[{ RowBox[{"t0", "=", " ", RowBox[{ RowBox[{ RowBox[{"First", "[", RowBox[{"Position", "[", RowBox[{"t", ",", "#"}], "]"}], "]"}], "&"}], "/@", RowBox[{"Range", "[", RowBox[{"Max", "[", "t", "]"}], "]"}]}]}], ";", "\[IndentingNewLine]", RowBox[{"Cases", "[", RowBox[{ RowBox[{"Table", "[", " ", RowBox[{ RowBox[{"{", RowBox[{"i", ",", "j"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "2", ",", RowBox[{"Max", "[", "t", "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"j", "-", "1"}]}], "}"}]}], "]"}], ",", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"i_", ",", "j_"}], "}"}], "/;", RowBox[{"MatchQ", "[", RowBox[{ RowBox[{ RowBox[{"t0", "[", RowBox[{"[", "i", "]"}], "]"}], "-", RowBox[{"t0", "[", RowBox[{"[", "j", "]"}], "]"}]}], ",", RowBox[{"{", RowBox[{ RowBox[{"_", "?", "Negative"}], ",", RowBox[{"_", "?", "Positive"}]}], "}"}]}], "]"}]}], "\[Rule]", RowBox[{"{", RowBox[{"i", ",", "j"}], "}"}]}], ",", RowBox[{"{", "2", "}"}]}], "]"}]}]}], " ", "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.584439490718619*^9, 3.584439505271451*^9}, 3.5845191140145645`*^9}, Background->RGBColor[0.87, 0.94, 1]] }, 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[{"TableForm", "[", RowBox[{"#1", ",", " ", RowBox[{"TableSpacing", " ", "->", " ", RowBox[{"{", RowBox[{"1", ",", " ", "1"}], "}"}]}]}], "]"}], " ", "&"}], " ", ")"}], " ", "/@", " ", "\[IndentingNewLine]", "yt"}]}], " ", RowBox[{"(*", " ", RowBox[{"/.", " ", 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}, {3.584519456052128*^9, 3.5845194811795654`*^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"}]}]}], ";", " ", RowBox[{ RowBox[{"ee", "[", RowBox[{"n_", ",", "v_"}], "]"}], ":=", RowBox[{"0", "/;", RowBox[{"n", ">", "v"}]}]}], ";", RowBox[{ RowBox[{"ee", "[", RowBox[{ RowBox[{"{", "}"}], ",", "_"}], "]"}], ":=", "1"}], ";", RowBox[{ RowBox[{"ee", "[", RowBox[{"li_List", ",", "v_"}], "]"}], ":=", RowBox[{"0", "/;", " ", RowBox[{ RowBox[{"Max", "[", "li", "]"}], ">", "v"}]}]}], ";"}], "\[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[{ RowBox[{"{", "}"}], ",", "_"}], "]"}], ":=", "1"}], ";"}], "\[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}, {3.5917031395647745`*^9, 3.5917031920927787`*^9}, { 3.625663221492943*^9, 3.6256632387249284`*^9}, {3.6308428629332714`*^9, 3.630842875588995*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"h2e", "[", RowBox[{"i_Integer", ",", "_"}], "]"}], "/;", RowBox[{"i", "<", "0"}]}], " ", ":=", " ", "0"}], ";", RowBox[{ RowBox[{"h2e", "[", RowBox[{"0", ",", "_"}], "]"}], " ", ":=", " ", "1"}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{ RowBox[{"e2h", "[", RowBox[{"i_Integer", ",", "_"}], "]"}], "/;", RowBox[{"i", "<", "0"}]}], " ", ":=", " ", "0"}], ";", RowBox[{ RowBox[{"e2h", "[", RowBox[{"0", ",", "_"}], "]"}], " ", ":=", " ", "1"}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{ RowBox[{"h2p", "[", RowBox[{"i_Integer", ",", "_"}], "]"}], "/;", RowBox[{"i", "<", "0"}]}], " ", ":=", " ", "0"}], ";", RowBox[{ RowBox[{"h2p", "[", RowBox[{"0", ",", "_"}], "]"}], " ", ":=", " ", "1"}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{ RowBox[{"p2h", "[", RowBox[{"i_Integer", ",", "_"}], "]"}], "/;", RowBox[{"i", "<", "0"}]}], " ", ":=", " ", "0"}], ";", RowBox[{ RowBox[{"p2h", "[", RowBox[{"0", ",", "_"}], "]"}], " ", ":=", " ", "1"}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{ RowBox[{"e2p", "[", RowBox[{"i_Integer", ",", "_"}], "]"}], "/;", RowBox[{"i", "<", "0"}]}], " ", ":=", " ", "0"}], ";", RowBox[{ RowBox[{"e2p", "[", RowBox[{"0", ",", "_"}], "]"}], " ", ":=", " ", "1"}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"p2e", "[", RowBox[{"i_Integer", ",", "_"}], "]"}], "/;", RowBox[{"i", "<", "0"}]}], " ", ":=", " ", "0"}], ";", RowBox[{ RowBox[{"p2e", "[", RowBox[{"0", ",", "_"}], "]"}], " ", ":=", " ", "1"}], ";"}], "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{"added", " ", RowBox[{ RowBox[{"15", "/", "10"}], "/", "2014"}]}], " ", "*)"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"s2p", "[", RowBox[{ RowBox[{"{", "}"}], ",", "_"}], "]"}], " ", ":=", " ", "0"}], ";", " ", RowBox[{ RowBox[{"s2h", "[", RowBox[{ RowBox[{"{", "}"}], ",", "_"}], "]"}], ":=", "0"}], ";"}]}], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{{3.57786400704618*^9, 3.5778640216070127`*^9}, { 3.580367809392562*^9, 3.580367829912736*^9}, {3.6223621731892223`*^9, 3.622362271446842*^9}, {3.6223623635981126`*^9, 3.6223624376623487`*^9}, { 3.6308421529136605`*^9, 3.630842199305314*^9}, {3.630842477991254*^9, 3.630842488294843*^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[{ RowBox[{"{", "}"}], ",", "_"}], "]"}], ":=", "1"}], ";", " ", 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, 3.625662631171178*^9, 3.6256630012323446`*^9, {3.6256630336151967`*^9, 3.625663042303694*^9}}, LineBreakWithin->False, Background->RGBColor[1, 1, 0.85]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"Clear", "[", "s2e", "]"}], ";", " ", RowBox[{ RowBox[{"s2e", "[", RowBox[{ RowBox[{"\[Mu]_", "?", "Partition1Q"}], ",", " ", "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[{"unthreadSP", "[", "\n", " ", RowBox[{ 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"}], "}"}]}], "]"}], "]"}], "]"}], " ", ",", "ee"}], "]"}]}], "]"}]}], ";"}], " "}]], "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}, {3.6106260832776337`*^9, 3.610626095557336*^9}, 3.610626141162945*^9, {3.6106262444838543`*^9, 3.6106262470680017`*^9}, 3.611131484273527*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"s2p", "[", RowBox[{ RowBox[{"\[Mu]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", " ", 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]", "]"}], "]"}]}], ")"}]}]}], " ", ";"}]], "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, 3.6106259376383038`*^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[{"unthreadSP", "[", RowBox[{ 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]", "]"}]}], "}"}]}], "]"}], "]"}], "]"}], ",", "hh"}], "]"}]}], ";"}]], "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, {3.6106256960874877`*^9, 3.610625708639206*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{"Clear", "[", "s2m", "]"}], ";", RowBox[{ RowBox[{"s2m", "[", RowBox[{ RowBox[{"{", "}"}], ",", "_"}], "]"}], ":=", "0"}], ";", RowBox[{ RowBox[{"s2m", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "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}, {3.610620893697807*^9, 3.6106209266326904`*^9}, { 3.6308400354095464`*^9, 3.6308400447450805`*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[TextData[{ "Products of Schur ", StyleBox["polynomials", FontSlant->"Italic"], " can be expanded into sums if the # of variables in both are the same; for \ Schur ", StyleBox["functions", FontSlant->"Italic"], ", the # of variables returned is the minimal # needed to avoid loss of \ terms, so max[ v, \[ScriptL](\[Lambda])+\[ScriptL](\[Mu]) ]." }], "Text", CellChangeTimes->{{3.6293610875274005`*^9, 3.629361208534322*^9}, { 3.629361240254136*^9, 3.6293613448211164`*^9}, {3.629361397069105*^9, 3.629361495293723*^9}}], 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", ",", RowBox[{"Max", "[", RowBox[{"v", ",", RowBox[{ RowBox[{"Length", "[", "\[Lambda]", "]"}], "+", RowBox[{"Length", "[", "\[Mu]", "]"}]}]}], "]"}]}], "]"}]}]}], ")"}], "]"}]}], ";"}]], "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}, 3.623571029451992*^9, { 3.623571102235155*^9, 3.6235711040992613`*^9}, {3.6293601819506044`*^9, 3.629360205726964*^9}, {3.62936025810296*^9, 3.6293602870706167`*^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}, {3.6235709878856144`*^9, 3.6235710032684946`*^9}, {3.6293610282820115`*^9, 3.629361050249268*^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]], Cell[BoxData[ RowBox[{ RowBox[{"e2p", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"unthreadSP", "[", RowBox[{ RowBox[{"Expand", "[", RowBox[{ RowBox[{"threadSP", "[", RowBox[{ RowBox[{"ee", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], ",", "ee"}], "]"}], "/.", " ", RowBox[{"ee", "\[Rule]", "e2p"}]}], "]"}], ",", "pp"}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{{3.6106225201188326`*^9, 3.6106225520296583`*^9}, { 3.6106230934336243`*^9, 3.610623099064946*^9}}, Background->RGBColor[0.9, 1, 1]], Cell[BoxData[ RowBox[{ RowBox[{"e2h", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"unthreadSP", "[", RowBox[{ RowBox[{"Expand", "[", RowBox[{ RowBox[{"threadSP", "[", RowBox[{ RowBox[{"ee", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], ",", "ee"}], "]"}], "/.", " ", RowBox[{"ee", "\[Rule]", "e2h"}]}], "]"}], ",", "hh"}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{ 3.6106225763410482`*^9, {3.610623110425596*^9, 3.610623129760702*^9}}, Background->RGBColor[0.9, 1, 1]], Cell[BoxData[ RowBox[{ RowBox[{"p2e", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"unthreadSP", "[", RowBox[{ RowBox[{"Expand", "[", RowBox[{ RowBox[{"threadSP", "[", RowBox[{ RowBox[{"pp", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], ",", "pp"}], "]"}], "/.", " ", RowBox[{"pp", "\[Rule]", "p2e"}]}], "]"}], ",", "ee"}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{{3.6106226039726286`*^9, 3.6106226050526905`*^9}, { 3.6106231135927773`*^9, 3.6106231717681046`*^9}}, Background->RGBColor[0.9, 1, 1]], Cell[BoxData[ RowBox[{ RowBox[{"p2h", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"unthreadSP", "[", RowBox[{ RowBox[{"Expand", "[", RowBox[{ RowBox[{"threadSP", "[", RowBox[{ RowBox[{"pp", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], ",", "pp"}], "]"}], "/.", " ", RowBox[{"pp", "\[Rule]", "p2h"}]}], "]"}], ",", "hh"}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{ 3.6106226201245527`*^9, 3.6106231147448435`*^9, {3.61062318147266*^9, 3.610623200480747*^9}}, Background->RGBColor[0.9, 1, 1]], Cell[BoxData[ RowBox[{ RowBox[{"h2e", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"unthreadSP", "[", RowBox[{ RowBox[{"Expand", "[", RowBox[{ RowBox[{"threadSP", "[", RowBox[{ RowBox[{"hh", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], ",", "hh"}], "]"}], "/.", " ", RowBox[{"hh", "\[Rule]", "h2e"}]}], "]"}], ",", "ee"}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{ 3.6106226766197844`*^9, 3.6106231156808968`*^9, {3.6106232116403856`*^9, 3.6106232253841715`*^9}}, Background->RGBColor[0.9, 1, 1]], Cell[BoxData[ RowBox[{ RowBox[{"h2p", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"unthreadSP", "[", RowBox[{ RowBox[{"Expand", "[", RowBox[{ RowBox[{"threadSP", "[", RowBox[{ RowBox[{"hh", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], ",", "hh"}], "]"}], "/.", " ", RowBox[{"hh", "\[Rule]", "h2p"}]}], "]"}], ",", "pp"}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{{3.6106226924036865`*^9, 3.61062269560387*^9}, 3.6106231165849485`*^9, {3.610623233096613*^9, 3.61062323829591*^9}, { 3.610627004094301*^9, 3.610627004317314*^9}}, Background->RGBColor[0.9, 1, 1]], Cell[BoxData[ RowBox[{ RowBox[{"h2m", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"Expand", "[", RowBox[{ RowBox[{"unthreadSP", "[", RowBox[{ RowBox[{"Expand", "[", RowBox[{ RowBox[{"threadSP", "[", RowBox[{ RowBox[{"hh", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], ",", "hh"}], "]"}], "/.", RowBox[{"hh", "\[Rule]", "h2e"}]}], "]"}], ",", "ee"}], "]"}], "/.", RowBox[{"ee", "\[Rule]", "e2m"}]}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{ 3.6106227191792183`*^9, 3.610623117416996*^9, {3.6106232527447367`*^9, 3.6106232730558987`*^9}, 3.61062692522379*^9}, Background->RGBColor[0.9, 1, 1]], Cell[BoxData[ RowBox[{ RowBox[{"p2m", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{"Expand", "[", RowBox[{ RowBox[{"p2e", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", " ", RowBox[{"ee", "\[Rule]", "e2m"}]}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{{3.61060597191733*^9, 3.6106059746254845`*^9}, { 3.6106060401692333`*^9, 3.6106060509628506`*^9}, 3.6106237613958297`*^9, { 3.610623866699853*^9, 3.6106239226590533`*^9}, {3.610624383872433*^9, 3.6106243897517695`*^9}}, Background->RGBColor[0.9, 1, 1]], Cell[BoxData[ RowBox[{ RowBox[{"e2s", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{"Expand", "[", RowBox[{ RowBox[{"e2p", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", " ", RowBox[{"pp", "\[Rule]", "p2s"}]}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{{3.6106060708009853`*^9, 3.610606071785042*^9}, 3.610623765876086*^9, {3.6106249709560127`*^9, 3.6106249950443907`*^9}}, Background->RGBColor[0.9, 1, 1]], Cell[BoxData[ RowBox[{ RowBox[{"m2p", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{"Expand", "[", RowBox[{ RowBox[{"m2e", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", " ", RowBox[{"ee", "\[Rule]", "e2p"}]}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{{3.610606083760727*^9, 3.610606085337817*^9}, 3.6106237690682683`*^9, {3.610625043363154*^9, 3.6106250960511675`*^9}, 3.61113183732672*^9}, Background->RGBColor[0.9, 1, 1]], Cell[BoxData[ RowBox[{ RowBox[{"m2h", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{"Expand", "[", RowBox[{ RowBox[{"m2e", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", " ", RowBox[{"ee", "\[Rule]", "e2h"}]}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{{3.61060609763252*^9, 3.610606099152607*^9}, 3.6106237723714576`*^9, {3.6106251263469005`*^9, 3.6106251340023384`*^9}}, Background->RGBColor[0.9, 1, 1]], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"f2m", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"m2e", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", RowBox[{"ee", "\[Rule]", "h2m"}]}], " ", "//", "Expand"}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"f2h", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"m2e", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", RowBox[{"ee", "\[Rule]", "hh"}]}], " ", "//", "Expand"}]}], ";", RowBox[{ RowBox[{"f2e", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"m2e", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", RowBox[{"ee", "\[Rule]", "h2e"}]}], "//", "Expand"}]}], ";", RowBox[{ RowBox[{"f2p", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"m2e", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", RowBox[{"ee", "\[Rule]", "h2p"}]}], " ", "//", "Expand"}]}], ";", RowBox[{ RowBox[{"f2s", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"m2e", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", RowBox[{"ee", "\[Rule]", "h2s"}]}], " ", "//", "Expand"}]}], ";"}]}], "Input", InitializationCell->True, CellChangeTimes->{{3.6300616618276434`*^9, 3.6300616619866524`*^9}, { 3.630062093489333*^9, 3.630062160127145*^9}, 3.630062247128121*^9}], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"m2f", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"m2h", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", RowBox[{"hh", "\[Rule]", "h2f"}]}], " ", "//", "Expand"}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"h2f", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"e2m", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", RowBox[{"mm", "\[Rule]", "ff"}]}], " ", "//", "Expand"}]}], ";", RowBox[{ RowBox[{"e2f", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"h2m", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", RowBox[{"mm", "\[Rule]", "ff"}]}], "//", "Expand"}]}], ";", RowBox[{ RowBox[{"p2f", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"p2h", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", RowBox[{"hh", "\[Rule]", "h2f"}]}], " ", "//", "Expand"}]}], ";", RowBox[{ RowBox[{"s2f", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"s2h", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", RowBox[{"hh", "\[Rule]", "h2f"}]}], "//", "Expand"}]}], ";"}]}], "Input", InitializationCell->True, CellChangeTimes->{{3.6300616618276434`*^9, 3.6300616619866524`*^9}, { 3.630062093489333*^9, 3.630062160127145*^9}, 3.630062247128121*^9, { 3.6300649599322844`*^9, 3.6300650151324415`*^9}, {3.63006507017959*^9, 3.6300650801631613`*^9}, {3.6300651765076714`*^9, 3.6300651778987513`*^9}, {3.6300652116666827`*^9, 3.6300652234903593`*^9}, {3.6300654997531605`*^9, 3.63006549992017*^9}, { 3.6300655683840857`*^9, 3.6300655695441523`*^9}, {3.6300656455755005`*^9, 3.6300656511838217`*^9}, {3.630065703983842*^9, 3.630065706502986*^9}, { 3.6300658881023726`*^9, 3.6300659053013563`*^9}, {3.6300659403733625`*^9, 3.6300659577733574`*^9}, {3.6300660825484943`*^9, 3.6300661595799003`*^9}}] }, Closed]], Cell[CellGroupData[{ Cell[TextData[{ "Character Table of ", Cell[BoxData[ FormBox[ SubscriptBox["S", "n"], 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["Based on ", FontFamily->"Courier New", FontSize->10], 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)\ \[LineSeparator]but modified to improve speed.", FontFamily->"Courier New", FontSize->10] }], "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.579076582599825*^9, 3.5790765886691723`*^9}, { 3.579077127385985*^9, 3.57907716139293*^9}, {3.628948005884153*^9, 3.6289480452044015`*^9}, {3.6291220733411674`*^9, 3.6291221145165224`*^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[BoxData[ RowBox[{ RowBox[{ RowBox[{"grow3", "[", RowBox[{"par_", ",", "q_"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"g1", ",", "g2", ",", "g3"}], "}"}], ",", RowBox[{ RowBox[{"g1", "=", RowBox[{"Nest", "[", RowBox[{ RowBox[{ RowBox[{"Union", "@", RowBox[{"Flatten", "[", RowBox[{ RowBox[{"grow", " ", "/@", "#"}], ",", "1"}], "]"}]}], "&"}], ",", RowBox[{"{", "par", "}"}], ",", "q"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"g2", "=", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"#", "-", RowBox[{"PadRight", "[", RowBox[{ RowBox[{"TransposePartition", "@", "par"}], ",", RowBox[{"Length", "[", "#", "]"}]}], "]"}]}], ")"}], "&"}], "/@", RowBox[{"TransposePartition", "/@", "g1"}]}]}], ";", "\[IndentingNewLine]", RowBox[{"g3", "=", RowBox[{"DeleteCases", "[", RowBox[{"g2", ",", RowBox[{ RowBox[{"{", RowBox[{"___", ",", "k_", ",", "___"}], "}"}], "/;", RowBox[{"k", ">", "1"}]}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"TransposePartition", "[", RowBox[{ RowBox[{"PadRight", "[", RowBox[{ RowBox[{"TransposePartition", "@", "par"}], ",", RowBox[{"Length", "[", "#", "]"}]}], "]"}], "+", "#"}], "]"}], "&"}], "/@", "g3"}]}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.6283563171964283`*^9, 3.628356319712572*^9}, { 3.628688283999482*^9, 3.628688365975171*^9}, {3.628688400422141*^9, 3.6286885071262445`*^9}, {3.62869037446605*^9, 3.6286903783692737`*^9}, 3.628947776383026*^9}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"growList3", "[", RowBox[{"li_List", ",", "m_Integer"}], "]"}], ":=", RowBox[{"Flatten", "[", RowBox[{ RowBox[{ RowBox[{"Function", "[", RowBox[{"q", ",", RowBox[{ RowBox[{ RowBox[{"Join", "[", RowBox[{"q", ",", RowBox[{"{", "#", "}"}]}], "]"}], "&"}], "/@", RowBox[{"grow3", "[", RowBox[{ RowBox[{"Last", "[", "q", "]"}], ",", "m"}], "]"}]}]}], "]"}], "/@", "li"}], ",", "1"}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.628688540518154*^9, 3.6286885459494653`*^9}, { 3.628947771686757*^9, 3.6289477738548813`*^9}}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"LRWord", "[", "t_", "]"}], ":=", RowBox[{"Join", "@@", RowBox[{"Table", "[", RowBox[{ RowBox[{"Join", "@@", RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"j", "-", "1"}], ",", RowBox[{"{", RowBox[{ RowBox[{"PartitionEval", "[", RowBox[{ RowBox[{ "t", "\[LeftDoubleBracket]", "j", "\[RightDoubleBracket]"}], ",", "i"}], "]"}], "-", RowBox[{"PartitionEval", "[", RowBox[{ RowBox[{"t", "\[LeftDoubleBracket]", RowBox[{"j", "-", "1"}], "\[RightDoubleBracket]"}], ",", "i"}], "]"}]}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"Length", "[", "t", "]"}], ",", "2", ",", RowBox[{"-", "1"}]}], "}"}]}], "]"}]}], ",", RowBox[{"{", RowBox[{"i", ",", "1", ",", RowBox[{"Length", "[", RowBox[{"t", "\[LeftDoubleBracket]", RowBox[{"-", "1"}], "\[RightDoubleBracket]"}], "]"}]}], "}"}]}], "]"}]}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{3.628775264190488*^9}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"PartitionEval", "[", RowBox[{"p_", ",", "i_"}], "]"}], ":=", RowBox[{"If", "[", RowBox[{ RowBox[{"i", "\[LessEqual]", RowBox[{"Length", "[", "p", "]"}]}], ",", RowBox[{"p", "\[LeftDoubleBracket]", "i", "\[RightDoubleBracket]"}], ",", "0"}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{3.6287752769012146`*^9}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"LRRule", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", RowBox[{"\[Mu]_", "?", "Partition1Q"}]}], "]"}], ":=", RowBox[{"Last", "/@", RowBox[{"(", RowBox[{"temp0", "=", RowBox[{"Fold", "[", RowBox[{ RowBox[{ RowBox[{"Select", "[", RowBox[{ RowBox[{"growList3", "[", RowBox[{"#1", ",", "#2"}], "]"}], ",", RowBox[{ RowBox[{"latticewordQ", "[", RowBox[{"LRWord", "[", "#", "]"}], "]"}], "&"}]}], "]"}], "&"}], ",", RowBox[{"{", RowBox[{"{", "\[Lambda]", "}"}], "}"}], ",", "\[Mu]"}], "]"}]}], ")"}]}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.62868859621334*^9, 3.6286886454211545`*^9}, { 3.628688982386428*^9, 3.628688997602298*^9}, {3.62868980118126*^9, 3.6286898080846553`*^9}, {3.628689839412447*^9, 3.62868984401271*^9}, 3.6286899742741604`*^9, 3.628690402456651*^9, 3.628935870586837*^9, { 3.628937216665045*^9, 3.6289372964966106`*^9}, {3.6291058620959373`*^9, 3.6291058652801194`*^9}, {3.6298087183687944`*^9, 3.6298087787409*^9}}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[ RowBox[{ RowBox[{"skewschur", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "PartitionQ"}], ",", RowBox[{"\[Mu]_", "?", "PartitionQ"}]}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", "v", "}"}], ",", RowBox[{ RowBox[{"v", "=", RowBox[{"Max", "[", RowBox[{ RowBox[{"Length", "[", "\[Lambda]", "]"}], ",", RowBox[{"Length", "[", "\[Mu]", "]"}]}], "]"}]}], ";", RowBox[{"Expand", "[", RowBox[{ RowBox[{"unthreadSP", "[", RowBox[{ RowBox[{"Det", "@", RowBox[{"Table", "[", RowBox[{ RowBox[{"hh", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"PadRight", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "[", RowBox[{"[", "i", "]"}], "]"}], "-", RowBox[{ RowBox[{"PadRight", "[", " ", RowBox[{"\[Mu]", " ", ",", "v"}], "]"}], "[", RowBox[{"[", "j", "]"}], "]"}], "-", "i", "+", "j"}], ",", "v"}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "v"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "v"}], "}"}]}], "]"}]}], ",", "hh"}], "]"}], " ", "/.", " ", RowBox[{"hh", "\[Rule]", "h2s"}]}], "]"}]}]}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{{3.5809898438187275`*^9, 3.5809898773036427`*^9}, { 3.5809899079593964`*^9, 3.5809899807765613`*^9}, {3.5809900196957874`*^9, 3.580990046031294*^9}, {3.5830477956224174`*^9, 3.583047809014183*^9}, { 3.5830478562618856`*^9, 3.5830478567499137`*^9}, {3.5830478915259027`*^9, 3.5830478918859234`*^9}, {3.5830479396376543`*^9, 3.5830479523333807`*^9}, { 3.583048151596778*^9, 3.5830481599632564`*^9}, {3.583403875721115*^9, 3.583403885768689*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{"skewschur1", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "PartitionQ"}], ",", RowBox[{"\[Mu]_", "?", "PartitionQ"}]}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", "v", "}"}], ",", RowBox[{ RowBox[{"v", "=", RowBox[{"Max", "[", RowBox[{ RowBox[{"Length", "[", "\[Lambda]", "]"}], ",", RowBox[{"Length", "[", "\[Mu]", "]"}]}], "]"}]}], ";", RowBox[{"Expand", "[", RowBox[{"unthreadSP", "[", RowBox[{ RowBox[{"Det", "@", RowBox[{"Table", "[", RowBox[{ RowBox[{"hh", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"PadRight", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "[", RowBox[{"[", "i", "]"}], "]"}], "-", RowBox[{ RowBox[{"PadRight", "[", " ", RowBox[{"\[Mu]", " ", ",", "v"}], "]"}], "[", RowBox[{"[", "j", "]"}], "]"}], "-", "i", "+", "j"}], ",", "v"}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "v"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "v"}], "}"}]}], "]"}]}], ",", "hh"}], "]"}], " ", "]"}]}]}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{{3.5809898438187275`*^9, 3.5809898773036427`*^9}, { 3.5809899079593964`*^9, 3.5809899807765613`*^9}, {3.5809900196957874`*^9, 3.580990046031294*^9}, {3.5830477956224174`*^9, 3.583047809014183*^9}, { 3.5830478562618856`*^9, 3.5830478567499137`*^9}, {3.5830478915259027`*^9, 3.5830478918859234`*^9}, {3.5830479396376543`*^9, 3.5830479523333807`*^9}, {3.583048151596778*^9, 3.5830481599632564`*^9}, { 3.583403875721115*^9, 3.583403885768689*^9}, {3.6285967493824444`*^9, 3.6285967652713532`*^9}, 3.628936465735094*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"skewschur2", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "PartitionQ"}], ",", RowBox[{"\[Mu]_", "?", "PartitionQ"}]}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"v", ",", "v0", ",", "\[Lambda]tr", ",", "\[Mu]tr"}], "}"}], ",", RowBox[{ RowBox[{"v", "=", RowBox[{"Max", "[", RowBox[{ RowBox[{"Length", "[", "\[Lambda]", "]"}], ",", RowBox[{"Length", "[", "\[Mu]", "]"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"v0", "=", RowBox[{"Max", "[", RowBox[{ RowBox[{"First", "[", "\[Lambda]", "]"}], ",", RowBox[{"First", "[", "\[Mu]", "]"}]}], "]"}]}], ";", RowBox[{"\[Lambda]tr", " ", "=", RowBox[{"PadRight", "[", RowBox[{ RowBox[{"TransposePartition", "[", " ", "\[Lambda]", "]"}], ",", "v0"}], "]"}]}], ";", RowBox[{"\[Mu]tr", " ", "=", RowBox[{"PadRight", "[", RowBox[{ RowBox[{"TransposePartition", "[", " ", "\[Mu]", "]"}], ",", "v0"}], "]"}]}], ";", RowBox[{"Expand", "[", RowBox[{ RowBox[{"unthreadSP", "[", RowBox[{ RowBox[{ RowBox[{"Det", "@", RowBox[{"Table", "[", RowBox[{ RowBox[{"ee", "[", RowBox[{ RowBox[{ RowBox[{"\[Lambda]tr", "[", RowBox[{"[", "i", "]"}], "]"}], "-", RowBox[{"\[Mu]tr", "[", RowBox[{"[", "j", "]"}], "]"}], "-", "i", "+", "j"}], ",", "v"}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "v0"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "v0"}], "}"}]}], "]"}]}], "/.", RowBox[{"ee", "\[Rule]", "e2p"}]}], ",", "pp"}], "]"}], " ", "/.", " ", RowBox[{"pp", "\[Rule]", "p2s"}]}], "]"}]}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{ 3.583327916134636*^9, {3.5833280214306583`*^9, 3.5833280791739607`*^9}, 3.5833281287897987`*^9, {3.583328175709482*^9, 3.583328202485014*^9}, 3.583328243620367*^9, 3.583328336483678*^9, {3.583328376179949*^9, 3.5833283977791843`*^9}, {3.5833285890901265`*^9, 3.5833285910502386`*^9}, {3.5833287060178146`*^9, 3.5833287090419874`*^9}, {3.583402953896389*^9, 3.583402973991539*^9}, { 3.5834074402089915`*^9, 3.5834074931680207`*^9}}, Background->RGBColor[0.87, 0.94, 1]] }, Closed]], Cell[CellGroupData[{ Cell["Inproduct", "Subsection", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.6294710578473425`*^9, 3.629471061343543*^9}}], Cell["enter as esc < esc and esc > esc", "Text", CellChangeTimes->{{3.6294723071748*^9, 3.629472338654601*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{"Clear", "[", "AngleBracket", "]"}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"AngleBracket", "[", RowBox[{"u_", ",", RowBox[{"v_", "+", "w_"}]}], "]"}], ":=", RowBox[{ RowBox[{"AngleBracket", "[", RowBox[{"u", ",", "v"}], "]"}], "+", RowBox[{"AngleBracket", "[", RowBox[{"u", ",", "w"}], "]"}]}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"AngleBracket", "[", RowBox[{ RowBox[{"u_", "+", "v_"}], ",", "w_"}], "]"}], ":=", RowBox[{ RowBox[{"AngleBracket", "[", RowBox[{"u", ",", "w"}], "]"}], "+", RowBox[{"AngleBracket", "[", RowBox[{"v", ",", "w"}], "]"}]}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{ RowBox[{"AngleBracket", "[", RowBox[{ RowBox[{"a_", " ", "u_"}], ",", "v_"}], "]"}], "/;", RowBox[{"Element", "[", RowBox[{"a", ",", "Rationals"}], "]"}]}], ":=", RowBox[{"a", " ", RowBox[{"AngleBracket", "[", RowBox[{"u", ",", "v"}], "]"}]}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{ RowBox[{"AngleBracket", "[", RowBox[{"u_", ",", RowBox[{"a_", " ", "v_"}]}], "]"}], "/;", RowBox[{"Element", "[", RowBox[{"a", ",", "Rationals"}], "]"}]}], ":=", RowBox[{"a", " ", RowBox[{"AngleBracket", "[", RowBox[{"u", ",", "v"}], "]"}]}]}], ";"}]}], "Input", InitializationCell->True, InitializationGroup->True, CellChangeTimes->{{3.6235038195639925`*^9, 3.6235038578981857`*^9}, { 3.6235755537477665`*^9, 3.6235755542987986`*^9}, {3.623575841546228*^9, 3.623575848385619*^9}, {3.62357590976913*^9, 3.623575910729185*^9}, { 3.6235761120637007`*^9, 3.623576378525942*^9}, {3.623576555814082*^9, 3.6235765670367236`*^9}, {3.6235767221075935`*^9, 3.623576781619997*^9}, { 3.6235768406913757`*^9, 3.6235768428755007`*^9}, {3.6235768742352943`*^9, 3.6235768746673193`*^9}, {3.623578356394069*^9, 3.623578361984389*^9}, { 3.623578554440397*^9, 3.623578557695583*^9}, 3.6237394960873604`*^9}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"\[LeftAngleBracket]", RowBox[{ RowBox[{"u_", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "d_"}], "]"}], ",", RowBox[{"v_", "[", RowBox[{ RowBox[{"\[Mu]_", "?", "Partition1Q"}], ",", "d_"}], "]"}]}], "\[RightAngleBracket]"}], " ", ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"w", "=", RowBox[{"Tr", "[", "\[Lambda]", "]"}]}], ",", "vech", ",", "vecm"}], "}"}], ",", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{"Tr", "[", "\[Mu]", "]"}], "=!=", "w"}], ",", RowBox[{"Return", "[", "0", "]"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"vech", "=", RowBox[{ RowBox[{ RowBox[{ RowBox[{"ToExpression", "[", RowBox[{ RowBox[{"StringTake", "[", RowBox[{ RowBox[{"ToString", "[", "u", "]"}], ",", "1"}], "]"}], "<>", "\"\<2h\>\""}], "]"}], "[", RowBox[{"\[Lambda]", ",", "d"}], "]"}], "/.", " ", RowBox[{"h2h", "\[Rule]", "hh"}]}], "/.", " ", RowBox[{ RowBox[{"hh", "[", RowBox[{"par_", ",", "_"}], "]"}], ":>", RowBox[{"h", "^", RowBox[{"rankpartition", "[", "par", "]"}]}]}]}]}], ";", "\[IndentingNewLine]", RowBox[{"vecm", "=", RowBox[{ RowBox[{ RowBox[{ RowBox[{"ToExpression", "[", RowBox[{ RowBox[{"StringTake", "[", RowBox[{ RowBox[{"ToString", "[", "v", "]"}], ",", "1"}], "]"}], "<>", "\"\<2m\>\""}], "]"}], "[", RowBox[{"\[Mu]", ",", "d"}], "]"}], "/.", " ", RowBox[{"m2m", "\[Rule]", "mm"}]}], "/.", " ", RowBox[{ RowBox[{"mm", "[", RowBox[{"par_", ",", "_"}], "]"}], ":>", RowBox[{"m", "^", RowBox[{"rankpartition", "[", "par", "]"}]}]}]}]}], ";", RowBox[{ RowBox[{"(", RowBox[{"hvec", "=", RowBox[{"Rest", "@", RowBox[{"PadRight", "[", RowBox[{ RowBox[{"CoefficientList", "[", RowBox[{"vech", ",", "h"}], "]"}], ",", RowBox[{"1", "+", RowBox[{"PartitionsP", "[", "w", "]"}]}]}], "]"}]}]}], ")"}], ".", RowBox[{"(", RowBox[{"mvec", "=", RowBox[{"Rest", "@", RowBox[{"PadRight", "[", RowBox[{ RowBox[{"CoefficientList", "[", RowBox[{"vecm", ",", "m"}], "]"}], ",", RowBox[{"1", "+", RowBox[{"PartitionsP", "[", "w", "]"}]}]}], "]"}]}]}], ")"}]}]}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, InitializationGroup->True, CellChangeTimes->{{3.6234923794926586`*^9, 3.623492497595413*^9}, { 3.6234926319300966`*^9, 3.6234927294736757`*^9}, {3.623492869344676*^9, 3.6234928767521*^9}, {3.6234930021042695`*^9, 3.623493011303796*^9}, { 3.6234935304134874`*^9, 3.623493590152904*^9}, 3.6234936742357135`*^9, { 3.623493839650174*^9, 3.6234939052739277`*^9}, {3.6234939479463687`*^9, 3.623493957769931*^9}, {3.623494000059349*^9, 3.6234940293050222`*^9}, { 3.6234941185281253`*^9, 3.623494154136162*^9}, {3.62349423295267*^9, 3.6234942975603657`*^9}, 3.6234943795030527`*^9, {3.6234945164538856`*^9, 3.6234945311417255`*^9}, {3.623494619965806*^9, 3.623494627325227*^9}, { 3.623494695902149*^9, 3.623494701485469*^9}, {3.623494843196574*^9, 3.623494866643915*^9}, {3.6234951993539453`*^9, 3.623495205449294*^9}, { 3.6234953068330927`*^9, 3.6234953147845473`*^9}, {3.6234957238459444`*^9, 3.6234957563658047`*^9}, {3.6234959394202747`*^9, 3.6234959404523335`*^9}, {3.623495996548542*^9, 3.623496004043971*^9}, 3.623498465818776*^9, {3.6235027362610316`*^9, 3.6235028058760133`*^9}, { 3.6235028433071547`*^9, 3.623502884722523*^9}, {3.623576958275101*^9, 3.6235769719878855`*^9}, {3.623577044130012*^9, 3.6235770504353724`*^9}, { 3.6235770821791883`*^9, 3.623577158314543*^9}}] }, Closed]] }, AutoGeneratedPackage->None, WindowSize->{968, 705}, WindowMargins->{{78, Automatic}, {Automatic, 23}}, 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->"10.0 for Microsoft Windows (64-bit) (December 4, 2014)", 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, 2094, 34, 297, "Text"], Cell[2806, 62, 1312, 18, 63, "Text"], Cell[4121, 82, 1035, 19, 65, "Text"] }, Closed]], Cell[CellGroupData[{ Cell[5193, 106, 183, 4, 22, "Subsection"], Cell[5379, 112, 216, 3, 27, "Text"], Cell[CellGroupData[{ Cell[5620, 119, 276, 7, 59, "Input", InitializationCell->True], Cell[5899, 128, 755, 12, 44, "Output"] }, Open ]], Cell[6669, 143, 277, 8, 42, "Input", InitializationCell->True], Cell[6949, 153, 430, 10, 27, "Text"], Cell[7382, 165, 664, 17, 79, "Input"] }, Open ]], Cell[CellGroupData[{ Cell[8083, 187, 243, 3, 28, "Subsection"], Cell[8329, 192, 3956, 108, 207, "Text"], Cell[12288, 302, 1770, 53, 99, "Text"], Cell[14061, 357, 3366, 98, 279, "Text"], Cell[17430, 457, 2076, 69, 137, "Text"] }, Closed]], Cell[CellGroupData[{ Cell[19543, 531, 88, 2, 22, "Subsection"], Cell[19634, 535, 850, 24, 42, "Input", InitializationCell->True], Cell[20487, 561, 517, 16, 45, "Input", InitializationCell->True], Cell[21007, 579, 2093, 62, 183, "Input", InitializationCell->True], Cell[23103, 643, 1207, 33, 83, "Input", InitializationCell->True], Cell[24313, 678, 2396, 59, 183, "Input", InitializationCell->True], Cell[26712, 739, 537, 15, 45, "Input", InitializationCell->True], Cell[27252, 756, 884, 27, 66, "Input", InitializationCell->True], Cell[28139, 785, 372, 11, 42, "Input", InitializationCell->True], Cell[28514, 798, 457, 12, 63, "Input", InitializationCell->True], Cell[28974, 812, 598, 15, 42, "Input", InitializationCell->True], Cell[29575, 829, 912, 25, 42, "Input", InitializationCell->True], Cell[30490, 856, 1127, 32, 63, "Input", InitializationCell->True], Cell[31620, 890, 588, 17, 45, "Input", InitializationCell->True], Cell[32211, 909, 579, 17, 45, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[32827, 931, 87, 2, 22, "Subsection"], Cell[32917, 935, 1855, 47, 103, "Input", InitializationCell->True], Cell[34775, 984, 746, 21, 63, "Input", InitializationCell->True], Cell[35524, 1007, 595, 18, 42, "Input", InitializationCell->True], Cell[36122, 1027, 3311, 83, 203, "Input", InitializationCell->True], Cell[39436, 1112, 1762, 48, 123, "Input", InitializationCell->True], Cell[41201, 1162, 3989, 106, 243, "Input", InitializationCell->True], Cell[45193, 1270, 374, 9, 45, "Input", InitializationCell->True], Cell[45570, 1281, 433, 12, 58, "Input", InitializationCell->True], Cell[46006, 1295, 743, 23, 58, "Input", InitializationCell->True], Cell[46752, 1320, 960, 26, 58, "Input", InitializationCell->True], Cell[47715, 1348, 1682, 46, 119, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[49434, 1399, 106, 2, 22, "Subsection"], Cell[49543, 1403, 1132, 32, 63, "Input", InitializationCell->True], Cell[50678, 1437, 820, 23, 42, "Input", InitializationCell->True], Cell[51501, 1462, 873, 26, 63, "Input", InitializationCell->True], Cell[52377, 1490, 750, 22, 63, "Input", InitializationCell->True], Cell[53130, 1514, 599, 16, 61, "Input", InitializationCell->True], Cell[53732, 1532, 1302, 36, 82, "Input", InitializationCell->True], Cell[55037, 1570, 1270, 31, 82, "Input", InitializationCell->True], Cell[56310, 1603, 1781, 51, 102, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[58128, 1659, 85, 2, 22, "Subsection"], Cell[58216, 1663, 1151, 32, 83, "Input", InitializationCell->True], Cell[59370, 1697, 887, 25, 63, "Input", InitializationCell->True], Cell[60260, 1724, 2546, 64, 143, "Input", InitializationCell->True], Cell[62809, 1790, 1866, 46, 103, "Input", InitializationCell->True], Cell[64678, 1838, 1014, 28, 63, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[65729, 1871, 102, 2, 22, "Subsection"], Cell[65834, 1875, 552, 16, 42, "Input", InitializationCell->True], Cell[66389, 1893, 711, 20, 42, "Input", InitializationCell->True], Cell[67103, 1915, 3297, 86, 183, "Input", InitializationCell->True], Cell[70403, 2003, 878, 22, 63, "Input", InitializationCell->True], Cell[71284, 2027, 1678, 42, 83, "Input", InitializationCell->True], Cell[72965, 2071, 257, 7, 28, "Input"], Cell[73225, 2080, 299, 7, 28, "Input"], Cell[73527, 2089, 3328, 96, 243, "Input", InitializationCell->True], Cell[76858, 2187, 2618, 82, 203, "Input", InitializationCell->True], Cell[79479, 2271, 1433, 47, 99, "Input", InitializationCell->True], Cell[80915, 2320, 1782, 44, 79, "Input", InitializationCell->True], Cell[82700, 2366, 1190, 33, 79, "Input", InitializationCell->True], Cell[83893, 2401, 1820, 48, 119, "Input", InitializationCell->True], Cell[85716, 2451, 1488, 48, 99, "Input", InitializationCell->True], Cell[87207, 2501, 2035, 50, 99, "Input", InitializationCell->True], Cell[89245, 2553, 2287, 56, 119, "Input", InitializationCell->True], Cell[91535, 2611, 1271, 34, 79, "Input", InitializationCell->True], Cell[92809, 2647, 1519, 48, 119, "Input", InitializationCell->True], Cell[94331, 2697, 1291, 34, 79, "Input", InitializationCell->True], Cell[95625, 2733, 1866, 43, 99, "Input", InitializationCell->True], Cell[97494, 2778, 495, 14, 58, "Input", InitializationCell->True], Cell[97992, 2794, 1332, 32, 79, "Input", InitializationCell->True], Cell[99327, 2828, 1813, 52, 119, "Input", InitializationCell->True], Cell[101143, 2882, 1551, 42, 119, "Input", InitializationCell->True], Cell[102697, 2926, 1917, 49, 119, "Input", InitializationCell->True], Cell[104617, 2977, 979, 28, 79, "Input", InitializationCell->True], Cell[105599, 3007, 488, 11, 42, "Input", InitializationCell->True], Cell[106090, 3020, 3649, 87, 159, "Input", InitializationCell->True], Cell[109742, 3109, 2682, 60, 99, "Input", InitializationCell->True], Cell[112427, 3171, 854, 17, 58, "Input", InitializationCell->True], Cell[113284, 3190, 3315, 86, 159, "Input", InitializationCell->True], Cell[116602, 3278, 2688, 63, 139, "Input", InitializationCell->True], Cell[119293, 3343, 1243, 32, 79, "Input", InitializationCell->True], Cell[120539, 3377, 173, 2, 27, "Text"], Cell[120715, 3381, 1767, 44, 79, "Input", InitializationCell->True], Cell[122485, 3427, 1251, 34, 99, "Input", InitializationCell->True], Cell[123739, 3463, 540, 13, 47, "Text"], Cell[124282, 3478, 1429, 35, 79, "Input", InitializationCell->True], Cell[125714, 3515, 2835, 62, 99, "Input", InitializationCell->True], Cell[128552, 3579, 905, 18, 58, "Input", InitializationCell->True], Cell[129460, 3599, 655, 19, 61, "Input", InitializationCell->True], Cell[130118, 3620, 627, 19, 61, "Input", InitializationCell->True], Cell[130748, 3641, 657, 19, 61, "Input", InitializationCell->True], Cell[131408, 3662, 654, 20, 61, "Input", InitializationCell->True], Cell[132065, 3684, 659, 20, 61, "Input", InitializationCell->True], Cell[132727, 3706, 724, 20, 61, "Input", InitializationCell->True], Cell[133454, 3728, 772, 21, 61, "Input", InitializationCell->True], Cell[134229, 3751, 622, 15, 61, "Input", InitializationCell->True], Cell[134854, 3768, 517, 13, 61, "Input", InitializationCell->True], Cell[135374, 3783, 540, 14, 61, "Input", InitializationCell->True], Cell[135917, 3799, 516, 13, 61, "Input", InitializationCell->True], Cell[136436, 3814, 1720, 51, 126, "Input", InitializationCell->True], Cell[138159, 3867, 2283, 58, 126, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[140479, 3930, 258, 8, 22, "Subsection"], Cell[140740, 3940, 1202, 37, 63, "Input", InitializationCell->True], Cell[141945, 3979, 1142, 35, 63, "Input", InitializationCell->True], Cell[143090, 4016, 1147, 33, 83, "Input", InitializationCell->True], Cell[144240, 4051, 1107, 33, 83, "Input", InitializationCell->True], Cell[145350, 4086, 2275, 59, 143, "Input", InitializationCell->True], Cell[147628, 4147, 372, 8, 45, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[148037, 4160, 77, 1, 22, "Subsection"], Cell[148117, 4163, 700, 17, 54, "Text"], Cell[148820, 4182, 371, 10, 27, "Text"], Cell[149194, 4194, 1932, 53, 108, "Input", InitializationCell->True], Cell[151129, 4249, 759, 22, 47, "Input", InitializationCell->True], Cell[151891, 4273, 1339, 37, 88, "Input", InitializationCell->True], Cell[153233, 4312, 460, 13, 47, "Input", InitializationCell->True], Cell[153696, 4327, 1252, 31, 68, "Input", InitializationCell->True], Cell[154951, 4360, 1954, 48, 68, "Input", InitializationCell->True], Cell[156908, 4410, 1946, 47, 68, "Input", InitializationCell->True], Cell[158857, 4459, 2596, 67, 128, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[161490, 4531, 133, 2, 22, "Subsection"], Cell[161626, 4535, 112, 1, 29, "Text"], Cell[161741, 4538, 2089, 54, 126, "Input", InitializationCell->True, InitializationGroup->True], Cell[163833, 4594, 4182, 101, 126, "Input", InitializationCell->True, InitializationGroup->True] }, Closed]] } ] *) (* End of internal cache information *)