PP3 = projectiveSpace 3; |
isAmple PP3_0 |
isVeryAmple PP3_0 |
FF2 = hirzebruchSurface 2; |
isAmple (FF2_2+FF2_3) |
isVeryAmple (FF2_2+FF2_3) |
X = normalToricVariety matrix {{0,1,0,0,1},{0,0,1,0,1},{0,0,0,1,1},{0,0,0,0,3}}; |
dim X |
D = 3*X_0 |
isAmple D |
isVeryAmple D |
isVeryAmple (2*D) |
isVeryAmple (3*D) |