Changes between Version 11 and Version 12 of Ticket #21869
- Timestamp:
- 06/07/17 22:03:12 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #21869 – Description
v11 v12 6 6 1. Conversion from a Function Field to its Constant Field #21872 7 7 1. Conversion from a Function Field to its underlying Polynomial Ring #23166 8 1. Coercions between Function Fields 8 1. Coercions between Function Fields #23167 9 9 1. Coercions are injective if the underlying map is #21879 10 10 1. Ring homomorphisms from Fields are injective #21879