原创 有限域F_p上的橢圓曲線E:y^2=x^3+ax+b(mod p)的Mordell-Weil羣的計算

D:\MathTool\gaptool>ECGroup 2 1 13 y^2=x^3+2x+1(mod13)=>GAP[8,1]: 0->(0,0),ord=1=>0->(0,0),ord=1 1->(0,1),ord=8=>2->(0,

原创 gaptool的C#版本(四)

D:\SixCocos2d-xVC2012\Cocos2d-x\XWH\cstest>csc FiniteGroup.cs Un.cs Microsoft (R) Visual C# Compiler version 4.6.1055.0

原创 G48

D:\MathTool\gaptool>Gnm 48 52 GAP[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

原创 區分G32_4和G32_12、G32_13和G32_14、G32_30和G32_31的羣不變量C1、Nk(不涉及特徵標表或子羣ID的計算)

N3、C2不變量暫無作用(N3與N0、C2與C1似乎重複了)。 C1(GAP[32,4])=[[0,28],[1,4]] C2(GAP[32,4])=[[0,0,28],[0,1,3],[1,1,1]] Nk(GAP[32,4])=[[1

原创 有限交換環的理想判定算法

D:\SixCocos2d-xVC2012\Cocos2d-x\XWH\cstest>csc Ideal.cs IRing.cs D:\SixCocos2d-xVC2012\Cocos2d-x\XWH\cstest>Ideal 6階環:

原创 gaptool的C#版本(三)

D:\SixCocos2d-xVC2012\Cocos2d-x\XWH\cstest>R4 R4_4: [R4Add] 1 2 3 4 2 1 4 3 3 4 1 2 4 3 2 1 [R4Mul] 1 1 1 1 1 1 1 1 1 1

原创 gaptool的C#版本(二)

這篇博文在上篇博文的基礎上做了些修改,定義了一個有限環的抽象基類,程序運行結果是一樣的,但去除了重複的代碼。 using System; using System.Collections.Generic; namespace gap {

原创 弱布爾環、冪零理想環

D:\MathTool\gaptool>Ideal R6_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,

原创 計算中心和換位子羣(golang版本)

D:\go20190906\src\IGroup>go build ZD.go [0x7FEF9B63C50] ANOMALY: meaningless REX prefix used # command-line-arguments [

原创 C++抽象基類的虛析構聲明

struct IRing {     virtual ~IRing(){};         virtual void printTable() = 0;     virtual int add(int a,int b) = 0;   

原创 G24

D:\MathTool\gaptool>G24 GAP[24,1]: N0=1,1,2,2,2,12,4,0 S2=0,1,3,5,11,66,46,144 kKEZDCANS=12,[4,4,4,0,0,0,0,0],24,4,3,0,

原创 gaptool的C#版本

D:\SixCocos2d-xVC2012\Cocos2d-x\XWH\cstest>csc R8.cs Microsoft (R) Visual C# Compiler version 4.6.1055.0 for C# 5D:\Six

原创 有限交換環r[x]/(a)、(m)r[x]/(n)r[x]的結構分析

D:\MathTool\gaptool>PolynomialRing R8_3/([[0,2],[2]],[1,0,1])=R16_118:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,3,12,0,0],4,1,0,16,

原创 有限交換環Z[i]/(a)、mZ[i]/nZ[i]的結構分析

32階環Z[i]/(4+4i)的單個和2個生成元的真子環的子環ID分佈I1I2: Z[i]/(4+4i)=R32_-1:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,3,12,16,0,0],8,1,1,16,2,3,7,1

原创 C++中有限環接口的聲明與實現

D:\MathTool\gaptool>cl /c IRing.cpp 用於 x86 的 Microsoft (R) C/C++ 優化編譯器 17.00.50727.1 版版權所有(C) Microsoft Corporation。保留所