i1 : Phi = inverse first graph rationalMap PP_(ZZ/33331)^(1,4);
o1 : MultirationalMap (birational map from PP^4 to 4-dimensional subvariety of PP^4 x PP^5)
i2 : p = projectionMaps Phi;
i3 : p_0
o3 = multi-rational map consisting of one single rational map
source variety: PP^4
target variety: PP^4
o3 : MultirationalMap (rational map from PP^4 to PP^4)
i4 : p_1
o4 = multi-rational map consisting of one single rational map
source variety: PP^4
target variety: PP^5
o4 : MultirationalMap (rational map from PP^4 to PP^5)