-- -*- M2-comint -*- hash: 11458462064959385237

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)

i5 : 
