2011-07-07-search_for_124

322 days ago by WilliamStein

def F(a2,a4): return EllipticCurve([0,a2,0,a4,0]) 
       
F(1,5).torsion_order() 
       
2
2
var('x') K.<a> = NumberField(x^2 - x - 1) def elts(B): for i in (-B..B+1): for j in (-B..B+1): yield i+j*a 
       
B=3 for a2 in elts(B): for a4 in elts(B): try: E = F(a2,a4) N = E.conductor() m = N.norm() if abs(m) < 10000: print a2, a4, N.norm() except ArithmeticError: pass 
       
WARNING: Output truncated!  


-3*a - 3 -3*a - 2 2704
-3*a - 3 -2*a - 1 7424
-3*a - 3 a + 1 2816
-3*a - 3 3*a + 2 1280
-3*a - 3 4*a + 3 6080
-3*a - 3 4*a + 4 6080
-2*a - 3 -2*a - 1 704
-2*a - 3 2*a - 1 6080
-2*a - 3 -a 7424
-2*a - 3 1 7936
-2*a - 3 a + 1 2880
-2*a - 3 2*a + 2 1024
-2*a - 3 3*a + 2 7424
-2*a - 3 4*a + 2 5120
-2*a - 3 4*a + 3 1280
-2*a - 3 4*a + 4 2304
-a - 3 -2*a 5120
-a - 3 a 704
-a - 3 -a + 1 4864
-a - 3 1 7424
-a - 3 a + 1 2880
-a - 3 2*a + 1 7424
-a - 3 a + 2 1280
-a - 3 2*a + 2 1024
-a - 3 3*a + 2 7936
-a - 3 2*a + 3 3520
-a - 3 4*a + 4 2304
-3 -1 2704
-3 2*a - 1 1280
-3 a 7424
-3 -2*a + 1 1280
-3 -a + 1 7424
-3 1 1280
-3 a + 1 2816
-3 -a + 2 2816
-3 2 1024
-3 a + 2 6080
-3 -a + 3 6080
-3 3 1296
-3 4 3136
-3 4*a + 4 6080
a - 3 2*a - 3 7424
a - 3 -3*a - 2 6416
a - 3 a - 2 144
a - 3 -1 6464
a - 3 a - 1 2816
a - 3 -a + 1 7424
a - 3 1 4864
a - 3 -3*a + 2 5456
a - 3 -2*a + 2 1024
a - 3 -a + 2 256
a - 3 a + 2 7600
a - 3 -2*a + 3 2816
a - 3 -a + 3 1600
a - 3 3 6336
a - 3 -2*a + 4 9216
a - 3 4 2624
2*a - 3 2*a - 3 7936
2*a - 3 a 8384

...

a + 1 -1 2880
a + 1 a - 1 7424
a + 1 -a 7936
a + 1 a 256
a + 1 1 2816
a + 1 a + 1 1280
a + 1 2*a + 1 2816
a + 1 2 9216
a + 1 a + 2 3280
a + 1 3*a + 2 2304
a + 1 -a + 3 6080
a + 1 4 9280
2*a + 1 -3*a - 2 7424
2*a + 1 4*a - 2 5120
2*a + 1 -2*a - 1 1984
2*a + 1 2*a - 1 2880
2*a + 1 a 1856
2*a + 1 2*a 5120
2*a + 1 a + 1 704
2*a + 1 2*a + 1 256
2*a + 1 2*a + 2 9216
2*a + 1 3*a + 2 1280
2*a + 1 4 7936
3*a + 1 -3*a - 2 2304
3*a + 1 -2*a - 1 704
3*a + 1 a 5696
3*a + 1 a + 1 1216
3*a + 1 2*a + 1 7424
3*a + 1 3*a + 2 256
3*a + 1 4*a + 2 1024
3*a + 1 4*a + 3 6400
4*a + 1 a - 2 9280
4*a + 1 -1 5904
4*a + 1 -a 4864
4*a + 1 4*a 1216
4*a + 1 a + 1 7424
4*a + 1 2*a + 1 2816
4*a + 1 4*a + 3 80
4*a + 1 4*a + 4 3520
-3*a + 2 -2*a - 1 5584
-3*a + 2 a - 1 2816
-3*a + 2 2*a - 1 1520
-3*a + 2 a 464
-3*a + 2 -3*a + 1 6336
-3*a + 2 a + 1 1984
-3*a + 2 -2*a + 2 5120
-3*a + 2 -a + 2 7424
-3*a + 2 2 1024
-3*a + 2 -2*a + 3 304
-3*a + 2 -a + 3 1280
-3*a + 2 -3*a + 4 7920
-3*a + 2 4 2304
-3*a + 2 a + 4 5776
-2*a + 2 2*a - 3 1024
-2*a + 2 -a - 2 320
-2*a + 2 3*a - 2 2816
-2*a + 2 a - 1 4096
-2*a + 2 -2*a + 1 5120
-2*a + 2 -a + 1 1024
-2*a + 2 1 4096
WARNING: Output truncated!  


