search for:
isInjective Matrix
-- whether a map is injective
Synopsis:
Function:
isInjective
-- whether a map is injective
Input:
an instance of class
Matrix
.
Output:
an instance of class
Boolean
.
Code:
-- ../m2/matrix1.m2:702 isInjective Matrix := (f) -> kernel f == 0
search for: