fact: Fixpoint LRyamtab_list_rec innev inner outer sh0 row0 := if outer is out0 :: out then let inn0 := head 0 inner in let inn := behead inner in let call_rec row := LRyamtab_list_rec row.2 inn out inn0 row.1 in let rowres := yamtab_rows innev (take (out0 - sh0) row0) in let rows := flatten [seq yamtab_shift res.2 (head (size innev) res.1) ((minn sh0 out0) - inn0) res.1 | res <- rowres ] in flatten [seq [seq row.1 :: tab | tab <- call_rec row ] | row <- rows ] else [:: [::]].
imports: mathcomp(all_ssreflect) mathcomp(ssralg) mathcomp(mpoly) tools combclass partition Yamanouchi ordtype tableau skewtab Schur_mpoly freeSchur therule