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.