i1 : X = projectiveVariety ideal random({2,1},ZZ/101[x_0,x_1,x_2,y_0,y_1,Degrees=>{3:{1,0},2:{0,1}}]);
o1 : ProjectiveVariety, surface in PP^2 x PP^1
|
i2 : p = point X; o2 : ProjectiveVariety, 0-dimensional subvariety of PP^2 x PP^1 |
i3 : describe p
o3 = ambient:.............. PP^2 x PP^1
dim:.................. 0
codim:................ 3
degree:............... 1
multidegree:.......... T_0^2*T_1
generators:........... (1,0)^2 (0,1)^1
purity:............... true
dim sing. l.:......... -1
Segre embedding:...... map to PP^0 ⊂ PP^5
|