Changes between Version 7 and Version 23 of Ticket #8334


Ignore:
Timestamp:
Sep 25, 2010, 10:04:41 AM (12 years ago)
Author:
Jeroen Demeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8334

    • Property Status changed from needs_work to positive_review
    • Property Reviewers changed from to David Loeffler
    • Property Work issues changed from conflicts to
  • Ticket #8334 – Description

    v7 v23  
    1 Moves residue fields to the coercion model, makes the reduction and lifting maps morphisms, prepares the way for 7885 (Tate's algorithm for function fields).
     1Moves residue fields to the coercion model, makes the reduction and lifting maps morphisms, prepares the way for #7885 (Tate's algorithm for function fields).
    22
    3 Depends on #8218, #8332, #7880, #7883, #8333. Prerequisite for #8335.
     3Depends on #7883, #9898, #9753, #9764. Prerequisite for #8335.