-3*a - 3 -3*a - 2 2704
-3*a - 3 -2*a - 1 7424
-3*a - 3 a + 1 2816
-3*a - 3 3*a + 2 1280
-3*a - 3 4*a + 3 6080
-3*a - 3 4*a + 4 6080
-2*a - 3 -2*a - 1 704
-2*a - 3 2*a - 1 6080
-2*a - 3 -a 7424
-2*a - 3 1 7936
-2*a - 3 a + 1 2880
-2*a - 3 2*a + 2 1024
-2*a - 3 3*a + 2 7424
-2*a - 3 4*a + 2 5120
-2*a - 3 4*a + 3 1280
-2*a - 3 4*a + 4 2304
-a - 3 -2*a 5120
-a - 3 a 704
-a - 3 -a + 1 4864
-a - 3 1 7424
-a - 3 a + 1 2880
-a - 3 2*a + 1 7424
-a - 3 a + 2 1280
-a - 3 2*a + 2 1024
-a - 3 3*a + 2 7936
-a - 3 2*a + 3 3520
-a - 3 4*a + 4 2304
-3 -1 2704
-3 2*a - 1 1280
-3 a 7424
-3 -2*a + 1 1280
-3 -a + 1 7424
-3 1 1280
-3 a + 1 2816
-3 -a + 2 2816
-3 2 1024
-3 a + 2 6080
-3 -a + 3 6080
-3 3 1296
-3 4 3136
-3 4*a + 4 6080
a - 3 2*a - 3 7424
a - 3 -3*a - 2 6416
a - 3 a - 2 144
a - 3 -1 6464
a - 3 a - 1 2816
a - 3 -a + 1 7424
a - 3 1 4864
a - 3 -3*a + 2 5456
a - 3 -2*a + 2 1024
a - 3 -a + 2 256
a - 3 a + 2 7600
a - 3 -2*a + 3 2816
a - 3 -a + 3 1600
a - 3 3 6336
a - 3 -2*a + 4 9216
a - 3 4 2624
2*a - 3 2*a - 3 7936
2*a - 3 a 8384

...

a + 1 -1 2880
a + 1 a - 1 7424
a + 1 -a 7936
a + 1 a 256
a + 1 1 2816
a + 1 a + 1 1280
a + 1 2*a + 1 2816
a + 1 2 9216
a + 1 a + 2 3280
a + 1 3*a + 2 2304
a + 1 -a + 3 6080
a + 1 4 9280
2*a + 1 -3*a - 2 7424
2*a + 1 4*a - 2 5120
2*a + 1 -2*a - 1 1984
2*a + 1 2*a - 1 2880
2*a + 1 a 1856
2*a + 1 2*a 5120
2*a + 1 a + 1 704
2*a + 1 2*a + 1 256
2*a + 1 2*a + 2 9216
2*a + 1 3*a + 2 1280
2*a + 1 4 7936
3*a + 1 -3*a - 2 2304
3*a + 1 -2*a - 1 704
3*a + 1 a 5696
3*a + 1 a + 1 1216
3*a + 1 2*a + 1 7424
3*a + 1 3*a + 2 256
3*a + 1 4*a + 2 1024
3*a + 1 4*a + 3 6400
4*a + 1 a - 2 9280
4*a + 1 -1 5904
4*a + 1 -a 4864
4*a + 1 4*a 1216
4*a + 1 a + 1 7424
4*a + 1 2*a + 1 2816
4*a + 1 4*a + 3 80
4*a + 1 4*a + 4 3520
-3*a + 2 -2*a - 1 5584
-3*a + 2 a - 1 2816
-3*a + 2 2*a - 1 1520
-3*a + 2 a 464
-3*a + 2 -3*a + 1 6336
-3*a + 2 a + 1 1984
-3*a + 2 -2*a + 2 5120
-3*a + 2 -a + 2 7424
-3*a + 2 2 1024
-3*a + 2 -2*a + 3 304
-3*a + 2 -a + 3 1280
-3*a + 2 -3*a + 4 7920
-3*a + 2 4 2304
-3*a + 2 a + 4 5776
-2*a + 2 2*a - 3 1024
-2*a + 2 -a - 2 320
-2*a + 2 3*a - 2 2816
-2*a + 2 a - 1 4096
-2*a + 2 -2*a + 1 5120
-2*a + 2 -a + 1 1024
-2*a + 2 1 4096