-- -*- M2-comint -*- hash: 16199733219210081214

i1 : Phi = last graph rationalMap PP_(ZZ/300007)^(1,4);

o1 : MultirationalMap (rational map from 4-dimensional subvariety of PP^4 x PP^5 to PP^5)

i2 : for i in {4,3,2,1,0} list time multidegree(i,Phi)
 -- used 0.00100059s (cpu); 0.00119567s (thread); 0s (gc)
 -- used 0.176649s (cpu); 0.140709s (thread); 0s (gc)
 -- used 0.202024s (cpu); 0.164741s (thread); 0s (gc)
 -- used 0.185396s (cpu); 0.152381s (thread); 0s (gc)
 -- used 0.164524s (cpu); 0.128265s (thread); 0s (gc)

o2 = {51, 28, 14, 6, 2}

o2 : List

i3 : time assert(oo == multidegree Phi)
 -- used 0.118043s (cpu); 0.0912752s (thread); 0s (gc)

i4 : 
