Changes between Version 3 and Version 4 of Ticket #21869
 Timestamp:
 Nov 15, 2016, 6:19:25 AM (6 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #21869 – Description
v3 v4 7 7 1. Conversion from a Function Field to its underlying Polynomial Ring 8 8 1. Coercions between Function Fields 9 1. Coercions are injective if the underlying map is 10 1. Ring homomorphisms from Fields are injective 9 1. Coercions are injective if the underlying map is #21879 10 1. Ring homomorphisms from Fields are injective #21879 11 11 1. 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 12 1. Morphisms of number fields are injective #21879 13 1. ZZ into QQ is injective #21879 14 1. ZZ into a Number Field is injective #21879 15 1. ZZ into an order of a Number Field is injective #21879 16 16 1. (some_elements() should return more than just [1] for most rings.) 17 17