|
（岩浆）/*对于所有n*/
nbofdblecos:=函数（G，H，K）；
CG:=类别（G）；nCG:=#CG；oG：=#G；CH:=等级（H）；nCH:=#CH；oH：=#H；CK:=类别（K）；nCK：=#CK；好：=#K；
结果：=[]；对于[1..nCG]do Gmurep中的mu：=CG[mu][3]；Hmupositions:=1..nCH]|CycleStructure（CH[j][3]）eq-CycleStrateure（Gmurep）}中的={j:j；
Hmugoodpositions:={j:j在Hmupositions|IsConjugate（G，CH[j][3]，Gmurep）eq true}中；bide:=0；对于Hmugood位置中的j，do bide：=bide+CH[j][2]；结束；附加（~resH，bide）；结束；
结果：=[]；对于[1..nCG]中的μ，do Gmurep:=CG[mu][3]；Kmupositions:={j:j-in[1..nCK]|循环结构（CK[j][3]）eq循环结构（Gmurep）}；
Kmugoodpositions:={j:j在Kmupositions|IsConjugate（G，CK[j][3]，Gmurep）eq true中}；bide:=0；对于Kmugood位置中的j，do bide：=bide+CK[j][2]；结束；附加（~resK，bide）；结束；
ndcl:=0；总数：=0；对于mu in[1..nCG]do tot:=tot+resH[mu]*resK[mu]/CG[mu][2]；结束；ndcl:=tot*oG/（oH*oK）；返回ndcl；
端函数；
UUfull:=函数（n）；G： =Sym（2*n）；genH:={}；对于[1..（n-1）]中的j，做v:=G！（1,2*j+1）（2,2*j+2）；包括（~genH，v）；结束；
H:=置换组<2*n|genH>；
β：=G！追加（[2..2*n]，1）；Cbeta:=扶正器（G，beta）；bool，rever:=Is共轭（G，beta，beta^（-1））；cycbeta:=置换组<2*n|{rever}>；
Cbetarev:=sub<G|[Cbeta，cycbeta]>；
rho:=恒等式（G）；对于[0..（n-1）]中的j，请执行v:=G！（2*j+1，2*j+2）；ρ：=ρ*v；结束；cycrho:=置换群<2*n|{rho}>；
Hcycrho:=sub<G|[H，cycrho]>；
返回nbofdblecos（G，Hcycrho，Cbetarev）；端函数；
[UUfull（n）：[1..10]]中的n//
| 