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.