> load"/home/harashita-lab/Oga/CompletedCodes/IsomTest.txt"; Loading "/home/harashita-lab/Oga/CompletedCodes/IsomTest.txt" charcteristic of base field K: 11 compute time discriminant= 7.890 compute time Cartier-Manin matrix =0.020 compute time Cartier-Manin matrix =0.020 ======================================== Superspecial DCEC's C=V(P,Q), where P,Q in L[X,Y,Z,W], and Q:=W^2 - q base field L: Finite field of size 11^4 field K : Finite field of size 11^2 field L0: Finite field of size 11^2 ======================================== ========================================= Isomrophism Classes and AutMorphism Groups ========================================= No. 1: Def. eq: P:=Y^2*Z - (X^3 + 0 *X*Z^2 + 4 *Z^3) Q:=W^2 - (1 *X^2 + K.1^18 *X*Y + 6 *X*Z + 6 *Y^2 +K.1^90 *Y*Z + 5 *Z^2) j-invariant of E=V(P): 0 UDCEC?: false Automorphism Group:C3*S4 index: Isom subNo. 1 of P(No.1) ---------------------------------------- No. 2: Def. eq: P:=Y^2*Z - (X^3 + 0 *X*Z^2 + 4 *Z^3) Q:=W^2 - (1 *X^2 + 0 *X*Y + 4 *X*Z + 4 *Y^2 +0 *Y*Z + 2 *Z^2) j-invariant of E=V(P): 0 UDCEC?: false Automorphism Group:D6 index: Isom subNo. 2 of P(No.1) ---------------------------------------- No. 3: Def. eq: P:=Y^2*Z - (X^3 + 0 *X*Z^2 + 4 *Z^3) Q:=W^2 - (1 *X^2 + K.1^14 *X*Y + K.1^44 *X*Z + K.1^28 *Y^2 +K.1^70 *Y*Z + K.1^88 *Z^2) j-invariant of E=V(P): 0 UDCEC?: false Automorphism Group:C6*S3 index: Isom subNo. 3 of P(No.1) ---------------------------------------- No. 4: Def. eq: P:=Y^2*Z - (X^3 + 0 *X*Z^2 + 4 *Z^3) Q:=W^2 - (0 *X^2 + 1 *X*Y + 0 *X*Z + 0 *Y^2 +0 *Y*Z + 0 *Z^2) j-invariant of E=V(P): 0 UDCEC?: true Automorphism Group:C12 index: Isom subNo. 4 of P(No.1) ---------------------------------------- No. 5: Def. eq: P:=Y^2*Z - (X^3 + 1 *X*Z^2 + 0 *Z^3) Q:=W^2 - (1 *X^2 + 0 *X*Y + K.1^54 *X*Z + K.1^90 *Y^2 +0 *Y*Z + 6 *Z^2) j-invariant of E=V(P): 1728 UDCEC?: false Automorphism Group:S4 index: Isom subNo. 2 of P(No.2) ---------------------------------------- ========================================= Each Isomrophism Class ========================================= No. 1 : P := Y^2Z - (X^3 + 0 X*Z^2 + 4 Z^3) ==================================== Isom subNo. 1 ---------------------------------------- q:= 1 *X^2 + K.1^18 *X*Y + 6 *X*Z + 6 *Y^2 +K.1^90 *Y*Z + 5 *Z^2 q:= 1 *X^2 + K.1^38 *X*Y + K.1^68 *X*Z + K.1^28 *Y^2 +K.1^70 *Y*Z + K.1^88 *Z^2 q:= 1 *X^2 + K.1^58 *X*Y + K.1^28 *X*Z + K.1^68 *Y^2 +K.1^50 *Y*Z + K.1^8 *Z^2 q:= 1 *X^2 + K.1^78 *X*Y + 6 *X*Z + 6 *Y^2 +K.1^30 *Y*Z + 5 *Z^2 q:= 1 *X^2 + K.1^98 *X*Y + K.1^68 *X*Z + K.1^28 *Y^2 +K.1^10 *Y*Z + K.1^88 *Z^2 q:= 1 *X^2 + K.1^118 *X*Y + K.1^28 *X*Z + K.1^68 *Y^2 +K.1^110 *Y*Z + K.1^8 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +0 *Y*Z + 3 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +2 *Y*Z + 5 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +9 *Y*Z + 5 *Z^2 Isom subNo. 2 ---------------------------------------- q:= 1 *X^2 + 0 *X*Y + 4 *X*Z + 4 *Y^2 +0 *Y*Z + 2 *Z^2 q:= 1 *X^2 + 0 *X*Y + K.1^64 *X*Z + K.1^104 *Y^2 +0 *Y*Z + K.1^92 *Z^2 q:= 1 *X^2 + 0 *X*Y + K.1^104 *X*Z + K.1^64 *Y^2 +0 *Y*Z + K.1^52 *Z^2 q:= 1 *X^2 + 1 *X*Y + 9 *X*Z + 8 *Y^2 +6 *Y*Z + 9 *Z^2 q:= 1 *X^2 + K.1^20 *X*Y + K.1^32 *X*Z + K.1^76 *Y^2 +K.1^88 *Y*Z + K.1^112 *Z^2 q:= 1 *X^2 + K.1^40 *X*Y + K.1^112 *X*Z + K.1^116 *Y^2 +K.1^68 *Y*Z + K.1^32 *Z^2 q:= 1 *X^2 + 10 *X*Y + 9 *X*Z + 8 *Y^2 +5 *Y*Z + 9 *Z^2 q:= 1 *X^2 + K.1^80 *X*Y + K.1^32 *X*Z + K.1^76 *Y^2 +K.1^28 *Y*Z + K.1^112 *Z^2 q:= 1 *X^2 + K.1^100 *X*Y + K.1^112 *X*Z + K.1^116 *Y^2 +K.1^8 *Y*Z + K.1^32 *Z^2 Isom subNo. 3 ---------------------------------------- q:= 1 *X^2 + K.1^14 *X*Y + K.1^44 *X*Z + K.1^28 *Y^2 +K.1^70 *Y*Z + K.1^88 *Z^2 q:= 1 *X^2 + K.1^34 *X*Y + K.1^4 *X*Z + K.1^68 *Y^2 +K.1^50 *Y*Z + K.1^8 *Z^2 q:= 1 *X^2 + K.1^54 *X*Y + 7 *X*Z + 6 *Y^2 +K.1^30 *Y*Z + 5 *Z^2 q:= 1 *X^2 + K.1^74 *X*Y + K.1^44 *X*Z + K.1^28 *Y^2 +K.1^10 *Y*Z + K.1^88 *Z^2 q:= 1 *X^2 + K.1^94 *X*Y + K.1^4 *X*Z + K.1^68 *Y^2 +K.1^110 *Y*Z + K.1^8 *Z^2 q:= 1 *X^2 + K.1^114 *X*Y + 7 *X*Z + 6 *Y^2 +K.1^90 *Y*Z + 5 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^30 *X*Z + 0 *Y^2 +0 *Y*Z + 0 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^90 *X*Z + 0 *Y^2 +0 *Y*Z + 0 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +0 *Y*Z + 1 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +0 *Y*Z + 8 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +5 *Y*Z + 0 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +6 *Y*Z + 0 *Z^2 Isom subNo. 4 ---------------------------------------- q:= 0 *X^2 + 1 *X*Y + 0 *X*Z + 0 *Y^2 +0 *Y*Z + 0 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^30 *X*Z + K.1^14 *Y^2 +0 *Y*Z + K.1^14 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^30 *X*Z + K.1^54 *Y^2 +0 *Y*Z + K.1^54 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^30 *X*Z + K.1^94 *Y^2 +0 *Y*Z + K.1^94 *Z^2 q:= 0 *X^2 + 1 *X*Y + 5 *X*Z + 0 *Y^2 +0 *Y*Z + 0 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^90 *X*Z + K.1^34 *Y^2 +0 *Y*Z + K.1^34 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^90 *X*Z + K.1^74 *Y^2 +0 *Y*Z + K.1^74 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^90 *X*Z + K.1^114 *Y^2 +0 *Y*Z + K.1^114 *Z^2 q:= 0 *X^2 + 1 *X*Y + 6 *X*Z + 0 *Y^2 +0 *Y*Z + 0 *Z^2 No. 2 : P := Y^2Z - (X^3 + 1 X*Z^2 + 0 Z^3) ==================================== Isom subNo. 1 ---------------------------------------- q:= 1 *X^2 + 0 *X*Y + 8 *X*Z + 10 *Y^2 +0 *Y*Z + 6 *Z^2 q:= 1 *X^2 + 0 *X*Y + 3 *X*Z + 1 *Y^2 +0 *Y*Z + 6 *Z^2 q:= 1 *X^2 + 1 *X*Y + 10 *X*Z + 0 *Y^2 +9 *Y*Z + 4 *Z^2 q:= 1 *X^2 + 2 *X*Y + 0 *X*Z + 8 *Y^2 +0 *Y*Z + 1 *Z^2 q:= 1 *X^2 + K.1^16 *X*Y + K.1^74 *X*Z + K.1^112 *Y^2 +K.1^9 *Y*Z + K.1^43 *Z^2 q:= 1 *X^2 + K.1^26 *X*Y + K.1^34 *X*Z + K.1^92 *Y^2 +K.1^9 *Y*Z + K.1^113 *Z^2 q:= 1 *X^2 + K.1^30 *X*Y + 1 *X*Z + 0 *Y^2 +K.1^42 *Y*Z + 4 *Z^2 q:= 1 *X^2 + K.1^42 *X*Y + 0 *X*Z + 3 *Y^2 +0 *Y*Z + 1 *Z^2 q:= 1 *X^2 + K.1^46 *X*Y + K.1^14 *X*Z + K.1^52 *Y^2 +K.1^99 *Y*Z + K.1^43 *Z^2 q:= 1 *X^2 + K.1^56 *X*Y + K.1^94 *X*Z + K.1^32 *Y^2 +K.1^99 *Y*Z + K.1^113 *Z^2 q:= 1 *X^2 + 10 *X*Y + 10 *X*Z + 0 *Y^2 +2 *Y*Z + 4 *Z^2 q:= 1 *X^2 + 9 *X*Y + 0 *X*Z + 8 *Y^2 +0 *Y*Z + 1 *Z^2 q:= 1 *X^2 + K.1^76 *X*Y + K.1^74 *X*Z + K.1^112 *Y^2 +K.1^69 *Y*Z + K.1^43 *Z^2 q:= 1 *X^2 + K.1^86 *X*Y + K.1^34 *X*Z + K.1^92 *Y^2 +K.1^69 *Y*Z + K.1^113 *Z^2 q:= 1 *X^2 + K.1^90 *X*Y + 1 *X*Z + 0 *Y^2 +K.1^102 *Y*Z + 4 *Z^2 q:= 1 *X^2 + K.1^102 *X*Y + 0 *X*Z + 3 *Y^2 +0 *Y*Z + 1 *Z^2 q:= 1 *X^2 + K.1^106 *X*Y + K.1^14 *X*Z + K.1^52 *Y^2 +K.1^39 *Y*Z + K.1^43 *Z^2 q:= 1 *X^2 + K.1^116 *X*Y + K.1^94 *X*Z + K.1^32 *Y^2 +K.1^39 *Y*Z + K.1^113 *Z^2 Isom subNo. 2 ---------------------------------------- q:= 1 *X^2 + 0 *X*Y + K.1^54 *X*Z + K.1^90 *Y^2 +0 *Y*Z + 6 *Z^2 q:= 1 *X^2 + 0 *X*Y + K.1^114 *X*Z + K.1^30 *Y^2 +0 *Y*Z + 6 *Z^2 q:= 1 *X^2 + K.1^4 *X*Y + K.1^57 *X*Z + K.1^19 *Y^2 +K.1^87 *Y*Z + K.1^45 *Z^2 q:= 1 *X^2 + K.1^9 *X*Y + K.1^30 *X*Z + K.1^18 *Y^2 +K.1^3 *Y*Z + 0 *Z^2 q:= 1 *X^2 + K.1^14 *X*Y + K.1^87 *X*Z + K.1^29 *Y^2 +K.1^27 *Y*Z + K.1^15 *Z^2 q:= 1 *X^2 + K.1^15 *X*Y + K.1^6 *X*Z + 0 *Y^2 +K.1^57 *Y*Z + 7 *Z^2 q:= 1 *X^2 + K.1^34 *X*Y + K.1^117 *X*Z + K.1^79 *Y^2 +K.1^57 *Y*Z + K.1^45 *Z^2 q:= 1 *X^2 + K.1^39 *X*Y + K.1^90 *X*Z + K.1^78 *Y^2 +K.1^93 *Y*Z + 0 *Z^2 q:= 1 *X^2 + K.1^44 *X*Y + K.1^27 *X*Z + K.1^89 *Y^2 +K.1^117 *Y*Z + K.1^15 *Z^2 q:= 1 *X^2 + K.1^45 *X*Y + K.1^66 *X*Z + 0 *Y^2 +K.1^27 *Y*Z + 7 *Z^2 q:= 1 *X^2 + K.1^64 *X*Y + K.1^57 *X*Z + K.1^19 *Y^2 +K.1^27 *Y*Z + K.1^45 *Z^2 q:= 1 *X^2 + K.1^69 *X*Y + K.1^30 *X*Z + K.1^18 *Y^2 +K.1^63 *Y*Z + 0 *Z^2 q:= 1 *X^2 + K.1^74 *X*Y + K.1^87 *X*Z + K.1^29 *Y^2 +K.1^87 *Y*Z + K.1^15 *Z^2 q:= 1 *X^2 + K.1^75 *X*Y + K.1^6 *X*Z + 0 *Y^2 +K.1^117 *Y*Z + 7 *Z^2 q:= 1 *X^2 + K.1^94 *X*Y + K.1^117 *X*Z + K.1^79 *Y^2 +K.1^117 *Y*Z + K.1^45 *Z^2 q:= 1 *X^2 + K.1^99 *X*Y + K.1^90 *X*Z + K.1^78 *Y^2 +K.1^33 *Y*Z + 0 *Z^2 q:= 1 *X^2 + K.1^104 *X*Y + K.1^27 *X*Z + K.1^89 *Y^2 +K.1^57 *Y*Z + K.1^15 *Z^2 q:= 1 *X^2 + K.1^105 *X*Y + K.1^66 *X*Z + 0 *Y^2 +K.1^87 *Y*Z + 7 *Z^2 compute time variety=0.400 compute time Total=485.780 Total time: 485.790 [508.795] seconds, Total memory usage: 265.56MB > load"/home/harashita-lab/Oga/CompletedCodes/IsomTest.txt"; Loading "/home/harashita-lab/Oga/CompletedCodes/IsomTest.txt" charcteristic of base field K: 11 compute time discriminant= 7.950 compute time Cartier-Manin matrix =0.020 compute time Cartier-Manin matrix =0.020 ======================================== Superspecial DCEC's C=V(P,Q), where P,Q in L[X,Y,Z,W], and Q:=W^2 - q base field L: Finite field of size 11^4 field K : Finite field of size 11^2 field L0: Finite field of size 11^2 ======================================== ========================================= Isomrophism Classes and AutMorphism Groups ========================================= No. 1: Def. eq: P:=Y^2*Z - (X^3 + 0 *X*Z^2 + 4 *Z^3) Q:=W^2 - (1 *X^2 + K.1^18 *X*Y + 6 *X*Z + 6 *Y^2 +K.1^90 *Y*Z + 5 *Z^2) j-invariant of E=V(P): 0 UDCEC?: false Automorphism Group:C3*S4 index: Isom subNo. 1 of P(No.1) ---------------------------------------- No. 2: Def. eq: P:=Y^2*Z - (X^3 + 0 *X*Z^2 + 4 *Z^3) Q:=W^2 - (1 *X^2 + 0 *X*Y + 4 *X*Z + 4 *Y^2 +0 *Y*Z + 2 *Z^2) j-invariant of E=V(P): 0 UDCEC?: false Automorphism Group:D6 index: Isom subNo. 2 of P(No.1) ---------------------------------------- No. 3: Def. eq: P:=Y^2*Z - (X^3 + 0 *X*Z^2 + 4 *Z^3) Q:=W^2 - (1 *X^2 + K.1^14 *X*Y + K.1^44 *X*Z + K.1^28 *Y^2 +K.1^70 *Y*Z + K.1^88 *Z^2) j-invariant of E=V(P): 0 UDCEC?: false Automorphism Group:C6*S3 index: Isom subNo. 3 of P(No.1) ---------------------------------------- No. 4: Def. eq: P:=Y^2*Z - (X^3 + 0 *X*Z^2 + 4 *Z^3) Q:=W^2 - (0 *X^2 + 1 *X*Y + 0 *X*Z + 0 *Y^2 +0 *Y*Z + 0 *Z^2) j-invariant of E=V(P): 0 UDCEC?: true Automorphism Group:C12 index: Isom subNo. 4 of P(No.1) ---------------------------------------- No. 5: Def. eq: P:=Y^2*Z - (X^3 + 1 *X*Z^2 + 0 *Z^3) Q:=W^2 - (1 *X^2 + 0 *X*Y + K.1^54 *X*Z + K.1^90 *Y^2 +0 *Y*Z + 6 *Z^2) j-invariant of E=V(P): 1728 UDCEC?: false Automorphism Group:S4 index: Isom subNo. 2 of P(No.2) ---------------------------------------- ========================================= Each Isomrophism Class ========================================= No. 1 : P := Y^2Z - (X^3 + 0 X*Z^2 + 4 Z^3) ==================================== Isom subNo. 1 ---------------------------------------- q:= 1 *X^2 + K.1^18 *X*Y + 6 *X*Z + 6 *Y^2 +K.1^90 *Y*Z + 5 *Z^2 q:= 1 *X^2 + K.1^38 *X*Y + K.1^68 *X*Z + K.1^28 *Y^2 +K.1^70 *Y*Z + K.1^88 *Z^2 q:= 1 *X^2 + K.1^58 *X*Y + K.1^28 *X*Z + K.1^68 *Y^2 +K.1^50 *Y*Z + K.1^8 *Z^2 q:= 1 *X^2 + K.1^78 *X*Y + 6 *X*Z + 6 *Y^2 +K.1^30 *Y*Z + 5 *Z^2 q:= 1 *X^2 + K.1^98 *X*Y + K.1^68 *X*Z + K.1^28 *Y^2 +K.1^10 *Y*Z + K.1^88 *Z^2 q:= 1 *X^2 + K.1^118 *X*Y + K.1^28 *X*Z + K.1^68 *Y^2 +K.1^110 *Y*Z + K.1^8 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +0 *Y*Z + 3 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +2 *Y*Z + 5 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +9 *Y*Z + 5 *Z^2 Isom subNo. 2 ---------------------------------------- q:= 1 *X^2 + 0 *X*Y + 4 *X*Z + 4 *Y^2 +0 *Y*Z + 2 *Z^2 q:= 1 *X^2 + 0 *X*Y + K.1^64 *X*Z + K.1^104 *Y^2 +0 *Y*Z + K.1^92 *Z^2 q:= 1 *X^2 + 0 *X*Y + K.1^104 *X*Z + K.1^64 *Y^2 +0 *Y*Z + K.1^52 *Z^2 q:= 1 *X^2 + 1 *X*Y + 9 *X*Z + 8 *Y^2 +6 *Y*Z + 9 *Z^2 q:= 1 *X^2 + K.1^20 *X*Y + K.1^32 *X*Z + K.1^76 *Y^2 +K.1^88 *Y*Z + K.1^112 *Z^2 q:= 1 *X^2 + K.1^40 *X*Y + K.1^112 *X*Z + K.1^116 *Y^2 +K.1^68 *Y*Z + K.1^32 *Z^2 q:= 1 *X^2 + 10 *X*Y + 9 *X*Z + 8 *Y^2 +5 *Y*Z + 9 *Z^2 q:= 1 *X^2 + K.1^80 *X*Y + K.1^32 *X*Z + K.1^76 *Y^2 +K.1^28 *Y*Z + K.1^112 *Z^2 q:= 1 *X^2 + K.1^100 *X*Y + K.1^112 *X*Z + K.1^116 *Y^2 +K.1^8 *Y*Z + K.1^32 *Z^2 Isom subNo. 3 ---------------------------------------- q:= 1 *X^2 + K.1^14 *X*Y + K.1^44 *X*Z + K.1^28 *Y^2 +K.1^70 *Y*Z + K.1^88 *Z^2 q:= 1 *X^2 + K.1^34 *X*Y + K.1^4 *X*Z + K.1^68 *Y^2 +K.1^50 *Y*Z + K.1^8 *Z^2 q:= 1 *X^2 + K.1^54 *X*Y + 7 *X*Z + 6 *Y^2 +K.1^30 *Y*Z + 5 *Z^2 q:= 1 *X^2 + K.1^74 *X*Y + K.1^44 *X*Z + K.1^28 *Y^2 +K.1^10 *Y*Z + K.1^88 *Z^2 q:= 1 *X^2 + K.1^94 *X*Y + K.1^4 *X*Z + K.1^68 *Y^2 +K.1^110 *Y*Z + K.1^8 *Z^2 q:= 1 *X^2 + K.1^114 *X*Y + 7 *X*Z + 6 *Y^2 +K.1^90 *Y*Z + 5 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^30 *X*Z + 0 *Y^2 +0 *Y*Z + 0 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^90 *X*Z + 0 *Y^2 +0 *Y*Z + 0 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +0 *Y*Z + 1 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +0 *Y*Z + 8 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +5 *Y*Z + 0 *Z^2 q:= 0 *X^2 + 0 *X*Y + 0 *X*Z + 1 *Y^2 +6 *Y*Z + 0 *Z^2 Isom subNo. 4 ---------------------------------------- q:= 0 *X^2 + 1 *X*Y + 0 *X*Z + 0 *Y^2 +0 *Y*Z + 0 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^30 *X*Z + K.1^14 *Y^2 +0 *Y*Z + K.1^14 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^30 *X*Z + K.1^54 *Y^2 +0 *Y*Z + K.1^54 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^30 *X*Z + K.1^94 *Y^2 +0 *Y*Z + K.1^94 *Z^2 q:= 0 *X^2 + 1 *X*Y + 5 *X*Z + 0 *Y^2 +0 *Y*Z + 0 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^90 *X*Z + K.1^34 *Y^2 +0 *Y*Z + K.1^34 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^90 *X*Z + K.1^74 *Y^2 +0 *Y*Z + K.1^74 *Z^2 q:= 0 *X^2 + 1 *X*Y + K.1^90 *X*Z + K.1^114 *Y^2 +0 *Y*Z + K.1^114 *Z^2 q:= 0 *X^2 + 1 *X*Y + 6 *X*Z + 0 *Y^2 +0 *Y*Z + 0 *Z^2 No. 2 : P := Y^2Z - (X^3 + 1 X*Z^2 + 0 Z^3) ==================================== Isom subNo. 1 ---------------------------------------- q:= 1 *X^2 + 0 *X*Y + 8 *X*Z + 10 *Y^2 +0 *Y*Z + 6 *Z^2 q:= 1 *X^2 + 0 *X*Y + 3 *X*Z + 1 *Y^2 +0 *Y*Z + 6 *Z^2 q:= 1 *X^2 + 1 *X*Y + 10 *X*Z + 0 *Y^2 +9 *Y*Z + 4 *Z^2 q:= 1 *X^2 + 2 *X*Y + 0 *X*Z + 8 *Y^2 +0 *Y*Z + 1 *Z^2 q:= 1 *X^2 + K.1^16 *X*Y + K.1^74 *X*Z + K.1^112 *Y^2 +K.1^9 *Y*Z + K.1^43 *Z^2 q:= 1 *X^2 + K.1^26 *X*Y + K.1^34 *X*Z + K.1^92 *Y^2 +K.1^9 *Y*Z + K.1^113 *Z^2 q:= 1 *X^2 + K.1^30 *X*Y + 1 *X*Z + 0 *Y^2 +K.1^42 *Y*Z + 4 *Z^2 q:= 1 *X^2 + K.1^42 *X*Y + 0 *X*Z + 3 *Y^2 +0 *Y*Z + 1 *Z^2 q:= 1 *X^2 + K.1^46 *X*Y + K.1^14 *X*Z + K.1^52 *Y^2 +K.1^99 *Y*Z + K.1^43 *Z^2 q:= 1 *X^2 + K.1^56 *X*Y + K.1^94 *X*Z + K.1^32 *Y^2 +K.1^99 *Y*Z + K.1^113 *Z^2 q:= 1 *X^2 + 10 *X*Y + 10 *X*Z + 0 *Y^2 +2 *Y*Z + 4 *Z^2 q:= 1 *X^2 + 9 *X*Y + 0 *X*Z + 8 *Y^2 +0 *Y*Z + 1 *Z^2 q:= 1 *X^2 + K.1^76 *X*Y + K.1^74 *X*Z + K.1^112 *Y^2 +K.1^69 *Y*Z + K.1^43 *Z^2 q:= 1 *X^2 + K.1^86 *X*Y + K.1^34 *X*Z + K.1^92 *Y^2 +K.1^69 *Y*Z + K.1^113 *Z^2 q:= 1 *X^2 + K.1^90 *X*Y + 1 *X*Z + 0 *Y^2 +K.1^102 *Y*Z + 4 *Z^2 q:= 1 *X^2 + K.1^102 *X*Y + 0 *X*Z + 3 *Y^2 +0 *Y*Z + 1 *Z^2 q:= 1 *X^2 + K.1^106 *X*Y + K.1^14 *X*Z + K.1^52 *Y^2 +K.1^39 *Y*Z + K.1^43 *Z^2 q:= 1 *X^2 + K.1^116 *X*Y + K.1^94 *X*Z + K.1^32 *Y^2 +K.1^39 *Y*Z + K.1^113 *Z^2 Isom subNo. 2 ---------------------------------------- q:= 1 *X^2 + 0 *X*Y + K.1^54 *X*Z + K.1^90 *Y^2 +0 *Y*Z + 6 *Z^2 q:= 1 *X^2 + 0 *X*Y + K.1^114 *X*Z + K.1^30 *Y^2 +0 *Y*Z + 6 *Z^2 q:= 1 *X^2 + K.1^4 *X*Y + K.1^57 *X*Z + K.1^19 *Y^2 +K.1^87 *Y*Z + K.1^45 *Z^2 q:= 1 *X^2 + K.1^9 *X*Y + K.1^30 *X*Z + K.1^18 *Y^2 +K.1^3 *Y*Z + 0 *Z^2 q:= 1 *X^2 + K.1^14 *X*Y + K.1^87 *X*Z + K.1^29 *Y^2 +K.1^27 *Y*Z + K.1^15 *Z^2 q:= 1 *X^2 + K.1^15 *X*Y + K.1^6 *X*Z + 0 *Y^2 +K.1^57 *Y*Z + 7 *Z^2 q:= 1 *X^2 + K.1^34 *X*Y + K.1^117 *X*Z + K.1^79 *Y^2 +K.1^57 *Y*Z + K.1^45 *Z^2 q:= 1 *X^2 + K.1^39 *X*Y + K.1^90 *X*Z + K.1^78 *Y^2 +K.1^93 *Y*Z + 0 *Z^2 q:= 1 *X^2 + K.1^44 *X*Y + K.1^27 *X*Z + K.1^89 *Y^2 +K.1^117 *Y*Z + K.1^15 *Z^2 q:= 1 *X^2 + K.1^45 *X*Y + K.1^66 *X*Z + 0 *Y^2 +K.1^27 *Y*Z + 7 *Z^2 q:= 1 *X^2 + K.1^64 *X*Y + K.1^57 *X*Z + K.1^19 *Y^2 +K.1^27 *Y*Z + K.1^45 *Z^2 q:= 1 *X^2 + K.1^69 *X*Y + K.1^30 *X*Z + K.1^18 *Y^2 +K.1^63 *Y*Z + 0 *Z^2 q:= 1 *X^2 + K.1^74 *X*Y + K.1^87 *X*Z + K.1^29 *Y^2 +K.1^87 *Y*Z + K.1^15 *Z^2 q:= 1 *X^2 + K.1^75 *X*Y + K.1^6 *X*Z + 0 *Y^2 +K.1^117 *Y*Z + 7 *Z^2 q:= 1 *X^2 + K.1^94 *X*Y + K.1^117 *X*Z + K.1^79 *Y^2 +K.1^117 *Y*Z + K.1^45 *Z^2 q:= 1 *X^2 + K.1^99 *X*Y + K.1^90 *X*Z + K.1^78 *Y^2 +K.1^33 *Y*Z + 0 *Z^2 q:= 1 *X^2 + K.1^104 *X*Y + K.1^27 *X*Z + K.1^89 *Y^2 +K.1^57 *Y*Z + K.1^15 *Z^2 q:= 1 *X^2 + K.1^105 *X*Y + K.1^66 *X*Z + 0 *Y^2 +K.1^87 *Y*Z + 7 *Z^2 compute time variety=0.350 compute time Total=473.670 Total time: 473.670 [485.437] seconds, Total memory usage: 265.56MB