Changes between Version 2 and Version 3 of Ticket #21879


Ignore:
Timestamp:
Nov 15, 2016, 6:22:58 AM (6 years ago)
Author:
saraedum
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #21879 – Description

    v2 v3  
    1313The 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, ….)
    1414
    15 Note that `is_injective` is not shown in the tab completion anymore. A problem that is fixed in #21872.
     15Note that `is_injective` is not shown in the tab completion anymore. A problem that is fixed in #21880.