-- -*- M2-comint -*- hash: 11533721324852072161

i1 : Phi = multirationalMap graph rationalMap PP_(ZZ/65521)^(1,4);

o1 : MultirationalMap (rational map from 4-dimensional subvariety of PP^4 x PP^5 to PP^4 x PP^5)

i2 : time ? Phi
 -- used 0.00044547s (cpu); 0.0001419s (thread); 0s (gc)

o2 = multi-rational map consisting of 2 rational maps
     source variety: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9
     target variety: PP^4 x PP^5
     ------------------------------------------------------------------------
     hypersurfaces of multi-degrees (0,2)^1 (1,1)^8

i3 : image Phi;

o3 : ProjectiveVariety, 4-dimensional subvariety of PP^4 x PP^5

i4 : time ? Phi
 -- used 0.00061362s (cpu); 0.0002031s (thread); 0s (gc)

o4 = multi-rational map consisting of 2 rational maps
     source variety: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9 hypersurfaces of multi-degrees (0,2)^1 (1,1)^8 
     target variety: PP^4 x PP^5
     dominance: false
     image: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9 hypersurfaces of multi-degrees (0,2)^1 (1,1)^8 

i5 : time describe Phi
 -- used 1.24292s (cpu); 0.98665s (thread); 0s (gc)

o5 = multi-rational map consisting of 2 rational maps
     source variety: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9 hypersurfaces of multi-degrees (0,2)^1 (1,1)^8 
     target variety: PP^4 x PP^5
     base locus: empty subscheme of PP^4 x PP^5
     dominance: false
     image: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9 hypersurfaces of multi-degrees (0,2)^1 (1,1)^8 
     multidegree: {51, 51, 51, 51, 51}
     degree: 1
     degree sequence (map 1/2): [(1,0), (0,2)]
     degree sequence (map 2/2): [(0,1), (2,0)]
     coefficient ring: ZZ/65521

i6 : time ? Phi
 -- used 0.00016197s (cpu); 0.000390141s (thread); 0s (gc)

o6 = multi-rational map consisting of 2 rational maps
     source variety: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9 hypersurfaces of multi-degrees (0,2)^1 (1,1)^8 
     target variety: PP^4 x PP^5
     base locus: empty subscheme of PP^4 x PP^5
     dominance: false
     image: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9 hypersurfaces of multi-degrees (0,2)^1 (1,1)^8 
     multidegree: {51, 51, 51, 51, 51}
     degree: 1

i7 : 
