#4667: [with patch, needs work] quadratic twists for p-adic L-functions
-------------------------------------------------+--------------------------
 Reporter:  wuthrich                             |        Owner:  was       
     Type:  enhancement                          |       Status:  new       
 Priority:  minor                                |    Milestone:  sage-3.4.1
Component:  number theory                        |   Resolution:            
 Keywords:  padic l-functions, quadratic twists  |  
-------------------------------------------------+--------------------------
Changes (by GeorgSWeber):

  * summary:  [with patch, needs review] quadratic twists for p-adic
              L-functions => [with patch, needs work]
              quadratic twists for p-adic L-functions

Comment:

 Needs work, but only minor issues:
 {{{
 applying ../../../patches/twisted_padic_lseries.patch
 patching file sage/schemes/elliptic_curves/ell_rational_field.py
 Hunk #5 FAILED at 4640
 1 out of 5 hunks FAILED -- saving rejects to file
 sage/schemes/elliptic_curves/ell_rational_field.py.rej
 abort: patch failed to apply
 }}}
 That one hunk is only an empty line replacing an empty line (?!?), so
 could be ignored (and wouldn't prevent a positive review from my side).
 But there's real work also, some doctest failures:
 {{{
 sage -t -long "local/lib/python/site-
 packages/sage/schemes/elliptic_curves/padic_lseries.py"
 **********************************************************************
 File "/Users/georgweber/Public/sage/sage-3.2.3/local/lib/python/site-
 packages/sage/schemes/elliptic_curves/padic_lseries.py", line 644:
     sage: E.quadratic_twist(-19).label()
 Exception raised:
     Traceback (most recent call last):
       File
 "/Users/georgweber/Public/sage/sage-3.2.3/local/bin/ncadoctest.py", line
 1231, in run_one_test
         self.run_one_example(test, example, filename, compileflags)
       File
 "/Users/georgweber/Public/sage/sage-3.2.3/local/bin/sagedoctest.py", line
 38, in run_one_example
         OrigDocTestRunner.run_one_example(self, test, example, filename,
 compileflags)
       File
 "/Users/georgweber/Public/sage/sage-3.2.3/local/bin/ncadoctest.py", line
 1172, in run_one_example
         compileflags, 1) in test.globs
       File "<doctest __main__.example_14[22]>", line 1, in <module>
         E.quadratic_twist(-Integer(19)).label()###line 644:
     sage: E.quadratic_twist(-19).label()
       File "/Users/georgweber/Public/sage/sage-3.2.3/local/lib/python2.5
 /site-packages/sage/schemes/elliptic_curves/ell_rational_field.py", line
 2720, in cremona_label
         raise RuntimeError, "Cremona label not known for %s."%self
     RuntimeError: Cremona label not known for Elliptic Curve defined by
 y^2 + y = x^3 - x^2 - 120*x - 2183 over Rational Field.
 **********************************************************************
 1 items had failures:
    1 of  23 in __main__.example_14
 ***Test Failed*** 1 failures.
 }}}
 The doctest failure above seems to come from that I used a vanilla Sage
 3.2.3, and the example seems to need the optional extended Cremona tables
 --- so just add a "#optional" or so.

 There are also a bunch of doctest failures for "sha_tate.py", which pop up
 (only) if the doctest "-long" option is used.
 {{{
 sage -t -long "local/lib/python/site-
 packages/sage/schemes/elliptic_curves/sha_tate.py"
 **********************************************************************
 File "/Users/georgweber/Public/sage/sage-3.2.3/local/lib/python/site-
 packages/sage/schemes/elliptic_curves/sha_tate.py", line 276:
     sage: EllipticCurve('123a1').sha().an_padic(41) #rank 1    (long time)
 Expected:
     1 + O(41)
 Got:
     40 + O(41)
 **********************************************************************
 File "/Users/georgweber/Public/sage/sage-3.2.3/local/lib/python/site-
 packages/sage/schemes/elliptic_curves/sha_tate.py", line 283:
     sage: EllipticCurve('34a1').sha().an_padic(5) # rank 0     (long time)
 Exception raised:
 .......
     sage: EllipticCurve('34a1').sha().an_padic(5) # rank 0     (long time)
       File "/Users/georgweber/Public/sage/sage-3.2.3/local/lib/python2.5
 /site-packages/sage/schemes/elliptic_curves/sha_tate.py", line 394, in
 an_padic
         lps = lp.Dp_valued_series(n,quadratic_twist=D,prec=r+1)
     TypeError: Dp_valued_series() got an unexpected keyword argument
 'quadratic_twist'
 ........
     sage: e.sha().p_primary_bound(7)           # long time
       File "/Users/georgweber/Public/sage/sage-3.2.3/local/lib/python2.5
 /site-packages/sage/schemes/elliptic_curves/sha_tate.py", line 458, in
 p_primary_bound
         shan = self.an_padic(p,prec = 0,use_twist=True)
     TypeError: an_padic() got an unexpected keyword argument 'use_twist'
 }}}
 Except for the first (which might be architecture related, the old file
 had this doctest with a "#random" comment --- I'm using a Mac) all the
 following "long" doctest failures in sha_tate.py just seem to be artifacts
 from development, easily to be cleaned up.

 All in all: nothing serious, but as-is it can't go in.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4667#comment:5>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of 
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to