describe(MultirationalMap) -- describe a multi-rational map

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.000730191s (cpu); 0.000189032s (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.00092257s (cpu); 0.000290731s (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.83049s (cpu); 1.33511s (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.000500593s (cpu); 0.00046632s (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