search for:
isIsomorphism Matrix
-- whether a map is an isomorphism
Synopsis:
Function:
isIsomorphism
-- whether a map is an isomorphism
Input:
an instance of class
Matrix
.
Output:
an instance of class
Boolean
.
Code:
-- ../m2/matrix.m2:215 isIsomorphism Matrix := f -> coker f == 0 and ker f == 0
search for: