Magma V2.11-1 Thu Jul 29 2004 13:49:20 [Seed = 3769145714] Type ? for help. Type -D to quit. Loading startup file "/home/was/magma/local/init.m" -3 fails Heegner since is -3 or -4. -4 fails Heegner since is -3 or -4. -7 fails Heegner since is not coprime to conductor. -8 fails Heegner since not every prime dividing conductor splits -8 fails Heegner since not every prime dividing conductor splits -11 fails Heegner since not every prime dividing conductor splits -15 fails Heegner since is not coprime to conductor. Using Kolyvagin theorem on D = -19 aInvariantsE= [ 0, 1, 1, 9, 1 ] rE= 0 LE= 0.7028999999 aInvariantsF= [ 0, -1, 1, 3129, 10452 ] rF= 1 LF= 2.15299999993 N = 35 D = -19 is divisible by only prime, so excluding that prime from B.. IsogenousCurves=[[ 0, 1, 1, -1, 0 ],[ 0, 1, 1, 9, 1 ],[ 0, 1, 1, -131, -650 ]] torK= [ 3, 3, 1 ] eps_E= 1 MordellWeilF= [ 108, 1263, 1 ] omega_E= 4.64985121338595218234180492091 Rounding... error in index computation: 0.0003308672457 quotient = 4.0003308672457 Index= 2 B= 114 Obtained the bound 114 in 1.821 seconds. -20 fails Heegner since is not coprime to conductor. -23 fails Heegner since not every prime dividing conductor splits -23 fails Heegner since not every prime dividing conductor splits Using Kolyvagin theorem on D = -24 aInvariantsE= [ 0, 1, 1, 9, 1 ] rE= 0 LE= 0.7028999999 aInvariantsF= [ 0, 0, 0, 312, 362 ] rF= 1 LF= 4.2780000008 N = 35 IsogenousCurves=[[ 0, 1, 1, -1, 0 ],[ 0, 1, 1, 9, 1 ],[ 0, 1, 1, -131, -650 ]] torK= [ 3, 3, 1 ] eps_E= 1 MordellWeilF= [ -1, 7, 1 ] omega_E= 4.64985121338595218234180492091 Rounding... error in index computation: 0.000079252757132053375244 quotient = 3.9999207472 Index= 2 B= 6 Obtained the bound 6 in 0.571 seconds. B{6}B, B1{114}B1, B2{6}B2, D1{-19}D1, D2{-24}D2, F1{[ 0, -1, 1, 3129, 10452 ]}F1, z1{[ 108, 1263, 1 ]}z1, h1{0.70926642056852440276}h1, F2{[ 0, 0, 0, 312, 362 ]}F2, z2{[ -1, 7, 1 ]}z2, h2{1.58408870338117857556}h2 Total time: 2.850 seconds, Total memory usage: 8.60MB