-- -*- M2-comint -*- hash: 10552958614389185910

i1 : Phi = rationalMap(PP_QQ^(1,4),Dominant=>true);

o1 : MultirationalMap (dominant rational map from PP^4 to hypersurface in PP^5)

i2 : class Phi

o2 = MultirationalMap

o2 : Type

i3 : f = toRationalMap Phi;

o3 : RationalMap (quadratic dominant rational map from PP^4 to hypersurface in PP^5)

i4 : class f

o4 = RationalMap

o4 : Type

i5 : assert(Phi == f and Phi =!= f)

i6 : 
