> load"/home/harashita-lab/ogasawara/CompletedCodes/IsomTest.txt"; Loading "/home/harashita-lab/ogasawara/CompletedCodes/IsomTest.txt" charcteristic of base field K: 13 Compute time Discriminant= 6.790 compute time Cartier-Manin matrix =0.130 ======================================== 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 13^8 field K : Finite field of size 13^2 field L0: Finite field of size 13^4 ======================================== ========================================= Isomrophism Classes and AutMorphism Groups ========================================= No. 1: Def. eq: P:=Y^2*Z - (X^3 + 10 X*Z^2 + 6 Z^3) Q:=W^2 - (1 *X^2 + 0 *X*Y + L0.1^680 *X*Z + L0.1^11730 *Y^2 +0 *Y*Z + L0.1^12240 *Z^2) j-invariant of E=V(P): 5 UDCEC?: false Automorphism Group:C2^2 index: Isom subNo. 1 of P(No.1) ---------------------------------------- No. 2: Def. eq: P:=Y^2*Z - (X^3 + 10 X*Z^2 + 6 Z^3) Q:=W^2 - (1 *X^2 + 0 *X*Y + 2 *X*Z + 1 *Y^2 +0 *Y*Z + 0 *Z^2) j-invariant of E=V(P): 5 UDCEC?: false Automorphism Group:C2^2 index: Isom subNo. 2 of P(No.1) ---------------------------------------- No. 3: Def. eq: P:=Y^2*Z - (X^3 + 10 X*Z^2 + 6 Z^3) Q:=W^2 - (1 *X^2 + 0 *X*Y + L0.1^8840 *X*Z + L0.1^9690 *Y^2 +0 *Y*Z + L0.1^16320 *Z^2) j-invariant of E=V(P): 5 UDCEC?: false Automorphism Group:C2^2 index: Isom subNo. 3 of P(No.1) ---------------------------------------- No. 4: Def. eq: P:=Y^2*Z - (X^3 + 10 X*Z^2 + 6 Z^3) Q:=W^2 - (1 *X^2 + L0.1^1700 *X*Y + 5 *X*Z + L0.1^27200 *Y^2 +L0.1^20740 *Y*Z + L0.1^15130 *Z^2) j-invariant of E=V(P): 5 UDCEC?: true Automorphism Group:C2 index: Isom subNo. 4 of P(No.1) ---------------------------------------- No. 5: Def. eq: P:=Y^2*Z - (X^3 + 10 X*Z^2 + 6 Z^3) Q:=W^2 - (1 *X^2 + L0.1^2472 *X*Y + L0.1^10096 *X*Z + L0.1^17239 *Y^2 +L0.1^8087 *Y*Z + L0.1^12719 *Z^2) j-invariant of E=V(P): 5 UDCEC?: true Automorphism Group:C2 index: Isom subNo. 5 of P(No.1) ---------------------------------------- ========================================= Each Isomrophism Class ========================================= No. 1 : P := Y^2Z - (X^3 + 10 X*Z^2 + 6 Z^3) ==================================== Isom subNo. 1 ---------------------------------------- q:= 1 *X^2 + 0 *X*Y + L0.1^680 *X*Z + L0.1^11730 *Y^2 +0 *Y*Z + L0.1^12240 *Z^2 q:= 1 *X^2 + 0 *X*Y + L0.1^17340 *X*Z + L0.1^5610 *Y^2 +0 *Y*Z + L0.1^9860 *Z^2 q:= 1 *X^2 + L0.1^1445 *X*Y + 11 *X*Z + L0.1^25840 *Y^2 +L0.1^1105 *Y*Z + L0.1^14450 *Z^2 q:= 1 *X^2 + L0.1^3825 *X*Y + L0.1^28390 *X*Z + L0.1^13090 *Y^2 +L0.1^18445 *Y*Z + L0.1^11390 *Z^2 q:= 1 *X^2 + L0.1^4165 *X*Y + L0.1^15130 *X*Z + L0.1^1360 *Y^2 +L0.1^22185 *Y*Z + L0.1^18870 *Z^2 q:= 1 *X^2 + L0.1^6545 *X*Y + L0.1^12240 *X*Z + L0.1^17170 *Y^2 +L0.1^13345 *Y*Z + L0.1^25160 *Z^2 q:= 1 *X^2 + L0.1^6545 *X*Y + L0.1^13090 *X*Z + L0.1^19890 *Y^2 +L0.1^6035 *Y*Z + L0.1^6290 *Z^2 q:= 1 *X^2 + L0.1^7225 *X*Y + L0.1^13090 *X*Z + L0.1^8500 *Y^2 +0 *Y*Z + L0.1^4420 *Z^2 q:= 1 *X^2 + L0.1^11475 *X*Y + L0.1^1360 *X*Z + 2 *Y^2 +L0.1^1785 *Y*Z + L0.1^13090 *Z^2 q:= 1 *X^2 + L0.1^12665 *X*Y + L0.1^8500 *X*Z + L0.1^1190 *Y^2 +L0.1^7565 *Y*Z + L0.1^170 *Z^2 q:= 1 *X^2 + L0.1^15725 *X*Y + 11 *X*Z + L0.1^25840 *Y^2 +L0.1^15385 *Y*Z + L0.1^14450 *Z^2 q:= 1 *X^2 + L0.1^18105 *X*Y + L0.1^28390 *X*Z + L0.1^13090 *Y^2 +L0.1^4165 *Y*Z + L0.1^11390 *Z^2 q:= 1 *X^2 + L0.1^18445 *X*Y + L0.1^15130 *X*Z + L0.1^1360 *Y^2 +L0.1^7905 *Y*Z + L0.1^18870 *Z^2 q:= 1 *X^2 + L0.1^20825 *X*Y + L0.1^12240 *X*Z + L0.1^17170 *Y^2 +L0.1^27625 *Y*Z + L0.1^25160 *Z^2 q:= 1 *X^2 + L0.1^20825 *X*Y + L0.1^13090 *X*Z + L0.1^19890 *Y^2 +L0.1^20315 *Y*Z + L0.1^6290 *Z^2 q:= 1 *X^2 + L0.1^21505 *X*Y + L0.1^13090 *X*Z + L0.1^8500 *Y^2 +0 *Y*Z + L0.1^4420 *Z^2 q:= 1 *X^2 + L0.1^25755 *X*Y + L0.1^1360 *X*Z + 2 *Y^2 +L0.1^16065 *Y*Z + L0.1^13090 *Z^2 q:= 1 *X^2 + L0.1^26945 *X*Y + L0.1^8500 *X*Z + L0.1^1190 *Y^2 +L0.1^21845 *Y*Z + L0.1^170 *Z^2 Isom subNo. 2 ---------------------------------------- q:= 1 *X^2 + 0 *X*Y + 2 *X*Z + 1 *Y^2 +0 *Y*Z + 0 *Z^2 q:= 1 *X^2 + 0 *X*Y + 11 *X*Z + 5 *Y^2 +0 *Y*Z + 2 *Z^2 q:= 1 *X^2 + L0.1^2125 *X*Y + L0.1^18190 *X*Z + L0.1^23290 *Y^2 +L0.1^1615 *Y*Z + L0.1^10710 *Z^2 q:= 1 *X^2 + L0.1^3825 *X*Y + L0.1^13600 *X*Z + L0.1^28050 *Y^2 +L0.1^17595 *Y*Z + L0.1^22440 *Z^2 q:= 1 *X^2 + L0.1^6885 *X*Y + L0.1^5440 *X*Z + L0.1^21930 *Y^2 +L0.1^14535 *Y*Z + L0.1^6120 *Z^2 q:= 1 *X^2 + L0.1^9775 *X*Y + L0.1^23290 *X*Z + L0.1^2550 *Y^2 +L0.1^6545 *Y*Z + L0.1^10540 *Z^2 q:= 1 *X^2 + L0.1^12835 *X*Y + L0.1^17170 *X*Z + L0.1^4590 *Y^2 +L0.1^27965 *Y*Z + L0.1^22780 *Z^2 q:= 1 *X^2 + L0.1^13345 *X*Y + L0.1^7990 *X*Z + L0.1^17170 *Y^2 +L0.1^6715 *Y*Z + L0.1^24990 *Z^2 q:= 1 *X^2 + L0.1^16405 *X*Y + L0.1^18190 *X*Z + L0.1^23290 *Y^2 +L0.1^15895 *Y*Z + L0.1^10710 *Z^2 q:= 1 *X^2 + L0.1^18105 *X*Y + L0.1^13600 *X*Z + L0.1^28050 *Y^2 +L0.1^3315 *Y*Z + L0.1^22440 *Z^2 q:= 1 *X^2 + L0.1^21165 *X*Y + L0.1^5440 *X*Z + L0.1^21930 *Y^2 +L0.1^255 *Y*Z + L0.1^6120 *Z^2 q:= 1 *X^2 + L0.1^24055 *X*Y + L0.1^23290 *X*Z + L0.1^2550 *Y^2 +L0.1^20825 *Y*Z + L0.1^10540 *Z^2 q:= 1 *X^2 + L0.1^27115 *X*Y + L0.1^17170 *X*Z + L0.1^4590 *Y^2 +L0.1^13685 *Y*Z + L0.1^22780 *Z^2 q:= 1 *X^2 + L0.1^27625 *X*Y + L0.1^7990 *X*Z + L0.1^17170 *Y^2 +L0.1^20995 *Y*Z + L0.1^24990 *Z^2 q:= 0 *X^2 + 1 *X*Y + L0.1^935 *X*Z + L0.1^22015 *Y^2 +L0.1^10880 *Y*Z + L0.1^4505 *Z^2 q:= 0 *X^2 + 1 *X*Y + L0.1^12155 *X*Z + L0.1^595 *Y^2 +L0.1^27200 *Y*Z + L0.1^1445 *Z^2 q:= 0 *X^2 + 1 *X*Y + L0.1^15215 *X*Z + L0.1^7735 *Y^2 +L0.1^10880 *Y*Z + L0.1^18785 *Z^2 q:= 0 *X^2 + 1 *X*Y + L0.1^26435 *X*Z + L0.1^14875 *Y^2 +L0.1^27200 *Y*Z + L0.1^15725 *Z^2 Isom subNo. 3 ---------------------------------------- q:= 1 *X^2 + 0 *X*Y + L0.1^8840 *X*Z + L0.1^9690 *Y^2 +0 *Y*Z + L0.1^16320 *Z^2 q:= 1 *X^2 + 0 *X*Y + L0.1^25500 *X*Z + L0.1^15810 *Y^2 +0 *Y*Z + L0.1^13940 *Z^2 q:= 1 *X^2 + L0.1^4505 *X*Y + 11 *X*Z + L0.1^21760 *Y^2 +L0.1^85 *Y*Z + L0.1^16490 *Z^2 q:= 1 *X^2 + L0.1^6375 *X*Y + L0.1^17680 *X*Z + 2 *Y^2 +L0.1^23205 *Y*Z + L0.1^27370 *Z^2 q:= 1 *X^2 + L0.1^6885 *X*Y + L0.1^26350 *X*Z + L0.1^27370 *Y^2 +L0.1^25585 *Y*Z + L0.1^5270 *Z^2 q:= 1 *X^2 + L0.1^7565 *X*Y + L0.1^24820 *X*Z + L0.1^15470 *Y^2 +L0.1^26945 *Y*Z + L0.1^2210 *Z^2 q:= 1 *X^2 + L0.1^8245 *X*Y + L0.1^27370 *X*Z + L0.1^24820 *Y^2 +0 *Y*Z + L0.1^340 *Z^2 q:= 1 *X^2 + L0.1^11305 *X*Y + L0.1^25330 *X*Z + L0.1^17680 *Y^2 +L0.1^17085 *Y*Z + L0.1^16830 *Z^2 q:= 1 *X^2 + L0.1^13685 *X*Y + L0.1^16320 *X*Z + L0.1^23290 *Y^2 +L0.1^16405 *Y*Z + L0.1^12920 *Z^2 q:= 1 *X^2 + L0.1^13685 *X*Y + L0.1^27370 *X*Z + L0.1^1530 *Y^2 +L0.1^7055 *Y*Z + L0.1^24650 *Z^2 q:= 1 *X^2 + L0.1^18785 *X*Y + 11 *X*Z + L0.1^21760 *Y^2 +L0.1^14365 *Y*Z + L0.1^16490 *Z^2 q:= 1 *X^2 + L0.1^20655 *X*Y + L0.1^17680 *X*Z + 2 *Y^2 +L0.1^8925 *Y*Z + L0.1^27370 *Z^2 q:= 1 *X^2 + L0.1^21165 *X*Y + L0.1^26350 *X*Z + L0.1^27370 *Y^2 +L0.1^11305 *Y*Z + L0.1^5270 *Z^2 q:= 1 *X^2 + L0.1^21845 *X*Y + L0.1^24820 *X*Z + L0.1^15470 *Y^2 +L0.1^12665 *Y*Z + L0.1^2210 *Z^2 q:= 1 *X^2 + L0.1^22525 *X*Y + L0.1^27370 *X*Z + L0.1^24820 *Y^2 +0 *Y*Z + L0.1^340 *Z^2 q:= 1 *X^2 + L0.1^25585 *X*Y + L0.1^25330 *X*Z + L0.1^17680 *Y^2 +L0.1^2805 *Y*Z + L0.1^16830 *Z^2 q:= 1 *X^2 + L0.1^27965 *X*Y + L0.1^16320 *X*Z + L0.1^23290 *Y^2 +L0.1^2125 *Y*Z + L0.1^12920 *Z^2 q:= 1 *X^2 + L0.1^27965 *X*Y + L0.1^27370 *X*Z + L0.1^1530 *Y^2 +L0.1^21335 *Y*Z + L0.1^24650 *Z^2 Isom subNo. 4 ---------------------------------------- q:= 1 *X^2 + L0.1^1700 *X*Y + 5 *X*Z + L0.1^27200 *Y^2 +L0.1^20740 *Y*Z + L0.1^15130 *Z^2 q:= 1 *X^2 + L0.1^3576 *X*Y + L0.1^17008 *X*Z + L0.1^24187 *Y^2 +L0.1^19451 *Y*Z + L0.1^22547 *Z^2 q:= 1 *X^2 + L0.1^4584 *X*Y + L0.1^18352 *X*Z + L0.1^3523 *Y^2 +L0.1^2819 *Y*Z + L0.1^11963 *Z^2 q:= 1 *X^2 + L0.1^4983 *X*Y + L0.1^21509 *X*Z + L0.1^20098 *Y^2 +L0.1^6553 *Y*Z + L0.1^5548 *Z^2 q:= 1 *X^2 + L0.1^5199 *X*Y + L0.1^19635 *X*Z + L0.1^27532 *Y^2 +L0.1^1233 *Y*Z + L0.1^2021 *Z^2 q:= 1 *X^2 + L0.1^6844 *X*Y + L0.1^1707 *X*Z + L0.1^13201 *Y^2 +L0.1^16443 *Y*Z + L0.1^6798 *Z^2 q:= 1 *X^2 + L0.1^7551 *X*Y + L0.1^5355 *X*Z + L0.1^26188 *Y^2 +L0.1^22737 *Y*Z + L0.1^27389 *Z^2 q:= 1 *X^2 + L0.1^13887 *X*Y + L0.1^7901 *X*Z + L0.1^26482 *Y^2 +L0.1^22177 *Y*Z + L0.1^23692 *Z^2 q:= 1 *X^2 + L0.1^14236 *X*Y + L0.1^2883 *X*Z + L0.1^3289 *Y^2 +L0.1^8547 *Y*Z + L0.1^6462 *Z^2 q:= 1 *X^2 + L0.1^15980 *X*Y + 5 *X*Z + L0.1^27200 *Y^2 +L0.1^6460 *Y*Z + L0.1^15130 *Z^2 q:= 1 *X^2 + L0.1^17856 *X*Y + L0.1^17008 *X*Z + L0.1^24187 *Y^2 +L0.1^5171 *Y*Z + L0.1^22547 *Z^2 q:= 1 *X^2 + L0.1^18864 *X*Y + L0.1^18352 *X*Z + L0.1^3523 *Y^2 +L0.1^17099 *Y*Z + L0.1^11963 *Z^2 q:= 1 *X^2 + L0.1^19263 *X*Y + L0.1^21509 *X*Z + L0.1^20098 *Y^2 +L0.1^20833 *Y*Z + L0.1^5548 *Z^2 q:= 1 *X^2 + L0.1^19479 *X*Y + L0.1^19635 *X*Z + L0.1^27532 *Y^2 +L0.1^15513 *Y*Z + L0.1^2021 *Z^2 q:= 1 *X^2 + L0.1^21124 *X*Y + L0.1^1707 *X*Z + L0.1^13201 *Y^2 +L0.1^2163 *Y*Z + L0.1^6798 *Z^2 q:= 1 *X^2 + L0.1^21831 *X*Y + L0.1^5355 *X*Z + L0.1^26188 *Y^2 +L0.1^8457 *Y*Z + L0.1^27389 *Z^2 q:= 1 *X^2 + L0.1^28167 *X*Y + L0.1^7901 *X*Z + L0.1^26482 *Y^2 +L0.1^7897 *Y*Z + L0.1^23692 *Z^2 q:= 1 *X^2 + L0.1^28516 *X*Y + L0.1^2883 *X*Z + L0.1^3289 *Y^2 +L0.1^22827 *Y*Z + L0.1^6462 *Z^2 Isom subNo. 5 ---------------------------------------- q:= 1 *X^2 + L0.1^2472 *X*Y + L0.1^10096 *X*Z + L0.1^17239 *Y^2 +L0.1^8087 *Y*Z + L0.1^12719 *Z^2 q:= 1 *X^2 + L0.1^3292 *X*Y + L0.1^22191 *X*Z + L0.1^253 *Y^2 +L0.1^13839 *Y*Z + L0.1^2694 *Z^2 q:= 1 *X^2 + L0.1^3648 *X*Y + L0.1^21184 *X*Z + L0.1^271 *Y^2 +L0.1^10103 *Y*Z + L0.1^7511 *Z^2 q:= 1 *X^2 + L0.1^7659 *X*Y + L0.1^22577 *X*Z + L0.1^4234 *Y^2 +L0.1^28069 *Y*Z + L0.1^15004 *Z^2 q:= 1 *X^2 + L0.1^7820 *X*Y + 5 *X*Z + L0.1^10880 *Y^2 +L0.1^26860 *Y*Z + L0.1^25330 *Z^2 q:= 1 *X^2 + L0.1^9171 *X*Y + L0.1^17033 *X*Z + L0.1^1546 *Y^2 +L0.1^2701 *Y*Z + L0.1^22396 *Z^2 q:= 1 *X^2 + L0.1^10467 *X*Y + L0.1^26775 *X*Z + L0.1^15196 *Y^2 +L0.1^16029 *Y*Z + L0.1^26273 *Z^2 q:= 1 *X^2 + L0.1^12483 *X*Y + L0.1^12495 *X*Z + L0.1^26284 *Y^2 +L0.1^9981 *Y*Z + L0.1^13337 *Z^2 q:= 1 *X^2 + L0.1^13708 *X*Y + L0.1^8919 *X*Z + L0.1^14197 *Y^2 +L0.1^25431 *Y*Z + L0.1^26886 *Z^2 q:= 1 *X^2 + L0.1^16752 *X*Y + L0.1^10096 *X*Z + L0.1^17239 *Y^2 +L0.1^22367 *Y*Z + L0.1^12719 *Z^2 q:= 1 *X^2 + L0.1^17572 *X*Y + L0.1^22191 *X*Z + L0.1^253 *Y^2 +L0.1^28119 *Y*Z + L0.1^2694 *Z^2 q:= 1 *X^2 + L0.1^17928 *X*Y + L0.1^21184 *X*Z + L0.1^271 *Y^2 +L0.1^24383 *Y*Z + L0.1^7511 *Z^2 q:= 1 *X^2 + L0.1^21939 *X*Y + L0.1^22577 *X*Z + L0.1^4234 *Y^2 +L0.1^13789 *Y*Z + L0.1^15004 *Z^2 q:= 1 *X^2 + L0.1^22100 *X*Y + 5 *X*Z + L0.1^10880 *Y^2 +L0.1^12580 *Y*Z + L0.1^25330 *Z^2 q:= 1 *X^2 + L0.1^23451 *X*Y + L0.1^17033 *X*Z + L0.1^1546 *Y^2 +L0.1^16981 *Y*Z + L0.1^22396 *Z^2 q:= 1 *X^2 + L0.1^24747 *X*Y + L0.1^26775 *X*Z + L0.1^15196 *Y^2 +L0.1^1749 *Y*Z + L0.1^26273 *Z^2 q:= 1 *X^2 + L0.1^26763 *X*Y + L0.1^12495 *X*Z + L0.1^26284 *Y^2 +L0.1^24261 *Y*Z + L0.1^13337 *Z^2 q:= 1 *X^2 + L0.1^27988 *X*Y + L0.1^8919 *X*Z + L0.1^14197 *Y^2 +L0.1^11151 *Y*Z + L0.1^26886 *Z^2 compute time variety=1.130 compute time Total=2547.500 Total time: 2544.300 seconds, Total memory usage: 491.94MB