complement
complement f
-- for a matrix
f
, return a map
g
with the same target whose columns are minimal generators for the cokernel of
f
.
The map
f
must be homogeneous.