support(MultiprojectiveVariety) -- support of a multi-projective variety

Synopsis

• Function: support

• Usage:

  support X

• Inputs:
  • X, a multi-projective variety
• Outputs:
  • a multi-projective variety, the support of X, that is, the projective variety defined by the radical of the defining ideal of X

Description

i1 : K = ZZ/65521;

i2 : X = 2 * PP_K^(1,3);

o2 : ProjectiveVariety, curve in PP^3

i3 : degree X, sectionalGenus X

o3 = (9, 8)

o3 : Sequence

i4 : X' = support X;

o4 : ProjectiveVariety, curve in PP^3

i5 : degree X', sectionalGenus X'

o5 = (3, 0)

o5 : Sequence

i6 : assert(X \ X' == X')

See also

• decompose(MultiprojectiveVariety) -- irreducible components of a variety
• radical(Ideal) -- the radical of an ideal