Changes between Initial Version and Version 2 of Ticket #17830


Ignore:
Timestamp:
02/22/15 22:10:39 (7 years ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #17830

    • Property Commit changed from to 5f7f57b445adebb118d1d80acb4e930911265494
    • Property Branch changed from to u/vdelecroix/17830
    • Property Summary changed from Comparison of number field elements dependent of embedding to Comparison of number field elements dependent of real embedding
  • Ticket #17830 – Description

    initial v2  
    11Comparison of embedded number field elements should be identical to the comparison of the embedding. In other words, we should have:
    22{{{
    3 age: x = polygen(ZZ)
     3sage: x = polygen(ZZ)
    44sage: K.<cbrt2> = NumberField(x^3 - 2, embedding=AA.polynomial_root(x^3-2, RIF(0,3)))
    5 sage: 6065/4813 < cbrt2 < 90325/71691
     5sage: 6064/4813 < cbrt2 < 90325/71691
    66True
    77}}}
    88This has been done in #13213 for quadratic number fields. This ticket aims to implement this for all number fields by storing into the parent a list of interval approximations of the generator.
     9
     10This concerns only real embeddings.