Changes between Version 11 and Version 12 of Ticket #21869


Ignore:
Timestamp:
06/07/17 22:03:12 (5 years ago)
Author:
saraedum
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #21869 – Description

    v11 v12  
    661. Conversion from a Function Field to its Constant Field #21872
    771. Conversion from a Function Field to its underlying Polynomial Ring #23166
    8 1. Coercions between Function Fields
     81. Coercions between Function Fields #23167
    991. Coercions are injective if the underlying map is #21879
    10101. Ring homomorphisms from Fields are injective #21879