# MultiprojectiveVariety -- the class of all multi-projective varieties

## Description

A multi-projective variety is a closed subvariety of a product of projective spaces $\mathbb{P}^{k_1}\times\mathbb{P}^{k_2}\times\cdots\times\mathbb{P}^{k_n}$. This is actually the class of all closed subschemes of products of projective spaces.

## Functions and methods returning a multi-projective variety :

• ambientVariety -- the ambient variety of a projective subvariety
• baseLocus -- the base locus of a multi-rational map
• fiberProduct -- fiber product of multi-projective varieties
• projectiveVariety -- the closed multi-projective subvariety defined by a multi-homogeneous ideal

## For the programmer

The object MultiprojectiveVariety is a type, with ancestor classes MutableHashTable < HashTable < Thing.