fact: Fixpoint LRyamtab_count_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_count_rec row.2 inn out inn0 row.1 in let rowres := yamtab_rows innev (take (out0 - sh0) row0) in tsumn [seq tsumn [seq call_rec row | row <- yamtab_shift res.2 (head (size innev) res.1) ((minn sh0 out0) - inn0) res.1 ] | res <- rowres ] else 1.
imports: mathcomp(all_ssreflect) mathcomp(ssralg) mathcomp(mpoly) tools combclass partition Yamanouchi ordtype tableau skewtab Schur_mpoly freeSchur therule