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.