i1 : X = PP_QQ^{2,3,1}; o1 : ProjectiveVariety, PP^2 x PP^3 x PP^1
i2 : 1_X; o2 : MultirationalMap (automorphism of X)