next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
Macaulay2 web site
BGG
::
directImageComplex
directImageComplex -- direct image complex
Synopsis
Usage:
directImageComplex F
Optional inputs
:
Regularity => ...
, -- direct image complex
Description
Forms a minimal free complex representing the direct image complex of
F
in the derived category, where
F
is a module, chain complex or map of modules.
Ways to use
directImageComplex
:
directImageComplex(ChainComplex)
-- direct image of a chain complex
directImageComplex(Matrix)
-- map of direct image complexes
directImageComplex(Module)
-- Complex representing the direct image