本文主要是介绍GAP4.7/4.10.2软件中尚不完善的有限环功能,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
GAP4没有与IdGroup对应的IdRing命令:
例如:
for j in [1..2] do for i in [1..11] do R:=DirectSum(SmallRing(4,i),SmallRing(2,j));;Print("i=",i,"j=",j,","IdRing(R),"\n");od;od;
实际上22种8阶直积环(去掉重复的R8_27、R8_40后剩20种)应该输出如下结果:
i=1,j=1,[ 8, 5 ]
i=2,j=1,[ 8, 16 ]
i=3,j=1,[ 8, 13 ]
i=4,j=1,[ 8, 25 ]
i=5,j=1,[ 8, 26 ]
i=6,j=1,[ 8, 27 ]
i=7,j=1,[ 8, 29 ]
i=8,j=1,[ 8, 34 ]
i=9,j=1,[ 8, 35 ]
i=10,j=1,[ 8, 40 ]
i=11,j=1,[ 8, 42 ]
i=1,j=2,[ 8, 7 ]
i=2,j=2,[ 8, 17 ]
i=3,j=2,[ 8, 14 ]
i=4,j=2,[ 8, 27 ]
i=5,j=2,[ 8, 38 ]
i=6,j=2,[ 8, 40 ]
i=7,j=2,[ 8, 41 ]
i=8,j=2,[ 8, 47 ]
i=9,j=2,[ 8, 48 ]
i=10,j=2,[ 8, 50 ]
i=11,j=2,[ 8, 51 ]
gap> L:=[5,16,13,25,26,27,29,34,35,40,42,7,17,14,38,41,47,48,50,51];;n:=Size(L);
20
Ideals等GAP命令仅对某些阶的环有效(例如n=4、8...),对大多数有限环无效。 ]
gap> R:=SmallRing(4,7);;Size(R);IsRing(R);FR:=GeneratorsOfRing(R);Size(FR);L:=Elements(R);ShowAdditionTable(R);ShowMultiplicationTable(R);IsAbelian(R);One(R);CR:=Center(R);Size(CR);IsSubset(R,CR);M:=Ideals(R);Print(List(M,Size),"\n");n:=Size(L);;for k in [1..n] do I1:=IdealByGenerators(R,[L[k]]);S1:=RingByGenerato
这篇关于GAP4.7/4.10.2软件中尚不完善的有限环功能的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!