isInjective RingMap -- whether a map is injective

isInjective RingMap -- whether a map is injective

Synopsis:

Function: isInjective -- whether a map is injective

Input:

an instance of class RingMap.

Output:

an instance of class Boolean.

Code:

     -- ../../../Macaulay2/m2/ringmap.m2:304
     isInjective RingMap := (f) -> kernel f == 0