#11891: NumberField(...).pari_polynomial() should return an integral polynomial
-----------------------------+----------------------------------------------
   Reporter:  jdemeyer       |          Owner:  davidloeffler 
       Type:  enhancement    |         Status:  needs_work    
   Priority:  major          |      Milestone:  sage-4.7.3    
  Component:  number fields  |       Keywords:                
Work_issues:                 |       Upstream:  N/A           
   Reviewer:                 |         Author:  Jeroen Demeyer
     Merged:                 |   Dependencies:                
-----------------------------+----------------------------------------------

Comment(by jdemeyer):

 This seems to cause a doctest failure in elliptic curves.  Given the
 severity of the failure, it is surprising that there is only one failure:
 {{{
 sage -t -long "devel/sage/sage/schemes/elliptic_curves/gal_reps.py"
 **********************************************************************
 File
 
"/usr/local/src/sage-4.7.2.alpha2/devel/sage/sage/schemes/elliptic_curves/gal_reps.py",
 line 257:
     sage: L = _division_field(E,5); L   # long time (4s on sage.math,
 2011)
 Expected:
     Number Field in a with defining polynomial Y^2 + Y -
 7544/9663480699587560272216796875*b^18 - 922862/10473721227685546875*b^12
 - 2459197/170278453125*b^6 - 859421/1661 over its base field
 Got:
     Number Field in b with defining polynomial x^48 + 24*x^47 - 2634*x^46
 - 64906*x^45 + 2726775*x^44 + 70841232*x^43 + 224413842693*x^42 +
 4701700599732*x^41 - 3592508072137596/5*x^40 - 15012293781179144*x^39 +
 968283011174870355*x^38 + 20267256109653557724*x^37 +
 12067484020318191883430*x^36 + 1074616923704149785005406/5*x^35 -
 36733858365780941833244052*x^34 - 645743028366047451133249842*x^33 +
 220969510763490262549458235143/5*x^32 +
 3821508904338000023273602548048/5*x^31 -
 116959091827892505647463476639056/5*x^30 -
 410999736248972608356551138775366*x^29 -
 14893829970063945547808915701339152/5*x^28 -
 65364599206437988881942239704947194/5*x^27 +
 67673426654602996794997806980859832818/5*x^26 +
 881882930983056033772717698410508954006/5*x^25 -
 222881687343119655077359346112642829420824/25*x^24 -
 2895120823335191010101881263518064564214338/25*x^23 +
 45001727573606034388747893503112487075055856/25*x^22 +
 123791333776720160716501836669886842723129232/5*x^21 +
 33784656476525285313173627304265791556761499182/25*x^20 +
 315309937263412002519549766396743184287341740362/25*x^19 -
 29809326189907478934703273836943134749630766073937/25*x^18 -
 277139669604549129326940625213109992460300794466472/25*x^17 +
 48267417458901196371693187503590931071511693353624403/125*x^16 +
 417747951937480880271176634423393038757023573062901214/125*x^15 +
 2007263826796309855277267487981686566625095650300775449/125*x^14 +
 6629329384200142639862088631838847849519261327732912678/125*x^13 -
 7890086815228540044028318696011082482007739165946890467526/125*x^12 -
 47407282438244289856698339380010252170030182743016263979758/125*x^11 +
 3298070588288796211686670268348031992948626610010905491413867/125*x^10 +
 16925026780847521477088033404397720576309067225732939278573654/125*x^9 -
 12606276975554600131707859641843171596158942063398834295739121081/3125*x^8
 -
 52976903401697668325123474606327892765221094244312074003749191524/3125*x^7
 -
 1938266538684772533113390852600216820719603074035866039130578333001/3125*x^6
 -
 5627590284654484129751875434157935192705922694236805197727447225544/3125*x^5
 +
 285380988605606088041604497638523394233117370690633546039125252974974/625*x^4
 +
 2863126544037648956156470697472798773649141080128520101958284622979502/3125*x^3
 -
 
292971118345690446877843351574720458113286307337430973163488739432371577/3125*x^2
 -
 294403610592013769220290971977947932182340270515731034223504446414069348/3125*x
 +
 
128890191901531504726282929609520479109501654595823184011440588325811602871/15625
 **********************************************************************
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11891#comment:5>
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