This is a package for handling multi-projective varieties, that is, closed subvarieties of products of projective spaces, and rational maps between them. This extends the package Cremona, which treats rational maps from multi-projective varieties to standard projective varieties, $X\subseteq \mathbb{P}^{k_1}\times\mathbb{P}^{k_2}\times\cdots\times\mathbb{P}^{k_n}\dashrightarrow Y\subseteq\mathbb{P}^N$.
This documentation describes version 2.0 of MultiprojectiveVarieties.
The source code from which this documentation is derived is in the file MultiprojectiveVarieties.m2.
The object MultiprojectiveVarieties is a package.