Changes between Version 1 and Version 6 of Ticket #24432


Ignore:
Timestamp:
12/29/17 10:15:02 (4 years ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #24432

    • Property Status changed from new to needs_work
    • Property Dependencies changed from to #24413
    • Property Branch changed from to u/vdelecroix/24432
    • Property Commit changed from to fe161a625ee45847f5c9387b7a6cbf287312222a
  • Ticket #24432 – Description

    v1 v6  
    1 We 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()`.
     1We remove a lot of trivial `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()`. The more delicate case of polynomials is dealt with in #24413.