fact: Example Wikipedia_Murnaghan_Nakayama : let p521 := @IntPartN 8 [:: 5; 2; 1]%N is_true_true in let p3311 := @IntPartN 8 [:: 3; 3; 1; 1]%N is_true_true in 'irrSG[p521] (permCT p3311) = - 2%:~R.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(fingroup perm morphism gproduct) mathcomp(rat ssralg ssrint ssrnum algC vector archimedean) mathcomp(mxrepresentation classfun character) mathcomp(mpoly) sorted ordtype tools partition antisym sympoly homogsym Cauchy Schur_altdef stdtab therule permcomp cycletype towerSn permcent reprSn unitriginv MurnaghanNakayama