Changes between Version 11 and Version 12 of Ticket #21869


Ignore:
Timestamp:
Jun 7, 2017, 10:03:12 PM (5 years ago)
Author:
Julian Rüth
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