i1 : R = ZZ/33331[x_0..x_4];

i2 : Phi = (last graph multirationalMap rationalMap transpose jacobian(x_2^3+2*x_1*x_2*x_3x_0*x_3^2x_1^2*x_4+x_0*x_2*x_4))projectiveVariety ideal(random(2,R));
o2 : MultirationalMap (rational map from threefold in PP^4 x PP^4 to hypersurface in PP^4)

i3 : ? Phi
o3 = multirational map consisting of one single rational map
source variety: threefold in PP^4 x PP^4 cut out by 13 hypersurfaces of
target variety: hypersurface in PP^4 defined by a form of degree 2

multidegrees (0,2)^1 (1,1)^3 (2,1)^8 (4,0)^1

i4 : time degree(Phi,Strategy=>"random point")
 used 4.59667s (cpu); 2.80722s (thread); 0s (gc)
o4 = 2

i5 : time degree(Phi,Strategy=>"0th projective degree")
 used 0.37107s (cpu); 0.25456s (thread); 0s (gc)
o5 = 2

i6 : time degree Phi
 used 0.290951s (cpu); 0.293579s (thread); 0s (gc)
o6 = 2
