passagemath-graphs 10.5.10__cp39-cp39-macosx_14_0_arm64.whl → 10.5.43__cp39-cp39-macosx_14_0_arm64.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (140) hide show
  1. {passagemath_graphs-10.5.10.dist-info → passagemath_graphs-10.5.43.dist-info}/METADATA +126 -30
  2. passagemath_graphs-10.5.43.dist-info/RECORD +256 -0
  3. {passagemath_graphs-10.5.10.dist-info → passagemath_graphs-10.5.43.dist-info}/WHEEL +2 -1
  4. passagemath_graphs.dylibs/libgmp.10.dylib +0 -0
  5. sage/all__sagemath_graphs.py +5 -0
  6. sage/combinat/abstract_tree.py +1 -1
  7. sage/combinat/binary_tree.py +1 -1
  8. sage/combinat/cluster_algebra_quiver/all.py +1 -1
  9. sage/combinat/cluster_algebra_quiver/cluster_seed.py +28 -24
  10. sage/combinat/cluster_algebra_quiver/interact.py +4 -0
  11. sage/combinat/designs/MOLS_handbook_data.py +5 -5
  12. sage/combinat/designs/bibd.py +10 -9
  13. sage/combinat/designs/covering_array.py +3 -3
  14. sage/combinat/designs/covering_design.py +2 -1
  15. sage/combinat/designs/database.py +11 -10
  16. sage/combinat/designs/designs_pyx.cpython-39-darwin.so +0 -0
  17. sage/combinat/designs/designs_pyx.pyx +13 -45
  18. sage/combinat/designs/difference_family.py +6 -6
  19. sage/combinat/designs/difference_matrices.py +1 -1
  20. sage/combinat/designs/evenly_distributed_sets.cpython-39-darwin.so +0 -0
  21. sage/combinat/designs/evenly_distributed_sets.pyx +15 -22
  22. sage/combinat/designs/ext_rep.py +9 -14
  23. sage/combinat/designs/gen_quadrangles_with_spread.cpython-39-darwin.so +0 -0
  24. sage/combinat/designs/gen_quadrangles_with_spread.pyx +1 -1
  25. sage/combinat/designs/group_divisible_designs.py +1 -1
  26. sage/combinat/designs/incidence_structures.py +8 -8
  27. sage/combinat/designs/latin_squares.py +1 -1
  28. sage/combinat/designs/orthogonal_arrays_build_recursive.py +8 -7
  29. sage/combinat/designs/orthogonal_arrays_find_recursive.cpython-39-darwin.so +0 -0
  30. sage/combinat/designs/resolvable_bibd.py +1 -1
  31. sage/combinat/designs/steiner_quadruple_systems.py +1 -1
  32. sage/combinat/designs/subhypergraph_search.cpython-39-darwin.so +0 -0
  33. sage/combinat/designs/subhypergraph_search.pyx +9 -9
  34. sage/combinat/finite_state_machine_generators.py +2 -2
  35. sage/combinat/graph_path.py +3 -3
  36. sage/combinat/interval_posets.py +10 -10
  37. sage/combinat/ordered_tree.py +1 -1
  38. sage/combinat/posets/cartesian_product.py +1 -1
  39. sage/combinat/posets/d_complete.py +1 -1
  40. sage/combinat/posets/forest.py +1 -1
  41. sage/combinat/posets/hasse_cython.cpython-39-darwin.so +0 -0
  42. sage/combinat/posets/hasse_diagram.py +8 -6
  43. sage/combinat/posets/incidence_algebras.py +8 -8
  44. sage/combinat/posets/lattices.py +28 -4
  45. sage/combinat/posets/linear_extension_iterator.cpython-39-darwin.so +0 -0
  46. sage/combinat/posets/linear_extension_iterator.pyx +2 -0
  47. sage/combinat/posets/linear_extensions.py +7 -16
  48. sage/combinat/posets/moebius_algebra.py +1 -1
  49. sage/combinat/posets/poset_examples.py +1 -1
  50. sage/combinat/posets/posets.py +54 -56
  51. sage/combinat/rooted_tree.py +3 -3
  52. sage/combinat/tamari_lattices.py +1 -1
  53. sage/ext_data/kenzo/CP2.txt +45 -0
  54. sage/ext_data/kenzo/CP3.txt +349 -0
  55. sage/ext_data/kenzo/CP4.txt +4774 -0
  56. sage/ext_data/kenzo/README.txt +49 -0
  57. sage/ext_data/kenzo/S4.txt +20 -0
  58. sage/graphs/asteroidal_triples.cpython-39-darwin.so +0 -0
  59. sage/graphs/base/boost_graph.cpython-39-darwin.so +0 -0
  60. sage/graphs/base/boost_graph.pxd +1 -1
  61. sage/graphs/base/boost_graph.pyx +1 -1
  62. sage/graphs/base/c_graph.cpython-39-darwin.so +0 -0
  63. sage/graphs/base/c_graph.pxd +4 -4
  64. sage/graphs/base/c_graph.pyx +270 -184
  65. sage/graphs/base/dense_graph.cpython-39-darwin.so +0 -0
  66. sage/graphs/base/graph_backends.cpython-39-darwin.so +0 -0
  67. sage/graphs/base/sparse_graph.cpython-39-darwin.so +0 -0
  68. sage/graphs/base/static_dense_graph.cpython-39-darwin.so +0 -0
  69. sage/graphs/base/static_sparse_backend.cpython-39-darwin.so +0 -0
  70. sage/graphs/base/static_sparse_backend.pyx +93 -6
  71. sage/graphs/base/static_sparse_graph.cpython-39-darwin.so +0 -0
  72. sage/graphs/base/static_sparse_graph.pyx +1 -1
  73. sage/graphs/bipartite_graph.py +0 -1
  74. sage/graphs/centrality.cpython-39-darwin.so +0 -0
  75. sage/graphs/centrality.pyx +0 -0
  76. sage/graphs/comparability.cpython-39-darwin.so +0 -0
  77. sage/graphs/comparability.pyx +172 -138
  78. sage/graphs/connectivity.cpython-39-darwin.so +0 -0
  79. sage/graphs/connectivity.pyx +194 -18
  80. sage/graphs/convexity_properties.cpython-39-darwin.so +0 -0
  81. sage/graphs/digraph_generators.py +118 -74
  82. sage/graphs/distances_all_pairs.cpython-39-darwin.so +0 -0
  83. sage/graphs/distances_all_pairs.pyx +145 -27
  84. sage/graphs/edge_connectivity.cpython-39-darwin.so +0 -0
  85. sage/graphs/generators/basic.py +471 -130
  86. sage/graphs/generators/distance_regular.cpython-39-darwin.so +0 -0
  87. sage/graphs/generators/distance_regular.pyx +12 -12
  88. sage/graphs/generators/families.py +2 -2
  89. sage/graphs/generators/random.py +8 -13
  90. sage/graphs/generators/smallgraphs.py +12 -11
  91. sage/graphs/generic_graph.py +687 -265
  92. sage/graphs/generic_graph_pyx.cpython-39-darwin.so +0 -0
  93. sage/graphs/genus.cpython-39-darwin.so +0 -0
  94. sage/graphs/graph.py +12 -46
  95. sage/graphs/graph_coloring.cpython-39-darwin.so +0 -0
  96. sage/graphs/graph_database.py +1 -1
  97. sage/graphs/graph_decompositions/bandwidth.cpython-39-darwin.so +0 -0
  98. sage/graphs/graph_decompositions/clique_separators.cpython-39-darwin.so +0 -0
  99. sage/graphs/graph_decompositions/cutwidth.cpython-39-darwin.so +0 -0
  100. sage/graphs/graph_decompositions/fast_digraph.cpython-39-darwin.so +0 -0
  101. sage/graphs/graph_decompositions/graph_products.cpython-39-darwin.so +0 -0
  102. sage/graphs/graph_decompositions/modular_decomposition.cpython-39-darwin.so +0 -0
  103. sage/graphs/graph_decompositions/slice_decomposition.cpython-39-darwin.so +0 -0
  104. sage/graphs/graph_decompositions/tree_decomposition.cpython-39-darwin.so +0 -0
  105. sage/graphs/graph_decompositions/vertex_separation.cpython-39-darwin.so +0 -0
  106. sage/graphs/graph_generators.py +110 -55
  107. sage/graphs/graph_generators_pyx.cpython-39-darwin.so +0 -0
  108. sage/graphs/graph_latex.py +1 -1
  109. sage/graphs/graph_list.py +2 -3
  110. sage/graphs/graph_plot.py +225 -30
  111. sage/graphs/hyperbolicity.cpython-39-darwin.so +0 -0
  112. sage/graphs/independent_sets.cpython-39-darwin.so +0 -0
  113. sage/graphs/isgci.py +3 -8
  114. sage/graphs/isoperimetric_inequalities.cpython-39-darwin.so +0 -0
  115. sage/graphs/line_graph.cpython-39-darwin.so +0 -0
  116. sage/graphs/matching.py +14 -25
  117. sage/graphs/matching_covered_graph.py +871 -60
  118. sage/graphs/orientations.py +190 -134
  119. sage/graphs/path_enumeration.cpython-39-darwin.so +0 -0
  120. sage/graphs/path_enumeration.pyx +25 -25
  121. sage/graphs/spanning_tree.cpython-39-darwin.so +0 -0
  122. sage/graphs/strongly_regular_db.cpython-39-darwin.so +0 -0
  123. sage/graphs/strongly_regular_db.pyx +54 -52
  124. sage/graphs/traversals.cpython-39-darwin.so +0 -0
  125. sage/graphs/traversals.pyx +114 -46
  126. sage/graphs/trees.cpython-39-darwin.so +0 -0
  127. sage/graphs/views.cpython-39-darwin.so +0 -0
  128. sage/graphs/weakly_chordal.cpython-39-darwin.so +0 -0
  129. sage/groups/perm_gps/partn_ref/refinement_graphs.cpython-39-darwin.so +0 -0
  130. sage/knots/free_knotinfo_monoid.py +2 -3
  131. sage/knots/knot.py +1 -1
  132. sage/knots/knotinfo.py +4 -4
  133. sage/knots/link.py +58 -57
  134. sage/sandpiles/sandpile.py +2 -3
  135. sage/topology/cell_complex.py +1 -1
  136. sage/topology/cubical_complex.py +7 -7
  137. sage/topology/delta_complex.py +4 -4
  138. sage/topology/simplicial_complex.py +7 -22
  139. passagemath_graphs-10.5.10.dist-info/RECORD +0 -251
  140. {passagemath_graphs-10.5.10.dist-info → passagemath_graphs-10.5.43.dist-info}/top_level.txt +0 -0
