MultiprojectiveVariety ** MultiprojectiveVariety -- product of two multi-projective varieties

Synopsis

• Operator: **

• Usage:

  X ** Y

• Inputs:
  • X, a multi-projective variety
  • Y, a multi-projective variety
• Outputs:
  • a multi-projective variety, the product of X and Y

Description

i1 : X = projectiveVariety ideal(random({2,1},ring PP_(ZZ/101)^{2,1}),random({1,1},ring PP^{2,1}));

o1 : ProjectiveVariety, curve in PP^2 x PP^1

i2 : Y = projectiveVariety ideal random({1,1,1},ring PP^{1,2,1});

o2 : ProjectiveVariety, hypersurface in PP^1 x PP^2 x PP^1

i3 : X ** Y

o3 = 4-dimensional subvariety of PP^2 x PP^1 x PP^1 x PP^2 x PP^1 cut out by 4 hypersurfaces of multi-degrees (0,0,1,1,1)^1 (1,1,0,0,0)^1 (2,1,0,0,0)^1 (3,0,0,0,0)^1 

o3 : ProjectiveVariety, X x Y

See also

• fiberProduct -- fiber product of multi-projective varieties
• MultiprojectiveVariety ^ ZZ -- power of a multi-projective variety
• ∏(List) -- product of multi-projective varieties