i1 : A = vertices hypercube 3
o1 = | -1 1 -1 1 -1 1 -1 1 |
| -1 -1 1 1 -1 -1 1 1 |
| -1 -1 -1 -1 1 1 1 1 |
3 8
o1 : Matrix QQ <--- QQ
|
i2 : T = topcomRegularFineTriangulation A
o2 = {{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 6}, {3, 4, 5, 6},
------------------------------------------------------------------------
{3, 5, 6, 7}}
o2 : List
|
i3 : tri = regularFineTriangulation A
o3 = triangulation {{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 6}, {3, 4, 5, 6}, {3, 5, 6, 7}}
o3 : Triangulation
|
i4 : Ts1 = generateTriangulations A -- list of Triangulation's.
o4 = {triangulation {{0, 1, 2, 7}, {0, 1, 5, 7}, {0, 2, 6, 7}, {0, 4, 5, 7},
------------------------------------------------------------------------
{0, 4, 6, 7}, {1, 2, 3, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 5, 7},
------------------------------------------------------------------------
{0, 2, 3, 7}, {0, 2, 6, 7}, {0, 4, 5, 6}, {0, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 7}, {0, 1, 4, 7}, {0, 2, 6, 7}, {0, 4, 6, 7}, {1, 2, 3, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 5, 7}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 3, 6, 7}, {0, 4, 5, 7}, {0, 4, 6, 7}}, triangulation {{0, 1, 2, 6},
------------------------------------------------------------------------
{0, 1, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 7}, {1, 2, 6, 7}, {1, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 7}, {0, 2, 4, 7}, {0, 3, 5, 7},
------------------------------------------------------------------------
{0, 4, 5, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5},
------------------------------------------------------------------------
{0, 2, 4, 5}, {2, 3, 5, 7}, {2, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 4}, {0, 2, 3, 4}, {1, 3, 4, 7}, {1, 4, 5, 7}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 6, 7}}, triangulation {{0, 1, 3, 6}, {0, 1, 4, 6}, {0, 2, 3, 6},
------------------------------------------------------------------------
{1, 3, 5, 6}, {1, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 7}, {2, 4, 6, 7}, {3, 4, 5, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 4}, {0, 3, 4, 5}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 5},
------------------------------------------------------------------------
{1, 2, 4, 5}, {2, 3, 5, 6}, {2, 4, 5, 6}, {3, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 4}, {0, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 6}, {3, 4, 5, 7},
------------------------------------------------------------------------
{3, 4, 6, 7}}, triangulation {{0, 1, 2, 6}, {0, 1, 4, 6}, {1, 2, 3, 6},
------------------------------------------------------------------------
{1, 3, 5, 6}, {1, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 6},
------------------------------------------------------------------------
{0, 1, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 6}, {1, 3, 5, 6}, {3, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 6}, {1, 2, 4, 6}, {1, 3, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}, {1, 4, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5},
------------------------------------------------------------------------
{0, 2, 5, 6}, {0, 4, 5, 6}, {2, 3, 5, 6}, {3, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 4}, {1, 2, 3, 7}, {1, 2, 4, 6}, {1, 2, 6, 7}, {1, 4, 5, 7},
------------------------------------------------------------------------
{1, 4, 6, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 5, 7}, {0, 2, 3, 7},
------------------------------------------------------------------------
{0, 2, 6, 7}, {0, 4, 5, 7}, {0, 4, 6, 7}}, triangulation {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 5, 7}, {0, 2, 3, 7}, {0, 2, 4, 7}, {0, 4, 5, 7}, {2, 4, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 3, 5, 7},
------------------------------------------------------------------------
{0, 4, 5, 6}, {0, 5, 6, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 4, 7},
------------------------------------------------------------------------
{0, 2, 3, 6}, {0, 3, 6, 7}, {0, 4, 6, 7}, {1, 4, 5, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 5, 7}, {0, 3, 6, 7}, {0, 4, 5, 6},
------------------------------------------------------------------------
{0, 5, 6, 7}}, triangulation {{0, 1, 2, 5}, {0, 2, 5, 6}, {0, 4, 5, 6},
------------------------------------------------------------------------
{1, 2, 3, 5}, {2, 3, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 3, 4},
------------------------------------------------------------------------
{0, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 7}, {2, 4, 6, 7}, {3, 4, 5, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 4}, {0, 3, 4, 5}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 5, 7}, {3, 4, 6, 7}}, triangulation {{0, 1, 3, 4}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 3, 4, 6}, {1, 3, 4, 5}, {3, 4, 5, 6}, {3, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 5}, {2, 3, 5, 6}, {2, 4, 5, 6},
------------------------------------------------------------------------
{3, 5, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 5}, {1, 2, 4, 5},
------------------------------------------------------------------------
{2, 3, 5, 7}, {2, 4, 5, 6}, {2, 5, 6, 7}}, triangulation {{0, 1, 2, 6},
------------------------------------------------------------------------
{0, 1, 4, 6}, {1, 2, 3, 6}, {1, 3, 6, 7}, {1, 4, 5, 6}, {1, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 7}, {1, 4, 5, 7},
------------------------------------------------------------------------
{2, 3, 4, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 3, 6}, {0, 1, 4, 6},
------------------------------------------------------------------------
{0, 2, 3, 6}, {1, 3, 6, 7}, {1, 4, 5, 6}, {1, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 7}, {1, 2, 5, 7}, {2, 4, 5, 6},
------------------------------------------------------------------------
{2, 5, 6, 7}}, triangulation {{0, 1, 2, 7}, {0, 1, 5, 7}, {0, 2, 4, 7},
------------------------------------------------------------------------
{0, 4, 5, 7}, {1, 2, 3, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 4, 7}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 4, 6, 7}, {1, 4, 5, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 3, 5, 7},
------------------------------------------------------------------------
{0, 4, 5, 7}, {0, 4, 6, 7}}, triangulation {{0, 1, 2, 7}, {0, 1, 4, 7},
------------------------------------------------------------------------
{0, 2, 4, 7}, {1, 2, 3, 7}, {1, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 7}, {1, 2, 5, 7}, {2, 4, 5, 7},
------------------------------------------------------------------------
{2, 4, 6, 7}}, triangulation {{0, 1, 2, 5}, {0, 2, 5, 6}, {0, 4, 5, 6},
------------------------------------------------------------------------
{1, 2, 3, 7}, {1, 2, 5, 7}, {2, 5, 6, 7}}, triangulation {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 4, 7}, {0, 2, 3, 7}, {0, 2, 4, 7}, {1, 4, 5, 7}, {2, 4, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 6}, {0, 1, 4, 6}, {0, 2, 3, 6}, {1, 3, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}, {1, 4, 6, 7}}, triangulation {{0, 1, 3, 6}, {0, 1, 5, 6},
------------------------------------------------------------------------
{0, 2, 3, 6}, {0, 4, 5, 6}, {1, 3, 6, 7}, {1, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 5, 7}, {0, 3, 6, 7}, {0, 4, 5, 7},
------------------------------------------------------------------------
{0, 4, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5}, {0, 2, 5, 6},
------------------------------------------------------------------------
{0, 4, 5, 6}, {2, 3, 5, 7}, {2, 5, 6, 7}}, triangulation {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 7}, {1, 2, 4, 5}, {1, 2, 5, 7}, {2, 4, 5, 6}, {2, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 5}, {2, 3, 5, 7},
------------------------------------------------------------------------
{2, 4, 5, 6}, {2, 5, 6, 7}}, triangulation {{0, 1, 3, 4}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 3, 4, 6}, {1, 3, 4, 5}, {3, 4, 5, 7}, {3, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 4, 5}, {0, 3, 4, 6}, {3, 4, 5, 6},
------------------------------------------------------------------------
{3, 5, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5}, {0, 2, 4, 5},
------------------------------------------------------------------------
{2, 3, 5, 6}, {2, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {1, 4, 5, 6}, {3, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 5},
------------------------------------------------------------------------
{1, 2, 4, 5}, {2, 3, 5, 7}, {2, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 4}, {0, 3, 4, 5}, {2, 3, 4, 7}, {2, 4, 6, 7},
------------------------------------------------------------------------
{3, 4, 5, 7}}, triangulation {{0, 1, 3, 4}, {0, 2, 3, 6}, {0, 3, 4, 6},
------------------------------------------------------------------------
{1, 3, 4, 7}, {1, 4, 5, 7}, {3, 4, 6, 7}}, triangulation {{0, 1, 3, 4},
------------------------------------------------------------------------
{0, 2, 3, 4}, {1, 3, 4, 7}, {1, 4, 5, 7}, {2, 3, 4, 7}, {2, 4, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 6}, {0, 1, 4, 6}, {1, 2, 3, 7}, {1, 2, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 6}, {1, 5, 6, 7}}, triangulation {{0, 1, 2, 6}, {0, 1, 4, 6},
------------------------------------------------------------------------
{1, 2, 3, 6}, {1, 3, 6, 7}, {1, 4, 5, 7}, {1, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 5, 6}, {0, 4, 5, 6}, {3, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 7}, {1, 2, 4, 7}, {1, 4, 5, 7},
------------------------------------------------------------------------
{2, 4, 6, 7}}, triangulation {{0, 1, 2, 7}, {0, 1, 5, 7}, {0, 2, 6, 7},
------------------------------------------------------------------------
{0, 4, 5, 6}, {0, 5, 6, 7}, {1, 2, 3, 7}}, triangulation {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 5, 7}, {0, 2, 3, 6}, {0, 3, 6, 7}, {0, 4, 5, 6}, {0, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 6}, {0, 1, 4, 6}, {1, 2, 3, 7}, {1, 2, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}, {1, 4, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 4},
------------------------------------------------------------------------
{1, 3, 4, 7}, {1, 4, 5, 7}, {2, 3, 4, 6}, {3, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 6}, {3, 4, 5, 7},
------------------------------------------------------------------------
{3, 4, 6, 7}}, triangulation {{0, 1, 3, 4}, {0, 2, 3, 4}, {1, 3, 4, 5},
------------------------------------------------------------------------
{2, 3, 4, 6}, {3, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 6}, {1, 2, 4, 6}, {1, 3, 6, 7}, {1, 4, 5, 6}, {1, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 7}, {1, 2, 4, 6}, {1, 2, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 6}, {1, 5, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5},
------------------------------------------------------------------------
{0, 2, 4, 5}, {2, 3, 5, 7}, {2, 4, 5, 6}, {2, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 4, 5}, {0, 3, 4, 6}, {3, 4, 5, 7},
------------------------------------------------------------------------
{3, 4, 6, 7}}, triangulation {{0, 1, 3, 6}, {0, 1, 5, 6}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 4, 5, 6}, {1, 3, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 5},
------------------------------------------------------------------------
{0, 2, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 5}, {2, 3, 5, 7}, {2, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 5}, {2, 3, 5, 7},
------------------------------------------------------------------------
{2, 4, 5, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 7},
------------------------------------------------------------------------
{1, 2, 4, 5}, {1, 2, 5, 7}, {2, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 6}, {0, 1, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 6}, {1, 3, 6, 7},
------------------------------------------------------------------------
{1, 5, 6, 7}}}
o4 : List
|
i5 : Ts2 = generateTriangulations(A, T) -- list of list of subsets
o5 = {{{0, 1, 2, 7}, {0, 1, 5, 7}, {0, 2, 6, 7}, {0, 4, 5, 7}, {0, 4, 6, 7},
------------------------------------------------------------------------
{1, 2, 3, 7}}, {{0, 1, 3, 7}, {0, 1, 5, 7}, {0, 2, 3, 7}, {0, 2, 6, 7},
------------------------------------------------------------------------
{0, 4, 5, 6}, {0, 5, 6, 7}}, {{0, 1, 2, 7}, {0, 1, 4, 7}, {0, 2, 6, 7},
------------------------------------------------------------------------
{0, 4, 6, 7}, {1, 2, 3, 7}, {1, 4, 5, 7}}, {{0, 1, 3, 7}, {0, 1, 5, 7},
------------------------------------------------------------------------
{0, 2, 3, 6}, {0, 3, 6, 7}, {0, 4, 5, 7}, {0, 4, 6, 7}}, {{0, 1, 2, 6},
------------------------------------------------------------------------
{0, 1, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 7}, {1, 2, 6, 7}, {1, 5, 6, 7}},
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 7}, {0, 2, 4, 7}, {0, 3, 5, 7}, {0, 4, 5, 7},
------------------------------------------------------------------------
{2, 4, 6, 7}}, {{0, 1, 3, 5}, {0, 2, 3, 5}, {0, 2, 4, 5}, {2, 3, 5, 7},
------------------------------------------------------------------------
{2, 4, 5, 7}, {2, 4, 6, 7}}, {{0, 1, 3, 4}, {0, 2, 3, 4}, {1, 3, 4, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}, {2, 3, 4, 6}, {3, 4, 6, 7}}, {{0, 1, 3, 6}, {0, 1, 4, 6},
------------------------------------------------------------------------
{0, 2, 3, 6}, {1, 3, 5, 6}, {1, 4, 5, 6}, {3, 5, 6, 7}}, {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 7}, {2, 4, 6, 7}, {3, 4, 5, 7}},
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 4}, {0, 3, 4, 5}, {2, 3, 4, 6}, {3, 4, 5, 6},
------------------------------------------------------------------------
{3, 5, 6, 7}}, {{0, 1, 2, 4}, {1, 2, 3, 5}, {1, 2, 4, 5}, {2, 3, 5, 6},
------------------------------------------------------------------------
{2, 4, 5, 6}, {3, 5, 6, 7}}, {{0, 1, 3, 4}, {0, 2, 3, 4}, {1, 3, 4, 5},
------------------------------------------------------------------------
{2, 3, 4, 6}, {3, 4, 5, 7}, {3, 4, 6, 7}}, {{0, 1, 2, 6}, {0, 1, 4, 6},
------------------------------------------------------------------------
{1, 2, 3, 6}, {1, 3, 5, 6}, {1, 4, 5, 6}, {3, 5, 6, 7}}, {{0, 1, 2, 6},
------------------------------------------------------------------------
{0, 1, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 6}, {1, 3, 5, 6}, {3, 5, 6, 7}},
------------------------------------------------------------------------
{{0, 1, 2, 4}, {1, 2, 3, 6}, {1, 2, 4, 6}, {1, 3, 6, 7}, {1, 4, 5, 7},
------------------------------------------------------------------------
{1, 4, 6, 7}}, {{0, 1, 3, 5}, {0, 2, 3, 5}, {0, 2, 5, 6}, {0, 4, 5, 6},
------------------------------------------------------------------------
{2, 3, 5, 6}, {3, 5, 6, 7}}, {{0, 1, 2, 4}, {1, 2, 3, 7}, {1, 2, 4, 6},
------------------------------------------------------------------------
{1, 2, 6, 7}, {1, 4, 5, 7}, {1, 4, 6, 7}}, {{0, 1, 3, 7}, {0, 1, 5, 7},
------------------------------------------------------------------------
{0, 2, 3, 7}, {0, 2, 6, 7}, {0, 4, 5, 7}, {0, 4, 6, 7}}, {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 5, 7}, {0, 2, 3, 7}, {0, 2, 4, 7}, {0, 4, 5, 7}, {2, 4, 6, 7}},
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 3, 5, 7}, {0, 4, 5, 6},
------------------------------------------------------------------------
{0, 5, 6, 7}}, {{0, 1, 3, 7}, {0, 1, 4, 7}, {0, 2, 3, 6}, {0, 3, 6, 7},
------------------------------------------------------------------------
{0, 4, 6, 7}, {1, 4, 5, 7}}, {{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 5, 7},
------------------------------------------------------------------------
{0, 3, 6, 7}, {0, 4, 5, 6}, {0, 5, 6, 7}}, {{0, 1, 2, 5}, {0, 2, 5, 6},
------------------------------------------------------------------------
{0, 4, 5, 6}, {1, 2, 3, 5}, {2, 3, 5, 6}, {3, 5, 6, 7}}, {{0, 1, 3, 4},
------------------------------------------------------------------------
{0, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 7}, {2, 4, 6, 7}, {3, 4, 5, 7}},
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 4}, {0, 3, 4, 5}, {2, 3, 4, 6}, {3, 4, 5, 7},
------------------------------------------------------------------------
{3, 4, 6, 7}}, {{0, 1, 3, 4}, {0, 2, 3, 6}, {0, 3, 4, 6}, {1, 3, 4, 5},
------------------------------------------------------------------------
{3, 4, 5, 6}, {3, 5, 6, 7}}, {{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 5},
------------------------------------------------------------------------
{2, 3, 5, 6}, {2, 4, 5, 6}, {3, 5, 6, 7}}, {{0, 1, 2, 4}, {1, 2, 3, 5},
------------------------------------------------------------------------
{1, 2, 4, 5}, {2, 3, 5, 7}, {2, 4, 5, 6}, {2, 5, 6, 7}}, {{0, 1, 2, 6},
------------------------------------------------------------------------
{0, 1, 4, 6}, {1, 2, 3, 6}, {1, 3, 6, 7}, {1, 4, 5, 6}, {1, 5, 6, 7}},
------------------------------------------------------------------------
{{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 7}, {1, 4, 5, 7}, {2, 3, 4, 7},
------------------------------------------------------------------------
{2, 4, 6, 7}}, {{0, 1, 3, 6}, {0, 1, 4, 6}, {0, 2, 3, 6}, {1, 3, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 6}, {1, 5, 6, 7}}, {{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 7},
------------------------------------------------------------------------
{1, 2, 5, 7}, {2, 4, 5, 6}, {2, 5, 6, 7}}, {{0, 1, 2, 7}, {0, 1, 5, 7},
------------------------------------------------------------------------
{0, 2, 4, 7}, {0, 4, 5, 7}, {1, 2, 3, 7}, {2, 4, 6, 7}}, {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 4, 7}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 4, 6, 7}, {1, 4, 5, 7}},
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 3, 5, 7}, {0, 4, 5, 7},
------------------------------------------------------------------------
{0, 4, 6, 7}}, {{0, 1, 2, 7}, {0, 1, 4, 7}, {0, 2, 4, 7}, {1, 2, 3, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}, {2, 4, 6, 7}}, {{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 7},
------------------------------------------------------------------------
{1, 2, 5, 7}, {2, 4, 5, 7}, {2, 4, 6, 7}}, {{0, 1, 2, 5}, {0, 2, 5, 6},
------------------------------------------------------------------------
{0, 4, 5, 6}, {1, 2, 3, 7}, {1, 2, 5, 7}, {2, 5, 6, 7}}, {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 4, 7}, {0, 2, 3, 7}, {0, 2, 4, 7}, {1, 4, 5, 7}, {2, 4, 6, 7}},
------------------------------------------------------------------------
{{0, 1, 3, 6}, {0, 1, 4, 6}, {0, 2, 3, 6}, {1, 3, 6, 7}, {1, 4, 5, 7},
------------------------------------------------------------------------
{1, 4, 6, 7}}, {{0, 1, 3, 6}, {0, 1, 5, 6}, {0, 2, 3, 6}, {0, 4, 5, 6},
------------------------------------------------------------------------
{1, 3, 6, 7}, {1, 5, 6, 7}}, {{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 5, 7},
------------------------------------------------------------------------
{0, 3, 6, 7}, {0, 4, 5, 7}, {0, 4, 6, 7}}, {{0, 1, 3, 5}, {0, 2, 3, 5},
------------------------------------------------------------------------
{0, 2, 5, 6}, {0, 4, 5, 6}, {2, 3, 5, 7}, {2, 5, 6, 7}}, {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 7}, {1, 2, 4, 5}, {1, 2, 5, 7}, {2, 4, 5, 6}, {2, 5, 6, 7}},
------------------------------------------------------------------------
{{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 5}, {2, 3, 5, 7}, {2, 4, 5, 6},
------------------------------------------------------------------------
{2, 5, 6, 7}}, {{0, 1, 3, 4}, {0, 2, 3, 6}, {0, 3, 4, 6}, {1, 3, 4, 5},
------------------------------------------------------------------------
{3, 4, 5, 7}, {3, 4, 6, 7}}, {{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 4, 5},
------------------------------------------------------------------------
{0, 3, 4, 6}, {3, 4, 5, 6}, {3, 5, 6, 7}}, {{0, 1, 3, 5}, {0, 2, 3, 5},
------------------------------------------------------------------------
{0, 2, 4, 5}, {2, 3, 5, 6}, {2, 4, 5, 6}, {3, 5, 6, 7}}, {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {1, 4, 5, 6}, {3, 5, 6, 7}},
------------------------------------------------------------------------
{{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 6}, {3, 4, 5, 6},
------------------------------------------------------------------------
{3, 5, 6, 7}}, {{0, 1, 2, 4}, {1, 2, 3, 5}, {1, 2, 4, 5}, {2, 3, 5, 7},
------------------------------------------------------------------------
{2, 4, 5, 7}, {2, 4, 6, 7}}, {{0, 1, 3, 5}, {0, 2, 3, 4}, {0, 3, 4, 5},
------------------------------------------------------------------------
{2, 3, 4, 7}, {2, 4, 6, 7}, {3, 4, 5, 7}}, {{0, 1, 3, 4}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 3, 4, 6}, {1, 3, 4, 7}, {1, 4, 5, 7}, {3, 4, 6, 7}}, {{0, 1, 3, 4},
------------------------------------------------------------------------
{0, 2, 3, 4}, {1, 3, 4, 7}, {1, 4, 5, 7}, {2, 3, 4, 7}, {2, 4, 6, 7}},
------------------------------------------------------------------------
{{0, 1, 2, 6}, {0, 1, 4, 6}, {1, 2, 3, 7}, {1, 2, 6, 7}, {1, 4, 5, 6},
------------------------------------------------------------------------
{1, 5, 6, 7}}, {{0, 1, 2, 6}, {0, 1, 4, 6}, {1, 2, 3, 6}, {1, 3, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}, {1, 4, 6, 7}}, {{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 5, 6},
------------------------------------------------------------------------
{0, 4, 5, 6}, {3, 5, 6, 7}}, {{0, 1, 2, 4}, {1, 2, 3, 7}, {1, 2, 4, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}, {2, 4, 6, 7}}, {{0, 1, 2, 7}, {0, 1, 5, 7}, {0, 2, 6, 7},
------------------------------------------------------------------------
{0, 4, 5, 6}, {0, 5, 6, 7}, {1, 2, 3, 7}}, {{0, 1, 3, 7}, {0, 1, 5, 7},
------------------------------------------------------------------------
{0, 2, 3, 6}, {0, 3, 6, 7}, {0, 4, 5, 6}, {0, 5, 6, 7}}, {{0, 1, 2, 6},
------------------------------------------------------------------------
{0, 1, 4, 6}, {1, 2, 3, 7}, {1, 2, 6, 7}, {1, 4, 5, 7}, {1, 4, 6, 7}},
------------------------------------------------------------------------
{{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 7}, {1, 4, 5, 7}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 6, 7}}, {{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 5, 7}, {3, 4, 6, 7}}, {{0, 1, 3, 4}, {0, 2, 3, 4}, {1, 3, 4, 5},
------------------------------------------------------------------------
{2, 3, 4, 6}, {3, 4, 5, 6}, {3, 5, 6, 7}}, {{0, 1, 2, 4}, {1, 2, 3, 6},
------------------------------------------------------------------------
{1, 2, 4, 6}, {1, 3, 6, 7}, {1, 4, 5, 6}, {1, 5, 6, 7}}, {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 7}, {1, 2, 4, 6}, {1, 2, 6, 7}, {1, 4, 5, 6}, {1, 5, 6, 7}},
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 5}, {0, 2, 4, 5}, {2, 3, 5, 7}, {2, 4, 5, 6},
------------------------------------------------------------------------
{2, 5, 6, 7}}, {{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 4, 5}, {0, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 5, 7}, {3, 4, 6, 7}}, {{0, 1, 3, 6}, {0, 1, 5, 6}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 4, 5, 6}, {1, 3, 5, 6}, {3, 5, 6, 7}}, {{0, 1, 2, 5}, {0, 2, 5, 6},
------------------------------------------------------------------------
{0, 4, 5, 6}, {1, 2, 3, 5}, {2, 3, 5, 7}, {2, 5, 6, 7}}, {{0, 1, 2, 5},
------------------------------------------------------------------------
{0, 2, 4, 5}, {1, 2, 3, 5}, {2, 3, 5, 7}, {2, 4, 5, 7}, {2, 4, 6, 7}},
------------------------------------------------------------------------
{{0, 1, 2, 4}, {1, 2, 3, 7}, {1, 2, 4, 5}, {1, 2, 5, 7}, {2, 4, 5, 7},
------------------------------------------------------------------------
{2, 4, 6, 7}}, {{0, 1, 2, 6}, {0, 1, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 6},
------------------------------------------------------------------------
{1, 3, 6, 7}, {1, 5, 6, 7}}}
o5 : List
|
i6 : Ts3 = generateTriangulations triangulation(A, T) -- list of Triangulations
o6 = {triangulation {{0, 1, 2, 7}, {0, 1, 5, 7}, {0, 2, 6, 7}, {0, 4, 5, 7},
------------------------------------------------------------------------
{0, 4, 6, 7}, {1, 2, 3, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 5, 7},
------------------------------------------------------------------------
{0, 2, 3, 7}, {0, 2, 6, 7}, {0, 4, 5, 6}, {0, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 7}, {0, 1, 4, 7}, {0, 2, 6, 7}, {0, 4, 6, 7}, {1, 2, 3, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 5, 7}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 3, 6, 7}, {0, 4, 5, 7}, {0, 4, 6, 7}}, triangulation {{0, 1, 2, 6},
------------------------------------------------------------------------
{0, 1, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 7}, {1, 2, 6, 7}, {1, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 7}, {0, 2, 4, 7}, {0, 3, 5, 7},
------------------------------------------------------------------------
{0, 4, 5, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5},
------------------------------------------------------------------------
{0, 2, 4, 5}, {2, 3, 5, 7}, {2, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 4}, {0, 2, 3, 4}, {1, 3, 4, 7}, {1, 4, 5, 7}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 6, 7}}, triangulation {{0, 1, 3, 6}, {0, 1, 4, 6}, {0, 2, 3, 6},
------------------------------------------------------------------------
{1, 3, 5, 6}, {1, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 7}, {2, 4, 6, 7}, {3, 4, 5, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 4}, {0, 3, 4, 5}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 5},
------------------------------------------------------------------------
{1, 2, 4, 5}, {2, 3, 5, 6}, {2, 4, 5, 6}, {3, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 4}, {0, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 6}, {3, 4, 5, 7},
------------------------------------------------------------------------
{3, 4, 6, 7}}, triangulation {{0, 1, 2, 6}, {0, 1, 4, 6}, {1, 2, 3, 6},
------------------------------------------------------------------------
{1, 3, 5, 6}, {1, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 6},
------------------------------------------------------------------------
{0, 1, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 6}, {1, 3, 5, 6}, {3, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 6}, {1, 2, 4, 6}, {1, 3, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}, {1, 4, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5},
------------------------------------------------------------------------
{0, 2, 5, 6}, {0, 4, 5, 6}, {2, 3, 5, 6}, {3, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 4}, {1, 2, 3, 7}, {1, 2, 4, 6}, {1, 2, 6, 7}, {1, 4, 5, 7},
------------------------------------------------------------------------
{1, 4, 6, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 5, 7}, {0, 2, 3, 7},
------------------------------------------------------------------------
{0, 2, 6, 7}, {0, 4, 5, 7}, {0, 4, 6, 7}}, triangulation {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 5, 7}, {0, 2, 3, 7}, {0, 2, 4, 7}, {0, 4, 5, 7}, {2, 4, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 3, 5, 7},
------------------------------------------------------------------------
{0, 4, 5, 6}, {0, 5, 6, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 4, 7},
------------------------------------------------------------------------
{0, 2, 3, 6}, {0, 3, 6, 7}, {0, 4, 6, 7}, {1, 4, 5, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 5, 7}, {0, 3, 6, 7}, {0, 4, 5, 6},
------------------------------------------------------------------------
{0, 5, 6, 7}}, triangulation {{0, 1, 2, 5}, {0, 2, 5, 6}, {0, 4, 5, 6},
------------------------------------------------------------------------
{1, 2, 3, 5}, {2, 3, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 3, 4},
------------------------------------------------------------------------
{0, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 7}, {2, 4, 6, 7}, {3, 4, 5, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 4}, {0, 3, 4, 5}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 5, 7}, {3, 4, 6, 7}}, triangulation {{0, 1, 3, 4}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 3, 4, 6}, {1, 3, 4, 5}, {3, 4, 5, 6}, {3, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 5}, {2, 3, 5, 6}, {2, 4, 5, 6},
------------------------------------------------------------------------
{3, 5, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 5}, {1, 2, 4, 5},
------------------------------------------------------------------------
{2, 3, 5, 7}, {2, 4, 5, 6}, {2, 5, 6, 7}}, triangulation {{0, 1, 2, 6},
------------------------------------------------------------------------
{0, 1, 4, 6}, {1, 2, 3, 6}, {1, 3, 6, 7}, {1, 4, 5, 6}, {1, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 7}, {1, 4, 5, 7},
------------------------------------------------------------------------
{2, 3, 4, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 3, 6}, {0, 1, 4, 6},
------------------------------------------------------------------------
{0, 2, 3, 6}, {1, 3, 6, 7}, {1, 4, 5, 6}, {1, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 7}, {1, 2, 5, 7}, {2, 4, 5, 6},
------------------------------------------------------------------------
{2, 5, 6, 7}}, triangulation {{0, 1, 2, 7}, {0, 1, 5, 7}, {0, 2, 4, 7},
------------------------------------------------------------------------
{0, 4, 5, 7}, {1, 2, 3, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 4, 7}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 4, 6, 7}, {1, 4, 5, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 3, 5, 7},
------------------------------------------------------------------------
{0, 4, 5, 7}, {0, 4, 6, 7}}, triangulation {{0, 1, 2, 7}, {0, 1, 4, 7},
------------------------------------------------------------------------
{0, 2, 4, 7}, {1, 2, 3, 7}, {1, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 7}, {1, 2, 5, 7}, {2, 4, 5, 7},
------------------------------------------------------------------------
{2, 4, 6, 7}}, triangulation {{0, 1, 2, 5}, {0, 2, 5, 6}, {0, 4, 5, 6},
------------------------------------------------------------------------
{1, 2, 3, 7}, {1, 2, 5, 7}, {2, 5, 6, 7}}, triangulation {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 4, 7}, {0, 2, 3, 7}, {0, 2, 4, 7}, {1, 4, 5, 7}, {2, 4, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 6}, {0, 1, 4, 6}, {0, 2, 3, 6}, {1, 3, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}, {1, 4, 6, 7}}, triangulation {{0, 1, 3, 6}, {0, 1, 5, 6},
------------------------------------------------------------------------
{0, 2, 3, 6}, {0, 4, 5, 6}, {1, 3, 6, 7}, {1, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 5, 7}, {0, 3, 6, 7}, {0, 4, 5, 7},
------------------------------------------------------------------------
{0, 4, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5}, {0, 2, 5, 6},
------------------------------------------------------------------------
{0, 4, 5, 6}, {2, 3, 5, 7}, {2, 5, 6, 7}}, triangulation {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 7}, {1, 2, 4, 5}, {1, 2, 5, 7}, {2, 4, 5, 6}, {2, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 5}, {2, 3, 5, 7},
------------------------------------------------------------------------
{2, 4, 5, 6}, {2, 5, 6, 7}}, triangulation {{0, 1, 3, 4}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 3, 4, 6}, {1, 3, 4, 5}, {3, 4, 5, 7}, {3, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 4, 5}, {0, 3, 4, 6}, {3, 4, 5, 6},
------------------------------------------------------------------------
{3, 5, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5}, {0, 2, 4, 5},
------------------------------------------------------------------------
{2, 3, 5, 6}, {2, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {1, 4, 5, 6}, {3, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 5},
------------------------------------------------------------------------
{1, 2, 4, 5}, {2, 3, 5, 7}, {2, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 4}, {0, 3, 4, 5}, {2, 3, 4, 7}, {2, 4, 6, 7},
------------------------------------------------------------------------
{3, 4, 5, 7}}, triangulation {{0, 1, 3, 4}, {0, 2, 3, 6}, {0, 3, 4, 6},
------------------------------------------------------------------------
{1, 3, 4, 7}, {1, 4, 5, 7}, {3, 4, 6, 7}}, triangulation {{0, 1, 3, 4},
------------------------------------------------------------------------
{0, 2, 3, 4}, {1, 3, 4, 7}, {1, 4, 5, 7}, {2, 3, 4, 7}, {2, 4, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 6}, {0, 1, 4, 6}, {1, 2, 3, 7}, {1, 2, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 6}, {1, 5, 6, 7}}, triangulation {{0, 1, 2, 6}, {0, 1, 4, 6},
------------------------------------------------------------------------
{1, 2, 3, 6}, {1, 3, 6, 7}, {1, 4, 5, 7}, {1, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 5, 6}, {0, 4, 5, 6}, {3, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 7}, {1, 2, 4, 7}, {1, 4, 5, 7},
------------------------------------------------------------------------
{2, 4, 6, 7}}, triangulation {{0, 1, 2, 7}, {0, 1, 5, 7}, {0, 2, 6, 7},
------------------------------------------------------------------------
{0, 4, 5, 6}, {0, 5, 6, 7}, {1, 2, 3, 7}}, triangulation {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 5, 7}, {0, 2, 3, 6}, {0, 3, 6, 7}, {0, 4, 5, 6}, {0, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 6}, {0, 1, 4, 6}, {1, 2, 3, 7}, {1, 2, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}, {1, 4, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 4},
------------------------------------------------------------------------
{1, 3, 4, 7}, {1, 4, 5, 7}, {2, 3, 4, 6}, {3, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 6}, {3, 4, 5, 7},
------------------------------------------------------------------------
{3, 4, 6, 7}}, triangulation {{0, 1, 3, 4}, {0, 2, 3, 4}, {1, 3, 4, 5},
------------------------------------------------------------------------
{2, 3, 4, 6}, {3, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 6}, {1, 2, 4, 6}, {1, 3, 6, 7}, {1, 4, 5, 6}, {1, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 7}, {1, 2, 4, 6}, {1, 2, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 6}, {1, 5, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5},
------------------------------------------------------------------------
{0, 2, 4, 5}, {2, 3, 5, 7}, {2, 4, 5, 6}, {2, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 4, 5}, {0, 3, 4, 6}, {3, 4, 5, 7},
------------------------------------------------------------------------
{3, 4, 6, 7}}, triangulation {{0, 1, 3, 6}, {0, 1, 5, 6}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 4, 5, 6}, {1, 3, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 5},
------------------------------------------------------------------------
{0, 2, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 5}, {2, 3, 5, 7}, {2, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 5}, {2, 3, 5, 7},
------------------------------------------------------------------------
{2, 4, 5, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 7},
------------------------------------------------------------------------
{1, 2, 4, 5}, {1, 2, 5, 7}, {2, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 6}, {0, 1, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 6}, {1, 3, 6, 7},
------------------------------------------------------------------------
{1, 5, 6, 7}}}
o6 : List
|
i7 : Ts4 = generateTriangulations tri -- list of Triangulations
o7 = {triangulation {{0, 1, 2, 7}, {0, 1, 5, 7}, {0, 2, 6, 7}, {0, 4, 5, 7},
------------------------------------------------------------------------
{0, 4, 6, 7}, {1, 2, 3, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 5, 7},
------------------------------------------------------------------------
{0, 2, 3, 7}, {0, 2, 6, 7}, {0, 4, 5, 6}, {0, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 7}, {0, 1, 4, 7}, {0, 2, 6, 7}, {0, 4, 6, 7}, {1, 2, 3, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 5, 7}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 3, 6, 7}, {0, 4, 5, 7}, {0, 4, 6, 7}}, triangulation {{0, 1, 2, 6},
------------------------------------------------------------------------
{0, 1, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 7}, {1, 2, 6, 7}, {1, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 7}, {0, 2, 4, 7}, {0, 3, 5, 7},
------------------------------------------------------------------------
{0, 4, 5, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5},
------------------------------------------------------------------------
{0, 2, 4, 5}, {2, 3, 5, 7}, {2, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 4}, {0, 2, 3, 4}, {1, 3, 4, 7}, {1, 4, 5, 7}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 6, 7}}, triangulation {{0, 1, 3, 6}, {0, 1, 4, 6}, {0, 2, 3, 6},
------------------------------------------------------------------------
{1, 3, 5, 6}, {1, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 7}, {2, 4, 6, 7}, {3, 4, 5, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 4}, {0, 3, 4, 5}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 5},
------------------------------------------------------------------------
{1, 2, 4, 5}, {2, 3, 5, 6}, {2, 4, 5, 6}, {3, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 4}, {0, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 6}, {3, 4, 5, 7},
------------------------------------------------------------------------
{3, 4, 6, 7}}, triangulation {{0, 1, 2, 6}, {0, 1, 4, 6}, {1, 2, 3, 6},
------------------------------------------------------------------------
{1, 3, 5, 6}, {1, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 6},
------------------------------------------------------------------------
{0, 1, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 6}, {1, 3, 5, 6}, {3, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 6}, {1, 2, 4, 6}, {1, 3, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}, {1, 4, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5},
------------------------------------------------------------------------
{0, 2, 5, 6}, {0, 4, 5, 6}, {2, 3, 5, 6}, {3, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 4}, {1, 2, 3, 7}, {1, 2, 4, 6}, {1, 2, 6, 7}, {1, 4, 5, 7},
------------------------------------------------------------------------
{1, 4, 6, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 5, 7}, {0, 2, 3, 7},
------------------------------------------------------------------------
{0, 2, 6, 7}, {0, 4, 5, 7}, {0, 4, 6, 7}}, triangulation {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 5, 7}, {0, 2, 3, 7}, {0, 2, 4, 7}, {0, 4, 5, 7}, {2, 4, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 3, 5, 7},
------------------------------------------------------------------------
{0, 4, 5, 6}, {0, 5, 6, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 4, 7},
------------------------------------------------------------------------
{0, 2, 3, 6}, {0, 3, 6, 7}, {0, 4, 6, 7}, {1, 4, 5, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 5, 7}, {0, 3, 6, 7}, {0, 4, 5, 6},
------------------------------------------------------------------------
{0, 5, 6, 7}}, triangulation {{0, 1, 2, 5}, {0, 2, 5, 6}, {0, 4, 5, 6},
------------------------------------------------------------------------
{1, 2, 3, 5}, {2, 3, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 3, 4},
------------------------------------------------------------------------
{0, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 7}, {2, 4, 6, 7}, {3, 4, 5, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 4}, {0, 3, 4, 5}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 5, 7}, {3, 4, 6, 7}}, triangulation {{0, 1, 3, 4}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 3, 4, 6}, {1, 3, 4, 5}, {3, 4, 5, 6}, {3, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 5}, {2, 3, 5, 6}, {2, 4, 5, 6},
------------------------------------------------------------------------
{3, 5, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 5}, {1, 2, 4, 5},
------------------------------------------------------------------------
{2, 3, 5, 7}, {2, 4, 5, 6}, {2, 5, 6, 7}}, triangulation {{0, 1, 2, 6},
------------------------------------------------------------------------
{0, 1, 4, 6}, {1, 2, 3, 6}, {1, 3, 6, 7}, {1, 4, 5, 6}, {1, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 7}, {1, 4, 5, 7},
------------------------------------------------------------------------
{2, 3, 4, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 3, 6}, {0, 1, 4, 6},
------------------------------------------------------------------------
{0, 2, 3, 6}, {1, 3, 6, 7}, {1, 4, 5, 6}, {1, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 7}, {1, 2, 5, 7}, {2, 4, 5, 6},
------------------------------------------------------------------------
{2, 5, 6, 7}}, triangulation {{0, 1, 2, 7}, {0, 1, 5, 7}, {0, 2, 4, 7},
------------------------------------------------------------------------
{0, 4, 5, 7}, {1, 2, 3, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 4, 7}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 4, 6, 7}, {1, 4, 5, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 5}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 3, 5, 7},
------------------------------------------------------------------------
{0, 4, 5, 7}, {0, 4, 6, 7}}, triangulation {{0, 1, 2, 7}, {0, 1, 4, 7},
------------------------------------------------------------------------
{0, 2, 4, 7}, {1, 2, 3, 7}, {1, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 7}, {1, 2, 5, 7}, {2, 4, 5, 7},
------------------------------------------------------------------------
{2, 4, 6, 7}}, triangulation {{0, 1, 2, 5}, {0, 2, 5, 6}, {0, 4, 5, 6},
------------------------------------------------------------------------
{1, 2, 3, 7}, {1, 2, 5, 7}, {2, 5, 6, 7}}, triangulation {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 4, 7}, {0, 2, 3, 7}, {0, 2, 4, 7}, {1, 4, 5, 7}, {2, 4, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 3, 6}, {0, 1, 4, 6}, {0, 2, 3, 6}, {1, 3, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}, {1, 4, 6, 7}}, triangulation {{0, 1, 3, 6}, {0, 1, 5, 6},
------------------------------------------------------------------------
{0, 2, 3, 6}, {0, 4, 5, 6}, {1, 3, 6, 7}, {1, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 5, 7}, {0, 3, 6, 7}, {0, 4, 5, 7},
------------------------------------------------------------------------
{0, 4, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5}, {0, 2, 5, 6},
------------------------------------------------------------------------
{0, 4, 5, 6}, {2, 3, 5, 7}, {2, 5, 6, 7}}, triangulation {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 7}, {1, 2, 4, 5}, {1, 2, 5, 7}, {2, 4, 5, 6}, {2, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 5}, {2, 3, 5, 7},
------------------------------------------------------------------------
{2, 4, 5, 6}, {2, 5, 6, 7}}, triangulation {{0, 1, 3, 4}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 3, 4, 6}, {1, 3, 4, 5}, {3, 4, 5, 7}, {3, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 4, 5}, {0, 3, 4, 6}, {3, 4, 5, 6},
------------------------------------------------------------------------
{3, 5, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5}, {0, 2, 4, 5},
------------------------------------------------------------------------
{2, 3, 5, 6}, {2, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 6}, {1, 2, 4, 6}, {1, 3, 5, 6}, {1, 4, 5, 6}, {3, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 6},
------------------------------------------------------------------------
{3, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 5},
------------------------------------------------------------------------
{1, 2, 4, 5}, {2, 3, 5, 7}, {2, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 4}, {0, 3, 4, 5}, {2, 3, 4, 7}, {2, 4, 6, 7},
------------------------------------------------------------------------
{3, 4, 5, 7}}, triangulation {{0, 1, 3, 4}, {0, 2, 3, 6}, {0, 3, 4, 6},
------------------------------------------------------------------------
{1, 3, 4, 7}, {1, 4, 5, 7}, {3, 4, 6, 7}}, triangulation {{0, 1, 3, 4},
------------------------------------------------------------------------
{0, 2, 3, 4}, {1, 3, 4, 7}, {1, 4, 5, 7}, {2, 3, 4, 7}, {2, 4, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 6}, {0, 1, 4, 6}, {1, 2, 3, 7}, {1, 2, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 6}, {1, 5, 6, 7}}, triangulation {{0, 1, 2, 6}, {0, 1, 4, 6},
------------------------------------------------------------------------
{1, 2, 3, 6}, {1, 3, 6, 7}, {1, 4, 5, 7}, {1, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 5, 6}, {0, 4, 5, 6}, {3, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 7}, {1, 2, 4, 7}, {1, 4, 5, 7},
------------------------------------------------------------------------
{2, 4, 6, 7}}, triangulation {{0, 1, 2, 7}, {0, 1, 5, 7}, {0, 2, 6, 7},
------------------------------------------------------------------------
{0, 4, 5, 6}, {0, 5, 6, 7}, {1, 2, 3, 7}}, triangulation {{0, 1, 3, 7},
------------------------------------------------------------------------
{0, 1, 5, 7}, {0, 2, 3, 6}, {0, 3, 6, 7}, {0, 4, 5, 6}, {0, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 6}, {0, 1, 4, 6}, {1, 2, 3, 7}, {1, 2, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 7}, {1, 4, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 4},
------------------------------------------------------------------------
{1, 3, 4, 7}, {1, 4, 5, 7}, {2, 3, 4, 6}, {3, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 4}, {1, 2, 3, 4}, {1, 3, 4, 5}, {2, 3, 4, 6}, {3, 4, 5, 7},
------------------------------------------------------------------------
{3, 4, 6, 7}}, triangulation {{0, 1, 3, 4}, {0, 2, 3, 4}, {1, 3, 4, 5},
------------------------------------------------------------------------
{2, 3, 4, 6}, {3, 4, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 4},
------------------------------------------------------------------------
{1, 2, 3, 6}, {1, 2, 4, 6}, {1, 3, 6, 7}, {1, 4, 5, 6}, {1, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 4}, {1, 2, 3, 7}, {1, 2, 4, 6}, {1, 2, 6, 7},
------------------------------------------------------------------------
{1, 4, 5, 6}, {1, 5, 6, 7}}, triangulation {{0, 1, 3, 5}, {0, 2, 3, 5},
------------------------------------------------------------------------
{0, 2, 4, 5}, {2, 3, 5, 7}, {2, 4, 5, 6}, {2, 5, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 3, 5}, {0, 2, 3, 6}, {0, 3, 4, 5}, {0, 3, 4, 6}, {3, 4, 5, 7},
------------------------------------------------------------------------
{3, 4, 6, 7}}, triangulation {{0, 1, 3, 6}, {0, 1, 5, 6}, {0, 2, 3, 6},
------------------------------------------------------------------------
{0, 4, 5, 6}, {1, 3, 5, 6}, {3, 5, 6, 7}}, triangulation {{0, 1, 2, 5},
------------------------------------------------------------------------
{0, 2, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 5}, {2, 3, 5, 7}, {2, 5, 6, 7}},
------------------------------------------------------------------------
triangulation {{0, 1, 2, 5}, {0, 2, 4, 5}, {1, 2, 3, 5}, {2, 3, 5, 7},
------------------------------------------------------------------------
{2, 4, 5, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 2, 4}, {1, 2, 3, 7},
------------------------------------------------------------------------
{1, 2, 4, 5}, {1, 2, 5, 7}, {2, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
------------------------------------------------------------------------
{{0, 1, 2, 6}, {0, 1, 5, 6}, {0, 4, 5, 6}, {1, 2, 3, 6}, {1, 3, 6, 7},
------------------------------------------------------------------------
{1, 5, 6, 7}}}
o7 : List
|
i8 : all(Ts4, isFine)
o8 = true
|
i9 : all(Ts4, isStar)
o9 = false
|
i10 : all(Ts4, isRegularTriangulation)
o10 = true
|
i11 : Ts4/isStar//tally
o11 = Tally{false => 66}
true => 8
o11 : Tally
|
i12 : Ts4/gkzVector
20 4 8 8 8 8 8 8 4 20 16 16 4
o12 = {{--, 4, 4, -, -, -, -, 8}, {8, -, -, -, -, 4, 4, --}, {--, --, 4, -,
3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
4 8 8 4 8 8 20 20 4 4 20
4, -, -, 8}, {8, -, -, 4, -, -, 4, --}, {4, --, 4, -, -, 4, --, 4},
3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
20 4 4 20 4 20 20 4 8 8 20
{--, -, 4, 4, 4, 4, -, --}, {4, -, --, 4, 4, --, -, 4}, {-, 4, -, --,
3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
4 8 16 4 16 8 4 4 16 16 8 4
8, -, -, 4}, {4, --, -, --, -, 4, 8, -}, {-, 4, --, --, 8, -, -, 4},
3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
4 8 16 16 4 4 20 20 4 8 8 8
{4, -, -, 8, --, --, 4, -}, {-, 4, --, 4, 4, --, 4, -}, {-, -, -, 8, 8,
3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
8 8 8 8 20 8 8 4 16 8 4 16 4 4
-, -, -}, {-, --, -, 4, -, 4, 8, -}, {4, --, -, 4, -, --, 8, -}, {-, 8,
3 3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
8 16 4 16 16 4 16 4 16 4 4 16 4 16 4
4, -, --, -, --, 4}, {--, -, 4, --, -, 8, --, -}, {-, 8, --, -, --, -,
3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
16 8 8 8 8 8 8 20 8 8 8 4 4 8
4, --}, {8, -, -, -, -, -, -, 8}, {--, -, 4, -, 4, -, -, 8}, {8, -, -,
3 3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
4 16 16 20 4 4 20 4 4 16 4 16 16
4, -, --, 4, --}, {--, 4, -, 4, 4, -, 4, --}, {8, -, -, --, -, --, --,
3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
8 16 4 16 4 8 8 20 8 4 4 8
4}, {4, -, --, 4, -, 8, --, -}, {-, -, 4, --, 8, -, -, 4}, {4, -, -, 8,
3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
20 8 8 8 4 16 16 4 8 8 20 8 4
--, 4, -, -}, {4, -, -, 8, --, 4, --, -}, {-, -, --, 4, -, 8, 4, -},
3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
4 8 20 8 8 8 8 8 8 8 8 4 16 16
{-, 4, 8, -, 4, --, -, -}, {-, 8, -, -, -, -, 8, -}, {-, --, --, 4, 8,
3 3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
4 4 16 20 4 8 8 8 8 4 8 20 8 16
-, -, --}, {4, --, -, 4, -, -, 8, -}, {-, 4, 8, -, -, --, -, 4}, {--,
3 3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
16 4 8 4 20 8 8 4 8 4 8 8 8
4, --, -, 4, -, -, 8}, {--, 4, -, -, 4, -, -, 8}, {8, -, -, 4, -, 4, -,
3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
20 16 16 4 16 4 4 8 4 16 4 16
--}, {4, --, --, -, --, -, -, 8}, {-, 4, 8, -, 4, --, -, --}, {4, 4,
3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
20 4 4 20 16 8 16 4 4 20 4 4
--, -, -, --, 4, 4}, {--, 4, 4, -, --, -, -, 8}, {4, --, -, 4, 4, -,
3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
20 16 16 4 4 8 4 4 16 8 16 16 4
--, 4}, {--, --, -, 4, -, 4, 8, -}, {8, -, -, --, -, 4, 4, --}, {--, -,
3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
16 4 8 4 16 4 16 8 8 8 8 8 8
--, 4, -, 8, 4, -}, {-, --, 8, -, 4, --, -, 4}, {-, -, 8, -, -, 8, -,
3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
8 8 4 20 8 8 16 4 4 16 16 4 4 16
-}, {4, -, -, 8, --, -, 4, -}, {--, -, -, 8, 4, --, --, -}, {4, -, --,
3 3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
16 8 4 4 20 20 4 4 20 20
--, -, 8, 4, -}, {-, --, 4, 4, 4, 4, --, -}, {-, 4, 4, --, --, 4, 4,
3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
4 4 8 16 16 4 4 20 20 4 4
-}, {-, 4, 8, -, --, --, -, 4}, {4, -, 4, --, --, 4, -, 4}, {4, 4, -,
3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
20 20 4 8 16 4 4 16 8 4 8 8 20
--, --, -, 4, 4}, {-, 4, 4, --, 8, -, -, --}, {-, 8, 4, -, -, -, --,
3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
8 8 8 4 20 20 4 4 20 4 20 20 4 4 20
4}, {-, 8, -, -, 4, -, --, 4}, {--, -, -, --, -, --, --, -}, {-, --,
3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
20 4 20 4 4 20 20 4 4 20 8 4 4
--, -, --, -, -, --}, {--, 4, 4, -, -, 4, 4, --}, {8, -, -, 4, -, 4,
3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
16 16 8 4 4 16 16 4 16 16 4 8 4
--, --}, {-, 8, 4, -, 4, -, --, --}, {-, --, 4, --, 8, -, -, 4}, {-, 4,
3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
20 8 8 8 8 8 8 20 4 4 8 8 20
4, --, 8, -, -, -}, {-, -, -, 8, --, 4, 4, -}, {-, 8, 4, -, 4, -, --,
3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
8 4 16 4 8 16 4 20 8 8 8 16 4 4
-}, {-, 8, --, -, 4, -, --, 4}, {4, -, --, 4, -, 8, -, -}, {--, -, -,
3 3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
16 8 16 4 16 4 16 4 8 20 8 4
8, --, 4, 4, -}, {--, 4, -, --, -, --, 8, -}, {4, -, --, -, -, 8, 4,
3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
8 8 8 8 20 4 4 16 4 16 4 16 20 8
-}, {-, -, 8, -, 4, --, -, 4}, {-, --, 8, -, --, 4, -, --}, {4, --, -,
3 3 3 3 3 3 3 3 3 3 3 3 3 3
-----------------------------------------------------------------------
8 4 8
-, -, 4, 8, -}}
3 3 3
o12 : List
|
i13 : volume convexHull A -- 8
o13 = 8
o13 : QQ
|
i14 : stars1 = select(Ts4, t -> (gkzVector t)#-1 == 8)
o14 = {triangulation {{0, 1, 2, 7}, {0, 1, 5, 7}, {0, 2, 6, 7}, {0, 4, 5, 7},
-----------------------------------------------------------------------
{0, 4, 6, 7}, {1, 2, 3, 7}}, triangulation {{0, 1, 2, 7}, {0, 1, 4, 7},
-----------------------------------------------------------------------
{0, 2, 6, 7}, {0, 4, 6, 7}, {1, 2, 3, 7}, {1, 4, 5, 7}}, triangulation
-----------------------------------------------------------------------
{{0, 1, 3, 7}, {0, 1, 5, 7}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 4, 5, 7},
-----------------------------------------------------------------------
{0, 4, 6, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 5, 7}, {0, 2, 3, 7},
-----------------------------------------------------------------------
{0, 2, 4, 7}, {0, 4, 5, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 2, 7},
-----------------------------------------------------------------------
{0, 1, 5, 7}, {0, 2, 4, 7}, {0, 4, 5, 7}, {1, 2, 3, 7}, {2, 4, 6, 7}},
-----------------------------------------------------------------------
triangulation {{0, 1, 3, 7}, {0, 1, 4, 7}, {0, 2, 3, 7}, {0, 2, 6, 7},
-----------------------------------------------------------------------
{0, 4, 6, 7}, {1, 4, 5, 7}}, triangulation {{0, 1, 2, 7}, {0, 1, 4, 7},
-----------------------------------------------------------------------
{0, 2, 4, 7}, {1, 2, 3, 7}, {1, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
-----------------------------------------------------------------------
{{0, 1, 3, 7}, {0, 1, 4, 7}, {0, 2, 3, 7}, {0, 2, 4, 7}, {1, 4, 5, 7},
-----------------------------------------------------------------------
{2, 4, 6, 7}}}
o14 : List
|
i15 : stars2 = select(Ts4, isStar)
o15 = {triangulation {{0, 1, 2, 7}, {0, 1, 5, 7}, {0, 2, 6, 7}, {0, 4, 5, 7},
-----------------------------------------------------------------------
{0, 4, 6, 7}, {1, 2, 3, 7}}, triangulation {{0, 1, 2, 7}, {0, 1, 4, 7},
-----------------------------------------------------------------------
{0, 2, 6, 7}, {0, 4, 6, 7}, {1, 2, 3, 7}, {1, 4, 5, 7}}, triangulation
-----------------------------------------------------------------------
{{0, 1, 3, 7}, {0, 1, 5, 7}, {0, 2, 3, 7}, {0, 2, 6, 7}, {0, 4, 5, 7},
-----------------------------------------------------------------------
{0, 4, 6, 7}}, triangulation {{0, 1, 3, 7}, {0, 1, 5, 7}, {0, 2, 3, 7},
-----------------------------------------------------------------------
{0, 2, 4, 7}, {0, 4, 5, 7}, {2, 4, 6, 7}}, triangulation {{0, 1, 2, 7},
-----------------------------------------------------------------------
{0, 1, 5, 7}, {0, 2, 4, 7}, {0, 4, 5, 7}, {1, 2, 3, 7}, {2, 4, 6, 7}},
-----------------------------------------------------------------------
triangulation {{0, 1, 3, 7}, {0, 1, 4, 7}, {0, 2, 3, 7}, {0, 2, 6, 7},
-----------------------------------------------------------------------
{0, 4, 6, 7}, {1, 4, 5, 7}}, triangulation {{0, 1, 2, 7}, {0, 1, 4, 7},
-----------------------------------------------------------------------
{0, 2, 4, 7}, {1, 2, 3, 7}, {1, 4, 5, 7}, {2, 4, 6, 7}}, triangulation
-----------------------------------------------------------------------
{{0, 1, 3, 7}, {0, 1, 4, 7}, {0, 2, 3, 7}, {0, 2, 4, 7}, {1, 4, 5, 7},
-----------------------------------------------------------------------
{2, 4, 6, 7}}}
o15 : List
|
i16 : stars1 == stars2
o16 = true
|