-- -*- M2-comint -*- hash: 15617288396079717886

i1 : P6 = QQ[t_0..t_6]; X = minors(3,matrix{{t_0..t_4},{t_1..t_5},{t_2..t_6}});

o2 : Ideal of P6

i3 : Phi = rationalMap(X,Dominant=>2);

o3 : RationalMap (cubic rational map from PP^6 to 6-dimensional subvariety of PP^9)

i4 : time forceImage(Phi,ideal 0_(target Phi))
 -- used 0.000641111s (cpu); 0.00063758s (thread); 0s (gc)

i5 : Phi;

o5 : RationalMap (cubic dominant rational map from PP^6 to 6-dimensional subvariety of PP^9)

i6 : 
