华仔Ivan-CSDN博客

原创 C++中有限环接口的声明与实现

D:\go20190906\src\IRing>IRingR4_-1:[R4Add]1 2 3 42 3 4 13 4 1 24 1 2 3[R4Mul]1 1 1 11 3 1 31 1 1 11 3 1 3R4_-1:[R4Add]1 2 3 42 3 4 13 4 1 24 1 2 3[R4Mul]1 1 1 11 2 3 41 3 1 31...

2020-05-05 20:39:17 249

原创有限群序列的4个伴随有限群序列

Zmn:=function(m,n) F:=FreeGroup(2);;G:=F/[F.1^4,F.2^4,(F.1^m*F.2^m)^n,F.1^(-1)*F.2*F.1^(-1)*F.2];;return G;end;;该有限群序列有4个伴随的有限群序列：中心序列：ZZmn:=function(m,n) return Center(Zmn(m,n));end;;换位子群序列：DZmn...

2020-05-05 18:39:48 311

原创 W系列、E系列、DDD系列的有限群序列

定义W系列的有限群序列Wmn(m,n)：n*m*m阶群Wmn(m,n),Wmn(2,n)=Dih(4n)W_32=Wmn(4,2)=GAP[32,13]W_48=Wmn(4,3)=GAP[48,11]gap> Wmn:=function(m,n) F:=FreeGroup(2);;G:=F/[F.1^(m*n),F.2^m,F.2^(-1)*F.1*F.2*F.1^(1-2*n)]...

2020-05-05 13:16:27 2025

原创 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 1185

原创 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 2765

原创 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 571

原创 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-&gt...

2020-04-25 13:13:36 247

原创生成Abel群及其对应的广义二面体群凯莱表的工具GD.exe（C++版本）

2020-04-24 09:48:33 322

原创生成2nn阶群Y_n=(C_n×C_n):C_2的凯莱表Yn.exe(C++版本)

2020-04-23 23:05:41 334

原创 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 708

原创 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 1537

原创用初等数论函数计算剩余类环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版本）

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 1062

原创有限域上矩阵群（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

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 13628

原创根据群的凯莱表计算其中心、换位子群、群元阶的分布、共轭类的小工具（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 3382

原创任意有限系数环R上的有限矩阵环M_2(R_4)

gap> n:=4;;L:=Elements(SmallRing(n,11));;List(L);Print("[R",n,"Add]\n");for i1 in L do for i2 in L do Print(Position(L,i1+i2),",");od;Print("\n");od;Print("[R",n,"Mul]\n");for i1 in L do for i2 in ...

2020-03-31 23:35:26 321

原创 12阶环Z[ω]/(4+2ω)

