i4 : Y = random({{1,0,0,0},{0,1,0,0},{0,1,0,0},{0,0,0,1}},0_X);
o4 : ProjectiveVariety, 6dimensional subvariety of PP^2 x PP^4 x PP^1 x PP^3

i6 : Z = random({{1,1,0,0},{0,1,0,0},{0,0,1,0},{0,0,0,1},{0,0,0,1}},0_X);
o6 : ProjectiveVariety, 5dimensional subvariety of PP^2 x PP^4 x PP^1 x PP^3

i8 : describe h
o8 = multirational map consisting of 4 rational maps
source variety: PP^5
target variety: 5dimensional subvariety of PP^2 x PP^4 x PP^1 x PP^3 cut out by 5 hypersurfaces of multidegrees (0,0,0,1)^2 (0,0,1,0)^1 (0,1,0,0)^1 (1,1,0,0)^1
base locus: threefold in PP^5 cut out by 6 hypersurfaces of degrees 2^1 4^5
dominance: true
multidegree: {1, 6, 15, 31, 50, 50}
degree: 1
degree sequence (map 1/4): [2]
degree sequence (map 2/4): [2]
degree sequence (map 3/4): [0]
degree sequence (map 4/4): [2]
coefficient ring: K

i9 : describe inverse h
o9 = multirational map consisting of one single rational map
source variety: 5dimensional subvariety of PP^2 x PP^4 x PP^1 x PP^3 cut out by 5 hypersurfaces of multidegrees (0,0,0,1)^2 (0,0,1,0)^1 (0,1,0,0)^1 (1,1,0,0)^1
target variety: PP^5
base locus: threefold in PP^2 x PP^4 x PP^1 x PP^3 cut out by 23 hypersurfaces of multidegrees (0,0,0,1)^2 (0,0,1,0)^1 (0,1,0,0)^1 (0,1,0,2)^1 (0,2,0,1)^3 (1,0,0,2)^1 (1,1,0,0)^1 (1,1,0,1)^6 (1,2,0,0)^3 (2,0,0,1)^2 (2,1,0,0)^2
dominance: true
multidegree: {50, 50, 31, 15, 6, 1}
degree: 1
degree sequence (map 1/1): [(1,1,0,1)]
coefficient ring: K
