Opened 16 months ago

Last modified 8 days ago

#29374 new defect

Modules(Algebras(Rings())) should be a subcategory of Modules(Rings())

Reported by: pbruin Owned by:
Priority: major Milestone: sage-9.5
Component: categories Keywords:
Cc: nthiery, tscrim, SimonKing Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

In SageMath 9.1.beta8:

sage: C = Modules(Rings())
sage: D = Modules(Algebras(Rings()))
sage: D.is_subcategory(C)
False

and

sage: C = Algebras(Rings())
sage: D = Algebras(Algebras(Rings()))
sage: D.is_subcategory(C)
False

See also #22962.

Change History (4)

comment:1 Changed 16 months ago by mkoeppe

  • Milestone changed from sage-9.1 to sage-9.2

Batch modifying tickets that will likely not be ready for 9.1, based on a review of the ticket title, branch/review status, and last modification date.

comment:2 Changed 11 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:3 Changed 5 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

comment:4 Changed 8 days ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5
Note: See TracTickets for help on using tickets.