Changes between Initial Version and Version 1 of Ticket #24432


Ignore:
Timestamp:
12/26/17 23:20:24 (4 years ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #24432

    • Property Summary changed from let category handles is_finite/cardinality for rings to let category handles is_field/is_finite/cardinality for many rings
  • Ticket #24432 – Description

    initial v1  
    1 We remove a lot of `is_finite` and `cardinality` that can be dealt with the `ParentMethods` of category. Sometimes we have to properly refine it. Sometimes we had to refine the categories with `.Finite()` or `.Infinite()`.
     1We remove a lot of `is_field`, `is_finite` and `cardinality` that can be dealt with the `ParentMethods` of category. Sometimes we have to properly refine the category with `.Finite()` or `.Infinite()`.