Changes between Version 1 and Version 27 of Ticket #21161


Ignore:
Timestamp:
04/26/19 15:11:19 (3 years ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21161

    • Property Status changed from new to needs_review
    • Property Reviewers changed from to Jean-Philippe Labbé
    • Property Authors changed from to Matthias Koeppe
    • Property Cc jipilab cremona tscrim added
    • Property Branch changed from to public/repr_of_numberfields__the_parents__should_indicate_its_embedding_if_there_is_one
    • Property Milestone changed from sage-7.4 to sage-8.8
    • Property Keywords number field added
    • Property Commit changed from to 76c384e5399ab8ab36920f42f4715c0225b3a273
  • Ticket #21161 – Description

    v1 v27  
    99}}}
    1010
    11 I propose to change the print representation when there is an embedding, for example like this:
     11This ticket changes the print representation when there is an embedding as follows.
    1212{{{
    13 sage: K.<sqrt2> = NumberField(x^2 - 2, embedding=1.4)
    14 sage: sqrt2.parent()
    15 Real Number Field in sqrt2 as the root of the defining polynomial x^2 - 2 near 1.41421356237309?
     13Number Field in a with defining polynomial x^13 - 2/3*x + 3 with a = -1.106745229567614?
    1614}}}
     15This also works well for more complicated situations such as this one:
     16{{{
     17            sage: K.<a> = NumberField(x^4 - 3); K
     18            Number Field in a with defining polynomial x^4 - 3
     19            sage: H.<b>, from_H = K.subfield(a^2)
     20            sage: H
     21            Number Field in b with defining polynomial x^2 - 3 with b = a^2
     22}}}