passagemath-standard-no-symbolics 10.6.45__cp313-cp313-macosx_13_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 (83) hide show
  1. passagemath_standard_no_symbolics/__init__.py +1 -0
  2. passagemath_standard_no_symbolics-10.6.45.data/scripts/sage-grep +5 -0
  3. passagemath_standard_no_symbolics-10.6.45.data/scripts/sage-grepdoc +5 -0
  4. passagemath_standard_no_symbolics-10.6.45.data/scripts/sage-list-packages +103 -0
  5. passagemath_standard_no_symbolics-10.6.45.dist-info/METADATA +150 -0
  6. passagemath_standard_no_symbolics-10.6.45.dist-info/RECORD +83 -0
  7. passagemath_standard_no_symbolics-10.6.45.dist-info/WHEEL +6 -0
  8. passagemath_standard_no_symbolics-10.6.45.dist-info/top_level.txt +2 -0
  9. sage/all.py +207 -0
  10. sage/all_cmdline.py +36 -0
  11. sage/cli/__init__.py +61 -0
  12. sage/cli/__main__.py +5 -0
  13. sage/cli/eval_cmd.py +45 -0
  14. sage/cli/eval_cmd_test.py +25 -0
  15. sage/cli/interactive_shell_cmd.py +28 -0
  16. sage/cli/notebook_cmd.py +51 -0
  17. sage/cli/notebook_cmd_test.py +39 -0
  18. sage/cli/options.py +26 -0
  19. sage/cli/run_file_cmd.py +50 -0
  20. sage/cli/version_cmd.py +26 -0
  21. sage/databases/all.py +83 -0
  22. sage/databases/cubic_hecke_db.py +1527 -0
  23. sage/dynamics/all.py +31 -0
  24. sage/dynamics/surface_dynamics_deprecation.py +32 -0
  25. sage/ext_data/kenzo/CP2.txt +45 -0
  26. sage/ext_data/kenzo/CP3.txt +349 -0
  27. sage/ext_data/kenzo/CP4.txt +4774 -0
  28. sage/ext_data/kenzo/README.txt +49 -0
  29. sage/ext_data/kenzo/S4.txt +20 -0
  30. sage/ext_data/mwrank/PRIMES +1 -0
  31. sage/ext_data/nbconvert/postprocess.py +48 -0
  32. sage/ext_data/nbconvert/rst_sage.tpl +99 -0
  33. sage/ext_data/nodoctest +0 -0
  34. sage/ext_data/notebook-ipython/kernel.json.in +11 -0
  35. sage/ext_data/notebook-ipython/logo-64x64.png +0 -0
  36. sage/ext_data/notebook-ipython/logo.svg +352 -0
  37. sage/ext_data/valgrind/pyalloc.supp +58 -0
  38. sage/ext_data/valgrind/sage-additional.supp +417 -0
  39. sage/ext_data/valgrind/sage.supp +43 -0
  40. sage/ext_data/valgrind/valgrind-python.supp +480 -0
  41. sage/geometry/all.py +12 -0
  42. sage/groups/matrix_gps/pickling_overrides.py +110 -0
  43. sage/homology/tests.py +66 -0
  44. sage/interacts/algebra.py +20 -0
  45. sage/interacts/all.py +25 -0
  46. sage/interacts/calculus.py +24 -0
  47. sage/interacts/fractals.py +18 -0
  48. sage/interacts/geometry.py +19 -0
  49. sage/interacts/library.py +1950 -0
  50. sage/interacts/library_cython.cpython-313-darwin.so +0 -0
  51. sage/interacts/statistics.py +19 -0
  52. sage/interfaces/axiom.py +1002 -0
  53. sage/interfaces/kash.py +834 -0
  54. sage/interfaces/lie.py +950 -0
  55. sage/interfaces/matlab.py +413 -0
  56. sage/interfaces/mupad.py +686 -0
  57. sage/interfaces/octave.py +858 -0
  58. sage/interfaces/phc.py +943 -0
  59. sage/interfaces/psage.py +189 -0
  60. sage/interfaces/qsieve.py +4 -0
  61. sage/interfaces/r.py +2096 -0
  62. sage/interfaces/read_data.py +46 -0
  63. sage/interfaces/scilab.py +576 -0
  64. sage/interfaces/tests.py +81 -0
  65. sage/libs/all.py +11 -0
  66. sage/libs/cremona/__init__.py +0 -0
  67. sage/libs/mwrank/__init__.py +0 -0
  68. sage/logic/all.py +3 -0
  69. sage/logic/booleval.py +160 -0
  70. sage/logic/boolformula.py +1490 -0
  71. sage/logic/logic.py +856 -0
  72. sage/logic/logicparser.py +696 -0
  73. sage/logic/logictable.py +272 -0
  74. sage/logic/propcalc.py +311 -0
  75. sage/misc/all.py +28 -0
  76. sage/misc/lazy_attribute.pyi +11 -0
  77. sage/rings/all.py +48 -0
  78. sage/rings/commutative_algebra.py +38 -0
  79. sage/rings/finite_rings/all.py +21 -0
  80. sage/rings/numbers_abc.py +58 -0
  81. sage/rings/polynomial/all.py +22 -0
  82. sage/rings/polynomial/convolution.py +421 -0
  83. sage/symbolic/all__sagemath_standard_no_symbolics.py +0 -0
