Magma V2.7-1 Fri Apr 27 2001 05:16:29 on modular [Seed = 2860093537] 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 389 Height bound (11.1782) 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. H_2() NumeratorIdeal() rhotilde(I, 3138807080130956359 + O(3^40) , -3138807080130956358 + O(3^40) ) Time: 0.000 Computing class number h Class number h = 10 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^3 + q^5 - q^7 + q^8 + q^11 + q^12 + q^13 + q^20 - q^21 + q^23 + q^25 - q^26 - q^27 - q^29 - q^31 - q^36 + q^38 + q^40 + O(q^43) pibar_alpha_v = 1 + q^5 + q^6 - q^7 - q^8 - q^9 + q^10 + q^11 - q^13 + q^15 + q^16 + q^17 + q^18 - q^19 - q^20 + q^21 - q^22 - q^23 + q^24 - q^25 + q^28 + q^29 - q^30 + q^31 + q^33 + q^34 + q^35 + q^36 + q^37 + q^38 + q^39 + O(q^43) pi_alpha_v-1 = q^3 + q^5 - q^7 + q^8 + q^11 + q^12 + q^13 + q^20 - q^21 + q^23 + q^25 - q^26 - q^27 - q^29 - q^31 - q^36 + q^38 + q^40 + O(q^43) Valuation(pi_alpha_v-1) = 3 pibar_alpha_v-1 = q^5 + q^6 - q^7 - q^8 - q^9 + q^10 + q^11 - q^13 + q^15 + q^16 + q^17 + q^18 - q^19 - q^20 + q^21 - q^22 - q^23 + q^24 - q^25 + q^28 + q^29 - q^30 + q^31 + q^33 + q^34 + q^35 + q^36 + q^37 + q^38 + q^39 + O(q^43) Valuation(pibar_alpha_v-1) = 5 Valuations ok -- now computing p-adic logarithms. lambda(pi_alpha_v) = q^3 + q^5 + q^6 - q^8 - q^9 + q^10 + q^11 + q^12 + q^13 - q^15 + q^17 - q^20 + q^22 - q^23 + q^24 - q^25 - q^26 + q^29 + q^31 - q^33 - q^35 + q^36 - q^38 - q^39 + q^40 - q^41 + q^42 + O(q^43) lambda(pibar_alpha_v) = q^5 + q^6 - q^7 - q^8 - q^9 - q^10 - q^11 + q^12 + q^13 + q^14 - q^15 - q^16 + q^17 - q^18 + q^19 - q^20 + q^22 + q^23 - q^24 - q^26 - q^29 - q^30 + q^31 - q^32 - q^34 + q^36 - q^38 - q^39 + q^40 + q^41 + O(q^43) H_2() NumeratorIdeal() rhotilde(I, 3138807080130956359 + O(3^40) , -3138807080130956358 + O(3^40) ) Time: 0.000 Computing class number h Class number h = 10 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^3 + q^6 - q^8 - q^9 - q^13 - q^14 - q^15 - q^16 - q^17 - q^18 - q^19 + q^21 - q^22 + q^23 + q^24 + q^27 - q^28 - q^31 - q^33 - q^34 + q^35 - q^37 - q^38 + q^39 + q^40 - q^41 + q^42 + O(q^43) pibar_alpha_v = 1 + q^3 + q^5 + q^6 + q^7 - q^8 + q^12 + q^14 + q^16 + q^17 - q^19 + q^21 + q^22 - q^23 + q^25 + q^26 - q^27 - q^30 - q^31 + q^32 - q^34 + q^35 + q^36 - q^38 + q^39 + q^41 + O(q^43) pi_alpha_v-1 = -q^3 + q^6 - q^8 - q^9 - q^13 - q^14 - q^15 - q^16 - q^17 - q^18 - q^19 + q^21 - q^22 + q^23 + q^24 + q^27 - q^28 - q^31 - q^33 - q^34 + q^35 - q^37 - q^38 + q^39 + q^40 - q^41 + q^42 + O(q^43) Valuation(pi_alpha_v-1) = 3 pibar_alpha_v-1 = q^3 + q^5 + q^6 + q^7 - q^8 + q^12 + q^14 + q^16 + q^17 - q^19 + q^21 + q^22 - q^23 + q^25 + q^26 - q^27 - q^30 - q^31 + q^32 - q^34 + q^35 + q^36 - q^38 + q^39 + q^41 + O(q^43) Valuation(pibar_alpha_v-1) = 3 Valuations ok -- now computing p-adic logarithms. lambda(pi_alpha_v) = -q^3 - q^6 - q^7 + q^9 + q^10 + q^12 - q^13 + q^14 + q^19 + q^20 - q^21 - q^22 - q^24 + q^26 + q^27 - q^29 - q^30 - q^31 - q^36 + q^37 - q^38 + q^39 - q^41 + O(q^43) lambda(pibar_alpha_v) = q^3 + q^5 - q^6 + q^8 + q^10 + q^12 + q^13 - q^14 - q^18 + q^19 - q^21 + q^24 + q^26 - q^27 - q^28 - q^29 - q^32 + q^33 - q^34 - q^35 - q^39 - q^40 + q^41 - q^42 + O(q^43) Height bound (11.4381) 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. H_2() NumeratorIdeal() rhotilde(I, 1052475589189337067 + O(3^40) , -1052475589189337066 + O(3^40) ) Time: 0.000 Computing class number h Class number h = 10 Raising ideal to the power h Finding generator for the principal ideal I^h