|
（间隙）
#间隙4.7http://www.gap-system.org
#共轭类的brute-force计数
#对称群中的独立集，
#效率低下（需要约4GB RAM，n=4可能需要数小时），
#但简短、可读、自包含
#更高的项可以通过SubSemi包计算
#https://github.com/egri-nagy/subsemi网站
IsIndependentSet:=函数（A）
返回IsDuplicateFreeList（A）和
（尺寸（A）<2或
对于所有（A，x->不（组中的x（差异（A，[x]）））；
结束；
#我们选择最小元素（按字典顺序）作为
#等价类的代表
代表：=函数（A，Sn）
return最小值（集合（Sn，g->集合（A，x->x^g））；
结束；
CalcIndependentConjugacyClasses:=函数（n）
本地Sn、所有子集、iss、reps；
Sn:=对称组（IsPermGroup，n）；
allsubsets:=组合（AsList（Sn））；
iss:=已筛选（所有子集，IsIndependentSet）；
reps:=集合（iss，x->Rep（x，Sn））；
打印（大小（iss），“”，大小（reps），“\n”）；
结束；
对于[1..4]中的i，执行CalcIndependentConjugacyClasses（i）；od；
| 