i1 : Phi = multirationalMap {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 = multirationalMap(Phi,Y) o3 = Psi o3 : MultirationalMap (dominant rational map from PP^7 to hypersurface in PP^8) |
i4 : target Psi o4 = Y o4 : ProjectiveVariety, hypersurface in PP^8 |