Changes between Initial Version and Version 2 of Ticket #23010


Ignore:
Timestamp:
05/16/17 14:53:58 (4 years ago)
Author:
nthiery
Comment:

New commits:

acd9af323010: Lift Parent.construction to Sets.ParentMethods
fe1a0c223010: categorification of QuaternionAlgebra and QuaternionOrder
27f756f23010: Categorification of MPCComplexField
1a1389223010: Categorification of LazyPowerSeriesRing

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23010

    • Property Status changed from new to needs_review
    • Property Commit changed from to 1a13892ae28888fe6fdd68504af0ff7fc30bf16f
    • Property Branch changed from to u/nthiery/move_parent_construction_to_the_sets_parentmethods__and_categorify_three_more_parents
  • Ticket #23010 – Description

    initial v2  
     1Moving the default implementation `Parent.construction` (which just
     2returns None) to `Sets.ParentMethods` enables categories to provide an
     3implementation when relevant.
     4
     5This ticket also fixes QuaternionAlgebra, QuaternionOrder,
     6LazyPowerSeriesRing and MPCComplexField whose categories were not
     7properly initialized (and as a consequence they did not inherit
     8anymore the construction method)
     9
     10See also: #21380