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

## Synopsis

• Function: support
• Usage:
support X
• Inputs:
• Outputs:
• , 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')