directImageComplex F
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.
The option "Regularity" is currently not supported.
The object directImageComplex is a method function with options.
The source of this document is in BGG.m2:872:0.