@@ -0,0 +1,349 @@
1
+ * (show-structure ssz6 7)
2
+
3
+ Dimension = 0:
4
+
5
+ Vertices : (<<GBar>>)
6
+
7
+ Dimension = 1:
8
+
9
+ Dimension = 2:
10
+
11
+ Simplex : <<GBar<- (3)><- NIL>>>
12
+
13
+ Faces : (<AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>>)
14
+
15
+ Simplex : <<GBar<- (2)><- NIL>>>
16
+
17
+ Faces : (<AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>>)
18
+
19
+ Simplex : <<GBar<- (1)><- NIL>>>
20
+
21
+ Faces : (<AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>>)
22
+
23
+ Dimension = 3:
24
+
25
+ Simplex : <<GBar<- (1 2)><0 NIL><- NIL>>>
26
+
27
+ Faces : (<AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (3)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm 1-0 <<GBar>>>)
28
+
29
+ Simplex : <<GBar<1 (2)><- (1)><- NIL>>>
30
+
31
+ Faces : (<AbSm 1-0 <<GBar>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (3)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
32
+
33
+ Simplex : <<GBar<- (2 1)><0 NIL><- NIL>>>
34
+
35
+ Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (3)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm 1-0 <<GBar>>>)
36
+
37
+ Simplex : <<GBar<1 (1)><- (2)><- NIL>>>
38
+
39
+ Faces : (<AbSm 1-0 <<GBar>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (3)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>>)
40
+
41
+ Simplex : <<GBar<- (1 1)><- (1)><- NIL>>>
42
+
43
+ Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
44
+
45
+ Simplex : <<GBar<0 (2)><- (1)><- NIL>>>
46
+
47
+ Faces : (<AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
48
+
49
+ Simplex : <<GBar<0 (1)><- (2)><- NIL>>>
50
+
51
+ Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>>)
52
+
53
+ Simplex : <<GBar<0 (1)><- (1)><- NIL>>>
54
+
55
+ Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
56
+
57
+ Simplex : <<GBar<1 (1)><- (1)><- NIL>>>
58
+
59
+ Faces : (<AbSm 1-0 <<GBar>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
60
+
61
+ Simplex : <<GBar<- (1 1)><0 NIL><- NIL>>>
62
+
63
+ Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm 1-0 <<GBar>>>)
64
+
65
+ Dimension = 4:
66
+
67
+ Simplex : <<GBar<1-0 (1)><1-0 NIL><- (2)><- NIL>>>
68
+
69
+ Faces : (<AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (2)><- NIL>>>> <AbSm 2 <<GBar<- (2)><- NIL>>>> <AbSm 2 <<GBar<- (2)><- NIL>>>>)
70
+
71
+ Simplex : <<GBar<1-0 (1)><0 (1)><- (1)><- NIL>>>
72
+
73
+ Faces : (<AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>>)
74
+
75
+ Simplex : <<GBar<1-0 (2)><1-0 NIL><- (1)><- NIL>>>
76
+
77
+ Faces : (<AbSm 0 <<GBar<- (2)><- NIL>>>> <AbSm 0 <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<0 (2)><- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>>)
78
+
79
+ Simplex : <<GBar<1-0 (1)><1 (1)><- (1)><- NIL>>>
80
+
81
+ Faces : (<AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>>)
82
+
83
+ Simplex : <<GBar<0 (1 1)><1-0 NIL><- (1)><- NIL>>>
84
+
85
+ Faces : (<AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<0 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>>)
86
+
87
+ Simplex : <<GBar<2-0 (1)><1 (1)><- (1)><- NIL>>>
88
+
89
+ Faces : (<AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<- (1 1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>>)
90
+
91
+ Simplex : <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>
92
+
93
+ Faces : (<AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>>)
94
+
95
+ Simplex : <<GBar<2-0 (1)><1 (2)><0 NIL><- NIL>>>
96
+
97
+ Faces : (<AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<- (2 1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<- (2)><- NIL>>>>)
98
+
99
+ Simplex : <<GBar<2-0 (2)><1 (1)><0 NIL><- NIL>>>
100
+
101
+ Faces : (<AbSm 1 <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<1 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 2)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>>)
102
+
103
+ Simplex : <<GBar<1 (1 1)><1-0 NIL><- (1)><- NIL>>>
104
+
105
+ Faces : (<AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>>)
106
+
107
+ Simplex : <<GBar<0 (1 1)><1 (1)><0 NIL><- NIL>>>
108
+
109
+ Faces : (<AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>>)
110
+
111
+ Simplex : <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>
112
+
113
+ Faces : (<AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>>)
114
+
115
+ Simplex : <<GBar<2 (1 1)><1 (1)><0 NIL><- NIL>>>
116
+
117
+ Faces : (<AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (2 1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>>)
118
+
119
+ Simplex : <<GBar<2-0 (1)><- (1 1)><0 NIL><- NIL>>>
120
+
121
+ Faces : (<AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 2)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>>)
122
+
123
+ Simplex : <<GBar<2-1 (2)><0 (1)><0 NIL><- NIL>>>
124
+
125
+ Faces : (<AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (2)><- (1)><- NIL>>>> <AbSm 1 <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (2 1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>>)
126
+
127
+ Simplex : <<GBar<1 (1 1)><0 (1)><0 NIL><- NIL>>>
128
+
129
+ Faces : (<AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>>)
130
+
131
+ Simplex : <<GBar<2-1 (1)><0 (1)><- (1)><- NIL>>>
132
+
133
+ Faces : (<AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>>)
134
+
135
+ Simplex : <<GBar<2 (1 1)><0 (1)><0 NIL><- NIL>>>
136
+
137
+ Faces : (<AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 2)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>>)
138
+
139
+ Simplex : <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>
140
+
141
+ Faces : (<AbSm 2-1-0 <<GBar>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<1 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>>)
142
+
143
+ Simplex : <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>
144
+
145
+ Faces : (<AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (2 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 2)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 2-1-0 <<GBar>>>)
146
+
147
+ Simplex : <<GBar<2-1 (1)><0 (2)><0 NIL><- NIL>>>
148
+
149
+ Faces : (<AbSm 2 <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (2)><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1 2)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (2)><- NIL>>>>)
150
+
151
+ Simplex : <<GBar<2-1 (1)><- (1 1)><0 NIL><- NIL>>>
152
+
153
+ Faces : (<AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (2 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>>)
154
+
155
+ Simplex : <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>
156
+
157
+ Faces : (<AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>>)
158
+
159
+ Simplex : <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>
160
+
161
+ Faces : (<AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>>)
162
+
163
+ Simplex : <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>
164
+
165
+ Faces : (<AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>>)
166
+
167
+ Dimension = 5:
168
+
169
+ Simplex : <<GBar<3-2-1 (1)><0 (1 1)><1-0 NIL><0 NIL><- NIL>>>
170
+
171
+ Faces : (<AbSm 3 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (2)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (1 1)><0 NIL><- NIL>>>>)
172
+
173
+ Simplex : <<GBar<3-2-1 (1)><2-0 (1)><0 (1)><0 NIL><- NIL>>>
174
+
175
+ Faces : (<AbSm 3 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (2)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<1 (1)><- (1)><- NIL>>>>)
176
+
177
+ Simplex : <<GBar<3-2-1 (1)><1-0 (1)><0 (1)><0 NIL><- NIL>>>
178
+
179
+ Faces : (<AbSm 3 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<0 (1)><- (1)><- NIL>>>>)
180
+
181
+ Simplex : <<GBar<3-2 (1 1)><1-0 (1)><1-0 NIL><0 NIL><- NIL>>>
182
+
183
+ Faces : (<AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (2)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm 2 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 1-0 <<GBar<- (1)><- NIL>>>>)
184
+
185
+ Simplex : <<GBar<3-2-1 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>
186
+
187
+ Faces : (<AbSm 3-2 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>> <AbSm 1 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (2)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
188
+
189
+ Simplex : <<GBar<3-2-0 (1)><1 (1 1)><1-0 NIL><0 NIL><- NIL>>>
190
+
191
+ Faces : (<AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 1 <<GBar<- (1 1)><0 NIL><- NIL>>>>)
192
+
193
+ Simplex : <<GBar<3-2-1 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>
194
+
195
+ Faces : (<AbSm 3-1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
196
+
197
+ Simplex : <<GBar<3-2-0 (1)><1-0 (1)><1 (1)><0 NIL><- NIL>>>
198
+
199
+ Faces : (<AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<0 (1)><- (1)><- NIL>>>>)
200
+
201
+ Simplex : <<GBar<3-2-1 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>
202
+
203
+ Faces : (<AbSm 3-0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><- (1)><- NIL>>>> <AbSm 2 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
204
+
205
+ Simplex : <<GBar<3-1 (1 1)><2-0 (1)><1-0 NIL><0 NIL><- NIL>>>
206
+
207
+ Faces : (<AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 2-0 <<GBar<- (1)><- NIL>>>>)
208
+
209
+ Simplex : <<GBar<3-2-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>
210
+
211
+ Faces : (<AbSm 2 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
212
+
213
+ Simplex : <<GBar<3-0 (1 1)><2-1 (1)><1-0 NIL><0 NIL><- NIL>>>
214
+
215
+ Faces : (<AbSm 2 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (2)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 2-1 <<GBar<- (1)><- NIL>>>>)
216
+
217
+ Simplex : <<GBar<3-1-0 (1)><2 (1 1)><1-0 NIL><0 NIL><- NIL>>>
218
+
219
+ Faces : (<AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (2)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 2 <<GBar<- (1 1)><0 NIL><- NIL>>>>)
220
+
221
+ Simplex : <<GBar<3-2-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>
222
+
223
+ Faces : (<AbSm 1 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (2)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
224
+
225
+ Simplex : <<GBar<3-2-0 (1)><2-1 (1)><1 (1)><0 NIL><- NIL>>>
226
+
227
+ Faces : (<AbSm 2-1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (2)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<1 (1)><- (1)><- NIL>>>>)
228
+
229
+ Simplex : <<GBar<3-2-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>
230
+
231
+ Faces : (<AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm 2 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
232
+
233
+ Simplex : <<GBar<2-1 (1 1)><2-1-0 NIL><0 (1)><0 NIL><- NIL>>>
234
+
235
+ Faces : (<AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 1 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 3-0 <<GBar<- (1)><- NIL>>>>)
236
+
237
+ Simplex : <<GBar<3-1-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>
238
+
239
+ Faces : (<AbSm 2 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
240
+
241
+ Simplex : <<GBar<2-0 (1 1)><2-1-0 NIL><1 (1)><0 NIL><- NIL>>>
242
+
243
+ Faces : (<AbSm 1 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm 3-1 <<GBar<- (1)><- NIL>>>>)
244
+
245
+ Simplex : <<GBar<3-1-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>
246
+
247
+ Faces : (<AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
248
+
249
+ Simplex : <<GBar<3-1-0 (1)><2-1 (1)><1-0 NIL><- (1)><- NIL>>>
250
+
251
+ Faces : (<AbSm 2-0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 2 <<GBar<1 (1)><- (1)><- NIL>>>>)
252
+
253
+ Simplex : <<GBar<1-0 (1 1)><2-1-0 NIL><1-0 NIL><- (1)><- NIL>>>
254
+
255
+ Faces : (<AbSm 0 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (2)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 3-2 <<GBar<- (1)><- NIL>>>>)
256
+
257
+ Simplex : <<GBar<3-1-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>
258
+
259
+ Faces : (<AbSm 0 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm 0 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (2)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
260
+
261
+ Simplex : <<GBar<3-1-0 (1)><2-0 (1)><1-0 NIL><- (1)><- NIL>>>
262
+
263
+ Faces : (<AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 2 <<GBar<0 (1)><- (1)><- NIL>>>>)
264
+
265
+ Simplex : <<GBar<2-1-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>
266
+
267
+ Faces : (<AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm 1 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
268
+
269
+ Simplex : <<GBar<2-1-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>
270
+
271
+ Faces : (<AbSm 1 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
272
+
273
+ Simplex : <<GBar<2-1-0 (1)><2-1-0 NIL><- (1 1)><0 NIL><- NIL>>>
274
+
275
+ Faces : (<AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (2)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm 3 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 3 <<GBar<- (1 1)><0 NIL><- NIL>>>>)
276
+
277
+ Simplex : <<GBar<2-1-0 (1)><2-1-0 NIL><1 (1)><- (1)><- NIL>>>
278
+
279
+ Faces : (<AbSm 1-0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (2)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm 3 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm 3 <<GBar<1 (1)><- (1)><- NIL>>>>)
280
+
281
+ Simplex : <<GBar<2-1-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>
282
+
283
+ Faces : (<AbSm 0 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm 0 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
284
+
285
+ Simplex : <<GBar<2-1-0 (1)><2-1-0 NIL><0 (1)><- (1)><- NIL>>>
286
+
287
+ Faces : (<AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm 3 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm 3 <<GBar<0 (1)><- (1)><- NIL>>>>)
288
+
289
+ Dimension = 6:
290
+
291
+ Simplex : <<GBar<3-2-1-0 (1)><3-2-1-0 NIL><1-0 (1)><1-0 NIL><- (1)><- NIL>>>
292
+
293
+ Faces : (<AbSm 0 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 0 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1-0 NIL><0 (1)><- (1)><- NIL>>>> <AbSm 2 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 4 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 4 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
294
+
295
+ Simplex : <<GBar<3-2-1-0 (1)><3-2-1-0 NIL><2-0 (1)><1 (1)><0 NIL><- NIL>>>
296
+
297
+ Faces : (<AbSm 1 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1-0 NIL><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1-0 NIL><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1-0 NIL><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm 4 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm 4 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
298
+
299
+ Simplex : <<GBar<3-2-1-0 (1)><3-2-1-0 NIL><2-1 (1)><0 (1)><0 NIL><- NIL>>>
300
+
301
+ Faces : (<AbSm 2 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1-0 NIL><1 (1)><- (1)><- NIL>>>> <AbSm 1 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1-0 NIL><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 4 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 4 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
302
+
303
+ Simplex : <<GBar<4-2-1-0 (1)><3-1-0 (1)><2-1-0 NIL><1-0 NIL><- (1)><- NIL>>>
304
+
305
+ Faces : (<AbSm 0 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1 1)><2-1-0 NIL><1-0 NIL><- (1)><- NIL>>>> <AbSm 3 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
306
+
307
+ Simplex : <<GBar<4-2-1-0 (1)><3-2-0 (1)><2-1-0 NIL><1 (1)><0 NIL><- NIL>>>
308
+
309
+ Faces : (<AbSm 1 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-1 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1 1)><2-1-0 NIL><1 (1)><0 NIL><- NIL>>>> <AbSm 3 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
310
+
311
+ Simplex : <<GBar<4-2-1-0 (1)><3-2-1 (1)><2-1-0 NIL><0 (1)><0 NIL><- NIL>>>
312
+
313
+ Faces : (<AbSm 3 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-1 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 1 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1 1)><2-1-0 NIL><0 (1)><0 NIL><- NIL>>>> <AbSm 3 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
314
+
315
+ Simplex : <<GBar<4-3-1-0 (1)><2-1-0 (1)><2-1-0 NIL><1-0 NIL><- (1)><- NIL>>>
316
+
317
+ Faces : (<AbSm 0 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 3 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1 1)><2-1-0 NIL><1-0 NIL><- (1)><- NIL>>>> <AbSm 2 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
318
+
319
+ Simplex : <<GBar<4-3-1-0 (1)><3-2-0 (1)><2-1 (1)><1-0 NIL><0 NIL><- NIL>>>
320
+
321
+ Faces : (<AbSm 2 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><2-1 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2 (1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm - <<GBar<3-0 (1 1)><2-1 (1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 2 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
322
+
323
+ Simplex : <<GBar<4-3-1-0 (1)><3-2-1 (1)><2-0 (1)><1-0 NIL><0 NIL><- NIL>>>
324
+
325
+ Faces : (<AbSm 3 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><2-1 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2 (1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1 (1 1)><2-0 (1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 2 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
326
+
327
+ Simplex : <<GBar<4-3-2-0 (1)><2-1-0 (1)><2-1-0 NIL><1 (1)><0 NIL><- NIL>>>
328
+
329
+ Faces : (<AbSm 1 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><1-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm 3 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1 1)><2-1-0 NIL><1 (1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
330
+
331
+ Simplex : <<GBar<4-3-2-0 (1)><3-1-0 (1)><2-1 (1)><1-0 NIL><0 NIL><- NIL>>>
332
+
333
+ Faces : (<AbSm 2 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><1-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><1 (1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm - <<GBar<3-0 (1 1)><2-1 (1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 1 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
334
+
335
+ Simplex : <<GBar<4-3-2-0 (1)><3-2-1 (1)><1-0 (1)><1-0 NIL><0 NIL><- NIL>>>
336
+
337
+ Faces : (<AbSm 3 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 2 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><1 (1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2 (1 1)><1-0 (1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 1 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
338
+
339
+ Simplex : <<GBar<4-3-2-1 (1)><2-1-0 (1)><2-1-0 NIL><0 (1)><0 NIL><- NIL>>>
340
+
341
+ Faces : (<AbSm 4 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 1 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><1-0 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 3 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1 1)><2-1-0 NIL><0 (1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
342
+
343
+ Simplex : <<GBar<4-3-2-1 (1)><3-1-0 (1)><2-0 (1)><1-0 NIL><0 NIL><- NIL>>>
344
+
345
+ Faces : (<AbSm 4 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><2-0 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><1-0 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><0 (1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1 (1 1)><2-0 (1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 0 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
346
+
347
+ Simplex : <<GBar<4-3-2-1 (1)><3-2-0 (1)><1-0 (1)><1-0 NIL><0 NIL><- NIL>>>
348
+
349
+ Faces : (<AbSm 4 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><2-0 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 2 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><0 (1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2 (1 1)><1-0 (1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 0 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)