The classes RingHomset_generic and RingHomset_quo_ring in sage.rings.homset still have a custom __call__() method and an old-style _coerce_impl(). The goal of this ticket is to merge these into a simpler _element_constructor_() method. This is a prerequisite for #28869.

Note on the changed doctest in sage.categories.modules_with_basis: pAdicWeightSpace is one of the few remaining parents that do not use the new coercion model. There are a few more (Hecke algebras, lazy power series rings), but these cannot be used in this doctest because their element are not hashable.

Component: coercion

Author: Peter Bruin

Branch/Commit: 681b55b

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/29008