i1 : Phi = rationalMap(veronese(1,2,ZZ/33331),Dominant=>true);
o1 : RationalMap (quadratic dominant rational map from PP^1 to curve in PP^2)
|
i2 : Psi = rationalMap veronese(1,3,ZZ/33331);
o2 : RationalMap (cubic rational map from PP^1 to PP^3)
|
i3 : Eta = Phi | Psi;
o3 : MultirationalMap (rational map from PP^1 to hypersurface in PP^2 x PP^3)
|
i4 : Eta | Phi;
o4 : MultirationalMap (rational map from PP^1 to 5-dimensional subvariety of PP^2 x PP^3 x PP^2)
|
i5 : Phi | Psi | Eta;
o5 : MultirationalMap (rational map from PP^1 to 8-dimensional subvariety of PP^2 x PP^3 x PP^2 x PP^3)
|
i6 : super oo;
o6 : MultirationalMap (rational map from PP^1 to PP^2 x PP^3 x PP^2 x PP^3)
|
i7 : multirationalMap(oo,image oo);
o7 : MultirationalMap (dominant rational map from PP^1 to curve in PP^2 x PP^3 x PP^2 x PP^3)
|