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 : singularLocus X; o2 : ProjectiveVariety, empty subscheme of PP^2 x PP^1 |
i3 : Y = X + projectiveVariety (ideal random({1,1},ring ambient X)); o3 : ProjectiveVariety, surface in PP^2 x PP^1 |
i4 : singularLocus Y; o4 : ProjectiveVariety, curve in PP^2 x PP^1 |