-- -*- M2-comint -*- hash: 3554368134698603733

i1 : X = PP_(ZZ/33331)^{2,3,1};

o1 : ProjectiveVariety, PP^2 x PP^3 x PP^1

i2 : f = permute(X,{1,0,2});

o2 : MultirationalMap (rational map from X to PP^3 x PP^2 x PP^1)

i3 : assert isIsomorphism f

i4 : Y = random({0,1,1},0_X);

o4 : ProjectiveVariety, hypersurface in PP^2 x PP^3 x PP^1

i5 : g = permute(Y,{2,0,1});

o5 : MultirationalMap (rational map from Y to hypersurface in PP^1 x PP^2 x PP^3)

i6 : assert isIsomorphism g

i7 : 
