Magma V2.7-1 Tue May 1 2001 04:31:26 on modular [Seed = 1083459154] Type ? for help. Type -D to quit. Loading startup file "/home/was/modsym/init.m" Loading "/home/was/modsym/init-magma.m" C IndexGamma0 R ellap idxG0 CS MS S factormod modcharpoly DC ND Tn factorpadic padiccharpoly ES NS Z fcp qexp F Q charpoly fn x Finding acceptable K for E of conductor 707 Finding mordell Weil group of Elliptic Curve defined by y^2 + y = x^3 + x^2 - 12*x + 12 over Rational Field Finding point on twist by -20 Height bound (10.9818) on point search is too large -- reducing to 0.5000 This means that the computed group may only generate a group of finite index in the actual group. The point is P = (-369/80 : -2177/3200*sqrtD - 1/2 : 1) Computing first height. H_2() NumeratorIdeal() rhotilde(I, 809754760839083609 + O(3^40) , -809754760839083609 + O(3^40) ) Time: 0.000 Computing class number h Class number h = 2 Raising ideal to the power h Finding generator for the principal ideal I^h I^h is principal. Computing embeddings of canonical power of generator into Qp pi_alpha_v = 1 - q - q^3 - q^5 + q^6 + q^7 + q^9 + q^10 + q^11 - q^14 + q^15 + q^16 - q^17 - q^19 + q^22 + q^24 - q^25 + q^26 - q^28 - q^29 - q^31 - q^35 - q^36 + q^37 + q^38 - q^39 - q^40 + q^41 - q^42 - q^43 - q^44 + O(q^45) pibar_alpha_v = 1 - q - q^3 + q^5 - q^10 + q^11 - q^12 + q^13 + q^14 + q^15 - q^16 + q^17 + q^19 - q^20 + q^23 - q^24 + q^25 - q^27 - q^28 - q^29 - q^30 - q^31 + q^32 - q^33 + q^35 + q^36 - q^37 - q^38 - q^40 - q^41 - q^44 + O(q^45) pi_alpha_v-1 = -q - q^3 - q^5 + q^6 + q^7 + q^9 + q^10 + q^11 - q^14 + q^15 + q^16 - q^17 - q^19 + q^22 + q^24 - q^25 + q^26 - q^28 - q^29 - q^31 - q^35 - q^36 + q^37 + q^38 - q^39 - q^40 + q^41 - q^42 - q^43 - q^44 + O(q^45) Valuation(pi_alpha_v-1) = 1 pibar_alpha_v-1 = -q - q^3 + q^5 - q^10 + q^11 - q^12 + q^13 + q^14 + q^15 - q^16 + q^17 + q^19 - q^20 + q^23 - q^24 + q^25 - q^27 - q^28 - q^29 - q^30 - q^31 + q^32 - q^33 + q^35 + q^36 - q^37 - q^38 - q^40 - q^41 - q^44 + O(q^45) Valuation(pibar_alpha_v-1) = 1 Valuations ok -- now computing p-adic logarithms. lambda(pi_alpha_v) = -q - q^4 - q^5 + q^6 + q^8 + q^9 - q^10 - q^12 + q^13 + q^18 - q^19 - q^23 - q^24 - q^25 + q^28 - q^29 - q^32 - q^33 + q^34 - q^35 + q^36 + q^37 + q^39 - q^40 - q^42 + q^44 + O(q^45) lambda(pibar_alpha_v) = -q - q^4 + q^5 - q^6 + q^7 + q^9 + q^11 + q^12 - q^16 + q^17 + q^19 + q^21 + q^22 + q^24 + q^25 + q^26 + q^28 - q^31 - q^34 - q^36 + q^38 + q^39 - q^40 - q^42 + O(q^45) Computing second height. H_2() NumeratorIdeal() rhotilde(I, 809754760839083609 + O(3^40) , -809754760839083609 + O(3^40) ) Time: 0.000 Computing class number h Class number h = 2 Raising ideal to the power h Finding generator for the principal ideal I^h I^h is principal. Computing embeddings of canonical power of generator into Qp pi_alpha_v = 1 + q - q^2 + q^3 + q^6 + q^8 - q^9 + q^11 - q^14 - q^16 - q^17 - q^19 - q^21 - q^23 - q^24 + q^25 + q^26 + q^28 - q^29 - q^30 - q^32 - q^33 - q^34 + q^35 - q^36 + q^37 + q^38 + q^40 - q^41 - q^43 + O(q^44) pibar_alpha_v = 1 + q - q^2 + q^3 + q^4 + q^5 - q^6 - q^7 + q^8 + q^9 - q^10 + q^11 - q^12 - q^13 + q^14 + q^15 + q^17 - q^20 - q^21 + q^22 + q^24 + q^25 + q^26 + q^29 + q^30 - q^31 + q^33 + q^35 - q^36 + q^38 + q^39 + q^40 - q^41 + O(q^44) pi_alpha_v-1 = q - q^2 + q^3 + q^6 + q^8 - q^9 + q^11 - q^14 - q^16 - q^17 - q^19 - q^21 - q^23 - q^24 + q^25 + q^26 + q^28 - q^29 - q^30 - q^32 - q^33 - q^34 + q^35 - q^36 + q^37 + q^38 + q^40 - q^41 - q^43 + O(q^44) Valuation(pi_alpha_v-1) = 1 pibar_alpha_v-1 = q - q^2 + q^3 + q^4 + q^5 - q^6 - q^7 + q^8 + q^9 - q^10 + q^11 - q^12 - q^13 + q^14 + q^15 + q^17 - q^20 - q^21 + q^22 + q^24 + q^25 + q^26 + q^29 + q^30 - q^31 + q^33 + q^35 - q^36 + q^38 + q^39 + q^40 - q^41 + O(q^44) Valuation(pibar_alpha_v-1) = 1 Valuations ok -- now computing p-adic logarithms. lambda(pi_alpha_v) = q + q^2 + q^7 - q^8 - q^9 + q^11 + q^12 + q^13 + q^15 + q^18 + q^19 + q^20 + q^21 + q^23 - q^24 + q^25 + q^26 - q^27 + q^29 + q^30 + q^31 + q^32 + q^33 - q^34 + q^35 - q^36 - q^40 - q^41 + q^42 + O(q^44) lambda(pibar_alpha_v) = q + q^2 + q^4 - q^6 - q^9 + q^12 - q^14 + q^15 - q^18 + q^19 - q^21 - q^22 - q^24 + q^25 + q^27 - q^28 - q^29 - q^30 + q^31 - q^32 - q^33 + q^34 + q^35 + q^36 - q^37 - q^40 - q^42 + q^43 + O(q^44) Finding point on twist by -47 Height bound (12.0003) on point search is too large -- reducing to 0.5000 This means that the computed group may only generate a group of finite index in the actual group. The point is P = (-2127/47 : 193417/4418*sqrtD - 1/2 : 1) Computing first height. H_2() NumeratorIdeal() rhotilde(I, 2177937922132639033 + O(3^40) , -2177937922132639032 + O(3^40) ) Time: 0.000 Computing class number h Class number h = 5 Raising ideal to the power h Finding generator for the principal ideal I^h I^h is principal. Computing embeddings of canonical power of generator into Qp pi_alpha_v = 1 - q + q^2 - q^3 + q^4 + q^5 - q^6 + q^7 + q^8 - q^9 - q^10 - q^12 + q^13 - q^14 - q^16 + q^17 - q^18 + q^20 + q^23 + q^24 + q^25 - q^26 + q^29 - q^30 - q^32 - q^37 + q^38 - q^39 + q^41 - q^42 + q^43 + O(q^44) pibar_alpha_v = 1 - q + q^2 - q^3 + q^5 + q^6 + q^8 - q^12 + q^13 - q^15 - q^16 - q^17 + q^22 - q^23 - q^26 + q^27 - q^28 - q^29 + q^30 + q^33 + q^34 + q^36 + q^37 + q^38 - q^39 - q^43 + O(q^44) pi_alpha_v-1 = -q + q^2 - q^3 + q^4 + q^5 - q^6 + q^7 + q^8 - q^9 - q^10 - q^12 + q^13 - q^14 - q^16 + q^17 - q^18 + q^20 + q^23 + q^24 + q^25 - q^26 + q^29 - q^30 - q^32 - q^37 + q^38 - q^39 + q^41 - q^42 + q^43 + O(q^44) Valuation(pi_alpha_v-1) = 1 pibar_alpha_v-1 = -q + q^2 - q^3 + q^5 + q^6 + q^8 - q^12 + q^13 - q^15 - q^16 - q^17 + q^22 - q^23 - q^26 + q^27 - q^28 - q^29 + q^30 + q^33 + q^34 + q^36 + q^37 + q^38 - q^39 - q^43 + O(q^44) Valuation(pibar_alpha_v-1) = 1 Valuations ok -- now computing p-adic logarithms. lambda(pi_alpha_v) = -q + q^2 + q^3 - q^4 + q^6 - q^7 + q^8 - q^11 - q^12 + q^15 - q^16 - q^18 - q^19 - q^20 + q^22 - q^23 + q^24 + q^25 - q^29 + q^30 - q^33 - q^34 - q^35 - q^36 + q^37 + q^38 - q^40 - q^41 + O(q^44) lambda(pibar_alpha_v) = -q + q^2 + q^3 + q^4 + q^5 - q^6 + q^7 + q^8 - q^13 - q^15 - q^17 - q^18 + q^20 + q^22 - q^23 + q^24 - q^26 + q^27 - q^28 + q^30 + q^31 - q^33 - q^36 - q^37 + q^38 - q^41 - q^42 + q^43 + O(q^44) Computing second height. H_2() NumeratorIdeal() rhotilde(I, 2177937922132639033 + O(3^40) , -2177937922132639032 + O(3^40) ) Time: 0.000 Computing class number h Class number h = 5 Raising ideal to the power h Finding generator for the principal ideal I^h I^h is principal. Computing embeddings of canonical power of generator into Qp pi_alpha_v = 1 + q + q^2 + q^4 + q^5 + q^6 - q^8 + q^9 + q^10 + q^12 + q^14 + q^15 - q^17 + q^18 + q^23 - q^24 + q^26 + q^27 + q^29 + q^30 - q^31 + q^33 + q^34 + q^35 + q^36 - q^39 - q^40 + q^41 + q^42 - q^43 + O(q^45) pibar_alpha_v = 1 + q + q^2 + q^4 + q^6 + q^7 + q^8 - q^9 + q^12 - q^13 + q^14 + q^15 - q^17 + q^19 + q^20 + q^21 + q^22 - q^23 - q^24 - q^27 - q^28 + q^32 - q^33 + q^34 - q^35 + q^36 - q^37 + q^38 + q^39 - q^40 + q^42 - q^43 - q^44 + O(q^45) pi_alpha_v-1 = q + q^2 + q^4 + q^5 + q^6 - q^8 + q^9 + q^10 + q^12 + q^14 + q^15 - q^17 + q^18 + q^23 - q^24 + q^26 + q^27 + q^29 + q^30 - q^31 + q^33 + q^34 + q^35 + q^36 - q^39 - q^40 + q^41 + q^42 - q^43 + O(q^45) Valuation(pi_alpha_v-1) = 1 pibar_alpha_v-1 = q + q^2 + q^4 + q^6 + q^7 + q^8 - q^9 + q^12 - q^13 + q^14 + q^15 - q^17 + q^19 + q^20 + q^21 + q^22 - q^23 - q^24 - q^27 - q^28 + q^32 - q^33 + q^34 - q^35 + q^36 - q^37 + q^38 + q^39 - q^40 + q^42 - q^43 - q^44 + O(q^45) Valuation(pibar_alpha_v-1) = 1 Valuations ok -- now computing p-adic logarithms. lambda(pi_alpha_v) = q + q^3 - q^5 + q^7 + q^8 - q^9 + q^10 + q^11 + q^12 - q^13 - q^14 + q^16 + q^17 - q^18 - q^21 - q^22 + q^23 + q^26 + q^28 - q^29 + q^30 + q^31 - q^32 + q^33 + q^36 + q^37 + q^39 - q^40 - q^41 - q^42 + q^43 - q^44 + O(q^45) lambda(pibar_alpha_v) = q + q^3 + q^5 - q^7 - q^8 + q^9 - q^10 + q^11 - q^12 + q^14 + q^16 + q^19 - q^21 - q^22 + q^23 - q^25 + q^27 - q^28 + q^29 - q^32 + q^33 - q^34 - q^36 + q^37 - q^38 + q^39 + q^40 - q^42 - q^43 - q^44 + O(q^45) Finding point on twist by -68 The point is P = false Total time: 10.169 seconds