Program, data, and output files for "On the equation a^2 - 2 b^6 = c^p" by Imin Chen.

Test that E is a Q-curve defined over Q(\sqrt(2),\sqrt(3)): MAGMA program

Test that E_\beta is a Q-curve defined over Q(\sqrt(2),\sqrt(3)): MAGMA program

Conductor exponent at prime over 2 for E MAGMA output MAGMA program

Conductor exponent at prime over 3 for E MAGMA output MAGMA program

Initialization programs for forms at level: 768, 6912

Common program to compute forms: MAGMA program

MAGMA program to compute forms at level: 768, 6912

Data of forms at level: 768, 6912

Common program to eliminate forms with coefficients not in M_beta: MAGMA program

MAGMA program to eliminate forms with coefficients not in M_beta at level: 768, 6912

Output from MAGMA program to eliminate forms with coefficients not in M_beta at level: 768, 6912

Common program to determine CM forms: MAGMA program

MAGMA program to determine CM forms at level: 768, 6912

Output from MAGMA program to determine CM forms at level: 768, 6912

Count number of points of E_\beta mod a prime q split completely in K_\beta: MAGMA output MAGMA program

MAGMA program to compute forms at level: 128

Data of forms at level: 128

MAGMA program to eliminate forms using multi-Frey technique: Data of forms at level 128 (variable name qexplist edited) MAGMA output MAGMA program

MAGMA program to determine congruences on c: MAGMA output MAGMA program