![](https://img-blog.csdnimg.cn/20201014180756923.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
数学笔记
文章平均质量分 77
华仔Ivan
http://www.hanshouqing.com
展开
-
20220627
有限环分类工具原创 2022-06-27 09:50:22 · 335 阅读 · 1 评论 -
20220613
有限环分类工具原创 2022-06-13 09:32:41 · 229 阅读 · 0 评论 -
Factory模式:有限群的各种表示
Factory模式:Windows工厂生产按钮和编辑框AbstractFactory模式:苹果工厂和Windows工厂生产按钮和编辑框Factory模式①定义创建对象的接口,封装了对象的创建;②使得具体化类的工作延迟到了子类中。D:\MathTool\gaptool>FiniteGroupGAP[8,1]:GAP[8,2]:GAP[12,2]:GAP[12,3]:GAP[12,4]:GAP[12,5]:GAP[16,6]:GAP[16,13]:GAP[24,2]=GAP[8,原创 2020-07-13 16:38:34 · 514 阅读 · 0 评论 -
100阶以下子群和商群的搜索
D:\MathTool\gaptool>Subgroup 11 0 100置换群S_11的子群:0,1->[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,11,10]=>GAP[2,1]:0,3->[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,10,11,9]=>GAP[3,1]:0,9->[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,9,10,1原创 2020-07-12 14:03:41 · 575 阅读 · 0 评论 -
高斯整数C#版本
First complex number: 471 + 643i不是高斯素数Second complex number: 9 + 11i不是高斯素数The sum of the two numbers: 480 + 654iThe Minus of the two numbers: 462 + 632iThe Product of the two numbers: -2834 + 10968iThe Divide of the two numbers: 56 + 3i,b=True,q=56 +.原创 2020-07-10 16:17:01 · 308 阅读 · 0 评论 -
控制台输出重定向到文件
D:\hxh1\C#>Cnusage:Cn nD:\hxh1\C#>Cn 5 >C5.txtD:\hxh1\C#>Cn 41 2 3 42 3 4 13 4 1 24 1 2 3using System;namespace gap{class Cn{ static void CnGroup(int n) { for(int i=0;i<n;i++) { for(int j=i;j<i+n;...原创 2020-07-10 11:51:21 · 796 阅读 · 0 评论 -
32阶可分解环R8_i×R4_j
R8_1×R4_1=R32_1000R8_2×R4_1=R32_1003R8_3×R4_1=R32_1006R8_4×R4_1=R32_1009R8_5×R4_1=R32_3044R8_6×R4_1=R32_3055R8_7×R4_1=R32_3066R8_8×R4_1=R32_3077R8_9×R4_1=R32_3088R8_10×R4_1=R32_3099R8_11×R4_1=R32_3053R8_12×R4_1=R32_3070R8_13×R4_1=R32_3046R8_14原创 2020-07-10 09:43:57 · 226 阅读 · 0 评论 -
可分解环的表示
D:\MathTool\gaptool>FiniteRingR4_1×R4_1=R16_107R4_1×R4_2=R16_116R4_1×R4_3=R16_112R4_1×R4_4=R16_206R4_1×R4_5=R16_207R4_1×R4_6=R16_208R4_1×R4_7=R16_209R4_1×R4_8=R16_255R4_1×R4_9=R16_210R4_1×R4_10=R16_224R4_1×R4_11=R16_211R4_2×R4_2=R16_103R4_2原创 2020-06-20 11:38:05 · 186 阅读 · 0 评论 -
16阶以下子环搜索(四):根据搜索结果自动生成代码
D:\MathTool\gaptool>mr 3 1 2 2 17 0cnt=5122->[[0,0,0],[0,0,0],[0,1,0]]17->[[0,0,0],[0,1,0],[0,0,1]]0->[[0,0,0],[0,0,0],[0,0,0]]}else if(ID==9){//R4_9m_r=new ZmodnZ(1,2);m_n=3;MATRIXi8 A(3,vector<TElem>(3,0));MATRIXi8 B(3,vector&l原创 2020-06-18 23:02:22 · 294 阅读 · 1 评论 -
16阶以下子环搜索(三):多核并行计算版本
D:\MathTool\gaptool>IRingMT 1CreateThread 0 OK,threadID=11412,h_thread=284CreateThread 1 OK,threadID=11576,h_thread=320CreateThread 2 OK,threadID=6816,h_thread=316g_i=1fsubring cnt1=1:R4_9->i=1,j=2fsubring cnt1=2:R4_7->i=1,j=4fsubring cnt1=原创 2020-06-12 11:39:33 · 242 阅读 · 0 评论 -
16阶以下子环搜索(二):从指定起始位置g_i开始搜索
D:\MathTool\gaptool>M2Z8ij 1g_i=1cnt1=1:R8_3->i=1,j=2cnt1=2:R16_20->i=1,j=32cnt1=3:R16_23->i=1,j=256cnt1=4:R16_11->i=1,j=2048cnt1=5:R4_2->i=2,j=4cnt1=6:R16_108->i=2,j=16cnt1=7:R8_16->i=2,j=32cnt1=8:R16_103->i=2,j=1024cn原创 2020-06-10 14:13:48 · 263 阅读 · 0 评论 -
16阶以下子环的搜索
256阶环M2(Z/4Z)的16阶以下子环:cnt1=1:R4_3->i=0,j=1cnt1=2:R2_1->i=0,j=2cnt1=3:R4_1->i=0,j=4cnt1=4:R4_2->i=0,j=6cnt1=5:R16_115->i=0,j=20cnt1=6:R16_106->i=0,j=21cnt1=7:R16_105->i=0,j=22cnt1=8:R8_24->i=0,j=24cnt1=9:R8_13->i=0,j=25c原创 2020-06-09 21:31:35 · 259 阅读 · 0 评论 -
Java1.8解代数题
D:\SixCocos2d-xVC2012\Cocos2d-x\XWH\javatest>java FindrootInZnZx^2+1=0在Z/2Z中有1个根:[1]x^2+1=0在Z/2Z中有0个根:[]x^2+1=0在Z/5Z中有2个根:[2,3]x^2+1=0在Z/5Z中有0个根:[]import java.io.*;import java.util.*;import java.util.function.Function;public class FindrootIn..原创 2020-06-04 09:27:31 · 264 阅读 · 0 评论 -
有限域F_p上的椭圆曲线E:y^2=x^3+ax+b(mod p)的Mordell-Weil群的计算
D:\MathTool\gaptool>ECGroup 2 1 13y^2=x^3+2x+1(mod13)=>GAP[8,1]:0->(0,0),ord=1=>0->(0,0),ord=11->(0,1),ord=8=>2->(0,12),ord=82->(0,12),ord=8=>1->(0,1),ord=83->(1,2),ord=4=>4->(1,11),ord=44->(1,11),ord=4=&g原创 2020-06-02 10:47:11 · 1876 阅读 · 0 评论 -
同态、同构判定算法
[C4toC4]isomorphism0:11 2 3 42 3 4 13 4 1 24 1 2 3[C4toC4]isomorphism1:11 2 3 42 3 4 13 4 1 24 1 2 3[C4toC4]isomorphism2:11 2 3 42 3 4 13 4 1 24 1 2 3[C4toC4a]isomorphism3:11 2 3 42 1 4 33 4 2 14 3 1 2[C4toC4b]isomorphism4:11 2 3 42 4原创 2020-06-01 14:23:24 · 1994 阅读 · 0 评论 -
R32、R48、R64、R128、R256的编号
32阶环至少有18590种,48阶环有780种,64阶环至少有829826种。结论来源:The sequence continues a(32) = ? (>18590), a(33) = 4, 4, 4, 121, 2, 4, 4, 104, 2, 8, 2, 22, 22, 4, 2, 780, 11, 22, 4, 22, 2, 118, 4, 104, 4, 4, 2, 44, 2, 4, 22 = a(63), a(64) = ? (> 829826). - Christof No原创 2020-05-31 09:40:41 · 806 阅读 · 0 评论 -
NumberSmallGroups算法
D:\MathTool\gaptool>NumberSmallGroups第1种:GAP[3,1]:1 2 32 3 13 1 2第1种:GAP[4,2]:1 2 3 42 1 4 33 4 1 24 3 2 1第2种:GAP[4,1]:1 2 3 42 1 4 33 4 2 14 3 1 2第3种:GAP[4,1]:1 2 3 42 3 4 13 4 1 24 1 2 3第4种:GAP[4,1]:1 2 3 42 4 1 33 1 4 24 3 2 1原创 2020-05-31 08:50:10 · 194 阅读 · 0 评论 -
gaptool的Java版本(二)
javac R8.javajava R8R8_25:[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 5 6 3 4 1 28 7 6 5 4 3 2 1[R8Mul]1 1 1 1 1 1 1 11 1 1 1 1 1 1 11 1 1 1 1 1 1 11 1 1 1 1 1 1 11 1 1 1 1 1 1 11.原创 2020-05-24 11:32:00 · 154 阅读 · 0 评论 -
gaptool的Java版本
javac GL2R.javajava GL2R0=>01=>12=>23=>34=>55=>41 2 3 4 5 62 1 5 6 3 43 6 1 5 4 24 5 6 1 2 35 4 2 3 6 16 3 4 2 1 5interface IGroup { void printSet(); void printTable(); int mul(int a,int b); int size()...原创 2020-05-23 20:46:17 · 146 阅读 · 0 评论 -
G40、G48、G72
D:\MathTool\gaptool>Gnm 48 52GAP[48,2]:N0C1Nk=1,1,2,2,2,4,4,8,8,16,[[0,46],[1,2]],[[1,1,1],[2,1,1],[3,1,2],[4,1,2],[6,1,2],[8,1,4],[12,1,4],[16,1,8],[24,1,8],[48,1,16]]S2=0,1,3,5,11,22,46,92,188,760kKEZDCANS=48,[48,0,0,0,0,0,0,0,0,0],48,48,1,1,1,1,1原创 2020-05-23 09:11:31 · 260 阅读 · 0 评论 -
区分G32_4和G32_12、G32_13和G32_14、G32_30和G32_31的群不变量C1、Nk(不涉及特征标表或子群ID的计算)
问题:寻找新的群不变量区分G32_4和G32_12、G32_13和G32_14?【N3区分不了】D:\MathTool\gaptool>IdGroup G32.4.txt[4,12,]GAP[32,0]:N0=1,3,12,16,0,0S2=0,3,33,124,144,192kKEZDCANS=20,[8,12,0,0,0,0],8,8,2,0,0,1,1I1I2=[[1,1,1],[2,1,3],[4,1,12],[8,1,16]],[[2,1,3],[4,1,30],[4,2,3原创 2020-05-21 21:43:33 · 279 阅读 · 0 评论 -
gaptool的C#版本(四)
D:\SixCocos2d-xVC2012\Cocos2d-x\XWH\cstest>csc FiniteGroup.cs Un.csMicrosoft (R) Visual C# Compiler version 4.6.1055.0for C# 5Copyright (C) Microsoft Corporation. All rights reserved.This compiler is provided as part of the Microsoft (R) .NET Frame原创 2020-05-20 16:10:57 · 337 阅读 · 0 评论 -
gaptool的C#版本(三)
D:\SixCocos2d-xVC2012\Cocos2d-x\XWH\cstest>R4R4_4:[R4Add]1 2 3 42 1 4 33 4 1 24 3 2 1[R4Mul]1 1 1 11 1 1 11 1 1 11 1 1 1R4_5:[R4Add]1 2 3 42 1 4 33 4 1 24 3 2 1[R4Mul]1 1 1 11 1 1 11 1 2 21 1 2 2R4_6:[R4Add]1 2 3 42 1 4 33 4 1原创 2020-05-18 18:27:47 · 123 阅读 · 0 评论 -
有限交换环的理想判定算法
D:\SixCocos2d-xVC2012\Cocos2d-x\XWH\cstest>csc Ideal.cs IRing.csD:\SixCocos2d-xVC2012\Cocos2d-x\XWH\cstest>Ideal6阶环:[0,3]构成理想,不是幂零理想,是素理想,是准素理想[0,2,4]构成理想,不是幂零理想,是素理想,是准素理想和:[0,1,2,3,4,5],不是幂零理想,不是素理想,不是准素理想积:[0],是幂零理想(m=1),是素理想,是准素理想交:[0],是幂原创 2020-05-17 12:44:11 · 1520 阅读 · 0 评论 -
gaptool的C#版本(二)
这篇博文在上篇博文的基础上做了些修改,定义了一个有限环的抽象基类,程序运行结果是一样的,但去除了重复的代码。using System;using System.Collections.Generic;namespace gap{ class util { public static void printRing(IRing r) { int n=r.size(); Console.Write("[R{0}...原创 2020-05-16 23:05:11 · 131 阅读 · 0 评论 -
gaptool的C#版本
D:\SixCocos2d-xVC2012\Cocos2d-x\XWH\cstest>csc R8.csMicrosoft (R) Visual C# Compiler version 4.6.1055.0for C# 5D:\SixCocos2d-xVC2012\Cocos2d-x\XWH\cstest>R888[R8Add]1 2 3 4 5 6 7 82 3 4 5 6 7 8 13 4 5 6 7 8 1 24 5 6 7 8 1 2 35 6 7 8 1 2 3 4原创 2020-05-16 20:06:05 · 186 阅读 · 0 评论 -
G16、G24、G32、G36、G60
D:\MathTool\gaptool>G24GAP[24,1]:N0=1,1,2,2,2,12,4,0S2=0,1,3,5,11,66,46,144kKEZDCANS=12,[4,4,4,0,0,0,0,0],24,4,3,0,0,0,1I1I2=[[1,1,1],[2,1,1],[3,1,2],[4,1,2],[6,2,2],[8,1,12],[12,2,4]],[[2,1,1],[3,1,3],[4,1,5],[6,2,11],[8,1,66],[12,2,46]]Center(GA原创 2020-05-15 14:50:00 · 424 阅读 · 0 评论 -
计算中心和换位子群(golang版本)
D:\go20190906\src\IGroup>go build ZD.go[0x7FEF9B63C50] ANOMALY: meaningless REX prefix used# command-line-arguments[0x7FEF9B63C50] ANOMALY: meaningless REX prefix usedD:\go20190906\src\IGroup>ZD[0x7FEF9B63C50] ANOMALY: meaningless REX prefix us原创 2020-05-15 11:33:32 · 752 阅读 · 0 评论 -
C++抽象基类的虚析构声明
struct IRing{ virtual ~IRing(){}; virtual void printTable() = 0; virtual int add(int a,int b) = 0; virtual int mul(int a,int b) = 0; virtual int size() = 0; };M2r::~M2r(){#if 1 int ID=IdRing(this); printf("R%d_%d: ...原创 2020-05-14 14:10:59 · 220 阅读 · 0 评论 -
弱布尔环、幂零理想环
D:\MathTool\gaptool>IdealR6_4:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,1,2,2],6,1,1,4,4,0,0,15,3,6,[1,1,2,2],[[2,2,1],[2,6,2],[3,3,4],[3,6,4],[6,2,2],[6,3,4],[6,6,4]]IdemN9=[0,1,3,4],[R1_1,R6_4]幂等元集合不构成环,幂零元集合构成理想R8_3:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,1,2,4],8,1,1原创 2020-05-13 13:36:05 · 1220 阅读 · 0 评论 -
有限交换环r[x]/(a)、(m)r[x]/(n)r[x]的结构分析
D:\MathTool\gaptool>PolynomialRingcnt=4R2_2/([1,0,1])=R4_9:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,3,0],2,1,1,2,2,1,1,8,1,4,[1,2,1],[[2,2,8]]cnt=4R2_2/([1,1,1])=R4_11:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,3,0],2,1,1,1,2,0,0,7,0,4,[1,1,2],[[2,2,9]]cnt=4R2_2/([0,0,1]原创 2020-05-10 23:35:36 · 821 阅读 · 0 评论 -
有限交换环Z[i]/(a)、mZ[i]/nZ[i]的结构分析
一类有限交换环原创 2020-05-10 14:08:58 · 1012 阅读 · 1 评论 -
16阶环的结构分析(二)
D:\MathTool\gaptool>IRingR16_115:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,3,12,0,0],4,1,1,8,2,3,7,56,7,16,[1,3,6,2,4],[[2,4,32],[4,2,32],[4,4,136]][R16Add]1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 162 4 5 7 8 9 1 11 12 13 3 15 16 10 6 143 5 6 8 9 10 11 12 13 1 15 1原创 2020-05-09 10:02:23 · 847 阅读 · 0 评论 -
GAP计算环不变量的命令
gap> calR:=function(R) L:=Elements(R);;n1:=0;;for i1 in L do if InverseMutable(i1)=fail then n1:=n1+1;fi;od;n2:=0;;for i2 in L do if IsIdempotent(i2) then n2:=n2+1;fi;od;n4:=0;;for i4 in L do if Is...原创 2020-05-08 11:50:58 · 332 阅读 · 0 评论 -
直接从凯莱表构造一个有限环,输出Id和环结构不变量N0n0bAbOn1n2n4n5n6n7n8S1N2
D:\MathTool\gaptool>FiniteRingR2_1:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,1],2,1,0,2,1,1,1,4,1,2,[1,1],[]R2_2:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,1],2,1,1,1,2,0,0,3,0,2,[1,1],[[2,2,1]]R3_1:N0n0bAbOn1n2n4n5n6n7...原创 2020-05-07 23:49:44 · 417 阅读 · 0 评论 -
A~K系列有限环序列的n阶矩阵表示(3个1阶表示,2个4阶表示,6个2阶表示)
D:\MathTool\gaptool>IRingA4=R4_1:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,1,2],4,1,0,4,1,3,3,16,3,4,[1,1,2],[]B4=R4_2:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,1,2],4,1,0,4,1,1,3,12,3,4,[1,1,2],[[4,4,4]]C4=R4_3:N0n0bA...原创 2020-05-07 13:24:51 · 713 阅读 · 0 评论 -
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 · 248 阅读 · 0 评论 -
有限群序列的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 · 310 阅读 · 0 评论 -
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 · 2020 阅读 · 0 评论 -
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 · 323 阅读 · 0 评论