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

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')