Changes between Version 1 and Version 2 of Ticket #12850


Ignore:
Timestamp:
12/10/12 18:44:44 (10 years ago)
Author:
stumpc5
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12850

    • Property Status changed from new to closed
    • Property Resolution changed from to duplicate
    • Property Milestone changed from sage-5.6 to sage-duplicate/invalid/wontfix
  • Ticket #12850 – Description

    v1 v2  
    1 With the current coercion between cyclotomic fields, we get an non-commutative coercion diagram:
    2 
    3 {{{
    4 sage: CF1 = CyclotomicField(5)
    5 sage: CF2 = CyclotomicField(5,embedding = (4 * CLF.pi() * CLF.gen() / 5).exp())
    6 sage: CC(CF1.gen()-CF2.gen())
    7 0
    8 sage: CC(CF1.gen()) - CC(CF2.gen())                     
    9 1.11803398874989 + 0.363271264002680*I
    10 }}}
    11 
    12 TODO: When this is done, we have to fix the embedding of cyclotomic fields into the universal cyclotomic field.
     1This is taken care of in #13765.