Changes between Version 7 and Version 12 of Ticket #14164


Ignore:
Timestamp:
09/17/15 02:36:09 (6 years ago)
Author:
vdelecroix
Comment:

I changed the description a little bit.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14164

    • Property Status changed from new to positive_review
    • Property Reviewers changed from to Vincent Delecroix
    • Property Authors changed from to Peter Bruin
    • Property Branch changed from to u/pbruin/14164-composite_number_fields
    • Property Milestone changed from sage-6.8 to sage-6.9
    • Property Commit changed from to c108b70eb65b6a93c7c45a35998b8ad819874204
  • Ticket #14164 – Description

    v7 v12  
    1 The method `composite_fields()` of number fields fails when the defining polynomials are not monic and integral:
     1The method `composite_fields()` of number fields used to fail when the defining polynomials were not monic and integral:
    22{{{
    33sage: R.<x>=QQ[]
     
    4343TypeError: Coercion of PARI polmod with modulus 10077696*x^20 - 6718464*x^19 - 559872*x^18 - 56173824*x^17 + 728401248*x^16 - 2136243456*x^15 + 1038731904*x^14 - 3715874496*x^13 + 21591002400*x^12 - 63829125504*x^11 + 414323181024*x^10 - 242460667872*x^9 + 573731183904*x^8 - 1417417413120*x^7 - 5375183629440*x^6 + 23136669276768*x^5 + 9900813726912*x^4 - 70740914752800*x^3 + 237933452109888*x^2 - 479963026372896*x + 500774065215360 into number field with defining polynomial 104976*x^20 - 69984*x^19 - 5832*x^18 - 585144*x^17 + 7587513*x^16 - 22252536*x^15 + 10820124*x^14 - 38707026*x^13 + 224906275*x^12 - 664886724*x^11 + 4315866469*x^10 - 2525631957*x^9 + 5976366499*x^8 - 14764764720*x^7 - 55991496140*x^6 + 241006971633*x^5 + 103133476322*x^4 - 736884528675*x^3 + 2478473459478*x^2 - 4999614858051*x + 5216396512660 failed
    4444}}}
     45
     46See also #18243. The bug is fixed in #252. We just ad add doctests for both tickets.