Changes between Version 2 and Version 3 of Ticket #21413, comment 46


Ignore:
Timestamp:
09/13/19 08:12:45 (2 years ago)
Author:
saraedum
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21413, comment 46

    v2 v3  
    22
    33The following happens in the new finite field code:
     4
    45{{{
    5         GF(Integer(3)**Integer(2)).extension(Integer(3), absolute=False)._any_embedding(GF(Integer(3)**Integer(12)))
    6       File "sage/rings/finite_rings/finite_field_base.pyx", line 605, in sage.rings.finite_rings.finite_field_base.FiniteField._any_embedding (build/cythonized/sage/rings/finite_rings/finite_field_base.c:8939)
     6sage: GF(3^2).extension(3, absolute=False)._any_embedding(GF(3^12))
     7}}}
     8
     9produces
     10{{{
    711        if codomain.has_coerce_map_from(self):
    812      File "sage/structure/parent.pyx", line 1969, in sage.structure.parent.Parent.has_coerce_map_from (build/cythonized/sage/structure/parent.c:16392)
     
    4145        return self.hom(codomain, [minpoly.any_root()], base_map=base_hom)
    4246}}}
     47
     48Here is some more info about this:
     49
     50{{{
     51sage: k = GF(3^2).extension(3, absolute=False)
     52sage: l = GF(3^12)
     53sage: k._defining_morphism
     54Ring morphism:
     55  From: Finite Field in z2 of size 3^2
     56  To:   Finite Field in b729 of size 3^6
     57  Defn: z2 |--> 2*b729^5 + 2*b729^3 + b729^2 + 2*b729 + 2
     58sage: l.has_coerce_map_from(k) *boom*
     59}}}