#4376: Implement conversion of power series over more rings (e.g. GF(p)) to pari
------------------------------+---------------------------------------------
   Reporter:  cremona         |       Owner:  was                 
       Type:  enhancement     |      Status:  needs_work          
   Priority:  major           |   Milestone:  sage-4.6.2          
  Component:  interfaces      |    Keywords:  power series pari gp
     Author:  Francis Clarke  |    Upstream:  N/A                 
   Reviewer:  Marco Streng    |      Merged:                      
Work_issues:                  |  
------------------------------+---------------------------------------------
Changes (by jdemeyer):

  * status:  positive_review => needs_work


Comment:

 Test failures on sage-4.6.2.alpha1:
 {{{
 sage -t  "devel/sage/sage/rings/power_series_poly.pyx"
 **********************************************************************
 File
 
"/mnt/usb1/scratch/jdemeyer/sage-4.7.alpha0/devel/sage/sage/rings/power_series_poly.pyx",
 line 766:
     sage: g = f.reversion(); g
 Expected:
     1/(2*b)*t - 1/(8*b^2)*t^2 + ((-3*b + 1)/(16*b^3))*t^3 + O(t^4)
 Got:
     O(t^4)
 **********************************************************************
 File
 
"/mnt/usb1/scratch/jdemeyer/sage-4.7.alpha0/devel/sage/sage/rings/power_series_poly.pyx",
 line 770:
     sage: f(g)
 Expected:
     t + O(t^4)
 Got:
     O(t^4)
 **********************************************************************
 File
 
"/mnt/usb1/scratch/jdemeyer/sage-4.7.alpha0/devel/sage/sage/rings/power_series_poly.pyx",
 line 772:
     sage: g(f)
 Expected:
     t + O(t^4)
 Got:
     0
 **********************************************************************
 File
 
"/mnt/usb1/scratch/jdemeyer/sage-4.7.alpha0/devel/sage/sage/rings/power_series_poly.pyx",
 line 779:                                      sage: b = a.reversion(); b
 Exception raised:
 Traceback (most recent call last):
       File
 "/mnt/usb1/scratch/jdemeyer/sage-4.7.alpha0/local/bin/ncadoctest.py", line
 1231, in run_one_test
         self.run_one_example(test, example, filename, compileflags)
       File
 "/mnt/usb1/scratch/jdemeyer/sage-4.7.alpha0/local/bin/sagedoctest.py",
 line 38, in run_one_example
         OrigDocTestRunner.run_one_example(self, test, example, filename,
 compileflags)
       File
 "/mnt/usb1/scratch/jdemeyer/sage-4.7.alpha0/local/bin/ncadoctest.py", line
 1172, in run_one_example
         compileflags, 1) in test.globs
       File "<doctest __main__.example_32[31]>", line 1, in <module>
         b = a.reversion(); b###line 779:
     sage: b = a.reversion(); b
       File "power_series_poly.pyx", line 847, in
 sage.rings.power_series_poly.PowerSeries_poly.reversion
 (sage/rings/power_series_poly.c:6881)
       File "gen.pyx", line 9851, in sage.libs.pari.gen._pari_trap
 (sage/libs/pari/gen.c:46023)
     PariError:  (20)
 **********************************************************************
 File
 
"/mnt/usb1/scratch/jdemeyer/sage-4.7.alpha0/devel/sage/sage/rings/power_series_poly.pyx",
 line 781:
     sage: a(b)
 Expected:
     t + O(t^6)
 Got:
     b^5 + 6*b^4 + b^2 + b
 **********************************************************************
 File
 
"/mnt/usb1/scratch/jdemeyer/sage-4.7.alpha0/devel/sage/sage/rings/power_series_poly.pyx",
 line 783:
     sage: b(a)
 Expected:
     t + O(t^6)
 Got:
     t + t^2 + 6*t^4 + t^5 + O(t^6)
 **********************************************************************
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4376#comment:9>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
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