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 |