-- -*- M2-comint -*- hash: 12234250281779756031

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

i7 : 
