Changes between Initial Version and Version 1 of Ticket #10963, comment 54


Ignore:
Timestamp:
07/17/13 21:30:30 (7 years ago)
Author:
SimonKing
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10963, comment 54

    initial v1  
    1111However, 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):
    1212{{{
    13 sage: Rings().Finite() in Fields().Finite().all_super_categories()
     13sage: Rings().Commutative().Finite() in Fields().Finite().all_super_categories()
    1414False
    1515}}}
    1616even though
    1717{{{
    18 sage: (Fields().Finite()).is_subcategory(Rings().Finite())
     18sage: (Fields().Finite()).is_subcategory(Rings().Commutative().Finite())
    1919True
    2020}}}