i1 : projectiveSpace 3 o1 = normalToricVariety {{-1, -1, -1}, {1, 0, 0}, {0, 1, 0}, {0, 0, 1}} , {{0, 1, 2}, {0, 1, 3}, {0, 2, 3}, {1, 2, 3}} o1 : NormalToricVariety |
i2 : rays projectiveSpace 3 o2 = {{-1, -1, -1}, {1, 0, 0}, {0, 1, 0}, {0, 0, 1}} o2 : List |
i3 : max projectiveSpace 3 o3 = {{0, 1, 2}, {0, 1, 3}, {0, 2, 3}, {1, 2, 3}} o3 : List |
i4 : hirzebruchSurface 7 o4 = normalToricVariety {{1, 0}, {0, 1}, {-1, 7}, {0, -1}} , {{0, 1}, {0, 3}, {1, 2}, {2, 3}} o4 : NormalToricVariety |
i5 : rays hirzebruchSurface 7 o5 = {{1, 0}, {0, 1}, {-1, 7}, {0, -1}} o5 : List |
i6 : max hirzebruchSurface 7 o6 = {{0, 1}, {0, 3}, {1, 2}, {2, 3}} o6 : List |
i7 : PP2 = projectiveSpace 3 o7 = PP2 o7 : NormalToricVariety |
i8 : FF7 = hirzebruchSurface 7 o8 = FF7 o8 : NormalToricVariety |