rationalMap(Phi,Y)
multirationalMap(Phi,Y)
check rationalMap(Phi,Y)
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)