i1 : isSimplicial projectiveSpace 4 o1 = true |
i2 : isSimplicial weightedProjectiveSpace {1,2,3} o2 = true |
i3 : isSimplicial hirzebruchSurface 7 o3 = true |
i4 : U = normalToricVariety({{4,-1},{0,1}},{{0,1}}); |
i5 : isSimplicial U o5 = true |
i6 : isSmooth U o6 = false |
i7 : C = normalToricVariety({{1,0,0},{0,1,0},{0,0,1},{1,1,-1}},{{0,1,2,3}}); |
i8 : isSimplicial C o8 = false |