next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
Macaulay2 web site
Verify -- verify that a map is well-defined
Description
Verify
-- an option that can be used to request verification that a map is well defined.
inducedMap(..., Verify => ...)
Functions with optional argument named Verify :
extend(..., Verify => ...), see
extend(ChainComplex,ChainComplex,Matrix)
-- extend a module map to a chain map, if possible
inducedMap(..., Verify => ...)
lift(..., Verify => ...), see
lift
-- lift to another ring
For the programmer
The object
Verify
is
a
symbol
.