int g_R12Add[]={1,2,3,4,5,6,7,8,9,10,11,12,2,3,4,5,6,1,8,9,10,11,12,7,3,4,5,6,1,2,9,10,11,12,7,8,4,5,6,1,2,3,10,11,12,7,8,9,5,6,1,2,3,4,11,12,7,8,9,10,6,1,2,3,4,5,12,7,8,9,10,11,7,8,9,10,11,12,...

2020-03-31 17:45:34 336

原创 22种18阶环的结构与表示

GAP软件现有版本中18阶环是没有编号的，我们在找出所有不同构的18阶环后，可以给18阶环统一编号。gap> NumberSmallRings(18);0gap> n:=[2,3,6,9];;List(n,NumberSmallRings);[ 2, 2, 4, 11 ]...

2020-03-27 14:25:15 1345

原创群论小工具FG.exe的Lua版本

root@ubuntu:/home/cpptest/lua# ./luatest Permutation.luaS3=GAP4[6,1]:1->1 2 32->2 3 13->3 1 24->3 2 15->2 1 36->1 3 21 2 3 4 5 62 3 1 6 4 53 1 2 5 6 44 5 6 1 2 3...

2020-03-24 10:09:42 461

原创 C++标准复数类的实现

root@ubuntu:/home/cpptest# g++ -w -D USE_STL -o complex complex.cpproot@ubuntu:/home/cpptest# ./complexlog(3,2)= (1.28247,0.588003)sin(1,2.1)= (3.48732,2.17302)cos(1,2.1)= (2.23918,-3.38428)exp(1...

2020-03-23 21:31:26 457

原创 Lua学习笔记

安装Lua最小开发运行环境：apt-get install lua5.1-0-devfind / -name lua.h/home/hanxiaohua/work1/MathTool/lua/lua.h/usr/include/lua5.1/lua.h./luatest./luatest: /usr/lib/x86_64-linux-gnu/liblua5.1.so.0: no ver...

2020-03-23 12:59:50 401

原创 20200322

root@ubuntu:/home/cpptest# g++ -std=c++11 -o R8 R8.cpproot@ubuntu:/home/cpptest# ./R8[R8Add]1 2 3 4 5 6 7 82 1 4 3 6 5 8 73 4 1 2 7 8 5 64 3 2 1 8 7 6 55 6 7 8 1 2 3 46 5 8 7 2 1 4 37 8...

2020-03-22 15:10:42 105

原创 C#学习笔记

安装mono c#开发环境：apt-get updateapt-get install mono-develroot@ubuntu:/home/cpptest/cstest# mcs brinv.csroot@ubuntu:/home/cpptest/cstest# mono brinv.exeHello,MONOroot@ubuntu:/home/cpptest/cstest# mc...

2020-03-21 13:14:36 170

原创 m进制异或加法运算

root@ubuntu:/home/hanxiaohua/cpptest# g++ -std=c++11 -o gf gf.cpproot@ubuntu:/home/hanxiaohua/cpptest# ./gfE(8)1 2 3 4 5 6 7 82 1 4 3 6 5 8 73 4 1 2 7 8 5 64 3 2 1 8 7 6 55 6 7 8 1 2 3 46...

2020-03-20 17:00:54 371

原创 VB6.0编程基础

软件所用版本：Windows Server 2012 R2、VB6简体精简版.exe目录第一章 VB6.0数值计算1.1 数值积分Function nitrapzd(a As Double, b As Double, eps As Double) As DoubleDim n As Integer, k As IntegerDim fa As Double, fb As ...

2020-03-19 18:44:29 1392

原创有限矩阵环小工具的golang版本

root@iZ14rcmneyrcltZ:~/cpptest/gotest# go build ZmodnZObj.goroot@iZ14rcmneyrcltZ:~/cpptest/gotest# ./ZmodnZObjShowAdditionTable(R16_300):10 9 12 11 14 13 16 15 2 1 4 3 6 5 8 79 10 11 12 13 14 15 ...

2020-03-18 18:31:03 121

原创有限群强抽象为有限环的乘法定义

root@iZ14rcmneyrcltZ:~/cpptest/gotest# go build Polynomial.goroot@iZ14rcmneyrcltZ:~/cpptest/gotest# ./Polynomiala= [0 1 2] b= [3 1] c=a*b= [0 3 7 2]gap> x:=Indeterminate(Integers);a:=2*x^2+x;Pol...

2020-03-18 10:34:49 341

原创群论小工具calG.exe的golang版本

root@iZ14rcmneyrcltZ:~/cpptest/gotest# go build calG.goroot@iZ14rcmneyrcltZ:~/cpptest/gotest# ./calG A3.txtG3ElementToOrder(0)=1G3ElementToOrder(1)=3G3ElementToOrder(2)=3G3有1个1阶元，2个3阶元root@iZ14r...

2020-03-17 19:14:04 342

原创商群和商环的计算

root@iZ14rcmneyrcltZ:~/cpptest/gotest# go build AllSubgroups.goroot@iZ14rcmneyrcltZ:~/cpptest/gotest# ./AllSubgroupsS(C_4):[1] => [1] 是正规子群,商群: [[1] [2] [3] [4]]1 2 3 42 1 4 33 4 2 14 3 1...

2020-03-17 12:06:48 2944

原创有限环子环和理想个数的计算

root@iZ14rcmneyrcltZ:~/cpptest/gotest# go build ZnElement.goroot@iZ14rcmneyrcltZ:~/cpptest/gotest# ./ZnElementS(R4_3):[1] => [1][2] => [1 2 3 4][3] => [1 3]time consume: 183.702µsS(R4_...

2020-03-16 16:10:46 2078