i1 : Phi = rationalMap {minors(3,(PP_(ZZ/65521)([6],2)).matrix)};
o1 : MultirationalMap (rational map from PP^6 to PP^9)

i2 : Y = image(Phi,2)
o2 = Y
o2 : ProjectiveVariety, 6dimensional subvariety of PP^9

i3 : forceImage(Phi,Y)

i4 : image Phi
o4 = Y
o4 : ProjectiveVariety, 6dimensional subvariety of PP^9

i5 : Psi = rationalMap({minors(3,(PP_(ZZ/65521)([6],2)).matrix)},Dominant=>2);
o5 : MultirationalMap (rational map from PP^6 to 6dimensional subvariety of PP^9)

i6 : forceImage(Psi,target Psi)

i7 : Psi;
o7 : MultirationalMap (dominant rational map from PP^6 to 6dimensional subvariety of PP^9)