sage/dynamics/all.py ADDED
@@ -0,0 +1,31 @@
1
+ """
2
+ Flat surfaces
3
+
4
+ Some code about flat surfaces and interval exchanges has been removed
5
+ from Sage. The package ``surface_dynamics`` contains all that code
6
+ and much more. For more information, see
7
+
8
+ https://www.labri.fr/perso/vdelecro/surface-dynamics/latest/
9
+
10
+ You can install the ``surface_dynamics`` package via:
11
+
12
+ sage -pip install surface_dynamics
13
+
14
+ If you do not have write access to the Sage installation you can
15
+ alternatively do:
16
+
17
+ sage -pip install surface_dynamics --user
18
+ """
19
+ # install the docstring of this module to the containing package
20
+ from sage.misc.namespace_package import install_doc
21
+ install_doc(__package__, __doc__)
22
+
23
+ from sage.dynamics.all__sagemath_combinat import *
24
+ from sage.dynamics.all__sagemath_schemes import *
25
+
26
+ try:
27
+ from sage.dynamics.all__sagemath_symbolics import *
28
+ except ImportError:
29
+ pass
30
+
31
+ del install_doc
sage/dynamics/surface_dynamics_deprecation.py ADDED
@@ -0,0 +1,32 @@
1
+ deprecation_msg = "{} is deprecated and will be removed from Sage.\n" \
2
+ "You are advised to install the surface_dynamics package via:\n" \
3
+ " sage -pip install surface_dynamics\n" \
4
+ "If you do not have write access to the Sage installation you can\n" \
5
+ "alternatively do\n" \
6
+ " sage -pip install surface_dynamics --user\n" \
7
+ "The package surface_dynamics subsumes all flat surface related\n" \
8
+ "computation that are currently available in Sage. See more\n" \
9
+ "information at\n" \
10
+ " http://www.labri.fr/perso/vdelecro/surface-dynamics/latest/"
11
+
12
+
13
+ def surface_dynamics_deprecation(name):
14
+ r"""
15
+ TESTS::
16
+
17
+ sage: from sage.dynamics.surface_dynamics_deprecation import surface_dynamics_deprecation
18
+ sage: surface_dynamics_deprecation("HeYhEy")
19
+ doctest:...: DeprecationWarning: HeYhEy is deprecated and will be removed from Sage.
20
+ You are advised to install the surface_dynamics package via:
21
+ sage -pip install surface_dynamics
22
+ If you do not have write access to the Sage installation you can
23
+ alternatively do
24
+ sage -pip install surface_dynamics --user
25
+ The package surface_dynamics subsumes all flat surface related
26
+ computation that are currently available in Sage. See more
27
+ information at
28
+ http://www.labri.fr/perso/vdelecro/surface-dynamics/latest/
29
+ See https://github.com/sagemath/sage/issues/20695 for details.
30
+ """
31
+ from sage.misc.superseded import deprecation
32
+ deprecation(20695, deprecation_msg.format(name))
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>>>>)