(MAGMA公司岩浆)/*示例n:=6*/

OEIS服务器: https://oeis.org/edit/global/2944

提出

经核准的

编辑

提出

N.J.A.斯隆：如果只有几个月的时间，那么也许我们可以原谅作者没有签署更改。当然，如果有几个人做出改变，情况会有所不同，我们想指出谁有优先权，但这里不是这样。

对于g>0，浸没被理解为稳定的地形等价（计数曲线不能浸没在较小亏格的曲面上).). - _罗伯特 科克雷奥_,十一月 23 2015

#罗伯特·科克雷2015年11月23日

提出

编辑

米歇尔·马库斯：是的，我理解，但已经4个月了。我为你签署了评论和程序。你能对剩下的序列做同样的事吗？谢谢。

编辑

提出

米歇尔·马库斯：您忘记签署新评论和新程序

罗伯特·科克雷：我添加这个“评论”只是为了让标题更准确，而“新程序”本可以在8月份第一次提交序列时给出（当时我忘了这么做！）既然在我之后没有其他人参与这个序列，为什么我要再添加两次我的名字？好吧，如果你认为我应该再次“签名”，我没有异议。。。怎么做？我应该在“2015年8月1日”之后的作者栏末尾写“11月23日R.C.添加评论和程序”吗？

对于g>0，浸没被理解为稳定的地形等价（计数曲线不能浸没在较小亏格的曲面中）。

（MAGMA）/*示例n:=6*/

n： =6；

n、 //年n： 交叉口数量

G： =Sym（2*n）；

doubleG:=Sym（4*n）；

genH:={}；

对于[1..（n-1）]中的j，do v:=G！（1,2*j+1）（2,2*j+2）；包括（~genH，v）；结束；

H:=置换组<2*n|genH>；//S（2n）的H=S（n）子群

卡片H:=#H；

cardH；

rho:=恒等式（G）；对于[0..（n-1）]中的j，请执行v:=G！（2*j+1，2*j+2）；ρ：=ρ*v；结束；

cycrho:=置换组<2*n|{rho}>；//由rho（镜像）生成的循环子群Z2

Hcycrho:=sub<G|[H，cycrho]>；//由H和cycrho生成的子组

cardZp:=阶乘（2*n-1）；

β：=G！追加（[2..2*n]，1）；//一种典型的圆形排列

Cbeta:=扶正器（G，beta）；

bool，rever:=Is共轭（G，beta，beta^（-1））；

cycbeta:=置换组<2*n|{rever}>；

Cbetarev:=sub<G|[Cbeta，cycbeta]>；

psifct：=函数（per）；

perinv：=每^（-1）；

res:=[IsOdd（j）select（j+1）^ per else j-1+2*n:j in[1..2*n]]；

resbis:=[IsOdd（（j-2*n）^periv）select（j-2*n）^perv+1+2*n else（（j-2-*n）*perinv-1）^per:j in[2*n+1..4*n]]；

res类别：=resbis；

返回doubleG！物件；

端函数；

循环数：=函数（per）；ess：=循环结构（每个）；return&+[ess[i，2]：i in[1..#ess]]；端函数；

超循环数：=函数（per）；返回循环数（psifct（per））；端函数；

//结果以列表genuslist形式给出（n+2-2g）^^多重性，其中g是亏格

//案例UO

dbl，dblsize:=双CosetRepresentatives（G，H，Cbetarev）#数据库大小；

genuslist:=1..#dblsize]*}中的{*超循环数（beta^（dbl[j]^（-1））：j；genuslist；

退出；

经核准的

编辑

编辑

经核准的

文本稍作修改，以统一

伴随序列A260285型,A260885型,A260848型,A260914型。为这些序列添加了交叉引用。

提出

编辑

编辑

提出

固定交叉次数n的所有属的和由序列给出A260847型.囊性纤维变性.2008年8月,A260285型,A260885型,2014年2月.

参见。A008987号,A260285型,A260885型,A260914型.

提出

编辑

米歇尔·马库斯：我认为这样小的编辑不需要扩展。