Phi, a multi-rational map, whose target is a subvariety $Y\subseteq\mathbb{P}^{k_1}\times\cdots\times\mathbb{P}^{k_n}$
Outputs:
a multi-rational map, the composition of Phi with the inclusion of $Y$ into $\mathbb{P}^{k_1}\times\cdots\times\mathbb{P}^{k_n}$
Description
i1 : Phi = rationalMap{rationalMap(veronese(1,2,ZZ/33331),Dominant=>true),rationalMap(veronese(1,3,ZZ/33331),Dominant=>true)};
o1 : MultirationalMap (rational map from PP^1 to surface in PP^2 x PP^3)
i2 : super Phi;
o2 : MultirationalMap (rational map from PP^1 to PP^2 x PP^3)
i3 : Psi = rationalMap(Phi,image Phi);
o3 : MultirationalMap (dominant rational map from PP^1 to curve in PP^2 x PP^3)