(* 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[ 232200, 6414] NotebookOptionsPosition[ 219936, 6046] NotebookOutlinePosition[ 221172, 6086] CellTagsIndexPosition[ 221036, 6080] 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.", FontSlant->"Italic"], "\n", StyleBox["Also credit to ", FontSlant->"Italic"], "William J. Keith (Michigan Tech University Math Department) ", StyleBox["for guiding me in the study of t-core and t-quotients\ \[LineSeparator]Grateful mention of Prof. Joris Van der Jeugt for letting me \ attend his course 'Representation Theory' (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}, { 3.6749867363168*^9, 3.6749867363178*^9}, 3.6749871384147987`*^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["\<\ DeleteCases[Names[\"@*\"], str_ /; StringMatchQ[str, \"$*\"] || StringMatchQ[ToString[FullForm[str]], \"*Formal*\"]]\ \>", "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{3.5781164773149967`*^9}], Cell[BoxData[ RowBox[{ RowBox[{"<<", "Combinatorica`"}], ";"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.576060951948417*^9, {3.576061233026494*^9, 3.5760612401219*^9}, 3.577419690677643*^9}, LineBreakWithin->False], Cell[TextData[{ "variables in use after installing ToolBox.nb : (all other cells are \ initialisation cells, ", StyleBox["execute this one", FontColor->RGBColor[1, 0, 0]], " to have it as last instruction)" }], "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5776901733919764`*^9, 3.577690190783269*^9}, { 3.577690265879903*^9, 3.5776903438203955`*^9}, {3.5776903760716343`*^9, 3.5776904091666546`*^9}}], Cell[BoxData[ RowBox[{"DeleteCases", "[", RowBox[{ RowBox[{"Names", "[", "\"\<@*\>\"", "]"}], ",", " ", RowBox[{"str_", " ", "/;", " ", RowBox[{ RowBox[{"StringMatchQ", "[", RowBox[{"str", ",", " ", "\"\<$*\>\""}], "]"}], " ", "||", " ", "\n", " ", RowBox[{"StringMatchQ", "[", RowBox[{ RowBox[{"ToString", "[", RowBox[{"FullForm", "[", "str", "]"}], "]"}], ",", " ", "\"\<*Formal*\>\""}], "]"}]}]}]}], "]"}]], "Input", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.578116420703086*^9, 3.5781164576422405`*^9}}, FontColor->RGBColor[1, 0, 0], Background->RGBColor[1, 0.85, 0.85]], Cell[TextData[{ StyleBox["Defined Functions: ", FontWeight->"Bold"], "{\"allcontents\",\"asorder\",\"aspartitions\",\"chars\",\"content\",\"core\"\ ,\"coredecompose\",\"corerecompose\",\"countSkewSSYT\",\"countSkewSYT\",\"\ cycleclasses\",\"descentset\",\"e\",\"e2f\",\"e2h\",\"e2m\",\"e2p\",\"e2s\",\"\ ee\",\"expr2pow\",\"f\",\"f2e\",\"f2h\",\"f2m\",\"f2p\",\"f2s\",\"ff\",\"\ fromEdge\",\"h\",\"h2e\",\"h2f\",\"h2h\",\"h2m\",\"h2p\",\"h2s\",\"hh\",\"\ hooklength\",\"inversions\",\"kostka\",\"latticeword\",\"latticewordQ\",\"\ lesspartitions\",\"m\",\"m2e\",\"m2f\",\"m2h\",\"m2m\",\"m2p\",\"m2s\",\"\ majorsstrong\",\"majorsweak\",\"mm\",\"monomProd2Sum\",\"p\",\"p2e\",\"p2f\",\ \"p2h\",\"p2m\",\"p2s\",\"par2pow\",\"partitionexact\",\"pow2m\",\"pow2par\",\ \"pp\",\"rankpartition\",\[CloseCurlyDoubleQuote]rectify\ \[CloseCurlyDoubleQuote],\"s\",\"s2e\",\"s2f\",\"s2h\",\"s2m\",\"s2p\",\"\ schurProd2Sum\",\"showskew\",\"skewfactor\",\"skewredu\",\"skewschur\",\"\ skewschur2\",\"skewSSYT\",\"skewSYT\",\"ss\",\"stanley\",\"tableauxForm\",\"\ tableauxToWord\",\"threadSP\",\"toEdge\",\"trim\",\"unrankpartition\",\"\ unthreadSP\",\"wordToTableaux\"}" }], "Text", CellChangeTimes->{{3.6750603393125906`*^9, 3.6750603887084155`*^9}, { 3.6763595171961164`*^9, 3.6763595300758533`*^9}, 3.6763595618996735`*^9, { 3.6774792384983063`*^9, 3.6774792453296967`*^9}, {3.6788020727723227`*^9, 3.678802081516823*^9}}] }, Open ]], Cell[CellGroupData[{ Cell["Definitions and Implementation conventions.", "Subsection", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5777741790959253`*^9, 3.5777742256133366`*^9}, { 3.577777422099639*^9, 3.5777774250059075`*^9}, 3.577784699848549*^9}], Cell[TextData[{ "in the following description we designate the five S.P. by a generic name ", StyleBox["u", FontWeight->"Bold"], " (representing ", StyleBox["m", FontWeight->"Bold"], ", ", StyleBox["p", FontWeight->"Bold"], ", ", StyleBox["h", FontWeight->"Bold"], ", ", StyleBox["e", FontWeight->"Bold"], " or ", StyleBox["s", FontWeight->"Bold"], ").\nWe choose to define 3 formats for representing the Symmetric \ Polynomials (S.P.) .\n*\texpanded format: ", StyleBox["u[ arg , ", FontWeight->"Bold"], "# of variables", StyleBox[" v ]", FontWeight->"Bold"], " produces \[CapitalSigma] a ", Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox[ SubscriptBox["x", "1"], "i"], " ", SuperscriptBox[ SubscriptBox["x", "2"], "j"]}], TraditionalForm]]], " ... ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["x", "v"], "z"], TraditionalForm]]], " : allows all symbolic manipulations using standard algebraic functions, \ but becomes large and slow for small to moderate arguments, and quite unfit \ for human consumption.\nIt can however always be reduced to elementary S.P. \ by the standard \[OpenCurlyQuote]", StyleBox["SymmetricReduction", FontWeight->"Bold"], "\[CloseCurlyQuote] function.\n*\tcondensed format: ", Cell[BoxData[ FormBox[ SubscriptBox["\[CapitalSigma]", "i"], TraditionalForm]]], " ", Cell[BoxData[ FormBox[ SubscriptBox["a", "i"], TraditionalForm]]], " ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["p", "n"], "i"], TraditionalForm]]], " where ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["p", "n"], "i"], TraditionalForm]]], " stands for the i-th partition of n in reverse lexicographic ordering. It \ codes the expanded format by ignoring the permutation of the \ (interchangeable) indices and extracting only the (orderless) exponents \ recast into a partition of n. This format loses the info on the actual number \ of variables used. It groups monomials according to the exponents : 5 ", Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox[ SubscriptBox["x", "1"], "3"], SuperscriptBox[ SubscriptBox["x", "3"], "2"]}], TraditionalForm]]], " becomes 5 ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["p", "5"], "3"], TraditionalForm]]], " since {3,2} is the 3rd partition of 5. The info that there are 3 or more \ variables \[OpenCurlyQuote]in play\[CloseCurlyQuote] (as shown by the indices \ 1 and 3) is lost.\n*\tunevaluated format ", StyleBox["uu[ arg , ", FontWeight->"Bold"], "# of variables", StyleBox[" v ]", FontWeight->"Bold"], " which can be taken as argument for symbolic transformation functions. Only \ the basic definition ", StyleBox["uu[ partition, v ]==0 /; Length[partition]>v", FontWeight->"Bold"], " is coded for (one cannot distribute 5 exponents over 4 variables). " }], "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5777742395513716`*^9, 3.577774318835666*^9}, { 3.5777743508993974`*^9, 3.577774390010274*^9}, {3.577774427058572*^9, 3.577774573970463*^9}, {3.577774613050089*^9, 3.577774906087525*^9}, { 3.577775411738783*^9, 3.5777755906976347`*^9}, {3.5777756548716087`*^9, 3.5777758579262805`*^9}, {3.577775891193183*^9, 3.5777759420701365`*^9}, { 3.577776035323717*^9, 3.577776105529538*^9}, {3.5777761466404915`*^9, 3.577776397181362*^9}, {3.577776448792719*^9, 3.5777765193891797`*^9}, { 3.5777765593282137`*^9, 3.5777766663948245`*^9}, 3.577776784196044*^9, { 3.5777774581154947`*^9, 3.5777774716780815`*^9}, {3.577783878822277*^9, 3.5777839501058083`*^9}, {3.5778050413347855`*^9, 3.57780504595105*^9}, { 3.5778050914946547`*^9, 3.5778051088866496`*^9}, {3.5778051561503525`*^9, 3.577805186606095*^9}, {3.577805225822338*^9, 3.5778052291595287`*^9}, { 3.5778052863498*^9, 3.5778054557964916`*^9}, {3.578050767928121*^9, 3.578050812126649*^9}}], Cell[TextData[{ "The S.P. ", StyleBox["p", FontWeight->"Bold"], " , ", StyleBox["h", FontWeight->"Bold"], " and ", StyleBox["e", FontWeight->"Bold"], " have the property of being threaded over their (first) argument: ", StyleBox["p[{3,1,1}, v]", FontWeight->"Bold"], " equals ", StyleBox["p[3, v] p[1, v]^2", FontWeight->"Bold"], " and the transformation rules work on this last unevaluated form with \ integer argument. The forward and backward conversions on ", StyleBox["uu", FontWeight->"Bold"], " are performed by the functions ", StyleBox["threadSP[ expr , uu ]", FontWeight->"Bold"], " and ", StyleBox["unthreadSP[ arg , uu ] ", FontWeight->"Bold"], "regrouping (products of) integer arguments uu[ n ", Cell[BoxData[ FormBox[ SuperscriptBox[ RowBox[{ RowBox[{",", "v"}], "]"}], "i"], TraditionalForm]]], " uu[ m , ", Cell[BoxData[ FormBox[ SuperscriptBox[ RowBox[{"v", "]"}], "j"], TraditionalForm]]], " ... into partition arguments uu[{ n (i copies), m (j copies) ... }, v] \ or the reverse.\nThe S.P. ", StyleBox["m", FontWeight->"Bold"], " (monomial) and ", StyleBox["s", FontWeight->"Bold"], " (Schur) do not share this property, and always need a partition as first \ argument. Transformations thus need a threading step in order to get \ acceptable arguments." }], "Text", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.5777768190505104`*^9, 3.5777768826353064`*^9}, { 3.577776924801244*^9, 3.577777161105074*^9}, {3.5777793774672203`*^9, 3.5777794391871557`*^9}, {3.5777795416584992`*^9, 3.577779710506572*^9}, 3.5778054755086193`*^9, {3.577805577051427*^9, 3.577805588659091*^9}, { 3.5778059809685297`*^9, 3.577806001144684*^9}, 3.5810072698924417`*^9}], Cell[TextData[{ "Transformation Functions:\n", StyleBox["u[ arg , ", FontWeight->"Bold"], "# of variables", StyleBox[" v ]", FontWeight->"Bold"], " produces the expanded format \[CapitalSigma] a ", Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox[ SubscriptBox["x", "1"], "i"], " ", SuperscriptBox[ SubscriptBox["x", "2"], "j"]}], TraditionalForm]]], " ... ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["x", "v"], "z"], TraditionalForm]]], " ,\n", StyleBox["expr2pow[ arg ]", FontWeight->"Bold"], " converts expanded format into condensed format ", Cell[BoxData[ FormBox[ SubscriptBox["\[CapitalSigma]", "i"], TraditionalForm]]], " ", Cell[BoxData[ FormBox[ SubscriptBox["a", "i"], TraditionalForm]]], " ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["p", "n"], "i"], TraditionalForm]]], " ,\n", StyleBox["pow2m[ condensed , v ", FontWeight->"Bold"], ":optional ", StyleBox["]", FontWeight->"Bold"], " converts the condensed format into monomial S.P. but if no ", StyleBox["v", FontWeight->"Bold"], " (# of variables) is entered, then it defaults to the partition size ", StyleBox["n", FontWeight->"Bold"], " common to all terms ", Cell[BoxData[ FormBox[ SuperscriptBox[ SubscriptBox["p", "n"], "i"], TraditionalForm]]], " \n", StyleBox["uu[ arg , v ]", FontWeight->"Bold"], " is an inactive (unevaluated) representation except for a partition \ \[Lambda] as argument when |\[Lambda]|> ", StyleBox["v", FontWeight->"Bold"], " (producing 0) ;\n\n", StyleBox["u2w[ arg , v ]", FontWeight->"Bold"], " converts ", StyleBox["uu[ arg , v ]", FontWeight->"Bold"], " into ", StyleBox["ww[ arg , v ]", FontWeight->"Bold"], " if such transformation is known and available; it is intended to be \ implemented as a substitution rule, example: ", StyleBox["( expression containing uu[ arg , v ] ) /. uu-> u2w //Expand", FontWeight->"Bold"], "\n\n", StyleBox["monomProd2Sum[ arg ]", FontWeight->"Bold"], " implements the decomposition of powers and products of mm[ par, v ] into \ sums of them. ( http://math.stackexchange.com/questions/83214 )\n", StyleBox["schurProd2Sum[ arg ]", FontWeight->"Bold"], " implements the decomposition of powers and products of ss[ par, v ] into \ sums of them by calling the L-R rule package.\n\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[{"rankpartition", "[", RowBox[{"{", "}"}], "]"}], ":=", "0"}], ";"}], "\[IndentingNewLine]", 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, {3.642667706963627*^9, 3.642667708907738*^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[{"0", ",", "All"}], "]"}], ":=", RowBox[{"{", "}"}]}], ";"}], "\[IndentingNewLine]", 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}, { 3.642669185913218*^9, 3.6426691959207907`*^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[{"{", "}"}], "]"}], ":=", RowBox[{"{", "}"}]}], ";"}], "\[IndentingNewLine]", 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, {3.6431155879401245`*^9, 3.643115596108592*^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[{ RowBox[{ RowBox[{"dummy", "+", "li"}], " ", "/.", " ", RowBox[{"Plus", " ", "->", " ", "List"}]}], " ", "/.", " ", RowBox[{ RowBox[{ RowBox[{"Subscript", "[", RowBox[{"p", ",", " ", "a_"}], "]"}], "^", RowBox[{"(", RowBox[{"b_:", "1"}], ")"}]}], " ", ":>", " ", RowBox[{"X", "[", RowBox[{ RowBox[{"Partitions", "[", "a", "]"}], "[", RowBox[{"[", "b", "]"}], "]"}], "]"}]}]}], "/.", " ", RowBox[{"dummy", "\[Rule]", RowBox[{"Sequence", "[", "]"}]}]}]}], ";"}], " "}]], "Input", PageWidth->WindowWidth, CellMargins->{{66, 0}, {2, 10}}, InitializationCell->True, CellChangeTimes->{ 3.580366653064424*^9, 3.5803674278567395`*^9, {3.632471278257386*^9, 3.632471281848592*^9}, {3.63247133689674*^9, 3.6324713664164286`*^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[{ RowBox[{"mm", "[", RowBox[{ RowBox[{"{", "}"}], ",", "_"}], "]"}], ":=", "1"}], ";"}], " ", RowBox[{"(*", " ", RowBox[{"added", " ", RowBox[{ RowBox[{"13", "/", "08"}], "/", "2015"}]}], " ", "*)"}]}], "\[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}, {3.6484513918817825`*^9, 3.6484514032254314`*^9}, { 3.64845144043356*^9, 3.648451457481535*^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["for LRRule, see section \[OpenCurlyDoubleQuote]Littlewood-Richardson\ \[CloseCurlyDoubleQuote] below.", "Text", CellChangeTimes->{{3.6467309779460135`*^9, 3.6467310112339177`*^9}}], 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}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"f", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", "v_"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"f2e", "[", RowBox[{"\[Lambda]", ",", "v"}], "]"}], "/.", RowBox[{"ee", "\[Rule]", "e"}]}], "//", "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}, {3.6340260269006042`*^9, 3.6340260695010414`*^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["modif for {} element 2016/09/04 :", "Text", CellChangeTimes->{{3.681973413569319*^9, 3.6819734553127065`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"LRRule", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", RowBox[{"{", "}"}]}], "]"}], ":=", RowBox[{"{", "\[Lambda]", "}"}]}], ";", " ", RowBox[{ RowBox[{"LRRule", "[", RowBox[{ RowBox[{"{", "}"}], ",", RowBox[{"\[Mu]_", "?", "Partition1Q"}]}], "]"}], ":=", RowBox[{"{", "\[Mu]", "}"}]}], ";", 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}, 3.681973108588875*^9, {3.68197336289042*^9, 3.6819733642254963`*^9}, { 3.6819755910828657`*^9, 3.6819756048576536`*^9}}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"cLR", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "PartitionQ"}], ",", RowBox[{"\[Mu]_", "?", "PartitionQ"}], ",", RowBox[{"\[Nu]_", "?", "PartitionQ"}]}], "]"}], ":=", " ", RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{"Tr", "[", "\[Lambda]", "]"}], "=!=", RowBox[{ RowBox[{"Tr", "[", "\[Mu]", "]"}], "+", RowBox[{"Tr", "[", "\[Nu]", "]"}]}]}], ",", "0", ",", RowBox[{"Count", "[", RowBox[{ RowBox[{"LRRule", "[", RowBox[{"\[Mu]", ",", "\[Nu]"}], "]"}], ",", "\[Lambda]"}], "]"}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.681910607569848*^9, 3.681910743116601*^9}}, Background->RGBColor[0.88, 1, 0.88]] }, 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[{"AngleBracket", "[", RowBox[{"0", ",", "_"}], "]"}], ":=", "0"}], ";", RowBox[{ RowBox[{"AngleBracket", "[", RowBox[{"_", ",", "0"}], "]"}], ":=", "0"}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.631528463247034*^9, 3.631528524403532*^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]], Cell[CellGroupData[{ Cell["skewschur, skewSYT and skewSSYT", "Subsection", CellMargins->{{66, 0}, {2, 10}}, CellChangeTimes->{{3.6294710578473425`*^9, 3.629471061343543*^9}, { 3.6467303977338276`*^9, 3.6467304044542117`*^9}, {3.646730814290653*^9, 3.6467308292275076`*^9}}], Cell["\<\ skewschur modified # of variables from Max[Length[\[Lambda]],Length[\[Mu]]] \ to Tr[\[Lambda]]-Tr[\[Mu]] on 01/02/2015.\[LineSeparator]Determinant size set \ to v0 i.s.o. v on 13/08/2015.\ \>", "Text", CellChangeTimes->{{3.648452583961966*^9, 3.6484525892252665`*^9}, { 3.648458956191437*^9, 3.648459036340021*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"skewschur", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "PartitionQ"}], ",", RowBox[{"\[Mu]_", "?", "PartitionQ"}], ",", RowBox[{"v1_:", "0"}]}], "]"}], " ", ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"v", ",", "v0"}], "}"}], ",", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"Not", "[", RowBox[{"majorsweak", "[", RowBox[{"\[Lambda]", ",", "\[Mu]"}], "]"}], "]"}], ",", RowBox[{"Return", "[", "0", "]"}]}], "]"}], ";", RowBox[{"v", "=", RowBox[{"Max", "[", RowBox[{"v1", ",", RowBox[{ RowBox[{"Tr", "[", "\[Lambda]", "]"}], "-", RowBox[{"Tr", "[", "\[Mu]", "]"}]}]}], "]"}]}], ";", RowBox[{"v0", "=", 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]", ",", "v0"}], "]"}], "[", RowBox[{"[", "i", "]"}], "]"}], "-", RowBox[{ RowBox[{"PadRight", "[", " ", RowBox[{"\[Mu]", " ", ",", "v0"}], "]"}], "[", RowBox[{"[", "j", "]"}], "]"}], "-", "i", "+", "j"}], ",", "v"}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "v0"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "v0"}], "}"}]}], "]"}]}], ",", "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}, {3.631776185410411*^9, 3.631776206849637*^9}, {3.643202078794219*^9, 3.643202089425827*^9}, { 3.648458814861353*^9, 3.6484588795730543`*^9}, 3.6484589316610336`*^9, { 3.6787985456775846`*^9, 3.678798615500578*^9}, {3.6787986715567846`*^9, 3.6787987107250247`*^9}, 3.678798908347328*^9, 3.6787990526575823`*^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"}], "}"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"!", RowBox[{"majorsweak", "[", RowBox[{"\[Lambda]", ",", "\[Mu]"}], "]"}]}], ",", RowBox[{"Return", "[", "0", "]"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"v", "=", RowBox[{ RowBox[{"Tr", "[", "\[Lambda]", "]"}], "-", RowBox[{"Tr", "[", "\[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}, 3.631776389840103*^9, 3.6432021190265207`*^9, {3.6484538654732637`*^9, 3.6484539210164413`*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"showskew", "[", RowBox[{"\[Lambda]_", ",", "\[Mu]_"}], "]"}], ":=", RowBox[{"If", "[", RowBox[{ RowBox[{"majorsweak", "[", RowBox[{"\[Lambda]", ",", "\[Mu]"}], "]"}], ",", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"1", "-", " ", RowBox[{"Boole", "[", RowBox[{ RowBox[{"i", "<=", RowBox[{"Length", "[", "\[Mu]", "]"}]}], "&&", RowBox[{"j", "<=", RowBox[{"\[Mu]", "[", RowBox[{"[", "i", "]"}], "]"}]}]}], "]"}]}], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"Length", "[", "\[Lambda]", "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"\[Lambda]", "[", RowBox[{"[", "i", "]"}], "]"}]}], "}"}]}], "]"}], "/.", " ", RowBox[{"1", "\[Rule]", "\"\\""}]}], "}"}], "//", "tableauxForm"}], ",", RowBox[{"{", "}"}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.641909681409137*^9, 3.6419097597926197`*^9}, 3.641909796032693*^9, 3.642077522903056*^9, {3.6420775622303057`*^9, 3.6420775777991962`*^9}, {3.6420776156223593`*^9, 3.642077616046384*^9}, 3.642077976227985*^9, {3.642078008987859*^9, 3.642078018931427*^9}, { 3.642078068003234*^9, 3.6420781162509937`*^9}, {3.6432019476757193`*^9, 3.6432019556671767`*^9}, {3.6774761622643557`*^9, 3.6774761632234106`*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"skewSYT", "[", RowBox[{"\[Lambda]_", ",", " ", "\[Mu]_"}], "]"}], " ", "/;", " ", RowBox[{"majorsweak", "[", RowBox[{"\[Lambda]", ",", " ", "\[Mu]"}], "]"}]}], " ", ":=", " ", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"a1", ",", " ", "a2", ",", " ", "a3", ",", " ", "a4"}], "}"}], ",", " ", "\n", " ", RowBox[{ RowBox[{"a1", " ", "=", " ", RowBox[{"Rest", " ", "/@", " ", RowBox[{"Position", "[", RowBox[{ RowBox[{"Nest", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"Map", "[", RowBox[{"trim", ",", " ", "#1", ",", " ", RowBox[{"{", RowBox[{"-", "2"}], "}"}]}], "]"}], " ", "/.", " ", "\n", " ", RowBox[{ RowBox[{ RowBox[{"q", ":", RowBox[{"{", "__Integer", "}"}]}], " ", "/;", " ", RowBox[{"!", RowBox[{"majorsweak", "[", RowBox[{"q", ",", " ", "\[Mu]"}], "]"}]}]}], " ", "->", " ", RowBox[{"{", "}"}]}]}], " ", "&"}], " ", ",", " ", RowBox[{"{", "\[Lambda]", "}"}], ",", " ", RowBox[{ RowBox[{"Tr", "[", "\[Lambda]", "]"}], " ", "-", " ", RowBox[{"Tr", "[", "\[Mu]", "]"}]}]}], "]"}], ",", " ", "\[Mu]"}], "]"}]}]}], ";", " ", "\n", " ", RowBox[{"a2", " ", "=", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"FoldList", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"trim", "[", "#1", "]"}], "[", RowBox[{"[", "#2", "]"}], "]"}], " ", "&"}], " ", ",", " ", "\[Lambda]", ",", " ", "#1"}], "]"}], " ", "&"}], " ", ")"}], " ", "/@", " ", "a1"}]}], ";", " ", "\n", " ", RowBox[{"a3", " ", "=", " ", RowBox[{"-", RowBox[{"Differences", " ", "/@", " ", RowBox[{"Map", "[", RowBox[{ RowBox[{ RowBox[{"PadRight", "[", RowBox[{"#1", ",", " ", RowBox[{"Length", "[", "\[Lambda]", "]"}]}], "]"}], " ", "&"}], " ", ",", " ", "a2", ",", " ", RowBox[{"{", RowBox[{"-", "2"}], "}"}]}], "]"}]}]}]}], ";", " ", "\n", " ", RowBox[{"a4", " ", "=", " ", RowBox[{"Map", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"Range", "[", RowBox[{"Length", "[", "\[Lambda]", "]"}], "]"}], " ", ".", " ", "#1"}], " ", "&"}], " ", ",", " ", "a3", ",", " ", RowBox[{"{", RowBox[{"-", "2"}], "}"}]}], "]"}]}], ";", " ", "\n", " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"it", ",", " ", "w"}], "}"}], ",", " ", RowBox[{ RowBox[{"it", " ", "=", " ", RowBox[{"0", "*", RowBox[{"Range", " ", "/@", " ", RowBox[{"PadRight", "[", RowBox[{"\[Mu]", ",", " ", RowBox[{"Length", "[", "\[Lambda]", "]"}]}], "]"}]}]}]}], ";", " ", RowBox[{"w", " ", "=", " ", "1"}], ";", " ", "\n", " ", RowBox[{"Fold", "[", RowBox[{ RowBox[{ RowBox[{"MapAt", "[", RowBox[{ RowBox[{ RowBox[{"Flatten", "[", RowBox[{"{", RowBox[{"#1", ",", " ", RowBox[{"w", "++"}]}], "}"}], "]"}], " ", "&"}], " ", ",", " ", "#1", ",", " ", RowBox[{"{", "#2", "}"}]}], "]"}], " ", "&"}], " ", ",", " ", "it", ",", " ", RowBox[{"Reverse", "[", "#1", "]"}]}], "]"}]}]}], "]"}], " ", "&"}], " ", ")"}], " ", "/@", " ", "a4"}]}]}], "]"}]}]], "Input", InitializationCell->True, CellChangeTimes->{{3.642235839087224*^9, 3.6422358876880035`*^9}, { 3.64223628204556*^9, 3.642236533556945*^9}, 3.6422367396237316`*^9, { 3.6431151424016414`*^9, 3.6431151460978527`*^9}, {3.643181007376003*^9, 3.643181007904033*^9}, {3.6435341198703513`*^9, 3.6435341238695803`*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"countSkewSYT", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", RowBox[{"\[Alpha]_", "?", "Partition1Q"}]}], "]"}], "/;", " ", RowBox[{"majorsweak", "[", RowBox[{"\[Lambda]", ",", "\[Alpha]"}], "]"}]}], ":=", RowBox[{ RowBox[{"skewschur", "[", RowBox[{"\[Lambda]", ",", "\[Alpha]"}], "]"}], "/.", " ", RowBox[{ RowBox[{"ss", "[", RowBox[{"q_", ",", "_"}], "]"}], "\[RuleDelayed]", " ", RowBox[{"NumberOfTableaux", "[", "q", "]"}]}]}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.6429222277778664`*^9, 3.6429222617148075`*^9}, { 3.6429222962897854`*^9, 3.642922394817421*^9}, 3.643114935702819*^9, { 3.6431808692001*^9, 3.643180870287162*^9}, 3.643197495418065*^9, { 3.6467305741169157`*^9, 3.646730575813013*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"skewSSYT", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", RowBox[{"\[Mu]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"a1", ",", "a2", ",", "a3"}], "}"}], ",", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"!", RowBox[{"majorsweak", "[", RowBox[{"\[Lambda]", ",", "\[Mu]"}], "]"}]}], ",", RowBox[{"{", "}"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"a1", "=", RowBox[{"Transpose", "[", RowBox[{"{", RowBox[{ RowBox[{"TransposePartition", "[", "\[Lambda]", "]"}], ",", RowBox[{ RowBox[{"TransposePartition", "[", "\[Lambda]", "]"}], "-", RowBox[{"PadRight", "[", RowBox[{ RowBox[{"TransposePartition", "[", "\[Mu]", "]"}], ",", RowBox[{"First", "[", "\[Lambda]", "]"}]}], "]"}]}]}], "}"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"a2", "=", RowBox[{ RowBox[{"Function", "[", RowBox[{"a", ",", RowBox[{ RowBox[{ RowBox[{"PadLeft", "[", RowBox[{"#", ",", RowBox[{"First", "@", "a"}]}], "]"}], "&"}], "/@", RowBox[{"KSubsets", "[", RowBox[{ RowBox[{"Range", "[", "v", "]"}], ",", RowBox[{"Last", "@", "a"}]}], "]"}]}]}], "]"}], "/@", "a1"}]}], ";", RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{"First", "[", "\[Lambda]", "]"}], "===", "1"}], ",", RowBox[{"Return", "[", RowBox[{"Flatten", "[", RowBox[{"a2", ",", "1"}], "]"}], "]"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"a3", "=", RowBox[{"Backtrack", "[", RowBox[{"a2", ",", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"Min", "[", RowBox[{"Min", "/@", RowBox[{"Differences", "[", RowBox[{"Transpose", "[", RowBox[{"PadRight", "[", RowBox[{ RowBox[{"{", "#", "}"}], ",", "Automatic", ",", "999"}], "]"}], "]"}], "]"}]}], "]"}], "\[GreaterEqual]", "0"}], ")"}], "&"}], ",", RowBox[{"True", "&"}], ",", "All"}], "]"}]}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"DeleteCases", "[", RowBox[{ RowBox[{"Transpose", "[", RowBox[{"PadRight", "[", RowBox[{"#", ",", "Automatic", ",", "999"}], "]"}], "]"}], ",", "999", ",", RowBox[{"-", "1"}]}], "]"}], "&"}], "/@", "a3"}]}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.6434489890568094`*^9, 3.6434490046006985`*^9}, { 3.643449470613353*^9, 3.643449471877425*^9}, 3.6434497835082493`*^9, { 3.6434502573683524`*^9, 3.6434502877520905`*^9}, 3.6435419222946243`*^9, 3.6459613149434214`*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"countSkewSSYT", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "Partition1Q"}], ",", RowBox[{"\[Mu]_", "?", "Partition1Q"}], ",", "v_Integer"}], "]"}], ":=", RowBox[{"If", "[", RowBox[{ RowBox[{"!", RowBox[{"majorsweak", "[", RowBox[{"\[Lambda]", ",", "\[Mu]"}], "]"}]}], ",", "0", ",", RowBox[{ RowBox[{"skewschur", "[", RowBox[{"\[Lambda]", ",", "\[Mu]"}], "]"}], "/.", " ", RowBox[{ RowBox[{"ss", "[", RowBox[{"a_", ",", "_"}], "]"}], "\[RuleDelayed]", RowBox[{"stanley", "[", RowBox[{"a", ",", "v"}], "]"}]}]}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.6435419353263693`*^9, 3.643542058467413*^9}, 3.6435421330036764`*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"skewredu1", "[", RowBox[{"\[Lambda]_", ",", "\[Mu]_"}], "]"}], "/;", RowBox[{"majorsweak", "[", RowBox[{"\[Lambda]", ",", "\[Mu]"}], "]"}]}], ":=", RowBox[{ RowBox[{ RowBox[{"Delete", "[", RowBox[{"#", ",", RowBox[{"List", "/@", RowBox[{"DeleteCases", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"i", " ", RowBox[{"Boole", "[", RowBox[{ RowBox[{"\[Lambda]", "[", RowBox[{"[", "i", "]"}], "]"}], "\[Equal]", RowBox[{"\[Mu]", "[", RowBox[{"[", "i", "]"}], "]"}]}], "]"}]}], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"Length", "[", "\[Mu]", "]"}]}], "}"}]}], "]"}], ",", "0"}], "]"}]}]}], "]"}], "&"}], "/@", RowBox[{"{", RowBox[{"\[Lambda]", ",", "\[Mu]"}], "}"}]}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"skewredu", "[", RowBox[{"\[Lambda]_", ",", "\[Mu]_"}], "]"}], "/;", RowBox[{"majorsweak", "[", RowBox[{"\[Lambda]", ",", "\[Mu]"}], "]"}]}], ":=", RowBox[{"TransposePartition", "/@", RowBox[{"Apply", "[", RowBox[{"skewredu1", ",", RowBox[{"TransposePartition", "/@", RowBox[{"skewredu1", "[", RowBox[{"\[Lambda]", ",", "\[Mu]"}], "]"}]}]}], "]"}]}]}], ";"}]}], "Input", InitializationCell->True, CellChangeTimes->{{3.643790415545544*^9, 3.643790415546544*^9}, 3.643790506928771*^9, {3.646730626548915*^9, 3.64673064219581*^9}, { 3.646730679348935*^9, 3.646730680259987*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"skewfactor", "[", RowBox[{"\[Lambda]1_", ",", "\[Mu]1_"}], "]"}], "/;", RowBox[{"majorsweak", "[", RowBox[{"\[Lambda]1", ",", "\[Mu]1"}], "]"}]}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"a1", ",", "a2", ",", "a3", ",", "\[Lambda]", ",", "\[Mu]"}], "}"}], ",", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"\[Lambda]", ",", "\[Mu]"}], "}"}], "=", RowBox[{"skewredu", "[", RowBox[{"\[Lambda]1", ",", "\[Mu]1"}], "]"}]}], ";", RowBox[{"a1", "=", RowBox[{"Apply", "[", RowBox[{"Join", ",", RowBox[{"Table", "[", RowBox[{ RowBox[{"{", RowBox[{"i", ",", "j"}], "}"}], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"Length", "[", "\[Lambda]", "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"\[Lambda]", "[", RowBox[{"[", "i", "]"}], "]"}], ",", RowBox[{"\[Lambda]", "[", RowBox[{"[", RowBox[{"Min", "[", RowBox[{ RowBox[{"i", "+", "1"}], ",", RowBox[{"Length", "[", "\[Lambda]", "]"}]}], "]"}], "]"}], "]"}], ",", RowBox[{"-", "1"}]}], "}"}]}], "]"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"a2", "=", RowBox[{"Map", "[", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"First", "[", "#", "]"}], ",", RowBox[{ RowBox[{ RowBox[{"First", "[", "#", "]"}], ">", RowBox[{"Length", "[", "\[Mu]", "]"}]}], "||", RowBox[{ RowBox[{"\[Mu]", "[", RowBox[{"[", RowBox[{"First", "[", "#", "]"}], "]"}], "]"}], "<", RowBox[{"#", "[", RowBox[{"[", "2", "]"}], "]"}]}]}]}], "}"}], "&"}], ",", "a1"}], "]"}]}], ";", RowBox[{"a3", "=", RowBox[{"Map", "[", RowBox[{"First", ",", RowBox[{"DeleteCases", "[", RowBox[{ RowBox[{"SplitBy", "[", RowBox[{"a2", ",", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"#", ",", RowBox[{"{", RowBox[{"_", ",", "False"}], "}"}]}], "]"}], "&"}]}], "]"}], ",", RowBox[{"{", RowBox[{"{", RowBox[{"_", ",", "False"}], "}"}], "}"}]}], "]"}], ",", RowBox[{"{", "2", "}"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"Partition", "[", RowBox[{ RowBox[{"Flatten", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"skewredu", "[", RowBox[{ RowBox[{"Part", "[", RowBox[{"\[Lambda]", ",", "#"}], "]"}], ",", RowBox[{ RowBox[{"Part", "[", RowBox[{ RowBox[{"PadRight", "[", RowBox[{"\[Mu]", ",", RowBox[{"Length", "[", "\[Lambda]", "]"}], ",", "0"}], "]"}], ",", "#"}], "]"}], "/.", RowBox[{"0", "\[Rule]", RowBox[{"Sequence", "[", "]"}]}]}]}], "]"}], "&"}], "/@", RowBox[{"Map", "[", RowBox[{"Union", ",", "a3"}], "]"}]}], ",", "1"}], "]"}], ",", "2"}], "]"}]}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.643790431814475*^9, 3.643790431814475*^9}, 3.643790546297023*^9, {3.6437911972382545`*^9, 3.6437912090299287`*^9}, { 3.6467306477251263`*^9, 3.6467306662281847`*^9}, {3.6756830260573645`*^9, 3.6756830430893383`*^9}, {3.6756841364018726`*^9, 3.675684214738353*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"rectify", "[", RowBox[{"\[Zeta]", " ", ":", " ", RowBox[{"{", "__List", "}"}]}], "]"}], " ", "/;", " ", RowBox[{"PartitionQ", "[", RowBox[{"Length", " ", "/@", " ", "\[Zeta]"}], "]"}]}], " ", ":=", " ", RowBox[{"First", "[", RowBox[{"wordToTableaux", "[", RowBox[{"DeleteCases", "[", RowBox[{ RowBox[{"Flatten", "[", RowBox[{"Reverse", "[", "\[Zeta]", "]"}], "]"}], ",", " ", "0"}], "]"}], "]"}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{ 3.677479059935093*^9, {3.6774790946830807`*^9, 3.6774791005394154`*^9}}, Background->RGBColor[0.87, 0.94, 1]] }, Closed]], Cell[CellGroupData[{ Cell["t - core and t - quotients", "Subsection", CellChangeTimes->{{3.6749863991055126`*^9, 3.6749864614680796`*^9}}], Cell["\<\ credit to William J. Keith (Michigan Tech University Math Department) for \ guiding me in the study of t-core and t-quotients\ \>", "Text", CellChangeTimes->{3.6749872332912254`*^9}], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"toEdge", "[", RowBox[{"{", "}"}], "]"}], ":=", RowBox[{"{", "0", "}"}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"toEdge", "[", RowBox[{"par_", "?", "PartitionQ"}], "]"}], ":=", RowBox[{"Reverse", "[", RowBox[{"Flatten", "[", RowBox[{ RowBox[{"(", RowBox[{"par", "-", RowBox[{"PadRight", "[", RowBox[{ RowBox[{"Rest", "[", "par", "]"}], ",", RowBox[{"Length", "[", "par", "]"}]}], "]"}]}], ")"}], "/.", " ", RowBox[{"i_Integer", ":>", RowBox[{"{", RowBox[{"1", ",", " ", RowBox[{"0", "*", RowBox[{"Range", "@", "i"}]}]}], "}"}]}]}], "]"}], "]"}]}], ";"}]}], "Input", InitializationCell->True, CellChangeTimes->{{3.575620181140813*^9, 3.5756201844377933`*^9}, { 3.5756202546431646`*^9, 3.5756202548931723`*^9}, {3.5759528002061253`*^9, 3.5759528038467965`*^9}, 3.6747169885242248`*^9, {3.674982431023551*^9, 3.6749824611602755`*^9}}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"fromEdge", "[", RowBox[{"{", "}"}], "]"}], ":=", RowBox[{"{", "}"}]}], ";", RowBox[{ RowBox[{"fromEdge", "[", RowBox[{"{", RowBox[{ RowBox[{"1", " ", "..."}], ",", RowBox[{"0", " ", "..."}]}], "}"}], "]"}], ":=", RowBox[{"{", "}"}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"fromEdge", "[", RowBox[{"{", RowBox[{ RowBox[{"1", " ", ".."}], ",", "q__"}], "}"}], "]"}], ":=", RowBox[{"fromEdge", "[", RowBox[{"{", "q", "}"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"fromEdge", "[", RowBox[{"{", RowBox[{"q__", ",", RowBox[{"0", " ", ".."}]}], "}"}], "]"}], ":=", RowBox[{"fromEdge", "[", RowBox[{"{", "q", "}"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"fromEdge", "[", RowBox[{"edge", ":", RowBox[{"{", RowBox[{"0", ",", RowBox[{ RowBox[{"(", RowBox[{"1", "|", "0"}], ")"}], "..."}], ",", "1"}], "}"}]}], "]"}], ":=", RowBox[{"DeleteCases", "[", RowBox[{ RowBox[{"Reverse", "[", RowBox[{"Rest", "[", RowBox[{"FoldList", "[", RowBox[{"Plus", ",", "0", ",", RowBox[{"Reverse", "[", RowBox[{ RowBox[{ RowBox[{"Count", "[", RowBox[{"#", ",", "0"}], "]"}], "&"}], "/@", RowBox[{"Split", "[", RowBox[{ RowBox[{"Reverse", "@", "edge"}], ",", " ", RowBox[{ RowBox[{"FreeQ", "[", RowBox[{"#2", ",", "1"}], "]"}], "&"}]}], "]"}]}], "]"}]}], "]"}], "]"}], "]"}], ",", "0"}], "]"}]}], ";"}]}], "Input", InitializationCell->True, CellChangeTimes->{{3.5756202442678328`*^9, 3.5756202477991953`*^9}, { 3.5759528290033684`*^9, 3.5759528333002987`*^9}, {3.674047578305928*^9, 3.67404759320078*^9}, {3.6740480586294007`*^9, 3.6740480607045193`*^9}, { 3.6741170991899457`*^9, 3.6741171184450474`*^9}, {3.67411754177026*^9, 3.674117546962557*^9}, 3.6747169924684505`*^9}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"coredecompose", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "PartitionQ"}], ",", "d_Integer"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"temp", ",", "it"}], "}"}], ",", RowBox[{ RowBox[{"temp", "=", RowBox[{"Transpose", "[", RowBox[{"Partition", "[", RowBox[{ RowBox[{"toEdge", "[", "\[Lambda]", "]"}], ",", "d", ",", RowBox[{"{", "d", "}"}], ",", "1", ",", "0"}], "]"}], "]"}]}], ";", " ", RowBox[{"fromEdge", "/@", RowBox[{"Join", "[", RowBox[{ RowBox[{"{", RowBox[{"Flatten", "[", RowBox[{"it", "=", RowBox[{"Transpose", "[", RowBox[{ RowBox[{ RowBox[{"Reverse", "[", RowBox[{"Sort", "[", "#", "]"}], "]"}], "&"}], "/@", " ", "temp"}], "]"}]}], "]"}], " ", "}"}], ",", "\[IndentingNewLine]", " ", RowBox[{"RotateLeft", "[", RowBox[{"temp", ",", RowBox[{ RowBox[{"-", "1"}], "+", RowBox[{ RowBox[{"Position", "[", RowBox[{"it", ",", "0", ",", "2", ",", "1"}], "]"}], "[", RowBox[{"[", RowBox[{"1", ",", "2"}], "]"}], "]"}]}]}], "]"}]}], " ", "]"}]}]}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.575618730142912*^9, 3.575618757034397*^9}, { 3.575618811895528*^9, 3.5756188715536866`*^9}, {3.57561891650825*^9, 3.575618999055957*^9}, {3.575619035196351*^9, 3.575619054711851*^9}, 3.57561909307098*^9, {3.575619127680134*^9, 3.575619212163968*^9}, { 3.575620352349416*^9, 3.575620355537018*^9}, {3.5756203951789117`*^9, 3.5756204003040757`*^9}, {3.5757851219144936`*^9, 3.575785149556357*^9}, { 3.5757852051525974`*^9, 3.5757852419354954`*^9}, {3.57578529773487*^9, 3.575785337939796*^9}, {3.575785376582152*^9, 3.575785383004315*^9}, 3.575785507681775*^9, {3.575790235863554*^9, 3.575790259722471*^9}, { 3.576055999074129*^9, 3.5760560161381054`*^9}, {3.648554775969014*^9, 3.6485548142722054`*^9}, 3.6741199645748367`*^9, {3.6745715113592386`*^9, 3.674571512974331*^9}, {3.674571619045398*^9, 3.674571629548999*^9}, { 3.6748890370318155`*^9, 3.6748890480404453`*^9}, {3.674896458235284*^9, 3.6748964675958195`*^9}, 3.67489650152376*^9, {3.674896612042081*^9, 3.6748966263378987`*^9}, {3.674913976712283*^9, 3.6749139974874716`*^9}, { 3.674914045656227*^9, 3.6749140514715595`*^9}, {3.674973282310275*^9, 3.6749732934959145`*^9}, {3.6749733456398973`*^9, 3.6749733492471037`*^9}, {3.6749759037262115`*^9, 3.67497596838891*^9}, { 3.6749760080851803`*^9, 3.6749760402770214`*^9}, {3.67497615477157*^9, 3.674976156003641*^9}}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"core", "[", RowBox[{ RowBox[{"\[Lambda]_", "?", "PartitionQ"}], ",", "d_Integer"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", "temp", "}"}], ",", RowBox[{ RowBox[{"temp", "=", RowBox[{"Transpose", "[", RowBox[{"Partition", "[", RowBox[{ RowBox[{"toEdge", "[", "\[Lambda]", "]"}], ",", "d", ",", RowBox[{"{", "d", "}"}], ",", "1", ",", "0"}], "]"}], "]"}]}], ";", " ", RowBox[{"fromEdge", "@", RowBox[{"Flatten", "[", RowBox[{"Transpose", "[", RowBox[{ RowBox[{ RowBox[{"Reverse", "[", RowBox[{"Sort", "[", "#", "]"}], "]"}], "&"}], "/@", " ", "temp"}], "]"}], "]"}]}]}]}], " ", "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.575618730142912*^9, 3.575618757034397*^9}, { 3.575618811895528*^9, 3.5756188715536866`*^9}, {3.57561891650825*^9, 3.575618999055957*^9}, {3.575619035196351*^9, 3.575619054711851*^9}, 3.57561909307098*^9, {3.575619127680134*^9, 3.575619212163968*^9}, { 3.575620352349416*^9, 3.575620355537018*^9}, {3.5756203951789117`*^9, 3.5756204003040757`*^9}, {3.5757851219144936`*^9, 3.575785149556357*^9}, { 3.5757852051525974`*^9, 3.5757852419354954`*^9}, {3.57578529773487*^9, 3.575785337939796*^9}, {3.575785376582152*^9, 3.575785383004315*^9}, 3.575785507681775*^9, {3.575790235863554*^9, 3.575790259722471*^9}, { 3.576055999074129*^9, 3.5760560161381054`*^9}, {3.648554775969014*^9, 3.6485548142722054`*^9}, {3.673439433250125*^9, 3.67343948280996*^9}, 3.674138930212609*^9}, Background->RGBColor[0.88, 1, 0.88]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"corerecompose", "[", RowBox[{"{", RowBox[{ RowBox[{"cor_", "?", "Partition1Q"}], ",", RowBox[{"quot__", "?", "Partition1Q"}]}], "}"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"d", "=", RowBox[{"Length", "[", RowBox[{"{", "quot", "}"}], "]"}]}], ",", "beg", ",", "try", ",", "le", ",", "ri", ",", "x"}], "}"}], ",", RowBox[{ RowBox[{"d", "=", RowBox[{"Length", "[", RowBox[{"{", "quot", "}"}], "]"}]}], ";", RowBox[{"beg", "=", RowBox[{"Transpose", "[", RowBox[{"Partition", "[", RowBox[{ RowBox[{"toEdge", "@", "cor"}], ",", "d", ",", RowBox[{"{", "d", "}"}], ",", "1", ",", "0"}], "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"try", "=", RowBox[{"toEdge", "/@", RowBox[{"{", "quot", "}"}]}]}], ";", "\[IndentingNewLine]", RowBox[{"le", "=", RowBox[{ RowBox[{"Max", "[", RowBox[{ RowBox[{"Tr", "/@", "try"}], "-", RowBox[{"Tr", "/@", "beg"}]}], "]"}], "-", RowBox[{"(", RowBox[{ RowBox[{"Tr", "/@", "try"}], "-", RowBox[{"Tr", "/@", "beg"}]}], ")"}]}]}], ";", "\[IndentingNewLine]", RowBox[{"ri", "=", RowBox[{ RowBox[{"Max", "[", RowBox[{ RowBox[{"Length", "/@", "try"}], "-", RowBox[{"Tr", "/@", "try"}], "+", RowBox[{"Tr", "/@", "beg"}]}], "]"}], "-", RowBox[{"(", RowBox[{ RowBox[{"Length", "/@", "try"}], "-", RowBox[{"Tr", "/@", "try"}], "+", RowBox[{"Tr", "/@", "beg"}]}], ")"}]}]}], ";", "\[IndentingNewLine]", RowBox[{"fromEdge", "@", RowBox[{"Flatten", "[", RowBox[{"Transpose", "[", RowBox[{"PadRight", "[", RowBox[{ RowBox[{"Thread", "[", RowBox[{"x", "[", RowBox[{"try", ",", RowBox[{"le", "+", RowBox[{"Length", "/@", "try"}]}], ",", "1"}], "]"}], "]"}], "/.", " ", RowBox[{"x", "\[Rule]", "PadLeft"}]}], "]"}], "]"}], "]"}]}]}]}], "\[IndentingNewLine]", "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.674906829546489*^9, 3.6749070043684883`*^9}, { 3.6749070662320266`*^9, 3.6749070913924656`*^9}, {3.6749071394082117`*^9, 3.6749071669677887`*^9}, {3.674907231047454*^9, 3.674907333199296*^9}, { 3.674907520093986*^9, 3.6749075565250697`*^9}, {3.6749080446509886`*^9, 3.6749080472651386`*^9}, {3.6749095154241123`*^9, 3.674909523919598*^9}, 3.674909841693774*^9, {3.6749108424220123`*^9, 3.6749108471022797`*^9}, { 3.6749110255694876`*^9, 3.674911058037345*^9}, {3.674976300892928*^9, 3.6749763083873568`*^9}, {3.6749763843226995`*^9, 3.674976387978909*^9}, { 3.6750592811240654`*^9, 3.6750593032843328`*^9}, {3.675059346523806*^9, 3.675059366570953*^9}}, Background->RGBColor[0.88, 1, 0.88]] }, Closed]], Cell[CellGroupData[{ Cell["RSK correspondence ", "Subsection", CellChangeTimes->{{3.67498955798919*^9, 3.6749895689488173`*^9}}], Cell[TextData[{ "(Robinson\[Dash]Schensted\[Dash]Knuth \ correspondence)\[LineSeparator]built-in functions require a permutation resp. \ a Standard YT as argument(s).\[LineSeparator]This restriction is bypassed in \ this section. \[LineSeparator]alternative functions : ", StyleBox["wordToTableaux ", FontWeight->"Bold"], "and ", StyleBox["tableauxToWord", FontWeight->"Bold"] }], "Text", CellChangeTimes->{{3.674989832210875*^9, 3.6749899462823997`*^9}, { 3.6749899815464163`*^9, 3.6749899876587663`*^9}, {3.674990203785128*^9, 3.6749902300886326`*^9}, {3.674990328813279*^9, 3.6749903765520096`*^9}, { 3.674990410990979*^9, 3.674990412295054*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "PermutationToTableaux"}]], "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}, {3.6749897390365458`*^9, 3.674989743645809*^9}}], Cell[BoxData[ RowBox[{ StyleBox["\<\"\!\(\*RowBox[{\\\"PermutationToTableaux\\\", \\\"[\\\", \ StyleBox[\\\"p\\\", \\\"TI\\\"], \\\"]\\\"}]\) returns the tableaux pair that \ can be constructed from \!\(\*StyleBox[\\\"p\\\", \\\"TI\\\"]\) using the \ Robinson\[Dash]Schensted\[Dash]Knuth correspondence.\"\>", "MSG"], "\[NonBreakingSpace]", ButtonBox[ StyleBox["\[RightSkeleton]", "SR"], Active->True, BaseStyle->"Link", ButtonData->"paclet:Combinatorica/ref/PermutationToTableaux"]}]], "Print", \ "PrintUsage", CellChangeTimes->{3.6819748498644705`*^9}, CellTags->"Info1643681982049-8279318"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "TableauxToPermutation"}]], "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}, {3.6749897390365458`*^9, 3.674989743645809*^9}, { 3.674989793076637*^9, 3.674989798990975*^9}}], Cell[BoxData[ RowBox[{ StyleBox["\<\"\!\(\*RowBox[{\\\"TableauxToPermutation\\\", \\\"[\\\", \ RowBox[{SubscriptBox[StyleBox[\\\"t\\\", \\\"TI\\\"], StyleBox[\\\"1\\\", \ \\\"TR\\\"]], \\\",\\\", SubscriptBox[StyleBox[\\\"t\\\", \\\"TI\\\"], \ StyleBox[\\\"2\\\", \\\"TR\\\"]]}], \\\"]\\\"}]\) constructs the unique \ permutation associated with Young tableaux \ \!\(\*SubscriptBox[StyleBox[\\\"t\\\", \\\"TI\\\"], StyleBox[\\\"1\\\", \ \\\"TR\\\"]]\) and \!\(\*SubscriptBox[StyleBox[\\\"t\\\", \\\"TI\\\"], \ StyleBox[\\\"2\\\", \\\"TR\\\"]]\), where both tableaux have the same \ shape.\"\>", "MSG"], "\[NonBreakingSpace]", ButtonBox[ StyleBox["\[RightSkeleton]", "SR"], Active->True, BaseStyle->"Link", ButtonData->"paclet:Combinatorica/ref/TableauxToPermutation"]}]], "Print", \ "PrintUsage", CellChangeTimes->{3.681974849915473*^9}, CellTags->"Info1653681982049-8279318"] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"plug", "[", RowBox[{"t_List", ",", "x_"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"head", ",", "bump", ",", "po", ",", RowBox[{"t1", "=", "t"}]}], "}"}], ",", " ", RowBox[{ RowBox[{"po", "=", RowBox[{"Flatten", "[", RowBox[{"Position", "[", RowBox[{ RowBox[{ RowBox[{"Thread", "[", RowBox[{"head", "[", RowBox[{"t1", ",", "x"}], "]"}], "]"}], "/.", " ", RowBox[{"head", "\[Rule]", "Order"}]}], ",", RowBox[{"-", "1"}], ",", "1", ",", "1"}], "]"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"po", "===", RowBox[{"{", "}"}]}], ",", RowBox[{"Return", "[", RowBox[{"{", RowBox[{ RowBox[{"t1", "=", RowBox[{"Flatten", "[", RowBox[{"{", RowBox[{"t1", ",", "x"}], "}"}], "]"}]}], ",", RowBox[{"{", "}"}]}], "}"}], "]"}], ",", RowBox[{ RowBox[{ RowBox[{"{", "bump", "}"}], "=", RowBox[{"t1", "[", RowBox[{"[", "po", "]"}], "]"}]}], ";", RowBox[{"t1", "=", RowBox[{"ReplacePart", "[", RowBox[{"t1", ",", RowBox[{ RowBox[{"First", "[", "po", "]"}], "\[Rule]", "x"}]}], "]"}]}], ";", RowBox[{"{", RowBox[{"t1", ",", "bump"}], "}"}]}]}], "]"}]}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.6704095513411984`*^9, 3.6704096755103006`*^9}, { 3.670409711255345*^9, 3.670409833591342*^9}, 3.670409878766926*^9, { 3.670409933694068*^9, 3.6704099464227953`*^9}, {3.670409981851822*^9, 3.6704100767972527`*^9}, {3.6704101496614203`*^9, 3.6704101939729548`*^9}, {3.6704102367324004`*^9, 3.670410312492734*^9}, { 3.6704103869469924`*^9, 3.6704103992676973`*^9}, {3.6704104629303384`*^9, 3.670410493219071*^9}, {3.6704105753137665`*^9, 3.6704106295138664`*^9}, { 3.6704106808648033`*^9, 3.6704107097214537`*^9}, {3.6704180922697115`*^9, 3.67041813594821*^9}, {3.6705677304497705`*^9, 3.670567768976974*^9}, { 3.6705679270650163`*^9, 3.670567927496041*^9}, {3.6705679751527667`*^9, 3.6705680379833603`*^9}, {3.670568167854789*^9, 3.670568171847017*^9}, { 3.6705682689825726`*^9, 3.6705683369654613`*^9}, 3.6749901777456384`*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"ins", "[", RowBox[{ RowBox[{"t", ":", RowBox[{"{", "__List", "}"}]}], ",", "x1_"}], "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"row", "=", "1"}], ",", "new", ",", RowBox[{"t2", "=", RowBox[{"First", "[", "t", "]"}]}], ",", RowBox[{"t3", "=", RowBox[{"Last", "[", "t", "]"}]}], ",", RowBox[{"x", "=", "x1"}]}], "}"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"While", "[", RowBox[{ RowBox[{ RowBox[{"row", "\[LessEqual]", " ", RowBox[{"Length", "[", "t2", "]"}]}], "&&", " ", RowBox[{"x", "=!=", " ", RowBox[{"{", "}"}]}]}], ",", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"new", ",", "x"}], "}"}], "=", RowBox[{"plug", "[", RowBox[{ RowBox[{"t2", "[", RowBox[{"[", "row", "]"}], "]"}], ",", "x"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"t2", "=", RowBox[{"ReplacePart", "[", RowBox[{"t2", ",", RowBox[{"row", "\[Rule]", "new"}]}], "]"}]}], ";", RowBox[{"row", "++"}]}]}], "]"}], ";", RowBox[{"If", "[", RowBox[{ RowBox[{"x", "===", RowBox[{"{", "}"}]}], ",", " ", RowBox[{"{", RowBox[{"t2", ",", RowBox[{"Append", "[", RowBox[{"t3", ",", RowBox[{"row", "-", "1"}]}], "]"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"Append", "[", RowBox[{"t2", ",", RowBox[{"{", "x", "}"}]}], "]"}], ",", RowBox[{"Append", "[", RowBox[{"t3", ",", RowBox[{ RowBox[{"Length", "[", "t2", "]"}], "+", "1"}]}], "]"}]}], "}"}]}], "]"}]}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.670416258591831*^9, 3.6704163395374613`*^9}, { 3.670416522495926*^9, 3.6704165333675475`*^9}, {3.6704165709756985`*^9, 3.6704166918066096`*^9}, {3.6704167507579813`*^9, 3.6704167965656013`*^9}, {3.6704168669896297`*^9, 3.6704168707258434`*^9}, {3.6704173277939863`*^9, 3.670417347658122*^9}, { 3.6704174160900364`*^9, 3.670417418689185*^9}, {3.670417474465375*^9, 3.6704175480565844`*^9}, {3.6704175943922343`*^9, 3.6704176524715567`*^9}, {3.670417941270075*^9, 3.670418054268538*^9}, { 3.670418366667406*^9, 3.6704185410183783`*^9}, {3.6704189182149525`*^9, 3.6704189220631733`*^9}, {3.6705677882810783`*^9, 3.670567825329197*^9}, { 3.670568061831724*^9, 3.6705680881112275`*^9}, {3.6705681201110578`*^9, 3.6705681277944975`*^9}, {3.6705683811169863`*^9, 3.670568415828972*^9}, { 3.670576966009014*^9, 3.6705770026651106`*^9}, {3.6705770363450375`*^9, 3.6705770739041853`*^9}, {3.6705771117443495`*^9, 3.6705771557588673`*^9}, 3.6749900789619884`*^9, 3.674990175920534*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"wordToTableaux", "[", "str_List", "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", "tem", "}"}], ",", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"First", "@", "#"}], ",", RowBox[{ RowBox[{"tem", "=", "0"}], ";", RowBox[{"Fold", "[", RowBox[{ RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{"tem", "++"}], ";", RowBox[{"#2", ">", RowBox[{"Length", "[", "#1", "]"}]}]}], ",", RowBox[{"Append", "[", RowBox[{"#1", ",", RowBox[{"{", "tem", "}"}]}], "]"}], ",", RowBox[{"MapAt", "[", RowBox[{ RowBox[{ RowBox[{"Append", "[", RowBox[{"#", ",", "tem"}], "]"}], "&"}], ",", "#1", ",", "#2"}], "]"}]}], "]"}], "&"}], ",", RowBox[{"{", RowBox[{"{", "}"}], "}"}], ",", RowBox[{"Last", "@", "#"}]}], "]"}]}]}], "}"}], "&"}], "@", RowBox[{"Fold", "[", RowBox[{"ins", ",", RowBox[{"{", RowBox[{"{", "}"}], "}"}], ",", "str"}], "]"}]}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.6731757168506684`*^9, 3.673175756250922*^9}, { 3.673175794666119*^9, 3.6731758584737687`*^9}, {3.673259758350623*^9, 3.6732597598057065`*^9}, 3.6732597974538593`*^9, 3.6749901163051243`*^9, 3.6749902583292475`*^9}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"deleteFromTableau2", "[", RowBox[{"t1_", ",", "r_Integer"}], "]"}], ":=", RowBox[{"Module", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"t", "=", "t1"}], ",", "col", ",", "row", ",", RowBox[{"item", "=", RowBox[{"Last", "[", RowBox[{"t1", "[", RowBox[{"[", "r", "]"}], "]"}], "]"}]}]}], "}"}], ",", RowBox[{ RowBox[{"col", "=", RowBox[{"Length", "[", RowBox[{"t", "[", RowBox[{"[", "r", "]"}], "]"}], "]"}]}], ";", RowBox[{"If", "[", RowBox[{ RowBox[{"col", "\[Equal]", "1"}], ",", RowBox[{"t", "=", RowBox[{"Drop", "[", RowBox[{"t", ",", RowBox[{"-", "1"}]}], "]"}]}], ",", RowBox[{ RowBox[{"t", "[", RowBox[{"[", "r", "]"}], "]"}], "=", RowBox[{"Drop", "[", RowBox[{ RowBox[{"t", "[", RowBox[{"[", "r", "]"}], "]"}], ",", RowBox[{"-", "1"}]}], "]"}]}]}], "]"}], ";", RowBox[{"Do", "[", RowBox[{ RowBox[{ RowBox[{"While", "[", RowBox[{ RowBox[{ RowBox[{"Not", "[", RowBox[{"OrderedQ", "[", RowBox[{"{", RowBox[{"item", ",", RowBox[{"t", "[", RowBox[{"[", RowBox[{"row", ",", "col"}], "]"}], "]"}]}], "}"}], "]"}], "]"}], "&&", RowBox[{ RowBox[{"Length", "[", RowBox[{"t", "[", RowBox[{"[", "row", "]"}], "]"}], "]"}], ">", "col"}]}], ",", RowBox[{"col", "++"}]}], "]"}], ";", RowBox[{"If", "[", RowBox[{ RowBox[{"OrderedQ", "[", RowBox[{"{", RowBox[{"item", ",", RowBox[{"t", "[", RowBox[{"[", RowBox[{"row", ",", "col"}], "]"}], "]"}]}], "}"}], "]"}], ",", RowBox[{"col", "--"}]}], "]"}], ";", RowBox[{ RowBox[{"{", RowBox[{"item", ",", RowBox[{"t", "[", RowBox[{"[", RowBox[{"row", ",", "col"}], "]"}], "]"}]}], "}"}], "=", RowBox[{"{", RowBox[{ RowBox[{"t", "[", RowBox[{"[", RowBox[{"row", ",", "col"}], "]"}], "]"}], ",", "item"}], "}"}]}]}], ",", RowBox[{"{", RowBox[{"row", ",", RowBox[{"r", "-", "1"}], ",", "1", ",", RowBox[{"-", "1"}]}], "}"}]}], "]"}], ";", "t"}]}], "]"}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.6729168266554565`*^9, 3.6729168414593034`*^9}, { 3.672920069044911*^9, 3.6729200989166193`*^9}, {3.6729201516766367`*^9, 3.6729201885397453`*^9}, {3.67292329369535*^9, 3.6729233118783903`*^9}, { 3.67292340243757*^9, 3.6729234111020656`*^9}, 3.6749901721853204`*^9, { 3.6749902649366255`*^9, 3.6749902677287855`*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"tableauxToWord", "[", RowBox[{"p1_", ",", "q1_"}], "]"}], ":=", RowBox[{ RowBox[{"Module", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"p", "=", "p1"}], ",", RowBox[{"q", "=", "q1"}], ",", "row", ",", "firstrow"}], "}"}], ",", RowBox[{"Reverse", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{"firstrow", "=", RowBox[{"First", "[", "p", "]"}]}], ";", RowBox[{"row", "=", RowBox[{ RowBox[{"Position", "[", RowBox[{"q", ",", RowBox[{"Max", "[", "q", "]"}]}], "]"}], "[", RowBox[{"[", RowBox[{ RowBox[{"-", "1"}], ",", "1"}], "]"}], "]"}]}], ";", RowBox[{"p", "=", RowBox[{"deleteFromTableau2", "[", RowBox[{"p", ",", "row"}], "]"}]}], ";", RowBox[{ RowBox[{"q", "[", RowBox[{"[", "row", "]"}], "]"}], "=", RowBox[{"Drop", "[", RowBox[{ RowBox[{"q", "[", RowBox[{"[", "row", "]"}], "]"}], ",", RowBox[{"-", "1"}]}], "]"}]}], ";", RowBox[{"If", "[", RowBox[{ RowBox[{"p", "\[Equal]", RowBox[{"{", "}"}]}], ",", RowBox[{"First", "[", "firstrow", "]"}], ",", RowBox[{ RowBox[{"Select", "[", RowBox[{ RowBox[{"Transpose", "[", RowBox[{"PadRight", "[", RowBox[{"{", RowBox[{"firstrow", ",", RowBox[{"First", "[", "p", "]"}]}], "}"}], "]"}], "]"}], ",", RowBox[{ RowBox[{"Unequal", "@@", "#"}], "&"}], ",", "1"}], "]"}], "[", RowBox[{"[", RowBox[{"1", ",", "1"}], "]"}], "]"}]}], "]"}]}], ",", RowBox[{"{", RowBox[{"Plus", "@@", RowBox[{"Map", "[", RowBox[{"Length", ",", "p1"}], "]"}]}], "}"}]}], "]"}], "]"}]}], "]"}], "/;", RowBox[{ RowBox[{"Map", "[", RowBox[{"Length", ",", "p1"}], "]"}], "===", RowBox[{"Map", "[", RowBox[{"Length", ",", "q1"}], "]"}]}]}]}], ";"}]], "Input", InitializationCell->True, CellChangeTimes->{{3.672916701736312*^9, 3.6729167438367195`*^9}, { 3.672917257001071*^9, 3.6729173169605007`*^9}, {3.672918947524763*^9, 3.6729189542681494`*^9}, {3.6729190916360064`*^9, 3.672919096020257*^9}, 3.67292123605366*^9, 3.6729213060206614`*^9, 3.672921483515814*^9, 3.6729216500183372`*^9, {3.6729220621109076`*^9, 3.6729221051833715`*^9}, 3.672923918795104*^9, {3.673097456146967*^9, 3.673097507514905*^9}, { 3.673097548379243*^9, 3.6730975730746555`*^9}, {3.673097657394478*^9, 3.673097685297074*^9}, {3.67325977996686*^9, 3.6732597917015305`*^9}, 3.674990170185206*^9, {3.6749902756322374`*^9, 3.6749902827686453`*^9}}, Background->RGBColor[0.87, 0.94, 1]], Cell[TextData[{ "Motivation:\[LineSeparator]the Jeu-de Taquin equivalence \ (https://en.wikipedia.org/wiki/Jeu_de_taquin) of skewSYT or skewSSYT to \ rectify SYT resp. SSYT uses the RSK algorithm to convert the reading word of \ the Tableau (bottom up, left to right) in to a tableaux-pair, the ", StyleBox["insersion tableau", FontWeight->"Bold"], " being the rectification of the skew input tableau." }], "Text", CellChangeTimes->{{3.6749905776785135`*^9, 3.6749906325416517`*^9}, { 3.6749907306292615`*^9, 3.674990747965253*^9}, {3.6749907828122463`*^9, 3.674990809772788*^9}, {3.6749908587965927`*^9, 3.674990967947836*^9}, { 3.6749910555708475`*^9, 3.6749910676985407`*^9}, {3.674991457096813*^9, 3.674991466863372*^9}, {3.674991497448121*^9, 3.674991501655362*^9}, { 3.6788021808995075`*^9, 3.6788021841876955`*^9}}], Cell[TextData[{ "The LR-coefficient of ", Cell[BoxData[ FormBox[ SubscriptBox["s", "\[Nu]"], TraditionalForm]]], " in ", Cell[BoxData[ FormBox[ SubscriptBox["s", RowBox[{"\[Lambda]", "/", "\[Mu]"}]], TraditionalForm]]], " equals the number of skew tableaux of shape \[Lambda]/\[Mu] that are \ Jeu-de-Taquin equivalent to any Tableau of shape \[Nu]." }], "Text", CellChangeTimes->{{3.6749905776785135`*^9, 3.6749905849019265`*^9}, { 3.674991127315951*^9, 3.6749911299311004`*^9}, 3.674992479441288*^9}] }, Closed]] }, AutoGeneratedPackage->None, WindowSize->{1275, 818}, WindowMargins->{{40, Automatic}, {Automatic, 2}}, PrintingCopies->1, PrintingPageRange->{32000, 32000}, PrintingOptions->{"Magnification"->1., "PaperOrientation"->"Portrait", "PaperSize"->{595.2, 841.8}, "PrintCellBrackets"->False, "PrintMultipleHorizontalPages"->False, "PrintRegistrationMarks"->False, "PrintingMargins"->{{72.00000078, 72.00000078}, {54.000000584999995`, \ 54.000000584999995`}}}, PrivateNotebookOptions->{"VersionedStylesheet"->{"Default.nb"[8.] -> True}}, ShowSelection->True, ShowCellTags->True, FrontEndVersion->"11.0 for Microsoft Windows (64-bit) (July 28, 2016)", StyleDefinitions->FrontEnd`FileName[{"Article"}, "Preprint.nb", CharacterEncoding -> "UTF-8"] ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{ "Info1643681982049-8279318"->{ Cell[203158, 5613, 616, 14, 70, "Print", CellTags->"Info1643681982049-8279318"]}, "Info1653681982049-8279318"->{ Cell[204208, 5641, 896, 18, 70, "Print", CellTags->"Info1653681982049-8279318"]} } *) (*CellTagsIndex CellTagsIndex->{ {"Info1643681982049-8279318", 220807, 6071}, {"Info1653681982049-8279318", 220926, 6074} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[579, 22, 127, 2, 28, "Subsection"], Cell[709, 26, 2094, 34, 297, "Text"], Cell[2806, 62, 1571, 27, 81, "Text"], Cell[4380, 91, 1035, 19, 47, "Text"] }, Closed]], Cell[CellGroupData[{ Cell[5452, 115, 183, 4, 22, "Subsection"], Cell[5638, 121, 216, 3, 27, "Text"], Cell[5857, 126, 276, 7, 71, "Input", InitializationCell->True], Cell[6136, 135, 277, 8, 56, "Input", InitializationCell->True], Cell[6416, 145, 430, 10, 27, "Text"], Cell[6849, 157, 664, 17, 75, "Input"], Cell[7516, 176, 1427, 22, 101, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[8980, 203, 243, 3, 28, "Subsection"], Cell[9226, 208, 3956, 108, 189, "Text"], Cell[13185, 318, 1770, 53, 81, "Text"], Cell[14958, 373, 3366, 98, 243, "Text"], Cell[18327, 473, 2076, 69, 137, "Text"] }, Closed]], Cell[CellGroupData[{ Cell[20440, 547, 88, 2, 22, "Subsection"], Cell[20531, 551, 850, 24, 42, "Input", InitializationCell->True], Cell[21384, 577, 517, 16, 45, "Input", InitializationCell->True], Cell[21904, 595, 2093, 62, 183, "Input", InitializationCell->True], Cell[24000, 659, 1389, 38, 103, "Input", InitializationCell->True], Cell[25392, 699, 2396, 59, 183, "Input", InitializationCell->True], Cell[27791, 760, 537, 15, 45, "Input", InitializationCell->True], Cell[28331, 777, 1095, 33, 86, "Input", InitializationCell->True], Cell[29429, 812, 372, 11, 42, "Input", InitializationCell->True], Cell[29804, 825, 457, 12, 63, "Input", InitializationCell->True], Cell[30264, 839, 598, 15, 42, "Input", InitializationCell->True], Cell[30865, 856, 1106, 31, 63, "Input", InitializationCell->True], Cell[31974, 889, 1127, 32, 42, "Input", InitializationCell->True], Cell[33104, 923, 588, 17, 45, "Input", InitializationCell->True], Cell[33695, 942, 579, 17, 45, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[34311, 964, 87, 2, 22, "Subsection"], Cell[34401, 968, 1855, 47, 103, "Input", InitializationCell->True], Cell[36259, 1017, 746, 21, 63, "Input", InitializationCell->True], Cell[37008, 1040, 595, 18, 42, "Input", InitializationCell->True], Cell[37606, 1060, 3311, 83, 203, "Input", InitializationCell->True], Cell[40920, 1145, 1762, 48, 123, "Input", InitializationCell->True], Cell[42685, 1195, 3989, 106, 243, "Input", InitializationCell->True], Cell[46677, 1303, 374, 9, 45, "Input", InitializationCell->True], Cell[47054, 1314, 433, 12, 58, "Input", InitializationCell->True], Cell[47490, 1328, 743, 23, 58, "Input", InitializationCell->True], Cell[48236, 1353, 960, 26, 58, "Input", InitializationCell->True], Cell[49199, 1381, 1682, 46, 99, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[50918, 1432, 106, 2, 22, "Subsection"], Cell[51027, 1436, 1132, 32, 63, "Input", InitializationCell->True], Cell[52162, 1470, 820, 23, 42, "Input", InitializationCell->True], Cell[52985, 1495, 873, 26, 63, "Input", InitializationCell->True], Cell[53861, 1523, 750, 22, 63, "Input", InitializationCell->True], Cell[54614, 1547, 599, 16, 61, "Input", InitializationCell->True], Cell[55216, 1565, 1302, 36, 82, "Input", InitializationCell->True], Cell[56521, 1603, 1270, 31, 82, "Input", InitializationCell->True], Cell[57794, 1636, 1781, 51, 102, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[59612, 1692, 85, 2, 22, "Subsection"], Cell[59700, 1696, 1151, 32, 83, "Input", InitializationCell->True], Cell[60854, 1730, 887, 25, 63, "Input", InitializationCell->True], Cell[61744, 1757, 2546, 64, 143, "Input", InitializationCell->True], Cell[64293, 1823, 1866, 46, 103, "Input", InitializationCell->True], Cell[66162, 1871, 1014, 28, 63, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[67213, 1904, 102, 2, 22, "Subsection"], Cell[67318, 1908, 552, 16, 42, "Input", InitializationCell->True], Cell[67873, 1926, 982, 27, 42, "Input", InitializationCell->True], Cell[68858, 1955, 3297, 86, 183, "Input", InitializationCell->True], Cell[72158, 2043, 878, 22, 63, "Input", InitializationCell->True], Cell[73039, 2067, 1678, 42, 83, "Input", InitializationCell->True], Cell[74720, 2111, 257, 7, 28, "Input"], Cell[74980, 2120, 299, 7, 28, "Input"], Cell[75282, 2129, 3724, 108, 263, "Input", InitializationCell->True], Cell[79009, 2239, 2618, 82, 203, "Input", InitializationCell->True], Cell[81630, 2323, 1433, 47, 99, "Input", InitializationCell->True], Cell[83066, 2372, 1782, 44, 79, "Input", InitializationCell->True], Cell[84851, 2418, 1190, 33, 79, "Input", InitializationCell->True], Cell[86044, 2453, 1820, 48, 119, "Input", InitializationCell->True], Cell[87867, 2503, 1488, 48, 99, "Input", InitializationCell->True], Cell[89358, 2553, 2035, 50, 99, "Input", InitializationCell->True], Cell[91396, 2605, 2287, 56, 119, "Input", InitializationCell->True], Cell[93686, 2663, 1271, 34, 79, "Input", InitializationCell->True], Cell[94960, 2699, 1519, 48, 119, "Input", InitializationCell->True], Cell[96482, 2749, 1291, 34, 79, "Input", InitializationCell->True], Cell[97776, 2785, 1866, 43, 99, "Input", InitializationCell->True], Cell[99645, 2830, 495, 14, 58, "Input", InitializationCell->True], Cell[100143, 2846, 1332, 32, 79, "Input", InitializationCell->True], Cell[101478, 2880, 1813, 52, 119, "Input", InitializationCell->True], Cell[103294, 2934, 1551, 42, 119, "Input", InitializationCell->True], Cell[104848, 2978, 1917, 49, 119, "Input", InitializationCell->True], Cell[106768, 3029, 979, 28, 65, "Input", InitializationCell->True], Cell[107750, 3059, 488, 11, 28, "Input", InitializationCell->True], Cell[108241, 3072, 3649, 87, 145, "Input", InitializationCell->True], Cell[111893, 3161, 2682, 60, 85, "Input", InitializationCell->True], Cell[114578, 3223, 854, 17, 44, "Input", InitializationCell->True], Cell[115435, 3242, 3315, 86, 145, "Input", InitializationCell->True], Cell[118753, 3330, 2688, 63, 125, "Input", InitializationCell->True], Cell[121444, 3395, 1243, 32, 65, "Input", InitializationCell->True], Cell[122690, 3429, 173, 2, 27, "Text"], Cell[122866, 3433, 1767, 44, 65, "Input", InitializationCell->True], Cell[124636, 3479, 1251, 34, 85, "Input", InitializationCell->True], Cell[125890, 3515, 540, 13, 47, "Text"], Cell[126433, 3530, 1429, 35, 65, "Input", InitializationCell->True], Cell[127865, 3567, 187, 2, 29, "Text"], Cell[128055, 3571, 2835, 62, 85, "Input", InitializationCell->True], Cell[130893, 3635, 905, 18, 44, "Input", InitializationCell->True], Cell[131801, 3655, 655, 19, 47, "Input", InitializationCell->True], Cell[132459, 3676, 627, 19, 47, "Input", InitializationCell->True], Cell[133089, 3697, 657, 19, 61, "Input", InitializationCell->True], Cell[133749, 3718, 654, 20, 61, "Input", InitializationCell->True], Cell[134406, 3740, 659, 20, 61, "Input", InitializationCell->True], Cell[135068, 3762, 724, 20, 61, "Input", InitializationCell->True], Cell[135795, 3784, 772, 21, 61, "Input", InitializationCell->True], Cell[136570, 3807, 622, 15, 61, "Input", InitializationCell->True], Cell[137195, 3824, 517, 13, 61, "Input", InitializationCell->True], Cell[137715, 3839, 540, 14, 61, "Input", InitializationCell->True], Cell[138258, 3855, 516, 13, 61, "Input", InitializationCell->True], Cell[138777, 3870, 1720, 51, 126, "Input", InitializationCell->True], Cell[140500, 3923, 2283, 58, 126, "Input", InitializationCell->True], Cell[142786, 3983, 1120, 22, 45, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[143943, 4010, 258, 8, 22, "Subsection"], Cell[144204, 4020, 1202, 37, 63, "Input", InitializationCell->True], Cell[145409, 4059, 1142, 35, 63, "Input", InitializationCell->True], Cell[146554, 4096, 1147, 33, 83, "Input", InitializationCell->True], Cell[147704, 4131, 1107, 33, 83, "Input", InitializationCell->True], Cell[148814, 4166, 2275, 59, 143, "Input", InitializationCell->True], Cell[151092, 4227, 372, 8, 45, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[151501, 4240, 77, 1, 22, "Subsection"], Cell[151581, 4243, 700, 17, 54, "Text"], Cell[152284, 4262, 371, 10, 27, "Text"], Cell[152658, 4274, 1932, 53, 114, "Input", InitializationCell->True], Cell[154593, 4329, 759, 22, 59, "Input", InitializationCell->True], Cell[155355, 4353, 1339, 37, 59, "Input", InitializationCell->True], Cell[156697, 4392, 460, 13, 59, "Input", InitializationCell->True], Cell[157160, 4407, 117, 1, 29, "Text"], Cell[157280, 4410, 1758, 45, 78, "Input", InitializationCell->True], Cell[159041, 4457, 781, 22, 59, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[159859, 4484, 133, 2, 22, "Subsection"], Cell[159995, 4488, 112, 1, 29, "Text"], Cell[160110, 4491, 2089, 54, 112, "Input", InitializationCell->True, InitializationGroup->True], Cell[162202, 4547, 325, 9, 31, "Input", InitializationCell->True], Cell[162530, 4558, 4182, 101, 112, "Input", InitializationCell->True, InitializationGroup->True] }, Closed]], Cell[CellGroupData[{ Cell[166749, 4664, 259, 4, 22, "Subsection"], Cell[167011, 4670, 328, 6, 47, "Text"], Cell[167342, 4678, 2866, 68, 122, "Input", InitializationCell->True], Cell[170211, 4748, 2917, 73, 182, "Input", InitializationCell->True], Cell[173131, 4823, 1613, 39, 61, "Input", InitializationCell->True], Cell[174747, 4864, 4356, 109, 202, "Input", InitializationCell->True], Cell[179106, 4975, 925, 22, 61, "Input", InitializationCell->True], Cell[180034, 4999, 3331, 85, 142, "Input", InitializationCell->True], Cell[183368, 5086, 850, 23, 61, "Input", InitializationCell->True], Cell[184221, 5111, 1735, 48, 82, "Input", InitializationCell->True], Cell[185959, 5161, 3948, 104, 142, "Input", InitializationCell->True], Cell[189910, 5267, 711, 19, 61, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[190658, 5291, 118, 1, 28, "Subsection"], Cell[190779, 5294, 194, 4, 29, "Text"], Cell[190976, 5300, 1069, 30, 82, "Input", InitializationCell->True], Cell[192048, 5332, 2154, 63, 122, "Input", InitializationCell->True], Cell[194205, 5397, 2911, 62, 102, "Input", InitializationCell->True], Cell[197119, 5461, 1733, 38, 61, "Input", InitializationCell->True], Cell[198855, 5501, 3116, 78, 182, "Input", InitializationCell->True] }, Closed]], Cell[CellGroupData[{ Cell[202008, 5584, 108, 1, 28, "Subsection"], Cell[202119, 5587, 666, 14, 83, "Text"], Cell[CellGroupData[{ Cell[202810, 5605, 345, 6, 42, "Input", InitializationCell->True], Cell[203158, 5613, 616, 14, 70, "Print", CellTags->"Info1643681982049-8279318"] }, Open ]], Cell[CellGroupData[{ Cell[203811, 5632, 394, 7, 42, "Input", InitializationCell->True], Cell[204208, 5641, 896, 18, 70, "Print", CellTags->"Info1653681982049-8279318"] }, Open ]], Cell[205119, 5662, 2541, 61, 122, "Input", InitializationCell->True], Cell[207663, 5725, 3056, 74, 142, "Input", InitializationCell->True], Cell[210722, 5801, 1662, 45, 102, "Input", InitializationCell->True], Cell[212387, 5848, 3102, 86, 162, "Input", InitializationCell->True], Cell[215492, 5936, 3055, 75, 162, "Input", InitializationCell->True], Cell[218550, 6013, 842, 14, 65, "Text"], Cell[219395, 6029, 525, 14, 32, "Text"] }, Closed]] } ] *)