i1 : isProjective affineSpace 1 o1 = false |
i2 : isProjective affineSpace 3 o2 = false |
i3 : U = normalToricVariety({{4,-1,0},{0,1,0}},{{0,1}}); |
i4 : isProjective U o4 = false |
i5 : isProjective projectiveSpace 1 o5 = true |
i6 : isProjective projectiveSpace 3 o6 = true |
i7 : isProjective hirzebruchSurface 7 o7 = true |
i8 : isProjective smoothFanoToricVariety(3,3) o8 = true |
i9 : X = normalToricVariety(id_(ZZ^3) | -id_(ZZ^3)); |
i10 : isProjective X o10 = true |
i11 : Rho = {{-1,-1,1},{3,-1,1},{0,0,1},{1,0,1},{0,1,1},{-1,3,1},{0,0,-1}}; |
i12 : Sigma = {{0,1,3},{0,1,6},{0,2,3},{0,2,5},{0,5,6},{1,3,4},{1,4,5},{1,5,6},{2,3,4},{2,4,5}} o12 = {{0, 1, 3}, {0, 1, 6}, {0, 2, 3}, {0, 2, 5}, {0, 5, 6}, {1, 3, 4}, {1, ----------------------------------------------------------------------- 4, 5}, {1, 5, 6}, {2, 3, 4}, {2, 4, 5}} o12 : List |
i13 : Y = normalToricVariety(Rho,Sigma); |
i14 : isComplete Y o14 = true |
i15 : isProjective Y o15 = true |