i1 : PP2 = projectiveSpace 2; |
i2 : orbits(PP2,0) o2 = {{0, 1}, {0, 2}, {1, 2}} o2 : List |
i3 : orbits(PP2,1) o3 = {{0}, {1}, {2}} o3 : List |
i4 : PP3 = projectiveSpace 3; |
i5 : orbits(PP3,0) o5 = {{0, 1, 2}, {0, 1, 3}, {0, 2, 3}, {1, 2, 3}} o5 : List |
i6 : orbits(PP3,1) o6 = {{0, 1}, {0, 2}, {0, 3}, {1, 2}, {1, 3}, {2, 3}} o6 : List |
i7 : orbits(PP3,2) o7 = {{0}, {1}, {2}, {3}} o7 : List |
i8 : X = normalToricVariety(id_(ZZ^3) | -id_(ZZ^3)); |
i9 : orbits(X,0) === max X o9 = true |
i10 : orbits(X,1) o10 = {{0, 1}, {0, 2}, {0, 4}, {1, 3}, {1, 5}, {2, 3}, {2, 6}, {3, 7}, {4, ----------------------------------------------------------------------- 5}, {4, 6}, {5, 7}, {6, 7}} o10 : List |
i11 : orbits(X,2) === apply(#rays X, i -> {i}) o11 = true |
i12 : U = normalToricVariety({{4,-1,0},{0,1,0}},{{0,1}}); |
i13 : isDegenerate U o13 = true |
i14 : orbits(U,0) o14 = {} o14 : List |
i15 : orbits(U,1) o15 = {{0, 1}} o15 : List |
i16 : orbits(U,2) o16 = {{0}, {1}} o16 : List |
i17 : dim U o17 = 3 |