next | previous | forward | backward | up | top | index | toc | Macaulay2 website
MultiprojectiveVarieties :: point(MultiprojectiveVariety)

point(MultiprojectiveVariety) -- pick a random rational point on a projective variety

Synopsis

Description

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

See also