fact: Fixpoint yamtab_shift innev maxi sh sol := if sh is s.+1 then flatten [seq [seq (i :: res.1, incr_nth res.2 i) | i <- one_letter_choices res.2 0 (head maxi res.1) ] | res <- yamtab_shift innev maxi s sol ] else [:: (sol, innev) ].
imports: mathcomp(all_ssreflect) mathcomp(ssralg) mathcomp(mpoly) tools combclass partition Yamanouchi ordtype tableau skewtab Schur_mpoly freeSchur therule