inducesWellDefinedMap -- whether a map is well defined
Description
inducesWellDefinedMap(M,N,f) -- tells whether the matrix f would induce a well defined map from N to M.
Ways to use inducesWellDefinedMap:
-
inducesWellDefinedMap(Module,Module,Matrix)
-
inducesWellDefinedMap(Module,Nothing,Matrix)
-
inducesWellDefinedMap(Nothing,Module,Matrix)
-
inducesWellDefinedMap(Nothing,Nothing,Matrix)