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
|