intermediates

• Usage:

  intermediates I

• Inputs:
  • I, an incidence correspondence,
• Outputs:
  • a triple $(Z,f,g)$ where $Z$ is the AbstractVariety mediating the Correspondence, $f$ is the AbstractVarietyMap from $Z$ to the source of $I$, and $g$ is the AbstractVarietyMap from $Z$ to the target of $I$.