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 |