-- -*- M2-comint -*- hash: 11957345307204093601

i1 : X = PP_QQ^(2,2);

o1 : ProjectiveVariety, surface in PP^5

i2 : C = conormalVariety X;

o2 : ProjectiveVariety, 4-dimensional subvariety of PP^5 x PP^5

i3 : p2 = multirationalMap last projections C;

o3 : MultirationalMap (rational map from C to PP^5)

i4 : image p2 == dual X

o4 = true

i5 : 
