passagemath-symbolics 10.8.1a1__cp314-cp314t-musllinux_1_2_aarch64.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 (181) hide show
  1. passagemath_symbolics/__init__.py +3 -0
  2. passagemath_symbolics-10.8.1a1.dist-info/METADATA +186 -0
  3. passagemath_symbolics-10.8.1a1.dist-info/RECORD +181 -0
  4. passagemath_symbolics-10.8.1a1.dist-info/WHEEL +5 -0
  5. passagemath_symbolics-10.8.1a1.dist-info/top_level.txt +3 -0
  6. sage/all__sagemath_symbolics.py +17 -0
  7. sage/calculus/all.py +14 -0
  8. sage/calculus/calculus.py +2838 -0
  9. sage/calculus/desolvers.py +1864 -0
  10. sage/calculus/predefined.py +51 -0
  11. sage/calculus/tests.py +225 -0
  12. sage/calculus/var.cpython-314t-aarch64-linux-musl.so +0 -0
  13. sage/calculus/var.pyx +401 -0
  14. sage/dynamics/all__sagemath_symbolics.py +6 -0
  15. sage/dynamics/complex_dynamics/all.py +5 -0
  16. sage/dynamics/complex_dynamics/mandel_julia.py +765 -0
  17. sage/dynamics/complex_dynamics/mandel_julia_helper.cpython-314t-aarch64-linux-musl.so +0 -0
  18. sage/dynamics/complex_dynamics/mandel_julia_helper.pyx +1034 -0
  19. sage/ext/all__sagemath_symbolics.py +1 -0
  20. sage/ext_data/kenzo/CP2.txt +45 -0
  21. sage/ext_data/kenzo/CP3.txt +349 -0
  22. sage/ext_data/kenzo/CP4.txt +4774 -0
  23. sage/ext_data/kenzo/README.txt +49 -0
  24. sage/ext_data/kenzo/S4.txt +20 -0
  25. sage/ext_data/magma/latex/latex.m +1021 -0
  26. sage/ext_data/magma/latex/latex.spec +1 -0
  27. sage/ext_data/magma/sage/basic.m +356 -0
  28. sage/ext_data/magma/sage/sage.spec +1 -0
  29. sage/ext_data/magma/spec +9 -0
  30. sage/geometry/all__sagemath_symbolics.py +8 -0
  31. sage/geometry/hyperbolic_space/all.py +5 -0
  32. sage/geometry/hyperbolic_space/hyperbolic_coercion.py +755 -0
  33. sage/geometry/hyperbolic_space/hyperbolic_constants.py +5 -0
  34. sage/geometry/hyperbolic_space/hyperbolic_geodesic.py +2419 -0
  35. sage/geometry/hyperbolic_space/hyperbolic_interface.py +206 -0
  36. sage/geometry/hyperbolic_space/hyperbolic_isometry.py +1083 -0
  37. sage/geometry/hyperbolic_space/hyperbolic_model.py +1502 -0
  38. sage/geometry/hyperbolic_space/hyperbolic_point.py +621 -0
  39. sage/geometry/riemannian_manifolds/all.py +7 -0
  40. sage/geometry/riemannian_manifolds/parametrized_surface3d.py +1632 -0
  41. sage/geometry/riemannian_manifolds/surface3d_generators.py +461 -0
  42. sage/interfaces/all__sagemath_symbolics.py +1 -0
  43. sage/interfaces/magma.py +2991 -0
  44. sage/interfaces/magma_free.py +90 -0
  45. sage/interfaces/maple.py +1402 -0
  46. sage/interfaces/mathematica.py +1345 -0
  47. sage/interfaces/mathics.py +1312 -0
  48. sage/interfaces/sympy.py +1398 -0
  49. sage/interfaces/sympy_wrapper.py +197 -0
  50. sage/interfaces/tides.py +938 -0
  51. sage/libs/all__sagemath_symbolics.py +6 -0
  52. sage/manifolds/all.py +7 -0
  53. sage/manifolds/calculus_method.py +553 -0
  54. sage/manifolds/catalog.py +437 -0
  55. sage/manifolds/chart.py +4010 -0
  56. sage/manifolds/chart_func.py +3416 -0
  57. sage/manifolds/continuous_map.py +2183 -0
  58. sage/manifolds/continuous_map_image.py +155 -0
  59. sage/manifolds/differentiable/affine_connection.py +2475 -0
  60. sage/manifolds/differentiable/all.py +1 -0
  61. sage/manifolds/differentiable/automorphismfield.py +1383 -0
  62. sage/manifolds/differentiable/automorphismfield_group.py +604 -0
  63. sage/manifolds/differentiable/bundle_connection.py +1445 -0
  64. sage/manifolds/differentiable/characteristic_cohomology_class.py +1840 -0
  65. sage/manifolds/differentiable/chart.py +1241 -0
  66. sage/manifolds/differentiable/curve.py +1028 -0
  67. sage/manifolds/differentiable/de_rham_cohomology.py +541 -0
  68. sage/manifolds/differentiable/degenerate.py +559 -0
  69. sage/manifolds/differentiable/degenerate_submanifold.py +1668 -0
  70. sage/manifolds/differentiable/diff_form.py +1660 -0
  71. sage/manifolds/differentiable/diff_form_module.py +1062 -0
  72. sage/manifolds/differentiable/diff_map.py +1315 -0
  73. sage/manifolds/differentiable/differentiable_submanifold.py +291 -0
  74. sage/manifolds/differentiable/examples/all.py +1 -0
  75. sage/manifolds/differentiable/examples/euclidean.py +2517 -0
  76. sage/manifolds/differentiable/examples/real_line.py +897 -0
  77. sage/manifolds/differentiable/examples/sphere.py +1186 -0
  78. sage/manifolds/differentiable/examples/symplectic_space.py +187 -0
  79. sage/manifolds/differentiable/examples/symplectic_space_test.py +40 -0
  80. sage/manifolds/differentiable/integrated_curve.py +4035 -0
  81. sage/manifolds/differentiable/levi_civita_connection.py +841 -0
  82. sage/manifolds/differentiable/manifold.py +4254 -0
  83. sage/manifolds/differentiable/manifold_homset.py +1826 -0
  84. sage/manifolds/differentiable/metric.py +3032 -0
  85. sage/manifolds/differentiable/mixed_form.py +1507 -0
  86. sage/manifolds/differentiable/mixed_form_algebra.py +559 -0
  87. sage/manifolds/differentiable/multivector_module.py +800 -0
  88. sage/manifolds/differentiable/multivectorfield.py +1522 -0
  89. sage/manifolds/differentiable/poisson_tensor.py +268 -0
  90. sage/manifolds/differentiable/pseudo_riemannian.py +755 -0
  91. sage/manifolds/differentiable/pseudo_riemannian_submanifold.py +1839 -0
  92. sage/manifolds/differentiable/scalarfield.py +1343 -0
  93. sage/manifolds/differentiable/scalarfield_algebra.py +472 -0
  94. sage/manifolds/differentiable/symplectic_form.py +912 -0
  95. sage/manifolds/differentiable/symplectic_form_test.py +220 -0
  96. sage/manifolds/differentiable/tangent_space.py +412 -0
  97. sage/manifolds/differentiable/tangent_vector.py +616 -0
  98. sage/manifolds/differentiable/tensorfield.py +4665 -0
  99. sage/manifolds/differentiable/tensorfield_module.py +963 -0
  100. sage/manifolds/differentiable/tensorfield_paral.py +2450 -0
  101. sage/manifolds/differentiable/tensorfield_paral_test.py +16 -0
  102. sage/manifolds/differentiable/vector_bundle.py +1725 -0
  103. sage/manifolds/differentiable/vectorfield.py +1717 -0
  104. sage/manifolds/differentiable/vectorfield_module.py +2445 -0
  105. sage/manifolds/differentiable/vectorframe.py +1832 -0
  106. sage/manifolds/family.py +270 -0
  107. sage/manifolds/local_frame.py +1490 -0
  108. sage/manifolds/manifold.py +3090 -0
  109. sage/manifolds/manifold_homset.py +452 -0
  110. sage/manifolds/operators.py +359 -0
  111. sage/manifolds/point.py +994 -0
  112. sage/manifolds/scalarfield.py +3718 -0
  113. sage/manifolds/scalarfield_algebra.py +629 -0
  114. sage/manifolds/section.py +3111 -0
  115. sage/manifolds/section_module.py +831 -0
  116. sage/manifolds/structure.py +229 -0
  117. sage/manifolds/subset.py +2721 -0
  118. sage/manifolds/subsets/all.py +1 -0
  119. sage/manifolds/subsets/closure.py +131 -0
  120. sage/manifolds/subsets/pullback.py +883 -0
  121. sage/manifolds/topological_submanifold.py +891 -0
  122. sage/manifolds/trivialization.py +733 -0
  123. sage/manifolds/utilities.py +1348 -0
  124. sage/manifolds/vector_bundle.py +1347 -0
  125. sage/manifolds/vector_bundle_fiber.py +332 -0
  126. sage/manifolds/vector_bundle_fiber_element.py +111 -0
  127. sage/matrix/all__sagemath_symbolics.py +1 -0
  128. sage/matrix/matrix_symbolic_dense.cpython-314t-aarch64-linux-musl.so +0 -0
  129. sage/matrix/matrix_symbolic_dense.pxd +6 -0
  130. sage/matrix/matrix_symbolic_dense.pyx +1030 -0
  131. sage/matrix/matrix_symbolic_sparse.cpython-314t-aarch64-linux-musl.so +0 -0
  132. sage/matrix/matrix_symbolic_sparse.pxd +6 -0
  133. sage/matrix/matrix_symbolic_sparse.pyx +1038 -0
  134. sage/modules/all__sagemath_symbolics.py +1 -0
  135. sage/modules/vector_callable_symbolic_dense.py +105 -0
  136. sage/modules/vector_symbolic_dense.py +116 -0
  137. sage/modules/vector_symbolic_sparse.py +118 -0
  138. sage/rings/all__sagemath_symbolics.py +4 -0
  139. sage/rings/asymptotic/all.py +6 -0
  140. sage/rings/asymptotic/asymptotic_expansion_generators.py +1485 -0
  141. sage/rings/asymptotic/asymptotic_ring.py +4858 -0
  142. sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py +4106 -0
  143. sage/rings/asymptotic/growth_group.py +5373 -0
  144. sage/rings/asymptotic/growth_group_cartesian.py +1400 -0
  145. sage/rings/asymptotic/term_monoid.py +5205 -0
  146. sage/rings/function_field/all__sagemath_symbolics.py +2 -0
  147. sage/rings/polynomial/all__sagemath_symbolics.py +1 -0
  148. sage/symbolic/all.py +15 -0
  149. sage/symbolic/assumptions.py +987 -0
  150. sage/symbolic/benchmark.py +93 -0
  151. sage/symbolic/callable.py +456 -0
  152. sage/symbolic/callable.pyi +66 -0
  153. sage/symbolic/comparison_impl.pyi +38 -0
  154. sage/symbolic/complexity_measures.py +35 -0
  155. sage/symbolic/constants.py +1286 -0
  156. sage/symbolic/constants_c_impl.pyi +10 -0
  157. sage/symbolic/expression_conversion_algebraic.py +310 -0
  158. sage/symbolic/expression_conversion_sympy.py +317 -0
  159. sage/symbolic/expression_conversions.py +1727 -0
  160. sage/symbolic/function_factory.py +355 -0
  161. sage/symbolic/function_factory.pyi +41 -0
  162. sage/symbolic/getitem_impl.pyi +24 -0
  163. sage/symbolic/integration/all.py +1 -0
  164. sage/symbolic/integration/external.py +271 -0
  165. sage/symbolic/integration/integral.py +1075 -0
  166. sage/symbolic/maxima_wrapper.py +162 -0
  167. sage/symbolic/operators.py +267 -0
  168. sage/symbolic/operators.pyi +61 -0
  169. sage/symbolic/pynac_constant_impl.pyi +13 -0
  170. sage/symbolic/pynac_function_impl.pyi +8 -0
  171. sage/symbolic/random_tests.py +461 -0
  172. sage/symbolic/relation.py +2062 -0
  173. sage/symbolic/ring.cpython-314t-aarch64-linux-musl.so +0 -0
  174. sage/symbolic/ring.pxd +5 -0
  175. sage/symbolic/ring.pyi +110 -0
  176. sage/symbolic/ring.pyx +1393 -0
  177. sage/symbolic/series_impl.pyi +10 -0
  178. sage/symbolic/subring.py +1025 -0
  179. sage/symbolic/symengine.py +19 -0
  180. sage/symbolic/tests.py +40 -0
  181. sage/symbolic/units.py +1468 -0
