mapFolding 0.15.3__py3-none-any.whl → 0.16.0__py3-none-any.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 (92) hide show
  1. mapFolding/__init__.py +22 -20
  2. mapFolding/_theSSOT.py +56 -62
  3. mapFolding/_theTypes.py +66 -4
  4. mapFolding/algorithms/__init__.py +1 -0
  5. mapFolding/{daoOfMapFolding.py → algorithms/daoOfMapFolding.py} +1 -2
  6. mapFolding/algorithms/getBucketsTotal.py +137 -0
  7. mapFolding/algorithms/matrixMeanders.py +519 -0
  8. mapFolding/algorithms/oeisIDbyFormula.py +347 -0
  9. mapFolding/algorithms/zCuzDocStoopidoeisIDbyFormula.py +84 -0
  10. mapFolding/basecamp.py +151 -14
  11. mapFolding/dataBaskets.py +74 -0
  12. mapFolding/oeis.py +43 -56
  13. mapFolding/reference/A000682facts.py +662 -0
  14. mapFolding/reference/A005316facts.py +62 -0
  15. mapFolding/reference/matrixMeandersAnalysis/__init__.py +1 -0
  16. mapFolding/reference/matrixMeandersAnalysis/evenEven.py +144 -0
  17. mapFolding/reference/matrixMeandersAnalysis/oddEven.py +54 -0
  18. mapFolding/{_oeisFormulas/matrixMeanders64.py → reference/meandersDumpingGround/matrixMeanders64retired.py} +37 -29
  19. mapFolding/someAssemblyRequired/A007822/A007822rawMaterials.py +55 -0
  20. mapFolding/someAssemblyRequired/A007822/__init__.py +0 -0
  21. mapFolding/someAssemblyRequired/A007822/makeA007822AsynchronousModules.py +185 -0
  22. mapFolding/someAssemblyRequired/A007822/makeA007822Modules.py +71 -0
  23. mapFolding/someAssemblyRequired/RecipeJob.py +2 -2
  24. mapFolding/someAssemblyRequired/__init__.py +9 -2
  25. mapFolding/someAssemblyRequired/_toolIfThis.py +4 -3
  26. mapFolding/someAssemblyRequired/_toolkitContainers.py +8 -8
  27. mapFolding/someAssemblyRequired/infoBooth.py +27 -30
  28. mapFolding/someAssemblyRequired/makeJobTheorem2Numba.py +1 -1
  29. mapFolding/someAssemblyRequired/makeJobTheorem2codon.py +5 -2
  30. mapFolding/someAssemblyRequired/makingModules_count.py +301 -0
  31. mapFolding/someAssemblyRequired/makingModules_doTheNeedful.py +120 -0
  32. mapFolding/someAssemblyRequired/mapFolding/__init__.py +0 -0
  33. mapFolding/someAssemblyRequired/mapFolding/makeMapFoldingModules.py +220 -0
  34. mapFolding/someAssemblyRequired/toolkitMakeModules.py +152 -0
  35. mapFolding/someAssemblyRequired/toolkitNumba.py +1 -1
  36. mapFolding/someAssemblyRequired/transformationTools.py +1 -0
  37. mapFolding/syntheticModules/A007822/__init__.py +1 -0
  38. mapFolding/syntheticModules/A007822/asynchronous.py +148 -0
  39. mapFolding/syntheticModules/A007822/asynchronousAnnex.py +68 -0
  40. mapFolding/syntheticModules/A007822/asynchronousTheorem2.py +53 -0
  41. mapFolding/syntheticModules/A007822/asynchronousTrimmed.py +47 -0
  42. mapFolding/syntheticModules/dataPackingA007822.py +1 -1
  43. mapFolding/tests/conftest.py +28 -9
  44. mapFolding/tests/test_computations.py +32 -10
  45. mapFolding/tests/test_oeis.py +2 -20
  46. mapFolding/trim_memory.py +62 -0
  47. mapFolding/zCuzDocStoopid/__init__.py +1 -0
  48. mapFolding/zCuzDocStoopid/makeDocstrings.py +63 -0
  49. {mapfolding-0.15.3.dist-info → mapfolding-0.16.0.dist-info}/METADATA +9 -2
  50. mapfolding-0.16.0.dist-info/RECORD +100 -0
  51. {mapfolding-0.15.3.dist-info → mapfolding-0.16.0.dist-info}/entry_points.txt +0 -1
  52. mapFolding/_oeisFormulas/A000136.py +0 -4
  53. mapFolding/_oeisFormulas/A000560.py +0 -4
  54. mapFolding/_oeisFormulas/A000682.py +0 -85
  55. mapFolding/_oeisFormulas/A001010.py +0 -19
  56. mapFolding/_oeisFormulas/A001011.py +0 -5
  57. mapFolding/_oeisFormulas/A005315.py +0 -4
  58. mapFolding/_oeisFormulas/A005316.py +0 -10
  59. mapFolding/_oeisFormulas/A223094.py +0 -7
  60. mapFolding/_oeisFormulas/A259702.py +0 -4
  61. mapFolding/_oeisFormulas/A301620.py +0 -6
  62. mapFolding/_oeisFormulas/Z0Z_aOFn.py +0 -34
  63. mapFolding/_oeisFormulas/Z0Z_notes.py +0 -16
  64. mapFolding/_oeisFormulas/Z0Z_oeisMeanders.py +0 -74
  65. mapFolding/_oeisFormulas/Z0Z_symmetry.py +0 -131
  66. mapFolding/_oeisFormulas/__init__.py +0 -1
  67. mapFolding/_oeisFormulas/matrixMeanders.py +0 -134
  68. mapFolding/_oeisFormulas/matrixMeandersAnnex.py +0 -84
  69. mapFolding/someAssemblyRequired/A007822rawMaterials.py +0 -46
  70. mapFolding/someAssemblyRequired/makeAllModules.py +0 -764
  71. mapfolding-0.15.3.dist-info/RECORD +0 -92
  72. /mapFolding/reference/{A005316JavaPort.py → meandersDumpingGround/A005316JavaPort.py} +0 -0
  73. /mapFolding/reference/{A005316imperative.py → meandersDumpingGround/A005316imperative.py} +0 -0
  74. /mapFolding/reference/{A005316intOptimized.py → meandersDumpingGround/A005316intOptimized.py} +0 -0
  75. /mapFolding/reference/{A005316optimized128bit.py → meandersDumpingGround/A005316optimized128bit.py} +0 -0
  76. /mapFolding/reference/{A005316primitiveOptimized.py → meandersDumpingGround/A005316primitiveOptimized.py} +0 -0
  77. /mapFolding/reference/{A005316redis.py → meandersDumpingGround/A005316redis.py} +0 -0
  78. /mapFolding/reference/{A005316write2disk.py → meandersDumpingGround/A005316write2disk.py} +0 -0
  79. /mapFolding/reference/{matrixMeandersBaseline.py → meandersDumpingGround/matrixMeandersBaseline.py} +0 -0
  80. /mapFolding/reference/{matrixMeandersBaselineAnnex.py → meandersDumpingGround/matrixMeandersBaselineAnnex.py} +0 -0
  81. /mapFolding/reference/{matrixMeandersBaselineV2.py → meandersDumpingGround/matrixMeandersBaselineV2.py} +0 -0
  82. /mapFolding/reference/{matrixMeandersSimpleQueue.py → meandersDumpingGround/matrixMeandersSimpleQueue.py} +0 -0
  83. /mapFolding/reference/{matrixMeandersSlicePop.py → meandersDumpingGround/matrixMeandersSlicePop.py} +0 -0
  84. /mapFolding/syntheticModules/{algorithmA007822.py → A007822/algorithm.py} +0 -0
  85. /mapFolding/syntheticModules/{algorithmA007822Numba.py → A007822/algorithmNumba.py} +0 -0
  86. /mapFolding/syntheticModules/{initializeStateA007822.py → A007822/initializeState.py} +0 -0
  87. /mapFolding/syntheticModules/{theorem2A007822.py → A007822/theorem2.py} +0 -0
  88. /mapFolding/syntheticModules/{theorem2A007822Numba.py → A007822/theorem2Numba.py} +0 -0
  89. /mapFolding/syntheticModules/{theorem2A007822Trimmed.py → A007822/theorem2Trimmed.py} +0 -0
  90. {mapfolding-0.15.3.dist-info → mapfolding-0.16.0.dist-info}/WHEEL +0 -0
  91. {mapfolding-0.15.3.dist-info → mapfolding-0.16.0.dist-info}/licenses/LICENSE +0 -0
  92. {mapfolding-0.15.3.dist-info → mapfolding-0.16.0.dist-info}/top_level.txt +0 -0
