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

Synopsis

• Function: super

• Usage:

  super Phi

• Inputs:
  • Phi, a multi-rational map, whose target is a subvariety $Y\subseteq\mathbb{P}^{k_1}\times\cdots\times\mathbb{P}^{k_n}$
• Outputs:
  • a multi-rational map, the composition of Phi with the inclusion of $Y$ into $\mathbb{P}^{k_1}\times\cdots\times\mathbb{P}^{k_n}$

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

• target(MultirationalMap) -- the target for a multi-rational map
• ambient(MultiprojectiveVariety) -- the ambient multi-projective space of the variety
• super(RationalMap) -- get the rational map whose target is a projective space