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

isSubset(MultiprojectiveVariety,MultiprojectiveVariety) -- whether one variety is a subvariety of another

Synopsis

Description

i1 : Y = PP_(ZZ/33331)^(2,2);

o1 : ProjectiveVariety, surface in PP^5
i2 : X = point Y;

o2 : ProjectiveVariety, a point in PP^5
i3 : isSubset(X,Y)

o3 = true
i4 : isSubset(Y,X)

o4 = false