i1 : PP3 = projectiveSpace 3; |
i2 : isAmple PP3_0 o2 = true |
i3 : isVeryAmple PP3_0 o3 = true |
i4 : FF2 = hirzebruchSurface 2; |
i5 : isAmple (FF2_2+FF2_3) o5 = true |
i6 : isVeryAmple (FF2_2+FF2_3) o6 = true |
i7 : X = normalToricVariety matrix {{0,1,0,0,1},{0,0,1,0,1},{0,0,0,1,1},{0,0,0,0,3}}; |
i8 : dim X o8 = 4 |
i9 : D = 3*X_0 o9 = 3*D 0 o9 : ToricDivisor on X |
i10 : isAmple D o10 = true |
i11 : isVeryAmple D o11 = false |
i12 : isVeryAmple (2*D) o12 = false |
i13 : isVeryAmple (3*D) o13 = true |