Changes between Initial Version and Version 1 of Ticket #10963, comment 54
- Timestamp:
- 07/17/13 21:30:30 (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #10963, comment 54
initial v1 11 11 However, I do think that the category of finite commutative rings should be a super-category of the category of finite fields. But (with your patch): 12 12 {{{ 13 sage: Rings(). Finite() in Fields().Finite().all_super_categories()13 sage: Rings().Commutative().Finite() in Fields().Finite().all_super_categories() 14 14 False 15 15 }}} 16 16 even though 17 17 {{{ 18 sage: (Fields().Finite()).is_subcategory(Rings(). Finite())18 sage: (Fields().Finite()).is_subcategory(Rings().Commutative().Finite()) 19 19 True 20 20 }}}