mapFolding/reference/A000682facts.py ADDED
@@ -0,0 +1,662 @@
1
+ """A000682 facts."""
2
+
3
+ dictionary_nToBitWidthDistinctCrossings: dict[int, int] = {
4
+ 1: 1, 2: 1, 3: 2, 4: 3, 5: 4, 6: 5, 7: 7, 8: 8, 9: 9
5
+ , 10: 11, 11: 13, 12: 14, 13: 16, 14: 17, 15: 19, 16: 21, 17: 22, 18: 24, 19: 25
6
+ , 20: 27, 21: 29, 22: 30, 23: 32, 24: 34, 25: 36, 26: 37, 27: 39, 28: 41, 29: 42
7
+ , 30: 44, 31: 46, 32: 47, 33: 49, 34: 51, 35: 53, 36: 54, 37: 56, 38: 58, 39: 60
8
+ , 40: 61, 41: 63, 42: 65, 43: 67, 44: 68, 45: 70}
9
+
10
+ listBitWidthIncreases: list[int] = [0, 1, 1, 1, 1, 2, 1, 1, 2, 2, 1, 2, 1, 2, 2, 1, 2, 1, 2, 2, 1, 2, 2, 2, 1, 2, 2, 1, 2, 2, 1, 2, 2, 2, 1, 2, 2, 2, 1, 2, 2, 2, 1, 2]
11
+ bitWidthIncreaseMaximum = 2
12
+ bitWidthIncreaseMean = 1.57
13
+ bitWidthIncreaseMedian = 2
14
+
15
+ dictionary_nToNumberOfCurveLocations: dict[int, int] = { # numberOfCurveLocations = (n // 2) + 2
16
+ 2: 3, 4: 4, 6: 5, 8: 6, 10: 7, 12: 8, 14: 9, 16: 10, 18: 11, 20: 12, 22: 13, 24: 14, 26: 15, 28: 16, 30: 17, 32: 18, 34: 19, 36: 20, 38: 21, 40: 22, 42: 23, 44: 24, 46: 25, 48: 26
17
+ , 3: 3, 5: 4, 7: 5, 9: 6, 11: 7, 13: 8, 15: 9, 17: 10, 19: 11, 21: 12, 23: 13, 25: 14, 27: 15, 29: 16, 31: 17, 33: 18, 35: 19, 37: 20, 39: 21, 41: 22, 43: 23, 45: 24, 47: 25, 49: 26}
18
+
19
+ dictionary_nToDictionaryCurveLocations: dict[int, dict[int, int]] = {
20
+ 2: {0x3: 1, 0x3f: 1, 0x3ff: 1},
21
+ 4: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1},
22
+ 6: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1},
23
+ 8: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1},
24
+ 10: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1},
25
+ 12: {0x3: 1, 0x3f: 1, 0x3ff: 1, 0x3fff: 1, 0x3ffff: 1, 0x3fffff: 1, 0x3ffffff: 1, 0x3fffffff: 1},
26
+ 14: { 0x3: 1,
27
+ 0x3f: 1,
28
+ 0x3ff: 1,
29
+ 0x3fff: 1,
30
+ 0x3ffff: 1,
31
+ 0x3fffff: 1,
32
+ 0x3ffffff: 1,
33
+ 0x3fffffff: 1,
34
+ 0x3ffffffff: 1},
35
+ 16: { 0x3: 1,
36
+ 0x3f: 1,
37
+ 0x3ff: 1,
38
+ 0x3fff: 1,
39
+ 0x3ffff: 1,
40
+ 0x3fffff: 1,
41
+ 0x3ffffff: 1,
42
+ 0x3fffffff: 1,
43
+ 0x3ffffffff: 1,
44
+ 0x3fffffffff: 1},
45
+ 18: { 0x3: 1,
46
+ 0x3f: 1,
47
+ 0x3ff: 1,
48
+ 0x3fff: 1,
49
+ 0x3ffff: 1,
50
+ 0x3fffff: 1,
51
+ 0x3ffffff: 1,
52
+ 0x3fffffff: 1,
53
+ 0x3ffffffff: 1,
54
+ 0x3fffffffff: 1,
55
+ 0x3ffffffffff: 1},
56
+ 20: { 0x3: 1,
57
+ 0x3f: 1,
58
+ 0x3ff: 1,
59
+ 0x3fff: 1,
60
+ 0x3ffff: 1,
61
+ 0x3fffff: 1,
62
+ 0x3ffffff: 1,
63
+ 0x3fffffff: 1,
64
+ 0x3ffffffff: 1,
65
+ 0x3fffffffff: 1,
66
+ 0x3ffffffffff: 1,
67
+ 0x3fffffffffff: 1},
68
+ 22: { 0x3: 1,
69
+ 0x3f: 1,
70
+ 0x3ff: 1,
71
+ 0x3fff: 1,
72
+ 0x3ffff: 1,
73
+ 0x3fffff: 1,
74
+ 0x3ffffff: 1,
75
+ 0x3fffffff: 1,
76
+ 0x3ffffffff: 1,
77
+ 0x3fffffffff: 1,
78
+ 0x3ffffffffff: 1,
79
+ 0x3fffffffffff: 1,
80
+ 0x3ffffffffffff: 1},
81
+ 24: { 0x3: 1,
82
+ 0x3f: 1,
83
+ 0x3ff: 1,
84
+ 0x3fff: 1,
85
+ 0x3ffff: 1,
86
+ 0x3fffff: 1,
87
+ 0x3ffffff: 1,
88
+ 0x3fffffff: 1,
89
+ 0x3ffffffff: 1,
90
+ 0x3fffffffff: 1,
91
+ 0x3ffffffffff: 1,
92
+ 0x3fffffffffff: 1,
93
+ 0x3ffffffffffff: 1,
94
+ 0x3fffffffffffff: 1},
95
+ 26: { 0x3: 1,
96
+ 0x3f: 1,
97
+ 0x3ff: 1,
98
+ 0x3fff: 1,
99
+ 0x3ffff: 1,
100
+ 0x3fffff: 1,
101
+ 0x3ffffff: 1,
102
+ 0x3fffffff: 1,
103
+ 0x3ffffffff: 1,
104
+ 0x3fffffffff: 1,
105
+ 0x3ffffffffff: 1,
106
+ 0x3fffffffffff: 1,
107
+ 0x3ffffffffffff: 1,
108
+ 0x3fffffffffffff: 1,
109
+ 0x3ffffffffffffff: 1},
110
+ 28: { 0x3: 1,
111
+ 0x3f: 1,
112
+ 0x3ff: 1,
113
+ 0x3fff: 1,
114
+ 0x3ffff: 1,
115
+ 0x3fffff: 1,
116
+ 0x3ffffff: 1,
117
+ 0x3fffffff: 1,
118
+ 0x3ffffffff: 1,
119
+ 0x3fffffffff: 1,
120
+ 0x3ffffffffff: 1,
121
+ 0x3fffffffffff: 1,
122
+ 0x3ffffffffffff: 1,
123
+ 0x3fffffffffffff: 1,
124
+ 0x3ffffffffffffff: 1,
125
+ 0x3fffffffffffffff: 1},
126
+ 30: { 0x3: 1,
127
+ 0x3f: 1,
128
+ 0x3ff: 1,
129
+ 0x3fff: 1,
130
+ 0x3ffff: 1,
131
+ 0x3fffff: 1,
132
+ 0x3ffffff: 1,
133
+ 0x3fffffff: 1,
134
+ 0x3ffffffff: 1,
135
+ 0x3fffffffff: 1,
136
+ 0x3ffffffffff: 1,
137
+ 0x3fffffffffff: 1,
138
+ 0x3ffffffffffff: 1,
139
+ 0x3fffffffffffff: 1,
140
+ 0x3ffffffffffffff: 1,
141
+ 0x3fffffffffffffff: 1,
142
+ 0x3ffffffffffffffff: 1},
143
+ 32: { 0x3: 1,
144
+ 0x3f: 1,
145
+ 0x3ff: 1,
146
+ 0x3fff: 1,
147
+ 0x3ffff: 1,
148
+ 0x3fffff: 1,
149
+ 0x3ffffff: 1,
150
+ 0x3fffffff: 1,
151
+ 0x3ffffffff: 1,
152
+ 0x3fffffffff: 1,
153
+ 0x3ffffffffff: 1,
154
+ 0x3fffffffffff: 1,
155
+ 0x3ffffffffffff: 1,
156
+ 0x3fffffffffffff: 1,
157
+ 0x3ffffffffffffff: 1,
158
+ 0x3fffffffffffffff: 1,
159
+ 0x3ffffffffffffffff: 1,
160
+ 0x3fffffffffffffffff: 1},
161
+ 34: { 0x3: 1,
162
+ 0x3f: 1,
163
+ 0x3ff: 1,
164
+ 0x3fff: 1,
165
+ 0x3ffff: 1,
166
+ 0x3fffff: 1,
167
+ 0x3ffffff: 1,
168
+ 0x3fffffff: 1,
169
+ 0x3ffffffff: 1,
170
+ 0x3fffffffff: 1,
171
+ 0x3ffffffffff: 1,
172
+ 0x3fffffffffff: 1,
173
+ 0x3ffffffffffff: 1,
174
+ 0x3fffffffffffff: 1,
175
+ 0x3ffffffffffffff: 1,
176
+ 0x3fffffffffffffff: 1,
177
+ 0x3ffffffffffffffff: 1,
178
+ 0x3fffffffffffffffff: 1,
179
+ 0x3ffffffffffffffffff: 1},
180
+ 36: { 0x3: 1,
181
+ 0x3f: 1,
182
+ 0x3ff: 1,
183
+ 0x3fff: 1,
184
+ 0x3ffff: 1,
185
+ 0x3fffff: 1,
186
+ 0x3ffffff: 1,
187
+ 0x3fffffff: 1,
188
+ 0x3ffffffff: 1,
189
+ 0x3fffffffff: 1,
190
+ 0x3ffffffffff: 1,
191
+ 0x3fffffffffff: 1,
192
+ 0x3ffffffffffff: 1,
193
+ 0x3fffffffffffff: 1,
194
+ 0x3ffffffffffffff: 1,
195
+ 0x3fffffffffffffff: 1,
196
+ 0x3ffffffffffffffff: 1,
197
+ 0x3fffffffffffffffff: 1,
198
+ 0x3ffffffffffffffffff: 1,
199
+ 0x3fffffffffffffffffff: 1},
200
+ 38: { 0x3: 1,
201
+ 0x3f: 1,
202
+ 0x3ff: 1,
203
+ 0x3fff: 1,
204
+ 0x3ffff: 1,
205
+ 0x3fffff: 1,
206
+ 0x3ffffff: 1,
207
+ 0x3fffffff: 1,
208
+ 0x3ffffffff: 1,
209
+ 0x3fffffffff: 1,
210
+ 0x3ffffffffff: 1,
211
+ 0x3fffffffffff: 1,
212
+ 0x3ffffffffffff: 1,
213
+ 0x3fffffffffffff: 1,
214
+ 0x3ffffffffffffff: 1,
215
+ 0x3fffffffffffffff: 1,
216
+ 0x3ffffffffffffffff: 1,
217
+ 0x3fffffffffffffffff: 1,
218
+ 0x3ffffffffffffffffff: 1,
219
+ 0x3fffffffffffffffffff: 1,
220
+ 0x3ffffffffffffffffffff: 1},
221
+ 40: { 0x3: 1,
222
+ 0x3f: 1,
223
+ 0x3ff: 1,
224
+ 0x3fff: 1,
225
+ 0x3ffff: 1,
226
+ 0x3fffff: 1,
227
+ 0x3ffffff: 1,
228
+ 0x3fffffff: 1,
229
+ 0x3ffffffff: 1,
230
+ 0x3fffffffff: 1,
231
+ 0x3ffffffffff: 1,
232
+ 0x3fffffffffff: 1,
233
+ 0x3ffffffffffff: 1,
234
+ 0x3fffffffffffff: 1,
235
+ 0x3ffffffffffffff: 1,
236
+ 0x3fffffffffffffff: 1,
237
+ 0x3ffffffffffffffff: 1,
238
+ 0x3fffffffffffffffff: 1,
239
+ 0x3ffffffffffffffffff: 1,
240
+ 0x3fffffffffffffffffff: 1,
241
+ 0x3ffffffffffffffffffff: 1,
242
+ 0x3fffffffffffffffffffff: 1},
243
+ 42: { 0x3: 1,
244
+ 0x3f: 1,
245
+ 0x3ff: 1,
246
+ 0x3fff: 1,
247
+ 0x3ffff: 1,
248
+ 0x3fffff: 1,
249
+ 0x3ffffff: 1,
250
+ 0x3fffffff: 1,
251
+ 0x3ffffffff: 1,
252
+ 0x3fffffffff: 1,
253
+ 0x3ffffffffff: 1,
254
+ 0x3fffffffffff: 1,
255
+ 0x3ffffffffffff: 1,
256
+ 0x3fffffffffffff: 1,
257
+ 0x3ffffffffffffff: 1,
258
+ 0x3fffffffffffffff: 1,
259
+ 0x3ffffffffffffffff: 1,
260
+ 0x3fffffffffffffffff: 1,
261
+ 0x3ffffffffffffffffff: 1,
262
+ 0x3fffffffffffffffffff: 1,
263
+ 0x3ffffffffffffffffffff: 1,
264
+ 0x3fffffffffffffffffffff: 1,
265
+ 0x3ffffffffffffffffffffff: 1},
266
+ 44: { 0x3: 1,
267
+ 0x3f: 1,
268
+ 0x3ff: 1,
269
+ 0x3fff: 1,
270
+ 0x3ffff: 1,
271
+ 0x3fffff: 1,
272
+ 0x3ffffff: 1,
273
+ 0x3fffffff: 1,
274
+ 0x3ffffffff: 1,
275
+ 0x3fffffffff: 1,
276
+ 0x3ffffffffff: 1,
277
+ 0x3fffffffffff: 1,
278
+ 0x3ffffffffffff: 1,
279
+ 0x3fffffffffffff: 1,
280
+ 0x3ffffffffffffff: 1,
281
+ 0x3fffffffffffffff: 1,
282
+ 0x3ffffffffffffffff: 1,
283
+ 0x3fffffffffffffffff: 1,
284
+ 0x3ffffffffffffffffff: 1,
285
+ 0x3fffffffffffffffffff: 1,
286
+ 0x3ffffffffffffffffffff: 1,
287
+ 0x3fffffffffffffffffffff: 1,
288
+ 0x3ffffffffffffffffffffff: 1,
289
+ 0x3fffffffffffffffffffffff: 1},
290
+ 46: { 0x3: 1,
291
+ 0x3f: 1,
292
+ 0x3ff: 1,
293
+ 0x3fff: 1,
294
+ 0x3ffff: 1,
295
+ 0x3fffff: 1,
296
+ 0x3ffffff: 1,
297
+ 0x3fffffff: 1,
298
+ 0x3ffffffff: 1,
299
+ 0x3fffffffff: 1,
300
+ 0x3ffffffffff: 1,
301
+ 0x3fffffffffff: 1,
302
+ 0x3ffffffffffff: 1,
303
+ 0x3fffffffffffff: 1,
304
+ 0x3ffffffffffffff: 1,
305
+ 0x3fffffffffffffff: 1,
306
+ 0x3ffffffffffffffff: 1,
307
+ 0x3fffffffffffffffff: 1,
308
+ 0x3ffffffffffffffffff: 1,
309
+ 0x3fffffffffffffffffff: 1,
310
+ 0x3ffffffffffffffffffff: 1,
311
+ 0x3fffffffffffffffffffff: 1,
312
+ 0x3ffffffffffffffffffffff: 1,
313
+ 0x3fffffffffffffffffffffff: 1,
314
+ 0x3ffffffffffffffffffffffff: 1},
315
+ 48: { 0x3: 1,
316
+ 0x3f: 1,
317
+ 0x3ff: 1,
318
+ 0x3fff: 1,
319
+ 0x3ffff: 1,
320
+ 0x3fffff: 1,
321
+ 0x3ffffff: 1,
322
+ 0x3fffffff: 1,
323
+ 0x3ffffffff: 1,
324
+ 0x3fffffffff: 1,
325
+ 0x3ffffffffff: 1,
326
+ 0x3fffffffffff: 1,
327
+ 0x3ffffffffffff: 1,
328
+ 0x3fffffffffffff: 1,
329
+ 0x3ffffffffffffff: 1,
330
+ 0x3fffffffffffffff: 1,
331
+ 0x3ffffffffffffffff: 1,
332
+ 0x3fffffffffffffffff: 1,
333
+ 0x3ffffffffffffffffff: 1,
334
+ 0x3fffffffffffffffffff: 1,
335
+ 0x3ffffffffffffffffffff: 1,
336
+ 0x3fffffffffffffffffffff: 1,
337
+ 0x3ffffffffffffffffffffff: 1,
338
+ 0x3fffffffffffffffffffffff: 1,
339
+ 0x3ffffffffffffffffffffffff: 1,
340
+ 0x3fffffffffffffffffffffffff: 1},
341
+ 3: {0xf: 1, 0xff: 1, 0xfff: 1},
342
+ 5: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1},
343
+ 7: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1},
344
+ 9: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1},
345
+ 11: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1},
346
+ 13: {0xf: 1, 0xff: 1, 0xfff: 1, 0xffff: 1, 0xfffff: 1, 0xffffff: 1, 0xfffffff: 1, 0xffffffff: 1},
347
+ 15: { 0xf: 1,
348
+ 0xff: 1,
349
+ 0xfff: 1,
350
+ 0xffff: 1,
351
+ 0xfffff: 1,
352
+ 0xffffff: 1,
353
+ 0xfffffff: 1,
354
+ 0xffffffff: 1,
355
+ 0xfffffffff: 1},
356
+ 17: { 0xf: 1,
357
+ 0xff: 1,
358
+ 0xfff: 1,
359
+ 0xffff: 1,
360
+ 0xfffff: 1,
361
+ 0xffffff: 1,
362
+ 0xfffffff: 1,
363
+ 0xffffffff: 1,
364
+ 0xfffffffff: 1,
365
+ 0xffffffffff: 1},
366
+ 19: { 0xf: 1,
367
+ 0xff: 1,
368
+ 0xfff: 1,
369
+ 0xffff: 1,
370
+ 0xfffff: 1,
371
+ 0xffffff: 1,
372
+ 0xfffffff: 1,
373
+ 0xffffffff: 1,
374
+ 0xfffffffff: 1,
375
+ 0xffffffffff: 1,
376
+ 0xfffffffffff: 1},
377
+ 21: { 0xf: 1,
378
+ 0xff: 1,
379
+ 0xfff: 1,
380
+ 0xffff: 1,
381
+ 0xfffff: 1,
382
+ 0xffffff: 1,
383
+ 0xfffffff: 1,
384
+ 0xffffffff: 1,
385
+ 0xfffffffff: 1,
386
+ 0xffffffffff: 1,
387
+ 0xfffffffffff: 1,
388
+ 0xffffffffffff: 1},
389
+ 23: { 0xf: 1,
390
+ 0xff: 1,
391
+ 0xfff: 1,
392
+ 0xffff: 1,
393
+ 0xfffff: 1,
394
+ 0xffffff: 1,
395
+ 0xfffffff: 1,
396
+ 0xffffffff: 1,
397
+ 0xfffffffff: 1,
398
+ 0xffffffffff: 1,
399
+ 0xfffffffffff: 1,
400
+ 0xffffffffffff: 1,
401
+ 0xfffffffffffff: 1},
402
+ 25: { 0xf: 1,
403
+ 0xff: 1,
404
+ 0xfff: 1,
405
+ 0xffff: 1,
406
+ 0xfffff: 1,
407
+ 0xffffff: 1,
408
+ 0xfffffff: 1,
409
+ 0xffffffff: 1,
410
+ 0xfffffffff: 1,
411
+ 0xffffffffff: 1,
412
+ 0xfffffffffff: 1,
413
+ 0xffffffffffff: 1,
414
+ 0xfffffffffffff: 1,
415
+ 0xffffffffffffff: 1},
416
+ 27: { 0xf: 1,
417
+ 0xff: 1,
418
+ 0xfff: 1,
419
+ 0xffff: 1,
420
+ 0xfffff: 1,
421
+ 0xffffff: 1,
422
+ 0xfffffff: 1,
423
+ 0xffffffff: 1,
424
+ 0xfffffffff: 1,
425
+ 0xffffffffff: 1,
426
+ 0xfffffffffff: 1,
427
+ 0xffffffffffff: 1,
428
+ 0xfffffffffffff: 1,
429
+ 0xffffffffffffff: 1,
430
+ 0xfffffffffffffff: 1},
431
+ 29: { 0xf: 1,
432
+ 0xff: 1,
433
+ 0xfff: 1,
434
+ 0xffff: 1,
435
+ 0xfffff: 1,
436
+ 0xffffff: 1,
437
+ 0xfffffff: 1,
438
+ 0xffffffff: 1,
439
+ 0xfffffffff: 1,
440
+ 0xffffffffff: 1,
441
+ 0xfffffffffff: 1,
442
+ 0xffffffffffff: 1,
443
+ 0xfffffffffffff: 1,
444
+ 0xffffffffffffff: 1,
445
+ 0xfffffffffffffff: 1,
446
+ 0xffffffffffffffff: 1},
447
+ 31: { 0xf: 1,
448
+ 0xff: 1,
449
+ 0xfff: 1,
450
+ 0xffff: 1,
451
+ 0xfffff: 1,
452
+ 0xffffff: 1,
453
+ 0xfffffff: 1,
454
+ 0xffffffff: 1,
455
+ 0xfffffffff: 1,
456
+ 0xffffffffff: 1,
457
+ 0xfffffffffff: 1,
458
+ 0xffffffffffff: 1,
459
+ 0xfffffffffffff: 1,
460
+ 0xffffffffffffff: 1,
461
+ 0xfffffffffffffff: 1,
462
+ 0xffffffffffffffff: 1,
463
+ 0xfffffffffffffffff: 1},
464
+ 33: { 0xf: 1,
465
+ 0xff: 1,
466
+ 0xfff: 1,
467
+ 0xffff: 1,
468
+ 0xfffff: 1,
469
+ 0xffffff: 1,
470
+ 0xfffffff: 1,
471
+ 0xffffffff: 1,
472
+ 0xfffffffff: 1,
473
+ 0xffffffffff: 1,
474
+ 0xfffffffffff: 1,
475
+ 0xffffffffffff: 1,
476
+ 0xfffffffffffff: 1,
477
+ 0xffffffffffffff: 1,
478
+ 0xfffffffffffffff: 1,
479
+ 0xffffffffffffffff: 1,
480
+ 0xfffffffffffffffff: 1,
481
+ 0xffffffffffffffffff: 1},
482
+ 35: { 0xf: 1,
483
+ 0xff: 1,
484
+ 0xfff: 1,
485
+ 0xffff: 1,
486
+ 0xfffff: 1,
487
+ 0xffffff: 1,
488
+ 0xfffffff: 1,
489
+ 0xffffffff: 1,
490
+ 0xfffffffff: 1,
491
+ 0xffffffffff: 1,
492
+ 0xfffffffffff: 1,
493
+ 0xffffffffffff: 1,
494
+ 0xfffffffffffff: 1,
495
+ 0xffffffffffffff: 1,
496
+ 0xfffffffffffffff: 1,
497
+ 0xffffffffffffffff: 1,
498
+ 0xfffffffffffffffff: 1,
499
+ 0xffffffffffffffffff: 1,
500
+ 0xfffffffffffffffffff: 1},
501
+ 37: { 0xf: 1,
502
+ 0xff: 1,
503
+ 0xfff: 1,
504
+ 0xffff: 1,
505
+ 0xfffff: 1,
506
+ 0xffffff: 1,
507
+ 0xfffffff: 1,
508
+ 0xffffffff: 1,
509
+ 0xfffffffff: 1,
510
+ 0xffffffffff: 1,
511
+ 0xfffffffffff: 1,
512
+ 0xffffffffffff: 1,
513
+ 0xfffffffffffff: 1,
514
+ 0xffffffffffffff: 1,
515
+ 0xfffffffffffffff: 1,
516
+ 0xffffffffffffffff: 1,
517
+ 0xfffffffffffffffff: 1,
518
+ 0xffffffffffffffffff: 1,
519
+ 0xfffffffffffffffffff: 1,
520
+ 0xffffffffffffffffffff: 1},
521
+ 39: { 0xf: 1,
522
+ 0xff: 1,
523
+ 0xfff: 1,
524
+ 0xffff: 1,
525
+ 0xfffff: 1,
526
+ 0xffffff: 1,
527
+ 0xfffffff: 1,
528
+ 0xffffffff: 1,
529
+ 0xfffffffff: 1,
530
+ 0xffffffffff: 1,
531
+ 0xfffffffffff: 1,
532
+ 0xffffffffffff: 1,
533
+ 0xfffffffffffff: 1,
534
+ 0xffffffffffffff: 1,
535
+ 0xfffffffffffffff: 1,
536
+ 0xffffffffffffffff: 1,
537
+ 0xfffffffffffffffff: 1,
538
+ 0xffffffffffffffffff: 1,
539
+ 0xfffffffffffffffffff: 1,
540
+ 0xffffffffffffffffffff: 1,
541
+ 0xfffffffffffffffffffff: 1},
542
+ 41: { 0xf: 1,
543
+ 0xff: 1,
544
+ 0xfff: 1,
545
+ 0xffff: 1,
546
+ 0xfffff: 1,
547
+ 0xffffff: 1,
548
+ 0xfffffff: 1,
549
+ 0xffffffff: 1,
550
+ 0xfffffffff: 1,
551
+ 0xffffffffff: 1,
552
+ 0xfffffffffff: 1,
553
+ 0xffffffffffff: 1,
554
+ 0xfffffffffffff: 1,
555
+ 0xffffffffffffff: 1,
556
+ 0xfffffffffffffff: 1,
557
+ 0xffffffffffffffff: 1,
558
+ 0xfffffffffffffffff: 1,
559
+ 0xffffffffffffffffff: 1,
560
+ 0xfffffffffffffffffff: 1,
561
+ 0xffffffffffffffffffff: 1,
562
+ 0xfffffffffffffffffffff: 1,
563
+ 0xffffffffffffffffffffff: 1},
564
+ 43: { 0xf: 1,
565
+ 0xff: 1,
566
+ 0xfff: 1,
567
+ 0xffff: 1,
568
+ 0xfffff: 1,
569
+ 0xffffff: 1,
570
+ 0xfffffff: 1,
571
+ 0xffffffff: 1,
572
+ 0xfffffffff: 1,
573
+ 0xffffffffff: 1,
574
+ 0xfffffffffff: 1,
575
+ 0xffffffffffff: 1,
576
+ 0xfffffffffffff: 1,
577
+ 0xffffffffffffff: 1,
578
+ 0xfffffffffffffff: 1,
579
+ 0xffffffffffffffff: 1,
580
+ 0xfffffffffffffffff: 1,
581
+ 0xffffffffffffffffff: 1,
582
+ 0xfffffffffffffffffff: 1,
583
+ 0xffffffffffffffffffff: 1,
584
+ 0xfffffffffffffffffffff: 1,
585
+ 0xffffffffffffffffffffff: 1,
586
+ 0xfffffffffffffffffffffff: 1},
587
+ 45: { 0xf: 1,
588
+ 0xff: 1,
589
+ 0xfff: 1,
590
+ 0xffff: 1,
591
+ 0xfffff: 1,
592
+ 0xffffff: 1,
593
+ 0xfffffff: 1,
594
+ 0xffffffff: 1,
595
+ 0xfffffffff: 1,
596
+ 0xffffffffff: 1,
597
+ 0xfffffffffff: 1,
598
+ 0xffffffffffff: 1,
599
+ 0xfffffffffffff: 1,
600
+ 0xffffffffffffff: 1,
601
+ 0xfffffffffffffff: 1,
602
+ 0xffffffffffffffff: 1,
603
+ 0xfffffffffffffffff: 1,
604
+ 0xffffffffffffffffff: 1,
605
+ 0xfffffffffffffffffff: 1,
606
+ 0xffffffffffffffffffff: 1,
607
+ 0xfffffffffffffffffffff: 1,
608
+ 0xffffffffffffffffffffff: 1,
609
+ 0xfffffffffffffffffffffff: 1,
610
+ 0xffffffffffffffffffffffff: 1},
611
+ 47: { 0xf: 1,
612
+ 0xff: 1,
613
+ 0xfff: 1,
614
+ 0xffff: 1,
615
+ 0xfffff: 1,
616
+ 0xffffff: 1,
617
+ 0xfffffff: 1,
618
+ 0xffffffff: 1,
619
+ 0xfffffffff: 1,
620
+ 0xffffffffff: 1,
621
+ 0xfffffffffff: 1,
622
+ 0xffffffffffff: 1,
623
+ 0xfffffffffffff: 1,
624
+ 0xffffffffffffff: 1,
625
+ 0xfffffffffffffff: 1,
626
+ 0xffffffffffffffff: 1,
627
+ 0xfffffffffffffffff: 1,
628
+ 0xffffffffffffffffff: 1,
629
+ 0xfffffffffffffffffff: 1,
630
+ 0xffffffffffffffffffff: 1,
631
+ 0xfffffffffffffffffffff: 1,
632
+ 0xffffffffffffffffffffff: 1,
633
+ 0xfffffffffffffffffffffff: 1,
634
+ 0xffffffffffffffffffffffff: 1,
635
+ 0xfffffffffffffffffffffffff: 1},
636
+ 49: { 0xf: 1,
637
+ 0xff: 1,
638
+ 0xfff: 1,
639
+ 0xffff: 1,
640
+ 0xfffff: 1,
641
+ 0xffffff: 1,
642
+ 0xfffffff: 1,
643
+ 0xffffffff: 1,
644
+ 0xfffffffff: 1,
645
+ 0xffffffffff: 1,
646
+ 0xfffffffffff: 1,
647
+ 0xffffffffffff: 1,
648
+ 0xfffffffffffff: 1,
649
+ 0xffffffffffffff: 1,
650
+ 0xfffffffffffffff: 1,
651
+ 0xffffffffffffffff: 1,
652
+ 0xfffffffffffffffff: 1,
653
+ 0xffffffffffffffffff: 1,
654
+ 0xfffffffffffffffffff: 1,
655
+ 0xffffffffffffffffffff: 1,
656
+ 0xfffffffffffffffffffff: 1,
657
+ 0xffffffffffffffffffffff: 1,
658
+ 0xfffffffffffffffffffffff: 1,
659
+ 0xffffffffffffffffffffffff: 1,
660
+ 0xfffffffffffffffffffffffff: 1,
661
+ 0xffffffffffffffffffffffffff: 1}
662
+ }
mapFolding/reference/A005316facts.py ADDED
@@ -0,0 +1,62 @@
1
+ """A005316 facts."""
2
+
3
+ dictionary_nToBitWidthDistinctCrossings: dict[int, int] = {
4
+ 0: 1, 1: 1, 2: 1, 3: 2, 4: 2, 5: 4, 6: 4, 7: 6, 8: 7, 9: 9
5
+ , 10: 10, 11: 11, 12: 12, 13: 14, 14: 15, 15: 17, 16: 18, 17: 20, 18: 22, 19: 23
6
+ , 20: 25, 21: 27, 22: 28, 23: 30, 24: 31, 25: 33, 26: 34, 27: 36, 28: 38, 29: 40
7
+ , 30: 41, 31: 43, 32: 44, 33: 46, 34: 48, 35: 50, 36: 51, 37: 53, 38: 54, 39: 56
8
+ , 40: 58, 41: 60, 42: 61, 43: 63, 44: 64, 45: 67, 46: 68, 47: 70, 48: 71, 49: 73
9
+ , 50: 75, 51: 77, 52: 78, 53: 80, 54: 82, 55: 84}
10
+
11
+ listBitWidthIncreases: list[int] = [0, 0, 1, 0, 2, 0, 2, 1, 2, 1, 1, 1, 2, 1, 2, 1, 2
12
+ , 2, 1, 2, 2, 1, 2, 1, 2, 1, 2, 2, 2, 1, 2, 1, 2, 2, 2, 1, 2, 1, 2, 2, 2, 1, 2, 1
13
+ , 3, 1, 2, 1, 2, 2, 2, 1, 2, 2, 2]
14
+ bitWidthIncreaseMaximum = 3
15
+ bitWidthIncreaseMean = 1.51
16
+ bitWidthIncreaseMedian = 2
17
+
18
+ bucketsIf_k_ODD_by_nLess_k: dict[int, int] = {
19
+ 1:2,
20
+ 2:7,
21
+ 3:16,
22
+ 4:42,
23
+ 5:81,
24
+ 6:207,
25
+ 7:382,
26
+ 8:974,
27
+ 9:1769,
28
+ 10:4522,
29
+ 11:8154,
30
+ 12:20903,
31
+ 13:37548,
32
+ 14:96475,
33
+ 15:172905,
34
+ 16:445014,
35
+ 17:796413,
36
+ 18:2052330,
37
+ 19:3669370,
38
+ 20:9464570,
39
+ }
40
+
41
+ bucketsIf_k_EVEN_by_nLess_k: dict[int, int] = {
42
+ 1:3,
43
+ 2:6,
44
+ 3:20,
45
+ 4:37,
46
+ 5:100,
47
+ 6:180,
48
+ 7:468,
49
+ 8:836,
50
+ 9:2156,
51
+ 10:3844,
52
+ 11:9903,
53
+ 12:17650,
54
+ 13:45494,
55
+ 14:81085,
56
+ 15:209157,
57
+ 16:372820,
58
+ 17:962310,
59
+ 18:1715463,
60
+ 19:4430191,
61
+ 20:7898072,
62
+ }
mapFolding/reference/matrixMeandersAnalysis/__init__.py ADDED
@@ -0,0 +1 @@
1
+ # Matrix Meanders Analysis Package