ambientVariety -- the ambient variety of a projective subvariety

Synopsis

• Usage:

  ambientVariety X

• Inputs:
  • X, a multi-projective variety, a subvariety of another variety Y
• Outputs:
  • a multi-projective variety, the ambient variety Y

Description

i1 : X = point PP_(ZZ/65521)^3;

o1 : ProjectiveVariety, a point in PP^3

i2 : Y = random({1},X);

o2 : ProjectiveVariety, surface in PP^3

i3 : X % Y

o3 = X

o3 : ProjectiveVariety, a point in PP^3 (subvariety of codimension 2 in Y)

i4 : ambientVariety X

o4 = Y

o4 : ProjectiveVariety, surface in PP^3

i5 : ambient X

o5 = PP^3

o5 : ProjectiveVariety, PP^3

See also

• MultiprojectiveVariety % MultiprojectiveVariety -- subvariety of a projective variety
• ambient(MultiprojectiveVariety) -- the ambient multi-projective space of the variety