Changes between Version 2 and Version 3 of Ticket #21879
- Timestamp:
- Nov 15, 2016, 6:22:58 AM (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #21879 – Description
v2 v3 13 13 The changes introduced here, implement it as a method of the morphisms in the category of Rings where we can handle many common cases of morphisms (domain is a field, ….) 14 14 15 Note that `is_injective` is not shown in the tab completion anymore. A problem that is fixed in #218 72.15 Note that `is_injective` is not shown in the tab completion anymore. A problem that is fixed in #21880.