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 auxiliary files accompanying it are in the directory MultiprojectiveVarieties/.
The object MultiprojectiveVarieties is a package.