sage/ext/all__sagemath_symbolics.py ADDED
@@ -0,0 +1 @@
1
+ # sage_setup: distribution = sagemath-symbolics
sage/ext_data/kenzo/CP2.txt ADDED
@@ -0,0 +1,45 @@
1
+ * (show-structure ssz4 6)
2
+
3
+ Dimension = 0:
4
+
5
+ Vertices : (<<GBar>>)
6
+
7
+ Dimension = 1:
8
+
9
+ Dimension = 2:
10
+
11
+ Simplex : <<GBar<- (2)><- NIL>>>
12
+
13
+ Faces : (<AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>>)
14
+
15
+ Simplex : <<GBar<- (1)><- NIL>>>
16
+
17
+ Faces : (<AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>>)
18
+
19
+ Dimension = 3:
20
+
21
+ Simplex : <<GBar<- (1 1)><0 NIL><- NIL>>>
22
+
23
+ Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm 1-0 <<GBar>>>)
24
+
25
+ Simplex : <<GBar<1 (1)><- (1)><- NIL>>>
26
+
27
+ Faces : (<AbSm 1-0 <<GBar>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
28
+
29
+ Simplex : <<GBar<0 (1)><- (1)><- NIL>>>
30
+
31
+ Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
32
+
33
+ Dimension = 4:
34
+
35
+ Simplex : <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>
36
+
37
+ 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>>>>)
38
+
39
+ Simplex : <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>
40
+
41
+ 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>>>>)
42
+
43
+ Simplex : <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>
44
+
45
+ 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>>>>)
sage/ext_data/kenzo/CP3.txt ADDED
@@ -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>>>>)