-- -*- M2-comint -*- hash: 2938376894827931774

i1 : ZZ/300007[a..e], f = first graph rationalMap ideal(c^2-b*d,b*c-a*d,b^2-a*c,e), g = rationalMap submatrix(matrix f,{0..2});

i2 : Phi = rationalMap {f,g};

o2 : MultirationalMap (rational map from 4-dimensional subvariety of PP^4 x PP^7 to PP^4 x PP^2)

i3 : time isMorphism Phi
 -- used 0.339078s (cpu); 0.258144s (thread); 0s (gc)

o3 = false

i4 : time Psi = first graph Phi;
 -- used 0.0527606s (cpu); 0.0529966s (thread); 0s (gc)

o4 : MultirationalMap (birational map from 4-dimensional subvariety of PP^4 x PP^7 x PP^4 x PP^2 to 4-dimensional subvariety of PP^4 x PP^7)

i5 : time isMorphism Psi
 -- used 3.55946s (cpu); 2.88132s (thread); 0s (gc)

o5 = true

i6 : assert((not o3) and o5)

i7 : 
