Opened 9 years ago

Last modified 7 years ago

#11935 closed enhancement

Make parent/element classes independent of base rings and the category graph consistent with method resolution — at Initial Version

Reported by: SimonKing Owned by: nthiery
Priority: major Milestone: sage-5.11
Component: categories Keywords: parent class, element class, category
Cc: jdemeyer, sage-combinat Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #11900 Stopgaps:

Description

At #11900 and sage-combinat-devel, as well as in some comments in sage/categories/category.py, the idea was discussed to make

  • C.all_super_categories() consistent with C.parent_class.mro() and C.element_class.mro().
  • Algebras(GF(3)).parent_class==Algebras(GF(5)).parent_class - hence, make the parent/element classes as independent from the base of a category as possible.

I think it should be fine to have both in one ticket.

Change History (0)

Note: See TracTickets for help on using tickets.