next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Divisor :: isVeryAmple

isVeryAmple -- whether a divisor is very ample.

Synopsis

Description

Returns true if the divisor is very ample, otherwise it returns false. It works by calling isEmbedding from the RationalMaps package. If Verbose is set to true, it will print Verbose output from isEmbedding.

i1 : R = QQ[x, y, z]/ideal(x^3 + y^3 - z^3);
i2 : D = divisor(ideal(x, y-z));

o2 : WeilDivisor on R
i3 : isVeryAmple(D)

o3 = false
i4 : isVeryAmple(2*D)

o4 = false
i5 : isVeryAmple(3*D)

o5 = true

Ways to use isVeryAmple :