next | previous | forward | backward | up | top | index | toc | Macaulay2 website
MultiprojectiveVarieties :: MultiprojectiveVariety == MultiprojectiveVariety

MultiprojectiveVariety == MultiprojectiveVariety -- equality of multi-projective varieties

Synopsis

Description

i1 : R = ZZ/101[x_0,x_1,x_2,y_0,y_1,Degrees=>{3:{1,0},2:{0,1}}];
i2 : (I,J) = (ideal(y_0-26*y_1,x_0*y_1+36*x_1*y_1-40*x_2*y_1),ideal(x_0*y_1+36*x_1*y_1-40*x_2*y_1,x_2*y_0-26*x_2*y_1,x_1*y_0-26*x_1*y_1,x_0*y_0+27*x_1*y_1-30*x_2*y_1));
i3 : I == J

o3 = false
i4 : X = projectiveVariety I

o4 = X

o4 : ProjectiveVariety, curve in PP^2 x PP^1
i5 : Y = projectiveVariety J

o5 = Y

o5 : ProjectiveVariety, curve in PP^2 x PP^1
i6 : X == Y

o6 = true