next | previous | forward | backward | up | top | index | toc | Macaulay2 website
MultiprojectiveVarieties :: super(MultirationalMap)

super(MultirationalMap) -- get the multi-rational map whose target is a product of projective spaces

Synopsis

Description

i1 : Phi = rationalMap{rationalMap(veronese(1,2,ZZ/33331),Dominant=>true),rationalMap(veronese(1,3,ZZ/33331),Dominant=>true)};

o1 : MultirationalMap (rational map from PP^1 to surface in PP^2 x PP^3)
i2 : super Phi;

o2 : MultirationalMap (rational map from PP^1 to PP^2 x PP^3)
i3 : Psi = rationalMap(Phi,image Phi);

o3 : MultirationalMap (dominant rational map from PP^1 to curve in PP^2 x PP^3)
i4 : super Psi == super Phi

o4 = true

See also