-- -*- M2-comint -*- hash: 12003081989898336052

i1 : Phi = rationalMap {super specialQuadraticTransformation 1}

o1 = Phi

o1 : MultirationalMap (rational map from PP^7 to PP^8)

i2 : Y = image Phi

o2 = Y

o2 : ProjectiveVariety, hypersurface in PP^8

i3 : Psi = rationalMap(Phi,Y)

o3 = Psi

o3 : MultirationalMap (dominant rational map from PP^7 to Y)

i4 : 
