///////////////////////////////////////////////////////////////////////////
//
// 		"An algorithm for determining torsion growth of elliptic curves"
// 		Enrique González-Jiménez & Filip Najman
//
///////////////////////////////////////////////////////////////////////////
// 8/4/2019 - Magma 2.24
//////////////////////////////////////////////////////////////////////////

// Magma scripts related to prove some of the results of the paper.
// Load the corresponding file. 

// Lemma 2.6 in the CM case:

magma Lemma_2_6CM.txt

// Lemma 2.8

magma Lemma_2_8_order49.txt

// Lemma 2.9

magma Lemma_2_9CM.txt

// Lemma 2.10 and 2.11

magma Lemma_2.10_11.txt

// Theorem 5.1
// Download the file 2primary_Ss.txt

magma sporadic4x12.txt