- 博客(22)
- 资源 (12)
- 收藏
- 关注
原创 16阶Pauli group P_16的两种推广
gap> P8n:=function(n) a:=RealPart(E(2*n));;b:=ImaginaryPart(E(2*n));;G:=Group([ [ [ 1, 0 ], [ 0, -1 ]], [[0,-E(4)],[E(4),0]],[ [0, b+a*E(4) ], [ b-a*E(4), 0 ] ] ]);;return G;end;;gap> for i in ...
2020-04-28 11:40:38 326
原创 GL(n,C)的有限子群
D:\go20190906\src\IGroup>GLnCGL(1,C)的4阶子群:bO=00,Tr=(1.000,0.000)=>0,Tr=(1.000,0.000)1,Tr=(-0.000,1.000)=>3,Tr=(0.000,-1.000)2,Tr=(-1.000,-0.000)=>2,Tr=(-1.000,-0.000)3,Tr=(0.000,-1.00...
2020-04-27 13:37:20 1184
原创 GL(n,R)的有限子群
D:\go20190906\src\IGroup>GLnRGL(2,R)的4阶子群:bO=10->Det=1,Tr=2.000=>0->Det=1,Tr=2.0001->Det=1,Tr=-0.000=>3->Det=1,Tr=0.0002->Det=1,Tr=-2.000=>2->Det=1,Tr=-2.0003->De...
2020-04-27 11:25:51 2764
原创 S_9的子群
D:\go20190906\src\IGroup>FG362880阶群S_9:群的阶太大,不在控制台打印4阶子群[0,138896,334049,310323]:1 2 3 42 3 4 13 4 1 24 1 2 34阶子群[0,204730,186125,59329]:1 2 3 42 3 4 13 4 1 24 1 2 372阶子群[0,138896,2047...
2020-04-26 12:04:21 570
原创 SU(2)的有限子群
D:\go20190906\src\IGroup>SU2SU(2)的24阶子群:0->[[0.000000,0.000000,0.000000],1.000000]=>0->[[-0.000000,-0.000000,-0.000000],1.000000]]1->[[0.000000,0.000000,0.000000],-1.000000]=>1-&g...
2020-04-25 18:31:03 995
原创 C++中有限群接口的声明与实现
D:\go20190906\src\IGroup>IGroup0->[0,0,0]=>0->[0,0,0]1->[1,1,1]=>1->[1,1,1]2->[0,0,1]=>2->[0,0,1]3->[0,1,0]=>3->[0,1,0]4->[0,1,1]=>4->[0,1,1]5->...
2020-04-25 13:13:36 247
原创 生成Abel群及其对应的广义二面体群凯莱表的工具GD.exe(C++版本)
这是上一篇文章中Yn.exe工具的推广。D:\go20190906\src\SmallRing>cl /c /D PRINT_STDOUT GD.cpp用于 x86 的 Microsoft (R) C/C++ 优化编译器 17.00.50727.1 版版权所有(C) Microsoft Corporation。保留所有权利。GD.cppC:\Program Files (x86)...
2020-04-24 09:48:33 322
原创 生成2*n*n阶群Y_n=(C_n×C_n):C_2的凯莱表Yn.exe(C++版本)
D:\go20190906\src\SmallRing>cl /D PRINT_STDOUT /c Yn.cpp用于 x86 的 Microsoft (R) C/C++ 优化编译器 17.00.50727.1 版版权所有(C) Microsoft Corporation。保留所有权利。Yn.cppC:\Program Files (x86)\Microsoft Visual Stud...
2020-04-23 23:05:41 333
原创 LA-猜想
悬而未决的著名的LA-猜想:设G是阶大于p^2的有限非循环p-群,则必有群G的阶整除其自同构群的阶。Aut(C_8)=(Z/8)^*=E_4Aut(AbelianGroup([2,4])=D_4Aut(D_4)=D_4Aut(Q_8)=S_4Aut(E_8)=PSL(2,7)gap> n:=8;;m:=NumberSmallGroups(n);;for i in [1..m] d...
2020-04-23 15:58:28 149
原创 几种置换表达方式的互转(golang版本)
D:\go20190906\src\SmallRing>go build Permutation.go[0x7FEF9EE3C50] ANOMALY: meaningless REX prefix used# command-line-arguments[0x7FEF9EE3C50] ANOMALY: meaningless REX prefix usedD:\go20190906...
2020-04-22 20:24:18 707
原创 golang中有限群、有限环接口的声明与实现
D:\go20190906\src\SmallRing>go build IRing.go[0x7FEF9B73C50] ANOMALY: meaningless REX prefix used# command-line-arguments[0x7FEF9B73C50] ANOMALY: meaningless REX prefix usedD:\go20190906\src\S...
2020-04-20 12:50:54 277
原创 GAP4中剩余类环Z/nZ中元素的两种表示
gap> for n in [2..8] do L:=Elements(ZmodnZ(n));Print(n,"->",L,"\n");od;2->[ 0*Z(2), Z(2)^0 ]3->[ 0*Z(3), Z(3)^0, Z(3) ]4->[ ZmodnZObj( 0, 4 ), ZmodnZObj( 1, 4 ), ZmodnZObj( 2, 4 ), Z...
2020-04-19 13:58:55 1535
原创 用初等数论函数计算剩余类环Z/nZ的环不变量
不可逆元的个数n1(涉及到模逆函数InvMod)幂等元个数n22次幂等元个数n42~3次幂等元个数n5零乘个数n6零因子个数n7中心大小n8gap> PowerMod(4,-1,3);1gap> PowerMod(3,-1,4);3D:\go20190906\src\SmallRing>go build InvMod.go[0x7FEF96C3C50] ...
2020-04-19 11:03:52 1642
原创 gaptool的lua调用c接口版本
D:\hxh\bin\LUA资料\LUA\luatest\luatest>math test1.luaThe average is 30The sum is 150R2_1=M_2:[R2Add]1 22 1[R2Mul]1 11 1R2_2=F_2:[R2Add]1 22 1[R2Mul]1 11 2R3_1=M_3:[R3Add]1 ...
2020-04-17 12:12:52 174
原创 区分R8_8和R8_10的环不变量N2
G8ElementToOrder(0)=1G8ElementToOrder(1)=2G8ElementToOrder(2)=4G8ElementToOrder(3)=4G8ElementToOrder(4)=2G8ElementToOrder(5)=2G8ElementToOrder(6)=4G8ElementToOrder(7)=4环R8_8的结构不变量N0,N2,bA,bO,n...
2020-04-16 22:24:48 231
原创 n^deg(f(x))阶有限环Z/(n)[x]/(f(x))的加法、乘法运算表(C++ 11版本)
D:\go20190906\src\SmallRing>cl /c GaloisField.cpp用于 x86 的 Microsoft (R) C/C++ 优化编译器 17.00.50727.1 版版权所有(C) MicrosoftCorporation。保留所有权利。GaloisField.cppC:\Program Files (x86)\Microsoft Visual S...
2020-04-16 13:41:57 409
原创 有限循环环mZ/nZ的加法、乘法运算表(golang版本)
D:\go20190906\src\SmallRing>go build SmallRing.go[0x7FEF97D3C50] ANOMALY: meaningless REX prefix used# command-line-arguments[0x7FEF97D3C50] ANOMALY: meaningless REX prefix usedD:\go20190906\s...
2020-04-15 20:48:15 1060
原创 有限域上矩阵群(Lua版本)
luatest ClassicalGroups.luaGAP4[48,32]=GL(2,3)是rank=2的(9-1)(9-3)=48阶群:1->[[1,0],[0,1]]2->[[0,1],[1,1]]3->[[1,1],[0,1]]4->[[1,1],[1,2]]5->[[0,1],[1,2]]6->[[1,2],[2,0]]7->[[...
2020-04-13 13:19:21 575
原创 自己写的gaptool(Lua版本)
luatest SmallGroup.luaGAP[6,1]凯莱表:1 2 3 4 5 62 1 4 3 6 53 5 1 6 2 44 6 2 5 1 35 3 6 1 4 26 4 5 2 3 1GAP[6,1]群元阶的分布:[1,3,2,0]GAP[6,2]凯莱表:1 2 3 4 5 62 3 4 5 6 13 4 5 6 1 24 5 6 1 2 35 6 1...
2020-04-11 21:44:36 224
原创 16阶环的结构分析
root@ubuntu:/home/cpptest/gotest# go build AllSubRings.goroot@ubuntu:/home/cpptest/gotest# ./AllSubRings R4_2.txtvvA= [[1 2 3 4] [2 3 4 1] [3 4 1 2] [4 1 2 3]]vvM= [[1 1 1 1] [1 3 1 3] [1 1 1 1] [1...
2020-04-03 15:14:59 821
原创 判断矩阵是否可约、表示是否可约
root@ubuntu:/home/cpptest# g++ -o ReachableMatrix ReachableMatrix.cpproot@ubuntu:/home/cpptest# ./ReachableMatrix "0,-1;1,0"A=[[0 ,-1 ],[1 ,0 ]]RA=[[1 ,1 ],[1 ,1 ]]矩阵不可约root@ubuntu:/home/cpptest# ...
2020-04-03 10:03:29 13623
原创 根据群的凯莱表计算其中心、换位子群、群元阶的分布、共轭类的小工具(Lua版本)
root@ubuntu:/home/cpptest/lua# ./luatest ZDOfG.luaD3的中心Z(D_3): [1]D3的换位子群(D_3)': [1,4,5]D4的中心Z(D_4): [1,4]D4的换位子群(D_4)': [1,4]Q8的中心Z(Q_8): [1,2]Q8的换位子群(Q_8)': [1,2]对应的GAP命令为:...
2020-04-02 16:58:13 3363
VECTOR_MATRIX_VECTOR4_MATRIX4
2013-04-23
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人