Changes between Version 10 and Version 11 of Ticket #21869


Ignore:
Timestamp:
06/07/17 21:55:21 (3 years ago)
Author:
saraedum
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #21869 – Description

    v10 v11  
    55
    661. Conversion from a Function Field to its Constant Field #21872
    7 1. Conversion from a Function Field to its underlying Polynomial Ring
     71. Conversion from a Function Field to its underlying Polynomial Ring #23166
    881. Coercions between Function Fields
    991. Coercions are injective if the underlying map is #21879