In sage/covariant_functorial_construction.py, line 359 we still have
an uncached

    def is_subcategory(self, C):
        """
        .. todo:: doctests + explain why this method is needed
        """
        if C is self:
            return True
        return any(X.is_subcategory(C) for X in
self._super_categories)

which caused much of the problems observed on #13400. It was found on
that ticket that the routine can simply be deleted, because there's a
better implementation somewhere further up the inheritance tree. Since
#13400 doesn't seem to be going anywhere soon, perhaps another ticket
can accept this deletion as a rider patch?

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To post to this group, send email to sage-devel@googlegroups.com.
To unsubscribe from this group, send email to 
sage-devel+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel?hl=en.


Reply via email to