-- -*- M2-comint -*- hash: 9479882731768279335

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

i6 : 
