Changes between Version 6 and Version 9 of Ticket #24432


Ignore:
Timestamp:
12/31/17 12:51:06 (4 years ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #24432

    • Property Dependencies changed from #24413 to #24413, #23418
    • Property Commit changed from fe161a625ee45847f5c9387b7a6cbf287312222a to 16ab37b31fb0b10fb25eb13781bd48a76718fdfb
  • Ticket #24432 – Description

    v6 v9  
    1 We 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.
     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()`.
     2Some more delicate cases are treated in other tickets:
     3 - polynomials in #24413
     4 - number fields in #23418