i1 : X = normalToricVariety(id_(ZZ^3) | - id_(ZZ^3)); |
i2 : isSimplicial X o2 = false |
i3 : Y = makeSimplicial X; |
i4 : isSimplicial Y o4 = true |
i5 : rays Y === rays X o5 = true |
i6 : max Y o6 = {{0, 1, 2}, {0, 1, 4}, {0, 2, 4}, {1, 2, 3}, {1, 3, 5}, {1, 4, 5}, {2, ------------------------------------------------------------------------ 3, 6}, {2, 4, 6}, {3, 5, 7}, {3, 6, 7}, {4, 5, 6}, {5, 6, 7}} o6 : List |
i7 : max X o7 = {{0, 1, 2, 3}, {0, 1, 4, 5}, {0, 2, 4, 6}, {1, 3, 5, 7}, {2, 3, 6, 7}, ------------------------------------------------------------------------ {4, 5, 6, 7}} o7 : List |
i8 : PP3 = projectiveSpace 3; |
i9 : isSimplicial PP3 o9 = true |
i10 : Z = makeSimplicial PP3; |
i11 : rays Z === rays PP3 o11 = true |
i12 : max Z === max PP3 o12 = true |