cartesianProduct Seq
The Cartesian product of varieties $X_0, X_1, X_2, \dots$, all defined over the same ground field $k$, is the fiber product $X_0 \times_k X_1 \times_k X_2 \times_k \dots$. For normal toric varieties, the fan of the product is given by the Cartesian product of the underlying fans of the factors.
|
|
|
|
|
|
|
|
|
|
This general method for constructing products is invoked by all of the other product constructors.