Changes between Initial Version and Version 1 of Ticket #10963, comment 54
 Timestamp:
 07/17/13 21:30:30 (8 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 supercategory 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 }}}