next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
home
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
.
See also
inducedMap
-- compute an induced map
Ways to use
inducesWellDefinedMap
:
inducesWellDefinedMap(Module,Module,Matrix)
inducesWellDefinedMap(Module,Nothing,Matrix)
inducesWellDefinedMap(Nothing,Module,Matrix)
inducesWellDefinedMap(Nothing,Nothing,Matrix)