Changes between Version 3 and Version 4 of Ticket #21869


Ignore:
Timestamp:
Nov 15, 2016, 6:19:25 AM (6 years ago)
Author:
Julian Rüth
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #21869 – Description

    v3 v4  
    771. Conversion from a Function Field to its underlying Polynomial Ring
    881. Coercions between Function Fields
    9 1. Coercions are injective if the underlying map is
    10 1. Ring homomorphisms from Fields are injective
     91. Coercions are injective if the underlying map is #21879
     101. Ring homomorphisms from Fields are injective #21879
    11111. The embedding of a ring into a polynomial ring over that ring is injective
    12 1. Morphisms of number fields are injective
    13 1. ZZ into QQ is injective
    14 1. ZZ into a Number Field is injective
    15 1. ZZ into an order of a Number Field is injective
     121. Morphisms of number fields are injective #21879
     131. ZZ into QQ is injective #21879
     141. ZZ into a Number Field is injective #21879
     151. ZZ into an order of a Number Field is injective #21879
    16161. (some_elements() should return more than just [1] for most rings.)
    1717