Attachment '2not4Galoisapproachv2.sage'

Download

   1 x = QQ['x'].0
   2 for A in load("/sagedatafor2not4or4not8/li4"):
   3     E=EllipticCurve(A);
   4     rho=E.galois_representation();
   5     if E.has_cm()==False and  rho.is_surjective(2):
   6         F=factor(E.division_polynomial(4));
   7         l=len([p for p,e in F if p.degree()==6]);
   8         if l!=0:
   9             for p,e in F:
  10                 if p.degree()==6:
  11                     g(x)=p(x/2)*2^6;
  12                     f = gp(loads(g(x).dumps()))
  13                     h=f.polgalois();
  14                     if h[1] !=48:
  15                         print E.label(),":", h;
  16                     
  17         else:
  18            G=F/(E.division_polynomial(2));
  19            for p,e in G:
  20                                g(x)=p(x/2)*2^3;
  21                 f = gp(loads(g(x).dumps()))
  22                 h=f.polgalois();
  23                 if h[1] !=48:
  24                     print E.label(),":", h;
  25 print 'done';

Attached Files

To refer to attachments on a page, use attachment:filename, as shown below in the list of files. Do NOT use the URL of the [get] link, since this is subject to change and can break easily.
  • [get | view] (2010-07-02 15:46:50, 20.8 KB) [[attachment:2not4 output.txt]]
  • [get | view] (2010-06-30 15:14:30, 0.8 KB) [[attachment:2not4Galoisapproach.sage]]
  • [get | view] (2010-06-30 16:32:36, 0.8 KB) [[attachment:2not4Galoisapproachv2.sage]]
  • [get | view] (2010-06-30 15:22:48, 0.8 KB) [[attachment:2not4galoisapproach.sage]]
  • [get | view] (2010-06-30 15:14:49, 11.3 KB) [[attachment:2not4or4not8v3.sage]]
  • [get | view] (2010-06-30 15:15:11, 1.7 KB) [[attachment:li4.sobj]]
  • [get | view] (2010-06-30 15:15:27, 1.6 KB) [[attachment:li8.sobj]]
 All files | Selected Files: delete move to page copy to page

You are not allowed to attach a file to this page.