Changes between Version 6 and Version 7 of Ticket #31558


Ignore:
Timestamp:
Mar 26, 2021, 9:48:04 AM (20 months ago)
Author:
Samuel Lelièvre
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31558

    • Property Status changed from needs_review to positive_review
    • Property Reviewers changed from to Samuel Lelièvre
  • Ticket #31558 – Description

    v6 v7  
     1Define a quadratic extension of ℚ[i] and
     2two homomorphisms to `QQbar`:
    13{{{
    24sage: K.<i> = QuadraticField(-1, embedding=QQbar.gen())
     
    57sage: f0 = hom(L, QQbar, a0)
    68sage: f1 = hom(L, QQbar, a1)
    7 sage: f0(i)  # wrong embedding!!
     9}}}
     10
     11Observed: wrong embedding:
     12{{{
     13sage: f0(i)  # wrong embedding
    8140.?e-54 - 1.000000000000000?*I
    9 sage: f1(i)  # wrong embedding!!
     15sage: f1(i)  # wrong embedding
    10160.?e-54 - 1.000000000000000?*I
    1117}}}
     18
     19Expected: correct embedding:
     20{{{
     21sage: f0(i)
     220.?e-54 + 1.000000000000000?*I
     23sage: f1(i)
     240.?e-54 + 1.000000000000000?*I
     25}}}