In the doc of sage.rings.qqbar.AlgebraicRealField._coerce_map_from_
there is the following test:

    sage: K.<a> = QuadraticField(7, embedding=AA(7).sqrt())
    sage: AA.has_coerce_map_from(K)
    True

Why does this return (correctly) True, although the code of this method
is simply

    def _coerce_map_from_(self, from_par):
        return (from_par is ZZ or from_par is QQ
                or from_par is AA)

?

Best

Daniel

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to