Changes between Initial Version and Version 23 of Ticket #252


Ignore:
Timestamp:
06/24/15 10:12:09 (7 years ago)
Author:
pbruin
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #252

    • Property Status changed from new to needs_review
    • Property Authors changed from to Peter Bruin
    • Property Cc katestange Bouillaguet added
    • Property Milestone changed from to sage-6.4
    • Property Component changed from number theory to number fields
    • Property Priority changed from minor to major
    • Property Dependencies changed from to #18740
    • Property Branch changed from to u/pbruin/252-number_fields
    • Property Report Upstream changed from to N/A
    • Property Owner changed from was to davidloeffler
    • Property Commit changed from to fce3c709dbeb1b7073b432527fe31a53eb7b8124

  • Ticket #252 – Description

    initial v23  
    1 Make number fields work when polynomial not integral or not monic.
     1The goal of this ticket is to make number fields work when the defining polynomial is not integral or not monic.
    22
    3 {{{
    4 sage: R.<x> = QQ[]
    5 sage: L.<b> = NumberField(x^2-1/2)
    6 sage: L.discriminant()
    7 Traceback (most recent call last):
    8 ...
    9 gen.PariError:  (8)
    10 }}}
     3If the user specifies a non-integral or non-monic polynomial to define an absolute or relative number field, we define the corresponding PARI number field by a monic integral polynomial obtained from the PARI functions `polredbest` and `rnfpolredbest`, respectively.
     4
     5The new methods `NumberField_generic._pari_absolute_structure()` and `NumberField_relative._pari_relative_structure()` return the data needed to convert elements between the Sage `NumberField` and the PARI `nf` structure.