# directImageComplex -- direct image complex

## Synopsis

• Usage:
directImageComplex F
• Optional inputs:
• Regularity => ..., default value null

## 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.

## Caveat

The option "Regularity" is currently not supported.

## For the programmer

The object directImageComplex is .