Computation programs and log files for the paper "Superspecial genus-4 double covers of elliptic curves"

• Explicit form of the polynomial f₂:
  • The file "f2code.txt"(txt): Magma code for finding f₂
  • The file "log_f2code.txt"(txt): Log file obtained by executing "f2code.txt"
• Code used in the proof of Lemma 3.2:
  • The file "code_for_lemma3-2.txt"(txt)
• Code used in the proof of Proposition 3.3:
  • The file "code_for_prop3-3.txt"(txt)
• Code for checking whether the ideal generated by the entries of the Cartier-Manin matrix is radical:
  • The file "Cariter-Manin_CheckRadical.txt"(txt)
• Enumerating UDCEC's (unique double covers of elliptic curves):
  • The file "ssp_UDCEC.txt"(txt): Magma code for enumerating UDCEC's
  • The file "log_sspUDCEC_p=5.txt"(txt): Log file obtained by executing "ssp_UDCEC.txt" for p=5
  • The file "log_sspUDCEC_p=7.txt"(txt): Log file obtained by executing "ssp_UDCEC.txt" for p=7
  • The file "log_sspUDCEC_p=11.txt"(txt): Log file obtained by executing "ssp_UDCEC.txt" for p=11
  • The file "log_sspUDCEC_p=13.txt"(txt): Log file obtained by executing "ssp_UDCEC.txt" for p=13
  • The file "log_sspUDCEC_p=17.txt"(txt): Log file obtained by executing "ssp_UDCEC.txt" for p=17
  • The file "log_sspUDCEC_p=19.txt"(txt): Log file obtained by executing "ssp_UDCEC.txt" for p=19
  • The file "log_sspUDCEC_p=23.txt"(txt): Log file obtained by executing "ssp_UDCEC.txt" for p=23
• Isomorphism test:
  • The file "IsomTest.txt"(txt): Magma code for computing isomorphism classes of superspecial DCEC's over field with charasteristic p, and for each comptuting the automorphism group of a representative of each isomorphism class with checking whether it is UDCEC.
  • The file "log_IsomTest_p=5.txt"(txt): Log file obtained by executing "IsomTest.txt" for p=5
  • The file "log_IsomTest_p=11.txt"(txt): Log file obtained by executing "IsomTest.txt" for p=11
  • The file "log_IsomTest_p=13.txt"(txt): Log file obtained by executing "IsomTest.txt" for p=13
  • The file "log_IsomTest_p=17.txt"(txt): Log file obtained by executing "IsomTest.txt" for p=17
  • The file "log_IsomTest_p=19.txt"(txt): Log file obtained by executing "IsomTest.txt" for p=19
  • The file "log_IsomTest_p=23.txt"(txt): Log file obtained by executing "IsomTest.txt" for p=23

Shushi Harashita ()