passagemath-categories 10.6.32__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 (719) hide show
  1. passagemath_categories-10.6.32.dist-info/METADATA +156 -0
  2. passagemath_categories-10.6.32.dist-info/RECORD +719 -0
  3. passagemath_categories-10.6.32.dist-info/WHEEL +5 -0
  4. passagemath_categories-10.6.32.dist-info/top_level.txt +2 -0
  5. passagemath_categories.libs/libgcc_s-2d945d6c.so.1 +0 -0
  6. passagemath_categories.libs/libgmp-28992bcb.so.10.5.0 +0 -0
  7. passagemath_categories.libs/libstdc++-85f2cd6d.so.6.0.33 +0 -0
  8. sage/all__sagemath_categories.py +28 -0
  9. sage/arith/all.py +38 -0
  10. sage/arith/constants.pxd +27 -0
  11. sage/arith/functions.cpython-314t-aarch64-linux-musl.so +0 -0
  12. sage/arith/functions.pxd +4 -0
  13. sage/arith/functions.pyx +221 -0
  14. sage/arith/misc.py +6552 -0
  15. sage/arith/multi_modular.cpython-314t-aarch64-linux-musl.so +0 -0
  16. sage/arith/multi_modular.pxd +39 -0
  17. sage/arith/multi_modular.pyx +994 -0
  18. sage/arith/rational_reconstruction.cpython-314t-aarch64-linux-musl.so +0 -0
  19. sage/arith/rational_reconstruction.pxd +4 -0
  20. sage/arith/rational_reconstruction.pyx +115 -0
  21. sage/arith/srange.cpython-314t-aarch64-linux-musl.so +0 -0
  22. sage/arith/srange.pyx +571 -0
  23. sage/calculus/all__sagemath_categories.py +2 -0
  24. sage/calculus/functional.py +481 -0
  25. sage/calculus/functions.py +151 -0
  26. sage/categories/additive_groups.py +73 -0
  27. sage/categories/additive_magmas.py +1044 -0
  28. sage/categories/additive_monoids.py +114 -0
  29. sage/categories/additive_semigroups.py +184 -0
  30. sage/categories/affine_weyl_groups.py +238 -0
  31. sage/categories/algebra_ideals.py +95 -0
  32. sage/categories/algebra_modules.py +96 -0
  33. sage/categories/algebras.py +349 -0
  34. sage/categories/algebras_with_basis.py +377 -0
  35. sage/categories/all.py +160 -0
  36. sage/categories/aperiodic_semigroups.py +29 -0
  37. sage/categories/associative_algebras.py +47 -0
  38. sage/categories/bialgebras.py +101 -0
  39. sage/categories/bialgebras_with_basis.py +414 -0
  40. sage/categories/bimodules.py +206 -0
  41. sage/categories/chain_complexes.py +268 -0
  42. sage/categories/classical_crystals.py +480 -0
  43. sage/categories/coalgebras.py +405 -0
  44. sage/categories/coalgebras_with_basis.py +232 -0
  45. sage/categories/coercion_methods.cpython-314t-aarch64-linux-musl.so +0 -0
  46. sage/categories/coercion_methods.pyx +52 -0
  47. sage/categories/commutative_additive_groups.py +104 -0
  48. sage/categories/commutative_additive_monoids.py +45 -0
  49. sage/categories/commutative_additive_semigroups.py +48 -0
  50. sage/categories/commutative_algebra_ideals.py +87 -0
  51. sage/categories/commutative_algebras.py +94 -0
  52. sage/categories/commutative_ring_ideals.py +58 -0
  53. sage/categories/commutative_rings.py +736 -0
  54. sage/categories/complete_discrete_valuation.py +293 -0
  55. sage/categories/complex_reflection_groups.py +145 -0
  56. sage/categories/complex_reflection_or_generalized_coxeter_groups.py +1249 -0
  57. sage/categories/coxeter_group_algebras.py +186 -0
  58. sage/categories/coxeter_groups.py +3402 -0
  59. sage/categories/crystals.py +2628 -0
  60. sage/categories/cw_complexes.py +216 -0
  61. sage/categories/dedekind_domains.py +137 -0
  62. sage/categories/discrete_valuation.py +325 -0
  63. sage/categories/distributive_magmas_and_additive_magmas.py +100 -0
  64. sage/categories/division_rings.py +114 -0
  65. sage/categories/domains.py +95 -0
  66. sage/categories/drinfeld_modules.py +789 -0
  67. sage/categories/dual.py +42 -0
  68. sage/categories/enumerated_sets.py +1146 -0
  69. sage/categories/euclidean_domains.py +271 -0
  70. sage/categories/examples/algebras_with_basis.py +102 -0
  71. sage/categories/examples/all.py +1 -0
  72. sage/categories/examples/commutative_additive_monoids.py +130 -0
  73. sage/categories/examples/commutative_additive_semigroups.py +199 -0
  74. sage/categories/examples/coxeter_groups.py +8 -0
  75. sage/categories/examples/crystals.py +236 -0
  76. sage/categories/examples/cw_complexes.py +163 -0
  77. sage/categories/examples/facade_sets.py +187 -0
  78. sage/categories/examples/filtered_algebras_with_basis.py +204 -0
  79. sage/categories/examples/filtered_modules_with_basis.py +154 -0
  80. sage/categories/examples/finite_coxeter_groups.py +252 -0
  81. sage/categories/examples/finite_dimensional_algebras_with_basis.py +148 -0
  82. sage/categories/examples/finite_dimensional_lie_algebras_with_basis.py +495 -0
  83. sage/categories/examples/finite_enumerated_sets.py +208 -0
  84. sage/categories/examples/finite_monoids.py +150 -0
  85. sage/categories/examples/finite_semigroups.py +190 -0
  86. sage/categories/examples/finite_weyl_groups.py +191 -0
  87. sage/categories/examples/graded_connected_hopf_algebras_with_basis.py +152 -0
  88. sage/categories/examples/graded_modules_with_basis.py +168 -0
  89. sage/categories/examples/graphs.py +122 -0
  90. sage/categories/examples/hopf_algebras_with_basis.py +145 -0
  91. sage/categories/examples/infinite_enumerated_sets.py +190 -0
  92. sage/categories/examples/lie_algebras.py +352 -0
  93. sage/categories/examples/lie_algebras_with_basis.py +196 -0
  94. sage/categories/examples/magmas.py +162 -0
  95. sage/categories/examples/manifolds.py +94 -0
  96. sage/categories/examples/monoids.py +144 -0
  97. sage/categories/examples/posets.py +178 -0
  98. sage/categories/examples/semigroups.py +580 -0
  99. sage/categories/examples/semigroups_cython.cpython-314t-aarch64-linux-musl.so +0 -0
  100. sage/categories/examples/semigroups_cython.pyx +221 -0
  101. sage/categories/examples/semirings.py +249 -0
  102. sage/categories/examples/sets_cat.py +706 -0
  103. sage/categories/examples/sets_with_grading.py +101 -0
  104. sage/categories/examples/with_realizations.py +542 -0
  105. sage/categories/fields.py +991 -0
  106. sage/categories/filtered_algebras.py +63 -0
  107. sage/categories/filtered_algebras_with_basis.py +548 -0
  108. sage/categories/filtered_hopf_algebras_with_basis.py +138 -0
  109. sage/categories/filtered_modules.py +210 -0
  110. sage/categories/filtered_modules_with_basis.py +1209 -0
  111. sage/categories/finite_complex_reflection_groups.py +1506 -0
  112. sage/categories/finite_coxeter_groups.py +1138 -0
  113. sage/categories/finite_crystals.py +103 -0
  114. sage/categories/finite_dimensional_algebras_with_basis.py +1860 -0
  115. sage/categories/finite_dimensional_bialgebras_with_basis.py +33 -0
  116. sage/categories/finite_dimensional_coalgebras_with_basis.py +33 -0
  117. sage/categories/finite_dimensional_graded_lie_algebras_with_basis.py +231 -0
  118. sage/categories/finite_dimensional_hopf_algebras_with_basis.py +38 -0
  119. sage/categories/finite_dimensional_lie_algebras_with_basis.py +2774 -0
  120. sage/categories/finite_dimensional_modules_with_basis.py +1407 -0
  121. sage/categories/finite_dimensional_nilpotent_lie_algebras_with_basis.py +167 -0
  122. sage/categories/finite_dimensional_semisimple_algebras_with_basis.py +270 -0
  123. sage/categories/finite_enumerated_sets.py +769 -0
  124. sage/categories/finite_fields.py +252 -0
  125. sage/categories/finite_groups.py +256 -0
  126. sage/categories/finite_lattice_posets.py +242 -0
  127. sage/categories/finite_monoids.py +316 -0
  128. sage/categories/finite_permutation_groups.py +339 -0
  129. sage/categories/finite_posets.py +1994 -0
  130. sage/categories/finite_semigroups.py +136 -0
  131. sage/categories/finite_sets.py +93 -0
  132. sage/categories/finite_weyl_groups.py +39 -0
  133. sage/categories/finitely_generated_lambda_bracket_algebras.py +112 -0
  134. sage/categories/finitely_generated_lie_conformal_algebras.py +114 -0
  135. sage/categories/finitely_generated_magmas.py +57 -0
  136. sage/categories/finitely_generated_semigroups.py +214 -0
  137. sage/categories/function_fields.py +76 -0
  138. sage/categories/g_sets.py +77 -0
  139. sage/categories/gcd_domains.py +65 -0
  140. sage/categories/generalized_coxeter_groups.py +94 -0
  141. sage/categories/graded_algebras.py +85 -0
  142. sage/categories/graded_algebras_with_basis.py +258 -0
  143. sage/categories/graded_bialgebras.py +32 -0
  144. sage/categories/graded_bialgebras_with_basis.py +32 -0
  145. sage/categories/graded_coalgebras.py +65 -0
  146. sage/categories/graded_coalgebras_with_basis.py +51 -0
  147. sage/categories/graded_hopf_algebras.py +41 -0
  148. sage/categories/graded_hopf_algebras_with_basis.py +169 -0
  149. sage/categories/graded_lie_algebras.py +91 -0
  150. sage/categories/graded_lie_algebras_with_basis.py +44 -0
  151. sage/categories/graded_lie_conformal_algebras.py +74 -0
  152. sage/categories/graded_modules.py +133 -0
  153. sage/categories/graded_modules_with_basis.py +329 -0
  154. sage/categories/graphs.py +138 -0
  155. sage/categories/group_algebras.py +430 -0
  156. sage/categories/groupoid.py +94 -0
  157. sage/categories/groups.py +667 -0
  158. sage/categories/h_trivial_semigroups.py +64 -0
  159. sage/categories/hecke_modules.py +185 -0
  160. sage/categories/highest_weight_crystals.py +980 -0
  161. sage/categories/hopf_algebras.py +219 -0
  162. sage/categories/hopf_algebras_with_basis.py +309 -0
  163. sage/categories/infinite_enumerated_sets.py +115 -0
  164. sage/categories/integral_domains.py +203 -0
  165. sage/categories/j_trivial_semigroups.py +29 -0
  166. sage/categories/kac_moody_algebras.py +82 -0
  167. sage/categories/kahler_algebras.py +203 -0
  168. sage/categories/l_trivial_semigroups.py +63 -0
  169. sage/categories/lambda_bracket_algebras.py +280 -0
  170. sage/categories/lambda_bracket_algebras_with_basis.py +107 -0
  171. sage/categories/lattice_posets.py +89 -0
  172. sage/categories/left_modules.py +49 -0
  173. sage/categories/lie_algebras.py +1070 -0
  174. sage/categories/lie_algebras_with_basis.py +261 -0
  175. sage/categories/lie_conformal_algebras.py +350 -0
  176. sage/categories/lie_conformal_algebras_with_basis.py +147 -0
  177. sage/categories/lie_groups.py +73 -0
  178. sage/categories/loop_crystals.py +1290 -0
  179. sage/categories/magmas.py +1189 -0
  180. sage/categories/magmas_and_additive_magmas.py +149 -0
  181. sage/categories/magmatic_algebras.py +365 -0
  182. sage/categories/manifolds.py +352 -0
  183. sage/categories/matrix_algebras.py +40 -0
  184. sage/categories/metric_spaces.py +387 -0
  185. sage/categories/modular_abelian_varieties.py +78 -0
  186. sage/categories/modules.py +989 -0
  187. sage/categories/modules_with_basis.py +2794 -0
  188. sage/categories/monoid_algebras.py +38 -0
  189. sage/categories/monoids.py +739 -0
  190. sage/categories/noetherian_rings.py +87 -0
  191. sage/categories/number_fields.py +242 -0
  192. sage/categories/ore_modules.py +189 -0
  193. sage/categories/partially_ordered_monoids.py +49 -0
  194. sage/categories/permutation_groups.py +63 -0
  195. sage/categories/pointed_sets.py +42 -0
  196. sage/categories/polyhedra.py +74 -0
  197. sage/categories/poor_man_map.py +270 -0
  198. sage/categories/posets.py +722 -0
  199. sage/categories/principal_ideal_domains.py +270 -0
  200. sage/categories/quantum_group_representations.py +543 -0
  201. sage/categories/quotient_fields.py +728 -0
  202. sage/categories/r_trivial_semigroups.py +45 -0
  203. sage/categories/regular_crystals.py +898 -0
  204. sage/categories/regular_supercrystals.py +170 -0
  205. sage/categories/right_modules.py +49 -0
  206. sage/categories/ring_ideals.py +74 -0
  207. sage/categories/rings.py +1904 -0
  208. sage/categories/rngs.py +175 -0
  209. sage/categories/schemes.py +393 -0
  210. sage/categories/semigroups.py +1060 -0
  211. sage/categories/semirings.py +71 -0
  212. sage/categories/semisimple_algebras.py +114 -0
  213. sage/categories/sets_with_grading.py +235 -0
  214. sage/categories/shephard_groups.py +43 -0
  215. sage/categories/signed_tensor.py +120 -0
  216. sage/categories/simplicial_complexes.py +134 -0
  217. sage/categories/simplicial_sets.py +1206 -0
  218. sage/categories/super_algebras.py +149 -0
  219. sage/categories/super_algebras_with_basis.py +144 -0
  220. sage/categories/super_hopf_algebras_with_basis.py +126 -0
  221. sage/categories/super_lie_conformal_algebras.py +193 -0
  222. sage/categories/super_modules.py +229 -0
  223. sage/categories/super_modules_with_basis.py +193 -0
  224. sage/categories/supercommutative_algebras.py +99 -0
  225. sage/categories/supercrystals.py +406 -0
  226. sage/categories/tensor.py +110 -0
  227. sage/categories/topological_spaces.py +170 -0
  228. sage/categories/triangular_kac_moody_algebras.py +439 -0
  229. sage/categories/tutorial.py +58 -0
  230. sage/categories/unique_factorization_domains.py +318 -0
  231. sage/categories/unital_algebras.py +426 -0
  232. sage/categories/vector_bundles.py +159 -0
  233. sage/categories/vector_spaces.py +357 -0
  234. sage/categories/weyl_groups.py +853 -0
  235. sage/combinat/all__sagemath_categories.py +34 -0
  236. sage/combinat/backtrack.py +180 -0
  237. sage/combinat/combinat.py +2269 -0
  238. sage/combinat/combinat_cython.cpython-314t-aarch64-linux-musl.so +0 -0
  239. sage/combinat/combinat_cython.pxd +6 -0
  240. sage/combinat/combinat_cython.pyx +390 -0
  241. sage/combinat/combination.py +796 -0
  242. sage/combinat/combinatorial_map.py +416 -0
  243. sage/combinat/composition.py +2192 -0
  244. sage/combinat/dlx.py +510 -0
  245. sage/combinat/integer_lists/__init__.py +7 -0
  246. sage/combinat/integer_lists/base.cpython-314t-aarch64-linux-musl.so +0 -0
  247. sage/combinat/integer_lists/base.pxd +16 -0
  248. sage/combinat/integer_lists/base.pyx +713 -0
  249. sage/combinat/integer_lists/invlex.cpython-314t-aarch64-linux-musl.so +0 -0
  250. sage/combinat/integer_lists/invlex.pxd +4 -0
  251. sage/combinat/integer_lists/invlex.pyx +1650 -0
  252. sage/combinat/integer_lists/lists.py +328 -0
  253. sage/combinat/integer_lists/nn.py +48 -0
  254. sage/combinat/integer_vector.py +1818 -0
  255. sage/combinat/integer_vector_weighted.py +413 -0
  256. sage/combinat/matrices/all__sagemath_categories.py +5 -0
  257. sage/combinat/matrices/dancing_links.cpython-314t-aarch64-linux-musl.so +0 -0
  258. sage/combinat/matrices/dancing_links.pyx +1159 -0
  259. sage/combinat/matrices/dancing_links_c.h +380 -0
  260. sage/combinat/matrices/dlxcpp.py +136 -0
  261. sage/combinat/partition.py +10070 -0
  262. sage/combinat/partitions.cpython-314t-aarch64-linux-musl.so +0 -0
  263. sage/combinat/partitions.pyx +743 -0
  264. sage/combinat/permutation.py +10168 -0
  265. sage/combinat/permutation_cython.cpython-314t-aarch64-linux-musl.so +0 -0
  266. sage/combinat/permutation_cython.pxd +11 -0
  267. sage/combinat/permutation_cython.pyx +407 -0
  268. sage/combinat/q_analogues.py +1090 -0
  269. sage/combinat/ranker.py +268 -0
  270. sage/combinat/subset.py +1561 -0
  271. sage/combinat/subsets_hereditary.py +202 -0
  272. sage/combinat/subsets_pairwise.py +184 -0
  273. sage/combinat/tools.py +63 -0
  274. sage/combinat/tuple.py +348 -0
  275. sage/data_structures/all.py +2 -0
  276. sage/data_structures/all__sagemath_categories.py +2 -0
  277. sage/data_structures/binary_matrix.pxd +138 -0
  278. sage/data_structures/binary_search.cpython-314t-aarch64-linux-musl.so +0 -0
  279. sage/data_structures/binary_search.pxd +3 -0
  280. sage/data_structures/binary_search.pyx +66 -0
  281. sage/data_structures/bitset.cpython-314t-aarch64-linux-musl.so +0 -0
  282. sage/data_structures/bitset.pxd +40 -0
  283. sage/data_structures/bitset.pyx +2385 -0
  284. sage/data_structures/bitset_base.cpython-314t-aarch64-linux-musl.so +0 -0
  285. sage/data_structures/bitset_base.pxd +926 -0
  286. sage/data_structures/bitset_base.pyx +117 -0
  287. sage/data_structures/bitset_intrinsics.h +487 -0
  288. sage/data_structures/blas_dict.cpython-314t-aarch64-linux-musl.so +0 -0
  289. sage/data_structures/blas_dict.pxd +12 -0
  290. sage/data_structures/blas_dict.pyx +469 -0
  291. sage/data_structures/list_of_pairs.cpython-314t-aarch64-linux-musl.so +0 -0
  292. sage/data_structures/list_of_pairs.pxd +16 -0
  293. sage/data_structures/list_of_pairs.pyx +122 -0
  294. sage/data_structures/mutable_poset.py +3312 -0
  295. sage/data_structures/pairing_heap.cpython-314t-aarch64-linux-musl.so +0 -0
  296. sage/data_structures/pairing_heap.h +346 -0
  297. sage/data_structures/pairing_heap.pxd +88 -0
  298. sage/data_structures/pairing_heap.pyx +1464 -0
  299. sage/data_structures/sparse_bitset.pxd +62 -0
  300. sage/data_structures/stream.py +5070 -0
  301. sage/databases/all__sagemath_categories.py +7 -0
  302. sage/databases/sql_db.py +2236 -0
  303. sage/ext/all__sagemath_categories.py +3 -0
  304. sage/ext/fast_callable.cpython-314t-aarch64-linux-musl.so +0 -0
  305. sage/ext/fast_callable.pxd +4 -0
  306. sage/ext/fast_callable.pyx +2746 -0
  307. sage/ext/fast_eval.cpython-314t-aarch64-linux-musl.so +0 -0
  308. sage/ext/fast_eval.pxd +1 -0
  309. sage/ext/fast_eval.pyx +102 -0
  310. sage/ext/interpreters/__init__.py +1 -0
  311. sage/ext/interpreters/all__sagemath_categories.py +2 -0
  312. sage/ext/interpreters/wrapper_el.cpython-314t-aarch64-linux-musl.so +0 -0
  313. sage/ext/interpreters/wrapper_el.pxd +18 -0
  314. sage/ext/interpreters/wrapper_el.pyx +148 -0
  315. sage/ext/interpreters/wrapper_py.cpython-314t-aarch64-linux-musl.so +0 -0
  316. sage/ext/interpreters/wrapper_py.pxd +17 -0
  317. sage/ext/interpreters/wrapper_py.pyx +133 -0
  318. sage/functions/airy.py +937 -0
  319. sage/functions/all.py +97 -0
  320. sage/functions/bessel.py +2102 -0
  321. sage/functions/error.py +784 -0
  322. sage/functions/exp_integral.py +1529 -0
  323. sage/functions/gamma.py +1087 -0
  324. sage/functions/generalized.py +672 -0
  325. sage/functions/hyperbolic.py +747 -0
  326. sage/functions/hypergeometric.py +1156 -0
  327. sage/functions/jacobi.py +1705 -0
  328. sage/functions/log.py +1402 -0
  329. sage/functions/min_max.py +338 -0
  330. sage/functions/orthogonal_polys.py +3106 -0
  331. sage/functions/other.py +2303 -0
  332. sage/functions/piecewise.py +1505 -0
  333. sage/functions/prime_pi.cpython-314t-aarch64-linux-musl.so +0 -0
  334. sage/functions/prime_pi.pyx +262 -0
  335. sage/functions/special.py +1212 -0
  336. sage/functions/spike_function.py +278 -0
  337. sage/functions/transcendental.py +690 -0
  338. sage/functions/trig.py +1062 -0
  339. sage/functions/wigner.py +726 -0
  340. sage/geometry/abc.cpython-314t-aarch64-linux-musl.so +0 -0
  341. sage/geometry/abc.pyx +82 -0
  342. sage/geometry/all__sagemath_categories.py +1 -0
  343. sage/groups/all__sagemath_categories.py +11 -0
  344. sage/groups/generic.py +1733 -0
  345. sage/groups/groups_catalog.py +113 -0
  346. sage/groups/perm_gps/all__sagemath_categories.py +1 -0
  347. sage/groups/perm_gps/partn_ref/all.py +1 -0
  348. sage/groups/perm_gps/partn_ref/all__sagemath_categories.py +1 -0
  349. sage/groups/perm_gps/partn_ref/automorphism_group_canonical_label.cpython-314t-aarch64-linux-musl.so +0 -0
  350. sage/groups/perm_gps/partn_ref/automorphism_group_canonical_label.pxd +52 -0
  351. sage/groups/perm_gps/partn_ref/automorphism_group_canonical_label.pyx +906 -0
  352. sage/groups/perm_gps/partn_ref/canonical_augmentation.cpython-314t-aarch64-linux-musl.so +0 -0
  353. sage/groups/perm_gps/partn_ref/canonical_augmentation.pxd +85 -0
  354. sage/groups/perm_gps/partn_ref/canonical_augmentation.pyx +534 -0
  355. sage/groups/perm_gps/partn_ref/data_structures.cpython-314t-aarch64-linux-musl.so +0 -0
  356. sage/groups/perm_gps/partn_ref/data_structures.pxd +576 -0
  357. sage/groups/perm_gps/partn_ref/data_structures.pyx +1792 -0
  358. sage/groups/perm_gps/partn_ref/double_coset.cpython-314t-aarch64-linux-musl.so +0 -0
  359. sage/groups/perm_gps/partn_ref/double_coset.pxd +45 -0
  360. sage/groups/perm_gps/partn_ref/double_coset.pyx +739 -0
  361. sage/groups/perm_gps/partn_ref/refinement_lists.cpython-314t-aarch64-linux-musl.so +0 -0
  362. sage/groups/perm_gps/partn_ref/refinement_lists.pxd +18 -0
  363. sage/groups/perm_gps/partn_ref/refinement_lists.pyx +82 -0
  364. sage/groups/perm_gps/partn_ref/refinement_python.cpython-314t-aarch64-linux-musl.so +0 -0
  365. sage/groups/perm_gps/partn_ref/refinement_python.pxd +16 -0
  366. sage/groups/perm_gps/partn_ref/refinement_python.pyx +564 -0
  367. sage/groups/perm_gps/partn_ref/refinement_sets.cpython-314t-aarch64-linux-musl.so +0 -0
  368. sage/groups/perm_gps/partn_ref/refinement_sets.pxd +60 -0
  369. sage/groups/perm_gps/partn_ref/refinement_sets.pyx +858 -0
  370. sage/interfaces/abc.py +140 -0
  371. sage/interfaces/all.py +58 -0
  372. sage/interfaces/all__sagemath_categories.py +1 -0
  373. sage/interfaces/expect.py +1643 -0
  374. sage/interfaces/interface.py +1682 -0
  375. sage/interfaces/process.cpython-314t-aarch64-linux-musl.so +0 -0
  376. sage/interfaces/process.pxd +5 -0
  377. sage/interfaces/process.pyx +288 -0
  378. sage/interfaces/quit.py +167 -0
  379. sage/interfaces/sage0.py +604 -0
  380. sage/interfaces/sagespawn.cpython-314t-aarch64-linux-musl.so +0 -0
  381. sage/interfaces/sagespawn.pyx +308 -0
  382. sage/interfaces/tab_completion.py +101 -0
  383. sage/misc/all__sagemath_categories.py +78 -0
  384. sage/misc/allocator.cpython-314t-aarch64-linux-musl.so +0 -0
  385. sage/misc/allocator.pxd +6 -0
  386. sage/misc/allocator.pyx +47 -0
  387. sage/misc/binary_tree.cpython-314t-aarch64-linux-musl.so +0 -0
  388. sage/misc/binary_tree.pxd +29 -0
  389. sage/misc/binary_tree.pyx +537 -0
  390. sage/misc/callable_dict.cpython-314t-aarch64-linux-musl.so +0 -0
  391. sage/misc/callable_dict.pyx +89 -0
  392. sage/misc/citation.cpython-314t-aarch64-linux-musl.so +0 -0
  393. sage/misc/citation.pyx +159 -0
  394. sage/misc/converting_dict.py +293 -0
  395. sage/misc/defaults.py +129 -0
  396. sage/misc/derivative.cpython-314t-aarch64-linux-musl.so +0 -0
  397. sage/misc/derivative.pyx +223 -0
  398. sage/misc/functional.py +2005 -0
  399. sage/misc/html.py +589 -0
  400. sage/misc/latex.py +2673 -0
  401. sage/misc/latex_macros.py +236 -0
  402. sage/misc/latex_standalone.py +1833 -0
  403. sage/misc/map_threaded.py +38 -0
  404. sage/misc/mathml.py +76 -0
  405. sage/misc/method_decorator.py +88 -0
  406. sage/misc/mrange.py +755 -0
  407. sage/misc/multireplace.py +41 -0
  408. sage/misc/object_multiplexer.py +92 -0
  409. sage/misc/parser.cpython-314t-aarch64-linux-musl.so +0 -0
  410. sage/misc/parser.pyx +1107 -0
  411. sage/misc/random_testing.py +264 -0
  412. sage/misc/rest_index_of_methods.py +377 -0
  413. sage/misc/search.cpython-314t-aarch64-linux-musl.so +0 -0
  414. sage/misc/search.pxd +2 -0
  415. sage/misc/search.pyx +68 -0
  416. sage/misc/stopgap.cpython-314t-aarch64-linux-musl.so +0 -0
  417. sage/misc/stopgap.pyx +95 -0
  418. sage/misc/table.py +853 -0
  419. sage/monoids/all__sagemath_categories.py +1 -0
  420. sage/monoids/indexed_free_monoid.py +1071 -0
  421. sage/monoids/monoid.py +82 -0
  422. sage/numerical/all__sagemath_categories.py +1 -0
  423. sage/numerical/backends/all__sagemath_categories.py +1 -0
  424. sage/numerical/backends/generic_backend.cpython-314t-aarch64-linux-musl.so +0 -0
  425. sage/numerical/backends/generic_backend.pxd +61 -0
  426. sage/numerical/backends/generic_backend.pyx +1893 -0
  427. sage/numerical/backends/generic_sdp_backend.cpython-314t-aarch64-linux-musl.so +0 -0
  428. sage/numerical/backends/generic_sdp_backend.pxd +38 -0
  429. sage/numerical/backends/generic_sdp_backend.pyx +755 -0
  430. sage/parallel/all.py +6 -0
  431. sage/parallel/decorate.py +575 -0
  432. sage/parallel/map_reduce.py +1997 -0
  433. sage/parallel/multiprocessing_sage.py +76 -0
  434. sage/parallel/ncpus.py +35 -0
  435. sage/parallel/parallelism.py +364 -0
  436. sage/parallel/reference.py +47 -0
  437. sage/parallel/use_fork.py +333 -0
  438. sage/rings/abc.cpython-314t-aarch64-linux-musl.so +0 -0
  439. sage/rings/abc.pxd +31 -0
  440. sage/rings/abc.pyx +526 -0
  441. sage/rings/algebraic_closure_finite_field.py +1154 -0
  442. sage/rings/all__sagemath_categories.py +91 -0
  443. sage/rings/big_oh.py +227 -0
  444. sage/rings/continued_fraction.py +2754 -0
  445. sage/rings/continued_fraction_gosper.py +220 -0
  446. sage/rings/factorint.cpython-314t-aarch64-linux-musl.so +0 -0
  447. sage/rings/factorint.pyx +295 -0
  448. sage/rings/fast_arith.cpython-314t-aarch64-linux-musl.so +0 -0
  449. sage/rings/fast_arith.pxd +21 -0
  450. sage/rings/fast_arith.pyx +535 -0
  451. sage/rings/finite_rings/all__sagemath_categories.py +9 -0
  452. sage/rings/finite_rings/conway_polynomials.py +542 -0
  453. sage/rings/finite_rings/element_base.cpython-314t-aarch64-linux-musl.so +0 -0
  454. sage/rings/finite_rings/element_base.pxd +12 -0
  455. sage/rings/finite_rings/element_base.pyx +1176 -0
  456. sage/rings/finite_rings/finite_field_base.cpython-314t-aarch64-linux-musl.so +0 -0
  457. sage/rings/finite_rings/finite_field_base.pxd +7 -0
  458. sage/rings/finite_rings/finite_field_base.pyx +2171 -0
  459. sage/rings/finite_rings/finite_field_constructor.py +827 -0
  460. sage/rings/finite_rings/finite_field_prime_modn.py +372 -0
  461. sage/rings/finite_rings/galois_group.py +154 -0
  462. sage/rings/finite_rings/hom_finite_field.cpython-314t-aarch64-linux-musl.so +0 -0
  463. sage/rings/finite_rings/hom_finite_field.pxd +23 -0
  464. sage/rings/finite_rings/hom_finite_field.pyx +856 -0
  465. sage/rings/finite_rings/hom_prime_finite_field.cpython-314t-aarch64-linux-musl.so +0 -0
  466. sage/rings/finite_rings/hom_prime_finite_field.pxd +15 -0
  467. sage/rings/finite_rings/hom_prime_finite_field.pyx +164 -0
  468. sage/rings/finite_rings/homset.py +357 -0
  469. sage/rings/finite_rings/integer_mod.cpython-314t-aarch64-linux-musl.so +0 -0
  470. sage/rings/finite_rings/integer_mod.pxd +56 -0
  471. sage/rings/finite_rings/integer_mod.pyx +4586 -0
  472. sage/rings/finite_rings/integer_mod_limits.h +11 -0
  473. sage/rings/finite_rings/integer_mod_ring.py +2044 -0
  474. sage/rings/finite_rings/residue_field.cpython-314t-aarch64-linux-musl.so +0 -0
  475. sage/rings/finite_rings/residue_field.pxd +30 -0
  476. sage/rings/finite_rings/residue_field.pyx +1811 -0
  477. sage/rings/finite_rings/stdint.pxd +19 -0
  478. sage/rings/fraction_field.py +1452 -0
  479. sage/rings/fraction_field_element.cpython-314t-aarch64-linux-musl.so +0 -0
  480. sage/rings/fraction_field_element.pyx +1357 -0
  481. sage/rings/function_field/all.py +7 -0
  482. sage/rings/function_field/all__sagemath_categories.py +2 -0
  483. sage/rings/function_field/constructor.py +218 -0
  484. sage/rings/function_field/element.cpython-314t-aarch64-linux-musl.so +0 -0
  485. sage/rings/function_field/element.pxd +11 -0
  486. sage/rings/function_field/element.pyx +1008 -0
  487. sage/rings/function_field/element_rational.cpython-314t-aarch64-linux-musl.so +0 -0
  488. sage/rings/function_field/element_rational.pyx +513 -0
  489. sage/rings/function_field/extensions.py +230 -0
  490. sage/rings/function_field/function_field.py +1468 -0
  491. sage/rings/function_field/function_field_rational.py +1005 -0
  492. sage/rings/function_field/ideal.py +1155 -0
  493. sage/rings/function_field/ideal_rational.py +629 -0
  494. sage/rings/function_field/jacobian_base.py +826 -0
  495. sage/rings/function_field/jacobian_hess.py +1053 -0
  496. sage/rings/function_field/jacobian_khuri_makdisi.py +1027 -0
  497. sage/rings/function_field/maps.py +1039 -0
  498. sage/rings/function_field/order.py +281 -0
  499. sage/rings/function_field/order_basis.py +586 -0
  500. sage/rings/function_field/order_rational.py +576 -0
  501. sage/rings/function_field/place.py +426 -0
  502. sage/rings/function_field/place_rational.py +181 -0
  503. sage/rings/generic.py +320 -0
  504. sage/rings/homset.py +332 -0
  505. sage/rings/ideal.py +1885 -0
  506. sage/rings/ideal_monoid.py +215 -0
  507. sage/rings/infinity.py +1890 -0
  508. sage/rings/integer.cpython-314t-aarch64-linux-musl.so +0 -0
  509. sage/rings/integer.pxd +45 -0
  510. sage/rings/integer.pyx +7874 -0
  511. sage/rings/integer_ring.cpython-314t-aarch64-linux-musl.so +0 -0
  512. sage/rings/integer_ring.pxd +8 -0
  513. sage/rings/integer_ring.pyx +1693 -0
  514. sage/rings/laurent_series_ring.py +931 -0
  515. sage/rings/laurent_series_ring_element.cpython-314t-aarch64-linux-musl.so +0 -0
  516. sage/rings/laurent_series_ring_element.pxd +11 -0
  517. sage/rings/laurent_series_ring_element.pyx +1927 -0
  518. sage/rings/lazy_series.py +7815 -0
  519. sage/rings/lazy_series_ring.py +4356 -0
  520. sage/rings/localization.py +1043 -0
  521. sage/rings/morphism.cpython-314t-aarch64-linux-musl.so +0 -0
  522. sage/rings/morphism.pxd +39 -0
  523. sage/rings/morphism.pyx +3299 -0
  524. sage/rings/multi_power_series_ring.py +1145 -0
  525. sage/rings/multi_power_series_ring_element.py +2184 -0
  526. sage/rings/noncommutative_ideals.cpython-314t-aarch64-linux-musl.so +0 -0
  527. sage/rings/noncommutative_ideals.pyx +423 -0
  528. sage/rings/number_field/all__sagemath_categories.py +1 -0
  529. sage/rings/number_field/number_field_base.cpython-314t-aarch64-linux-musl.so +0 -0
  530. sage/rings/number_field/number_field_base.pxd +8 -0
  531. sage/rings/number_field/number_field_base.pyx +507 -0
  532. sage/rings/number_field/number_field_element_base.cpython-314t-aarch64-linux-musl.so +0 -0
  533. sage/rings/number_field/number_field_element_base.pxd +6 -0
  534. sage/rings/number_field/number_field_element_base.pyx +36 -0
  535. sage/rings/number_field/number_field_ideal.py +3550 -0
  536. sage/rings/padics/all__sagemath_categories.py +4 -0
  537. sage/rings/padics/local_generic.py +1670 -0
  538. sage/rings/padics/local_generic_element.cpython-314t-aarch64-linux-musl.so +0 -0
  539. sage/rings/padics/local_generic_element.pxd +5 -0
  540. sage/rings/padics/local_generic_element.pyx +1017 -0
  541. sage/rings/padics/misc.py +256 -0
  542. sage/rings/padics/padic_generic.py +1911 -0
  543. sage/rings/padics/pow_computer.cpython-314t-aarch64-linux-musl.so +0 -0
  544. sage/rings/padics/pow_computer.pxd +38 -0
  545. sage/rings/padics/pow_computer.pyx +671 -0
  546. sage/rings/padics/precision_error.py +24 -0
  547. sage/rings/polynomial/all__sagemath_categories.py +25 -0
  548. sage/rings/polynomial/commutative_polynomial.cpython-314t-aarch64-linux-musl.so +0 -0
  549. sage/rings/polynomial/commutative_polynomial.pxd +6 -0
  550. sage/rings/polynomial/commutative_polynomial.pyx +24 -0
  551. sage/rings/polynomial/cyclotomic.cpython-314t-aarch64-linux-musl.so +0 -0
  552. sage/rings/polynomial/cyclotomic.pyx +404 -0
  553. sage/rings/polynomial/flatten.py +711 -0
  554. sage/rings/polynomial/ideal.py +102 -0
  555. sage/rings/polynomial/infinite_polynomial_element.py +1768 -0
  556. sage/rings/polynomial/infinite_polynomial_ring.py +1653 -0
  557. sage/rings/polynomial/laurent_polynomial.cpython-314t-aarch64-linux-musl.so +0 -0
  558. sage/rings/polynomial/laurent_polynomial.pxd +18 -0
  559. sage/rings/polynomial/laurent_polynomial.pyx +2190 -0
  560. sage/rings/polynomial/laurent_polynomial_ideal.py +590 -0
  561. sage/rings/polynomial/laurent_polynomial_ring.py +832 -0
  562. sage/rings/polynomial/laurent_polynomial_ring_base.py +708 -0
  563. sage/rings/polynomial/multi_polynomial.cpython-314t-aarch64-linux-musl.so +0 -0
  564. sage/rings/polynomial/multi_polynomial.pxd +12 -0
  565. sage/rings/polynomial/multi_polynomial.pyx +3082 -0
  566. sage/rings/polynomial/multi_polynomial_element.py +2570 -0
  567. sage/rings/polynomial/multi_polynomial_ideal.py +5771 -0
  568. sage/rings/polynomial/multi_polynomial_ring.py +947 -0
  569. sage/rings/polynomial/multi_polynomial_ring_base.cpython-314t-aarch64-linux-musl.so +0 -0
  570. sage/rings/polynomial/multi_polynomial_ring_base.pxd +15 -0
  571. sage/rings/polynomial/multi_polynomial_ring_base.pyx +1855 -0
  572. sage/rings/polynomial/multi_polynomial_sequence.py +2204 -0
  573. sage/rings/polynomial/polydict.cpython-314t-aarch64-linux-musl.so +0 -0
  574. sage/rings/polynomial/polydict.pxd +45 -0
  575. sage/rings/polynomial/polydict.pyx +2701 -0
  576. sage/rings/polynomial/polynomial_compiled.cpython-314t-aarch64-linux-musl.so +0 -0
  577. sage/rings/polynomial/polynomial_compiled.pxd +59 -0
  578. sage/rings/polynomial/polynomial_compiled.pyx +509 -0
  579. sage/rings/polynomial/polynomial_element.cpython-314t-aarch64-linux-musl.so +0 -0
  580. sage/rings/polynomial/polynomial_element.pxd +64 -0
  581. sage/rings/polynomial/polynomial_element.pyx +13255 -0
  582. sage/rings/polynomial/polynomial_element_generic.py +1637 -0
  583. sage/rings/polynomial/polynomial_fateman.py +97 -0
  584. sage/rings/polynomial/polynomial_quotient_ring.py +2465 -0
  585. sage/rings/polynomial/polynomial_quotient_ring_element.py +779 -0
  586. sage/rings/polynomial/polynomial_ring.py +3784 -0
  587. sage/rings/polynomial/polynomial_ring_constructor.py +1051 -0
  588. sage/rings/polynomial/polynomial_ring_homomorphism.cpython-314t-aarch64-linux-musl.so +0 -0
  589. sage/rings/polynomial/polynomial_ring_homomorphism.pxd +5 -0
  590. sage/rings/polynomial/polynomial_ring_homomorphism.pyx +121 -0
  591. sage/rings/polynomial/polynomial_singular_interface.py +549 -0
  592. sage/rings/polynomial/symmetric_ideal.py +989 -0
  593. sage/rings/polynomial/symmetric_reduction.cpython-314t-aarch64-linux-musl.so +0 -0
  594. sage/rings/polynomial/symmetric_reduction.pxd +8 -0
  595. sage/rings/polynomial/symmetric_reduction.pyx +669 -0
  596. sage/rings/polynomial/term_order.py +2279 -0
  597. sage/rings/polynomial/toy_buchberger.py +449 -0
  598. sage/rings/polynomial/toy_d_basis.py +387 -0
  599. sage/rings/polynomial/toy_variety.py +362 -0
  600. sage/rings/power_series_mpoly.cpython-314t-aarch64-linux-musl.so +0 -0
  601. sage/rings/power_series_mpoly.pxd +9 -0
  602. sage/rings/power_series_mpoly.pyx +161 -0
  603. sage/rings/power_series_poly.cpython-314t-aarch64-linux-musl.so +0 -0
  604. sage/rings/power_series_poly.pxd +10 -0
  605. sage/rings/power_series_poly.pyx +1317 -0
  606. sage/rings/power_series_ring.py +1441 -0
  607. sage/rings/power_series_ring_element.cpython-314t-aarch64-linux-musl.so +0 -0
  608. sage/rings/power_series_ring_element.pxd +12 -0
  609. sage/rings/power_series_ring_element.pyx +3028 -0
  610. sage/rings/puiseux_series_ring.py +487 -0
  611. sage/rings/puiseux_series_ring_element.cpython-314t-aarch64-linux-musl.so +0 -0
  612. sage/rings/puiseux_series_ring_element.pxd +7 -0
  613. sage/rings/puiseux_series_ring_element.pyx +1055 -0
  614. sage/rings/qqbar_decorators.py +167 -0
  615. sage/rings/quotient_ring.py +1598 -0
  616. sage/rings/quotient_ring_element.py +979 -0
  617. sage/rings/rational.cpython-314t-aarch64-linux-musl.so +0 -0
  618. sage/rings/rational.pxd +20 -0
  619. sage/rings/rational.pyx +4284 -0
  620. sage/rings/rational_field.py +1730 -0
  621. sage/rings/real_double.cpython-314t-aarch64-linux-musl.so +0 -0
  622. sage/rings/real_double.pxd +16 -0
  623. sage/rings/real_double.pyx +2218 -0
  624. sage/rings/real_lazy.cpython-314t-aarch64-linux-musl.so +0 -0
  625. sage/rings/real_lazy.pxd +30 -0
  626. sage/rings/real_lazy.pyx +1773 -0
  627. sage/rings/ring.cpython-314t-aarch64-linux-musl.so +0 -0
  628. sage/rings/ring.pxd +30 -0
  629. sage/rings/ring.pyx +850 -0
  630. sage/rings/semirings/all.py +3 -0
  631. sage/rings/semirings/non_negative_integer_semiring.py +107 -0
  632. sage/rings/semirings/tropical_mpolynomial.py +972 -0
  633. sage/rings/semirings/tropical_polynomial.py +997 -0
  634. sage/rings/semirings/tropical_semiring.cpython-314t-aarch64-linux-musl.so +0 -0
  635. sage/rings/semirings/tropical_semiring.pyx +676 -0
  636. sage/rings/semirings/tropical_variety.py +1701 -0
  637. sage/rings/sum_of_squares.cpython-314t-aarch64-linux-musl.so +0 -0
  638. sage/rings/sum_of_squares.pxd +3 -0
  639. sage/rings/sum_of_squares.pyx +336 -0
  640. sage/rings/tests.py +504 -0
  641. sage/schemes/affine/affine_homset.py +508 -0
  642. sage/schemes/affine/affine_morphism.py +1574 -0
  643. sage/schemes/affine/affine_point.py +460 -0
  644. sage/schemes/affine/affine_rational_point.py +308 -0
  645. sage/schemes/affine/affine_space.py +1264 -0
  646. sage/schemes/affine/affine_subscheme.py +592 -0
  647. sage/schemes/affine/all.py +25 -0
  648. sage/schemes/all__sagemath_categories.py +5 -0
  649. sage/schemes/generic/algebraic_scheme.py +2092 -0
  650. sage/schemes/generic/all.py +5 -0
  651. sage/schemes/generic/ambient_space.py +400 -0
  652. sage/schemes/generic/divisor.py +465 -0
  653. sage/schemes/generic/divisor_group.py +313 -0
  654. sage/schemes/generic/glue.py +84 -0
  655. sage/schemes/generic/homset.py +820 -0
  656. sage/schemes/generic/hypersurface.py +234 -0
  657. sage/schemes/generic/morphism.py +2107 -0
  658. sage/schemes/generic/point.py +237 -0
  659. sage/schemes/generic/scheme.py +1190 -0
  660. sage/schemes/generic/spec.py +199 -0
  661. sage/schemes/product_projective/all.py +6 -0
  662. sage/schemes/product_projective/homset.py +236 -0
  663. sage/schemes/product_projective/morphism.py +517 -0
  664. sage/schemes/product_projective/point.py +568 -0
  665. sage/schemes/product_projective/rational_point.py +550 -0
  666. sage/schemes/product_projective/space.py +1301 -0
  667. sage/schemes/product_projective/subscheme.py +466 -0
  668. sage/schemes/projective/all.py +24 -0
  669. sage/schemes/projective/proj_bdd_height.py +453 -0
  670. sage/schemes/projective/projective_homset.py +718 -0
  671. sage/schemes/projective/projective_morphism.py +2792 -0
  672. sage/schemes/projective/projective_point.py +1484 -0
  673. sage/schemes/projective/projective_rational_point.py +569 -0
  674. sage/schemes/projective/projective_space.py +2571 -0
  675. sage/schemes/projective/projective_subscheme.py +1574 -0
  676. sage/sets/all.py +17 -0
  677. sage/sets/cartesian_product.py +376 -0
  678. sage/sets/condition_set.py +525 -0
  679. sage/sets/disjoint_set.cpython-314t-aarch64-linux-musl.so +0 -0
  680. sage/sets/disjoint_set.pxd +36 -0
  681. sage/sets/disjoint_set.pyx +998 -0
  682. sage/sets/disjoint_union_enumerated_sets.py +625 -0
  683. sage/sets/family.cpython-314t-aarch64-linux-musl.so +0 -0
  684. sage/sets/family.pxd +12 -0
  685. sage/sets/family.pyx +1556 -0
  686. sage/sets/finite_enumerated_set.py +406 -0
  687. sage/sets/finite_set_map_cy.cpython-314t-aarch64-linux-musl.so +0 -0
  688. sage/sets/finite_set_map_cy.pxd +34 -0
  689. sage/sets/finite_set_map_cy.pyx +708 -0
  690. sage/sets/finite_set_maps.py +591 -0
  691. sage/sets/image_set.py +448 -0
  692. sage/sets/integer_range.py +829 -0
  693. sage/sets/non_negative_integers.py +241 -0
  694. sage/sets/positive_integers.py +93 -0
  695. sage/sets/primes.py +188 -0
  696. sage/sets/real_set.py +2760 -0
  697. sage/sets/recursively_enumerated_set.cpython-314t-aarch64-linux-musl.so +0 -0
  698. sage/sets/recursively_enumerated_set.pxd +31 -0
  699. sage/sets/recursively_enumerated_set.pyx +2082 -0
  700. sage/sets/set.py +2083 -0
  701. sage/sets/set_from_iterator.py +1021 -0
  702. sage/sets/totally_ordered_finite_set.py +329 -0
  703. sage/symbolic/all__sagemath_categories.py +1 -0
  704. sage/symbolic/function.cpython-314t-aarch64-linux-musl.so +0 -0
  705. sage/symbolic/function.pxd +29 -0
  706. sage/symbolic/function.pyx +1488 -0
  707. sage/symbolic/symbols.py +56 -0
  708. sage/tests/all__sagemath_categories.py +1 -0
  709. sage/tests/cython.cpython-314t-aarch64-linux-musl.so +0 -0
  710. sage/tests/cython.pyx +37 -0
  711. sage/tests/stl_vector.cpython-314t-aarch64-linux-musl.so +0 -0
  712. sage/tests/stl_vector.pyx +171 -0
  713. sage/typeset/all.py +6 -0
  714. sage/typeset/ascii_art.py +295 -0
  715. sage/typeset/character_art.py +789 -0
  716. sage/typeset/character_art_factory.py +572 -0
  717. sage/typeset/symbols.py +334 -0
  718. sage/typeset/unicode_art.py +183 -0
  719. sage/typeset/unicode_characters.py +101 -0
@@ -0,0 +1,926 @@
1
+ # sage_setup: distribution = sagemath-categories
2
+ # distutils: depends = bitset_intrinsics.h
3
+ # distutils: libraries = gmp
4
+ """
5
+ A fast bitset datatype in Cython
6
+
7
+ Operations between bitsets are only guaranteed to work if the bitsets
8
+ have the same size, with the exception of ``bitset_realloc``. Similarly, you
9
+ should not try to access elements of a bitset beyond the size.
10
+
11
+ AUTHORS:
12
+
13
+ - Robert Bradshaw (2008)
14
+ - Rudi Pendavingh, Stefan van Zwam (2013-06-06): added functions map, lex_cmp,
15
+ pickle, unpickle
16
+ - Jeroen Demeyer (2014-09-05): use mpn_* functions from MPIR in the
17
+ implementation (:issue:`13352` and :issue:`16937`)
18
+ - Simon King (2014-10-28): ``bitset_rshift`` and ``bitset_lshift`` respecting
19
+ the size of the given bitsets (:issue:`15820`)
20
+ """
21
+
22
+ # ***************************************************************************
23
+ # Copyright (C) 2008 Robert Bradshaw <robertwb@math.washington.edu>
24
+ #
25
+ # Distributed under the terms of the GNU General Public License (GPL)
26
+ # as published by the Free Software Foundation; either version 2 of
27
+ # the License, or (at your option) any later version.
28
+ # https://www.gnu.org/licenses/
29
+ # ***************************************************************************
30
+
31
+ # This file declares the bitset types and the (inline functions).
32
+ # Few functions that are not inline are in the `pyx` file.
33
+ # The python wrapper and all the doctests are in bitset.pyx/bitset.pxd.
34
+
35
+ from libc.string cimport strlen
36
+ from cysignals.memory cimport check_calloc, check_allocarray, check_reallocarray, sig_malloc, sig_free
37
+ from memory_allocator cimport MemoryAllocator
38
+ from memory_allocator.memory_allocator cimport align
39
+ from cython.operator import preincrement as preinc
40
+
41
+ from sage.cpython.string cimport str_to_bytes, bytes_to_str
42
+ from sage.libs.gmp.mpn cimport *
43
+ from sage.libs.gmp.types cimport *
44
+ from sage.data_structures.sparse_bitset cimport sparse_bitset_t
45
+
46
+
47
+ cdef extern from *:
48
+ # Given an element index n in a set, (n >> index_shift) gives the
49
+ # corresponding limb number.
50
+ int index_shift "(sizeof(mp_limb_t) == 8 ? 6 : 5)"
51
+
52
+
53
+ cdef struct bitset_s:
54
+ # The size of a bitset B counts the maximum number of bits that B can
55
+ # hold. This size is independent of how many elements of B are toggled to
56
+ # 1. For example, say B is the bitset 1001. Then B has size 4, with the
57
+ # first and fourth elements toggled to 1, reading from left to right.
58
+ # We can also think of the size of a bitset as its capacity.
59
+ mp_bitcnt_t size
60
+
61
+ # A limb is that part of a bitset that can fit into an mp_limb_t
62
+ # (typically, 32 bits on a 32-bit machine and 64 bits on a 64-bit
63
+ # machine). This counts the number of limbs to represent a bitset.
64
+ # If a bitset has size <= n, then the whole bitset fits into a limb
65
+ # and we only require one limb to represent the bitset. However, if
66
+ # the bitset has size > n, we require more than one limb to
67
+ # represent the bitset. For example, if a limb is 64 bits in length
68
+ # and the bitset has size 96 bits, then we require at most two limbs
69
+ # to represent the bitset.
70
+ #
71
+ # NOTE: some code assumes that mp_limb_t is an unsigned long
72
+ # (this assumption is always true in practice).
73
+ mp_size_t limbs
74
+
75
+ # The individual bits of a bitset.
76
+ mp_limb_t* bits
77
+
78
+ ctypedef bitset_s bitset_t[1]
79
+
80
+ ctypedef fused fused_bitset_t:
81
+ bitset_t
82
+ sparse_bitset_t
83
+
84
+ # Doctests for the functions in this file are in sage/data_structures/bitset.pyx
85
+
86
+ #############################################################################
87
+ # Functions that can be optimized by intrinsics.
88
+ #############################################################################
89
+
90
+ cdef extern from "bitset_intrinsics.h":
91
+ cdef const mp_bitcnt_t LIMB_SIZE
92
+ cdef const mp_bitcnt_t ALIGNMENT
93
+
94
+ cdef mp_bitcnt_t _set_non_zero(
95
+ mp_limb_t* bits, mp_bitcnt_t* non_zero_chunks, mp_bitcnt_t limbs) nogil
96
+
97
+ # Bitset Comparison
98
+ ctypedef enum cmpop_t:
99
+ EQUAL
100
+ SUBSET
101
+ DISJOINT
102
+ cdef bint _bitset_isempty(mp_limb_t* bits, mp_bitcnt_t limbs) nogil
103
+ cdef bint _bitset_cmp(mp_limb_t* a, mp_limb_t* b, mp_bitcnt_t limbs, cmpop_t) nogil
104
+
105
+ # Bitset Comparison for sparse bitsets (only subset and disjoint)
106
+ cdef bint _sparse_bitset_cmp(
107
+ mp_limb_t* a, mp_bitcnt_t* a_non_zero_chunks, mp_bitcnt_t a_n_non_zero_chunks,
108
+ mp_limb_t* b, cmpop_t) nogil
109
+
110
+ # Bitset Searching
111
+ cdef long _bitset_first_in_limb(mp_limb_t limb) nogil
112
+ cdef long _bitset_first_in_limb_nonzero(mp_limb_t) nogil
113
+ cdef long _bitset_len(mp_limb_t* bits, mp_bitcnt_t limbs) nogil
114
+
115
+ # Bitset Arithmetic
116
+ ctypedef enum operation_t:
117
+ AND
118
+ OR
119
+ ANDNOT
120
+ XOR
121
+ cdef void _bitset_operation(
122
+ mp_limb_t* dst, mp_limb_t* a, mp_limb_t* b, mp_bitcnt_t limbs, operation_t) nogil
123
+
124
+ # Bitset Arithmetic for sparse bitsets.
125
+ cdef mp_bitcnt_t _sparse_bitset_operation(
126
+ mp_limb_t* dst, mp_bitcnt_t* dst_non_zero_chunks, mp_limb_t* a,
127
+ mp_limb_t* b, mp_bitcnt_t limbs, operation_t) nogil
128
+
129
+ #############################################################################
130
+ # Creating limb patterns
131
+ #############################################################################
132
+ #
133
+ # NOTE: In all functions in this section, the index n is interpreted
134
+ # modulo GMP_LIMB_BITS, the number of bits in a limb.
135
+ #
136
+ cdef inline mp_limb_t limb_one_set_bit(mp_bitcnt_t n) noexcept:
137
+ """
138
+ Return a limb with only bit n set.
139
+ """
140
+ return (<mp_limb_t>1) << (n % GMP_LIMB_BITS)
141
+
142
+ cdef inline mp_limb_t limb_one_zero_bit(mp_bitcnt_t n) noexcept:
143
+ """
144
+ Return a limb with all bits set, except for bit n.
145
+ """
146
+ return ~((<mp_limb_t>1) << (n % GMP_LIMB_BITS))
147
+
148
+ cdef inline mp_limb_t limb_lower_bits_down(mp_bitcnt_t n) noexcept:
149
+ """
150
+ Return a limb with the lower n bits set, where n is interpreted
151
+ in [0 .. GMP_LIMB_BITS-1].
152
+ """
153
+ return ((<mp_limb_t>1) << (n % GMP_LIMB_BITS)) - 1
154
+
155
+ cdef inline mp_limb_t limb_lower_bits_up(mp_bitcnt_t n) noexcept:
156
+ """
157
+ Return a limb with the lower n bits set, where n is interpreted
158
+ in [1 .. GMP_LIMB_BITS].
159
+ """
160
+ return (<mp_limb_t>(-1)) >> ((<unsigned int>(-n)) % GMP_LIMB_BITS)
161
+
162
+ #############################################################################
163
+ # Bitset Initalization
164
+ #############################################################################
165
+ cdef inline bint bitset_init(fused_bitset_t bits, mp_bitcnt_t size) except -1:
166
+ """
167
+ Allocate an empty bitset of size ``size``.
168
+
169
+ Size must be at least 1.
170
+ """
171
+ if size <= 0:
172
+ raise ValueError("bitset capacity must be greater than 0")
173
+
174
+ cdef mp_bitcnt_t extra
175
+
176
+ bits.size = size
177
+ if fused_bitset_t is bitset_t:
178
+ bits.limbs = (size - 1) // (8 * LIMB_SIZE) + 1
179
+ bits.bits = <mp_limb_t*>check_calloc(bits.limbs, LIMB_SIZE)
180
+ else:
181
+ bits.limbs = ((size - 1) // (8*ALIGNMENT) + 1) * (ALIGNMENT//LIMB_SIZE)
182
+ extra = (ALIGNMENT + LIMB_SIZE - 2) // LIMB_SIZE
183
+ bits.mem = check_calloc(bits.limbs + extra, LIMB_SIZE)
184
+ bits.bits = <mp_limb_t*> align(bits.mem, ALIGNMENT)
185
+ bits.non_zero_chunks_are_initialized = False
186
+ bits.non_zero_chunks = <mp_bitcnt_t*> check_allocarray((bits.limbs*LIMB_SIZE) // ALIGNMENT, sizeof(mp_bitcnt_t))
187
+
188
+ cdef inline bint bitset_check_alignment(fused_bitset_t bits) noexcept:
189
+ """
190
+ Return whether the bitset is aligned correctly.
191
+ """
192
+ cdef size_t address = <size_t> bits.bits
193
+ return address == (address & ~(ALIGNMENT - 1))
194
+
195
+ cdef inline int bitset_realloc(bitset_t bits, mp_bitcnt_t size) except -1:
196
+ """
197
+ Reallocate a bitset to size ``size``. If reallocation is larger, new bitset
198
+ does not contain any of the extra bits.
199
+ """
200
+ cdef mp_size_t limbs_old = bits.limbs
201
+ cdef mp_bitcnt_t size_old = bits.size
202
+ if size_old == size:
203
+ return 0
204
+ if size <= 0:
205
+ raise ValueError("bitset capacity must be greater than 0")
206
+
207
+ cdef mp_size_t limbs_new = (size - 1) // (8 * LIMB_SIZE) + 1
208
+ bits.bits = <mp_limb_t*>check_reallocarray(bits.bits, limbs_new, LIMB_SIZE)
209
+ bits.size = size
210
+ bits.limbs = limbs_new
211
+
212
+ if bits.limbs > limbs_old:
213
+ # Zero any extra limbs
214
+ mpn_zero(bits.bits + limbs_old, bits.limbs - limbs_old)
215
+ elif bits.size < size_old:
216
+ # Zero removed bits
217
+ bitset_fix(bits)
218
+
219
+ cdef inline void bitset_free(fused_bitset_t bits) noexcept:
220
+ """
221
+ Deallocate the memory in bits.
222
+ """
223
+ if fused_bitset_t is bitset_t:
224
+ sig_free(bits.bits)
225
+ else:
226
+ sig_free(bits.mem)
227
+ sig_free(bits.non_zero_chunks)
228
+
229
+ cdef inline void bitset_clear(fused_bitset_t bits) noexcept:
230
+ """
231
+ Remove all elements from the set.
232
+ """
233
+ mpn_zero(bits.bits, bits.limbs)
234
+ if fused_bitset_t is sparse_bitset_t:
235
+ bits.non_zero_chunks_are_initialized = False
236
+
237
+ cdef inline void bitset_zero(fused_bitset_t bits) noexcept:
238
+ """
239
+ Remove all elements from the set.
240
+
241
+ This function is the same as bitset_clear(bits).
242
+ """
243
+ mpn_zero(bits.bits, bits.limbs)
244
+ if fused_bitset_t is sparse_bitset_t:
245
+ bits.non_zero_chunks_are_initialized = False
246
+
247
+ cdef inline void bitset_copy(fused_bitset_t dst, fused_bitset_t src) noexcept:
248
+ """
249
+ Copy the bitset src over to the bitset dst, overwriting dst.
250
+
251
+ We assume ``dst.limbs == src.limbs``.
252
+ """
253
+ mpn_copyi(dst.bits, src.bits, src.limbs)
254
+ if fused_bitset_t is sparse_bitset_t:
255
+ dst.non_zero_chunks_are_initialized = False
256
+
257
+ cdef inline void bitset_copy_flex(fused_bitset_t dst, fused_bitset_t src) noexcept:
258
+ """
259
+ Copy the bitset src over to the bitset dst, overwriting dst.
260
+
261
+ Set additional limbs in dst to zero.
262
+
263
+ We assume ``dst.limbs >= src.limbs``.
264
+ """
265
+ mpn_copyi(dst.bits, src.bits, src.limbs)
266
+ mpn_zero(dst.bits + src.limbs, dst.limbs - src.limbs)
267
+ if fused_bitset_t is sparse_bitset_t:
268
+ dst.non_zero_chunks_are_initialized = False
269
+
270
+ cdef inline void bitset_fix(fused_bitset_t bits) noexcept:
271
+ """
272
+ Clear upper bits in upper limb which should be zero.
273
+ """
274
+ bits.bits[bits.limbs - 1] &= limb_lower_bits_up(bits.size)
275
+
276
+ cdef inline void sparse_bitset_set_non_zero(sparse_bitset_t bits) noexcept nogil:
277
+ """
278
+ Set the nonzero chunks of ``bits``.
279
+ """
280
+ bits.n_non_zero_chunks = _set_non_zero(bits.bits, bits.non_zero_chunks, bits.limbs)
281
+ bits.non_zero_chunks_are_initialized = True
282
+
283
+ #############################################################################
284
+ # Bitset Comparison
285
+ #############################################################################
286
+
287
+ cdef inline bint mpn_equal_bits(mp_srcptr b1, mp_srcptr b2, mp_bitcnt_t n) noexcept:
288
+ """
289
+ Return ``True`` iff the first n bits of *b1 and *b2 agree.
290
+ """
291
+ cdef mp_size_t nlimbs = n // GMP_LIMB_BITS
292
+ cdef mp_limb_t mask = limb_lower_bits_down(n)
293
+ if nlimbs > 0 and mpn_cmp(b1, b2, nlimbs) != 0:
294
+ return False
295
+ if mask == 0:
296
+ return True
297
+
298
+ cdef mp_limb_t b1h = b1[nlimbs]
299
+ cdef mp_limb_t b2h = b2[nlimbs]
300
+ return (b1h ^ b2h) & mask == 0
301
+
302
+ cdef inline bint mpn_equal_bits_shifted(mp_srcptr b1, mp_srcptr b2, mp_bitcnt_t n, mp_bitcnt_t offset) noexcept:
303
+ """
304
+ Return ``True`` iff the first n bits of *b1 and the bits ranging from
305
+ offset to offset+n of *b2 agree.
306
+ """
307
+ cdef mp_bitcnt_t bit_offset = offset % GMP_LIMB_BITS
308
+ cdef mp_size_t i2 = offset//GMP_LIMB_BITS
309
+ if bit_offset==0:
310
+ return mpn_equal_bits(b1, b2 + i2, n)
311
+ cdef mp_size_t neg_bit_offset = GMP_LIMB_BITS-bit_offset
312
+ # limbs of b1 to be considered
313
+ cdef mp_size_t nlimbs = n // GMP_LIMB_BITS
314
+ # bits of an additional limb of b1 to be considered
315
+ cdef mp_limb_t tmp_limb
316
+ cdef mp_size_t i1
317
+ for i1 in range(nlimbs):
318
+ tmp_limb = (b2[i2] >> bit_offset)
319
+ tmp_limb |= (b2[preinc(i2)] << neg_bit_offset)
320
+ if tmp_limb != b1[i1]:
321
+ return False
322
+ cdef mp_limb_t mask = limb_lower_bits_down(n)
323
+ if mask == 0:
324
+ return True
325
+
326
+ cdef mp_limb_t b1h = b1[nlimbs]
327
+ tmp_limb = (b2[i2] >> bit_offset)
328
+ if (n % GMP_LIMB_BITS) + bit_offset > GMP_LIMB_BITS:
329
+ # Need bits from the next limb of b2
330
+ tmp_limb |= (b2[preinc(i2)] << neg_bit_offset)
331
+ return (b1h ^ tmp_limb) & mask == 0
332
+
333
+ cdef inline bint bitset_isempty(fused_bitset_t bits) noexcept nogil:
334
+ """
335
+ Test whether bits is empty. Return ``True`` (i.e., 1) if the set is
336
+ empty, ``False`` (i.e., 0) otherwise.
337
+ """
338
+ return _bitset_isempty(bits.bits, bits.limbs)
339
+
340
+ cdef inline bint bitset_is_zero(fused_bitset_t bits) noexcept:
341
+ """
342
+ Test whether bits is empty (i.e., zero). Return ``True`` (1) if
343
+ the set is empty, ``False`` (0) otherwise.
344
+
345
+ This function is the same as bitset_is_empty(bits).
346
+ """
347
+ return bitset_isempty(bits)
348
+
349
+ cdef inline bint bitset_eq(fused_bitset_t a, fused_bitset_t b) noexcept:
350
+ """
351
+ Compare bitset a and b. Return ``True`` (i.e., 1) if the sets are
352
+ equal, and ``False`` (i.e., 0) otherwise.
353
+
354
+ We assume ``a.limbs >= b.limbs``.
355
+ """
356
+ return _bitset_cmp(a.bits, b.bits, b.limbs, EQUAL)
357
+
358
+ cdef inline int bitset_cmp(fused_bitset_t a, fused_bitset_t b) noexcept:
359
+ """
360
+ Compare bitsets a and b. Return 0 if the two sets are
361
+ identical, and consistently return -1 or 1 for two sets that are
362
+ not equal.
363
+
364
+ We assume ``a.limbs >= b.limbs``.
365
+ """
366
+ return mpn_cmp(a.bits, b.bits, b.limbs)
367
+
368
+ cdef inline int bitset_lex_cmp(fused_bitset_t a, fused_bitset_t b) noexcept:
369
+ """
370
+ Compare bitsets ``a`` and ``b`` using lexicographical ordering.
371
+
372
+ In this order `a < b` if, for some `k`, the first `k` elements from
373
+ `[0 ... n-1]` are in `a` if and only if they are in `b`, and the
374
+ `(k+1)`st element is in `b` but not ``a``. So `1010 < 1011` and
375
+ `1010111 < 1011000`.
376
+
377
+ We assume ``a.limbs == b.limbs``.
378
+
379
+ INPUT:
380
+
381
+ - ``a`` -- a bitset
382
+ - ``b`` -- a bitset, assumed to have the same size as ``a``
383
+
384
+ OUTPUT:
385
+
386
+ Return ``0`` if the two sets are identical, return ``1`` if ``a > b``,
387
+ and return ``-1`` if ``a < b``.
388
+ """
389
+ cdef long i = bitset_first_diff(a, b)
390
+ if i == -1:
391
+ return 0
392
+ if bitset_in(a, i):
393
+ return 1
394
+ else:
395
+ return -1
396
+
397
+ cdef inline bint bitset_issubset(fused_bitset_t a, fused_bitset_t b) noexcept nogil:
398
+ """
399
+ Test whether a is a subset of b (i.e., every element in a is also
400
+ in b).
401
+
402
+ We assume ``a.limbs <= b.limbs``.
403
+ """
404
+ if fused_bitset_t is sparse_bitset_t and a.non_zero_chunks_are_initialized:
405
+ return _sparse_bitset_cmp(a.bits, a.non_zero_chunks, a.n_non_zero_chunks, b.bits, SUBSET)
406
+ else:
407
+ return _bitset_cmp(a.bits, b.bits, a.limbs, SUBSET)
408
+
409
+ cdef inline bint bitset_issuperset(fused_bitset_t a, fused_bitset_t b) noexcept nogil:
410
+ """
411
+ Test whether a is a superset of b (i.e., every element in b is also
412
+ in a).
413
+
414
+ We assume ``a.limbs >= b.limbs``.
415
+ """
416
+ return bitset_issubset(b, a)
417
+
418
+ cdef inline bint bitset_are_disjoint(fused_bitset_t a, fused_bitset_t b) noexcept:
419
+ """
420
+ Test whether ``a`` and ``b`` have an empty intersection.
421
+
422
+ We assume ``a.limbs <= b.limbs``.
423
+ """
424
+ if fused_bitset_t is sparse_bitset_t and a.non_zero_chunks_are_initialized:
425
+ return _sparse_bitset_cmp(a.bits, a.non_zero_chunks, a.n_non_zero_chunks, b.bits, DISJOINT)
426
+ else:
427
+ return _bitset_cmp(a.bits, b.bits, a.limbs, DISJOINT)
428
+
429
+
430
+ #############################################################################
431
+ # Bitset Bit Manipulation
432
+ #############################################################################
433
+
434
+ cdef inline bint bitset_in(fused_bitset_t bits, mp_bitcnt_t n) noexcept:
435
+ """
436
+ Check if n is in bits. Return ``True`` (i.e., 1) if n is in the
437
+ set, ``False`` (i.e., 0) otherwise.
438
+ """
439
+ return (bits.bits[n >> index_shift] >> (n % GMP_LIMB_BITS)) & 1
440
+
441
+ cdef inline bint bitset_check(fused_bitset_t bits, mp_bitcnt_t n) noexcept:
442
+ """
443
+ Check if n is in bits. Return ``True`` (i.e., 1) if n is in the
444
+ set, ``False`` (i.e., 0) otherwise.
445
+
446
+ This function is the same as bitset_in(bits, n).
447
+ """
448
+ return bitset_in(bits, n)
449
+
450
+ cdef inline bint bitset_not_in(fused_bitset_t bits, mp_bitcnt_t n) noexcept:
451
+ """
452
+ Check if n is not in bits. Return ``True`` (i.e., 1) if n is not in the
453
+ set, ``False`` (i.e., 0) otherwise.
454
+ """
455
+ return not bitset_in(bits, n)
456
+
457
+ cdef inline bint bitset_remove(fused_bitset_t bits, mp_bitcnt_t n) except -1:
458
+ """
459
+ Remove ``n`` from ``bits``.
460
+
461
+ This raises a :exc:`KeyError` if ``n`` is not contained in ``bits``.
462
+ """
463
+ if not bitset_in(bits, n):
464
+ raise KeyError(n)
465
+ bitset_discard(bits, n)
466
+ if fused_bitset_t is sparse_bitset_t:
467
+ bits.non_zero_chunks_are_initialized = False
468
+
469
+ cdef inline void bitset_discard(fused_bitset_t bits, mp_bitcnt_t n) noexcept:
470
+ """
471
+ Remove n from bits.
472
+ """
473
+ bits.bits[n >> index_shift] &= limb_one_zero_bit(n)
474
+ if fused_bitset_t is sparse_bitset_t:
475
+ bits.non_zero_chunks_are_initialized = False
476
+
477
+ cdef inline void bitset_unset(fused_bitset_t bits, mp_bitcnt_t n) noexcept:
478
+ """
479
+ Remove n from bits.
480
+
481
+ This function is the same as bitset_discard(bits, n).
482
+ """
483
+ bitset_discard(bits, n)
484
+
485
+ cdef inline void bitset_add(fused_bitset_t bits, mp_bitcnt_t n) noexcept:
486
+ """
487
+ Add n to bits.
488
+ """
489
+ bits.bits[n >> index_shift] |= limb_one_set_bit(n)
490
+ if fused_bitset_t is sparse_bitset_t:
491
+ bits.non_zero_chunks_are_initialized = False
492
+
493
+ cdef inline void bitset_set(fused_bitset_t bits, mp_bitcnt_t n) noexcept:
494
+ """
495
+ Add n to bits.
496
+
497
+ This function is the same as bitset_add(bits, n).
498
+ """
499
+ bitset_add(bits, n)
500
+
501
+ cdef inline void bitset_set_to(bitset_t bits, mp_bitcnt_t n, bint b) noexcept:
502
+ """
503
+ If b is True, add n to bits. If b is False, remove n from bits.
504
+ """
505
+ bitset_unset(bits, n)
506
+ bits.bits[n >> index_shift] |= (<mp_limb_t>b) << (n % GMP_LIMB_BITS)
507
+
508
+ cdef inline void bitset_flip(fused_bitset_t bits, mp_bitcnt_t n) noexcept:
509
+ """
510
+ If n is in bits, remove n from bits. If n is not in bits, add n
511
+ to bits.
512
+ """
513
+ bits.bits[n >> index_shift] ^= limb_one_set_bit(n)
514
+ if fused_bitset_t is sparse_bitset_t:
515
+ bits.non_zero_chunks_are_initialized = False
516
+
517
+ cdef inline void bitset_set_first_n(fused_bitset_t bits, mp_bitcnt_t n) noexcept:
518
+ """
519
+ Set exactly the first n bits.
520
+ """
521
+ cdef mp_size_t i
522
+ cdef mp_size_t index = n >> index_shift
523
+ for i in range(index):
524
+ bits.bits[i] = -1
525
+ if index < bits.limbs:
526
+ bits.bits[index] = limb_lower_bits_down(n)
527
+ for i in range(index+1, bits.limbs):
528
+ bits.bits[i] = 0
529
+ if fused_bitset_t is sparse_bitset_t:
530
+ bits.non_zero_chunks_are_initialized = False
531
+
532
+ #############################################################################
533
+ # Bitset Searching
534
+ #############################################################################
535
+
536
+ cdef inline long bitset_first(fused_bitset_t a) noexcept:
537
+ """
538
+ Calculate the index of the first element in the set. If the set
539
+ is empty, returns -1.
540
+ """
541
+ cdef mp_size_t i
542
+ for i in range(a.limbs):
543
+ if a.bits[i]:
544
+ return (i << index_shift) | _bitset_first_in_limb_nonzero(a.bits[i])
545
+ return -1
546
+
547
+ cdef inline long bitset_first_in_complement(fused_bitset_t a) noexcept:
548
+ """
549
+ Calculate the index of the first element not in the set. If the set
550
+ is full, returns -1.
551
+ """
552
+ cdef mp_size_t i
553
+ cdef mp_bitcnt_t j
554
+ for i in range(a.limbs):
555
+ if ~a.bits[i]:
556
+ j = (i << index_shift) | _bitset_first_in_limb_nonzero(~a.bits[i])
557
+ if j >= a.size:
558
+ return -1
559
+ return <mp_size_t>j
560
+ return -1
561
+
562
+ cdef inline long bitset_pop(fused_bitset_t a) except -1:
563
+ """
564
+ Remove and return an arbitrary element from the set.
565
+
566
+ This raises a :exc:`KeyError` if the set is empty.
567
+ """
568
+ cdef long i = bitset_first(a)
569
+ if i == -1:
570
+ raise KeyError('pop from an empty set')
571
+ bitset_discard(a, i)
572
+ return i
573
+
574
+ cdef inline long bitset_first_diff(fused_bitset_t a, fused_bitset_t b) noexcept:
575
+ """
576
+ Calculate the index of the first difference between a and b. If a
577
+ and b are equal, then return -1.
578
+
579
+ We assume ``a.limbs == b.limbs``.
580
+ """
581
+ cdef mp_size_t i
582
+ for i in range(a.limbs):
583
+ if a.bits[i] != b.bits[i]:
584
+ return (i << index_shift) | _bitset_first_in_limb_nonzero(a.bits[i] ^ b.bits[i])
585
+ return -1
586
+
587
+ cdef inline long bitset_next(fused_bitset_t a, mp_bitcnt_t n) noexcept:
588
+ """
589
+ Calculate the index of the next element in the set, starting at
590
+ (and including) n. Return -1 if there are no elements from n
591
+ onwards.
592
+ """
593
+ if n >= a.size:
594
+ return -1
595
+ cdef mp_size_t i = n >> index_shift
596
+ cdef mp_limb_t limb = a.bits[i] & ~limb_lower_bits_down(n)
597
+ cdef long ret = _bitset_first_in_limb(limb)
598
+ if ret != -1:
599
+ return (i << index_shift) | ret
600
+ for i in range((n >> index_shift) + 1, a.limbs):
601
+ if a.bits[i]:
602
+ return (i << index_shift) | _bitset_first_in_limb_nonzero(a.bits[i])
603
+ return -1
604
+
605
+ cdef inline long bitset_next_diff(fused_bitset_t a, fused_bitset_t b, mp_bitcnt_t n) noexcept:
606
+ """
607
+ Calculate the index of the next element that differs between a and
608
+ b, starting at (and including) n. Return -1 if there are no
609
+ elements differing between a and b from n onwards.
610
+
611
+ We assume ``a.limbs == b.limbs``.
612
+ """
613
+ if n >= a.size:
614
+ return -1
615
+ cdef mp_size_t i = n >> index_shift
616
+ cdef mp_limb_t limb = (a.bits[i] ^ b.bits[i]) & ~limb_lower_bits_down(n)
617
+ cdef long ret = _bitset_first_in_limb(limb)
618
+ if ret != -1:
619
+ return (i << index_shift) | ret
620
+ for i in range((n >> index_shift) + 1, a.limbs):
621
+ if a.bits[i] != b.bits[i]:
622
+ return (i << index_shift) | _bitset_first_in_limb(a.bits[i] ^ b.bits[i])
623
+ return -1
624
+
625
+ cdef inline long bitset_len(fused_bitset_t bits) noexcept nogil:
626
+ """
627
+ Calculate the number of items in the set (i.e., the number of nonzero bits).
628
+ """
629
+ return _bitset_len(bits.bits, bits.limbs)
630
+
631
+ cdef inline long bitset_hash(fused_bitset_t bits) noexcept:
632
+ """
633
+ Calculate a (very naive) hash function.
634
+
635
+ This function should not depend on the size of the bitset, only on
636
+ the items in the bitset.
637
+ """
638
+ cdef mp_limb_t hash = 0
639
+ cdef mp_size_t i
640
+ for i in range(bits.limbs):
641
+ hash += bits.bits[i]
642
+ return hash
643
+
644
+ #############################################################################
645
+ # Bitset Arithmetic
646
+ #############################################################################
647
+
648
+ cdef inline void bitset_complement(fused_bitset_t r, fused_bitset_t a) noexcept:
649
+ """
650
+ Set r to be the complement of a, overwriting r.
651
+
652
+ We assume ``r.limbs == a.limbs``.
653
+ """
654
+ mpn_com(r.bits, a.bits, a.limbs)
655
+ bitset_fix(r)
656
+ if fused_bitset_t is sparse_bitset_t:
657
+ r.non_zero_chunks_are_initialized = False
658
+
659
+ cdef inline void bitset_not(fused_bitset_t r, fused_bitset_t a) noexcept:
660
+ """
661
+ Set r to be the complement of a, overwriting r.
662
+
663
+ We assume ``r.limbs == a.limbs``.
664
+
665
+ This function is the same as bitset_complement(r, a).
666
+ """
667
+ bitset_complement(r, a)
668
+ if fused_bitset_t is sparse_bitset_t:
669
+ r.non_zero_chunks_are_initialized = False
670
+
671
+ cdef inline void bitset_intersection(fused_bitset_t r, fused_bitset_t a, fused_bitset_t b) noexcept nogil:
672
+ """
673
+ Set r to the intersection of a and b, overwriting r.
674
+
675
+ We assume ``a.limbs >= r.limbs == b.limbs``.
676
+ """
677
+ _bitset_operation(r.bits, a.bits, b.bits, b.limbs, AND)
678
+ if fused_bitset_t is sparse_bitset_t:
679
+ r.non_zero_chunks_are_initialized = False
680
+
681
+ cdef inline void sparse_bitset_intersection(sparse_bitset_t r, fused_bitset_t a, fused_bitset_t b) noexcept nogil:
682
+ """
683
+ Set r to the intersection of a and b, overwriting r.
684
+
685
+ Also set the nonzero positions of ``r``.
686
+
687
+ We assume ``a.limbs >= r.limbs == b.limbs``.
688
+ """
689
+ r.n_non_zero_chunks = _sparse_bitset_operation(r.bits, r.non_zero_chunks, a.bits, b.bits, b.limbs, AND)
690
+ r.non_zero_chunks_are_initialized = True
691
+
692
+ cdef inline void bitset_and(fused_bitset_t r, fused_bitset_t a, fused_bitset_t b) noexcept:
693
+ """
694
+ Set r to the intersection of a and b, overwriting r.
695
+
696
+ We assume ``a.limbs >= r.limbs == b.limbs``.
697
+
698
+ This function is the same as bitset_intersection(r, a, b).
699
+ """
700
+ bitset_intersection(r, a, b)
701
+
702
+ cdef inline void bitset_union(fused_bitset_t r, fused_bitset_t a, fused_bitset_t b) noexcept nogil:
703
+ """
704
+ Set r to the union of a and b, overwriting r.
705
+
706
+ We assume ``r.limbs >= a.limbs >= b.limbs`` and either ``r is a``
707
+ or ``r.limbs == b.limbs``.
708
+ """
709
+ _bitset_operation(r.bits, a.bits, b.bits, b.limbs, OR)
710
+ if fused_bitset_t is sparse_bitset_t:
711
+ r.non_zero_chunks_are_initialized = False
712
+
713
+ cdef inline void sparse_bitset_union(sparse_bitset_t r, fused_bitset_t a, fused_bitset_t b) noexcept nogil:
714
+ """
715
+ Set r to the union of a and b, overwriting r.
716
+
717
+ Also set the nonzero positions of ``r``.
718
+
719
+ We assume ``r.limbs >= a.limbs >= b.limbs`` and either ``r is a``
720
+ or ``r.limbs == b.limbs``.
721
+ """
722
+ r.n_non_zero_chunks = _sparse_bitset_operation(r.bits, r.non_zero_chunks, a.bits, b.bits, b.limbs, OR)
723
+ r.non_zero_chunks_are_initialized = True
724
+
725
+ cdef inline void bitset_or(fused_bitset_t r, fused_bitset_t a, fused_bitset_t b) noexcept:
726
+ """
727
+ Set r to the union of a and b, overwriting r.
728
+
729
+ We assume ``r.limbs >= a.limbs >= b.limbs`` and either ``r is a``
730
+ or ``r.limbs == b.limbs``.
731
+
732
+ This function is the same as bitset_union(r, a, b).
733
+ """
734
+ bitset_union(r, a, b)
735
+
736
+ cdef inline void bitset_difference(fused_bitset_t r, fused_bitset_t a, fused_bitset_t b) noexcept:
737
+ """
738
+ Set r to the difference of a and b (i.e., things in a that are not
739
+ in b), overwriting r.
740
+
741
+ We assume ``r.limbs >= a.limbs >= b.limbs`` and either ``r is a``
742
+ or ``r.limbs == b.limbs``.
743
+ """
744
+ _bitset_operation(r.bits, a.bits, b.bits, b.limbs, ANDNOT)
745
+ if fused_bitset_t is sparse_bitset_t:
746
+ r.non_zero_chunks_are_initialized = False
747
+
748
+ cdef inline void sparse_bitset_difference(sparse_bitset_t r, fused_bitset_t a, fused_bitset_t b) noexcept:
749
+ """
750
+ Set r to the difference of a and b (i.e., things in a that are not
751
+ in b), overwriting r.
752
+
753
+ Also set the nonzero positions of ``r``.
754
+
755
+ We assume ``r.limbs >= a.limbs >= b.limbs`` and either ``r is a``
756
+ or ``r.limbs == b.limbs``.
757
+ """
758
+ r.n_non_zero_chunks = _sparse_bitset_operation(r.bits, r.non_zero_chunks, a.bits, b.bits, b.limbs, ANDNOT)
759
+ r.non_zero_chunks_are_initialized = True
760
+
761
+ cdef inline void bitset_symmetric_difference(fused_bitset_t r, fused_bitset_t a, fused_bitset_t b) noexcept:
762
+ """
763
+ Set r to the symmetric difference of a and b, overwriting r.
764
+
765
+ We assume ``r.limbs >= a.limbs >= b.limbs`` and either ``r is a``
766
+ or ``r.limbs == b.limbs``.
767
+ """
768
+ _bitset_operation(r.bits, a.bits, b.bits, b.limbs, XOR)
769
+ if fused_bitset_t is sparse_bitset_t:
770
+ r.non_zero_chunks_are_initialized = False
771
+
772
+ cdef inline void sparse_bitset_symmetric_difference(sparse_bitset_t r, fused_bitset_t a, fused_bitset_t b) noexcept:
773
+ """
774
+ Set r to the symmetric difference of a and b, overwriting r.
775
+
776
+ Also set the nonzero positions of ``r``.
777
+
778
+ We assume ``r.limbs >= a.limbs >= b.limbs`` and either ``r is a``
779
+ or ``r.limbs == b.limbs``.
780
+ """
781
+ r.n_non_zero_chunks = _sparse_bitset_operation(r.bits, r.non_zero_chunks, a.bits, b.bits, b.limbs, XOR)
782
+ r.non_zero_chunks_are_initialized = True
783
+
784
+ cdef inline void bitset_xor(fused_bitset_t r, fused_bitset_t a, fused_bitset_t b) noexcept:
785
+ """
786
+ Set r to the symmetric difference of a and b, overwriting r.
787
+
788
+ We assume ``r.limbs >= a.limbs >= b.limbs`` and either ``r is a``
789
+ or ``r.limbs == b.limbs``.
790
+
791
+ This function is the same as bitset_symmetric_difference(r, a, b).
792
+ """
793
+ bitset_symmetric_difference(r, a, b)
794
+
795
+ cdef inline void bitset_rshift(fused_bitset_t r, fused_bitset_t a, mp_bitcnt_t n) noexcept:
796
+ """
797
+ Shift the bitset ``a`` right by ``n`` bits and store the result in
798
+ ``r``.
799
+
800
+ There are no assumptions on the sizes of ``a`` and ``r``. Bits which are
801
+ shifted outside of the resulting bitset are discarded.
802
+ """
803
+ if n >= a.size:
804
+ mpn_zero(r.bits, r.limbs)
805
+ return
806
+
807
+ # Number of limbs on the right of a which will totally be shifted out
808
+ cdef mp_size_t nlimbs = n >> index_shift
809
+ # Number of limbs to be shifted assuming r is large enough
810
+ cdef mp_size_t shifted_limbs = a.limbs - nlimbs
811
+ # Number of bits to shift additionally
812
+ cdef mp_bitcnt_t nbits = n % GMP_LIMB_BITS
813
+
814
+ if shifted_limbs < r.limbs:
815
+ if nbits:
816
+ mpn_rshift(r.bits, a.bits + nlimbs, shifted_limbs, nbits)
817
+ else:
818
+ mpn_copyi(r.bits, a.bits + nlimbs, shifted_limbs)
819
+
820
+ # Clear top limbs (note that r.limbs - shifted_limbs >= 1)
821
+ mpn_zero(r.bits + (r.limbs - nlimbs), r.limbs - shifted_limbs)
822
+ else:
823
+ # Number of limbs to shift is r.limbs
824
+ if nbits:
825
+ mpn_rshift(r.bits, a.bits + nlimbs, r.limbs, nbits)
826
+ if shifted_limbs > r.limbs:
827
+ # Add the additional bits from top limb of a
828
+ r.bits[r.limbs-1] |= a.bits[r.limbs+nlimbs] << (GMP_LIMB_BITS - nbits)
829
+ else:
830
+ mpn_copyi(r.bits, a.bits + nlimbs, r.limbs)
831
+
832
+ # Clear bits outside bitset in top limb
833
+ bitset_fix(r)
834
+
835
+ if fused_bitset_t is sparse_bitset_t:
836
+ r.non_zero_chunks_are_initialized = False
837
+
838
+ cdef inline void bitset_lshift(fused_bitset_t r, fused_bitset_t a, mp_bitcnt_t n) noexcept:
839
+ """
840
+ Shift the bitset ``a`` left by ``n`` bits and store the result in
841
+ ``r``.
842
+
843
+ There are no assumptions on the sizes of ``a`` and ``r``. Bits which are
844
+ shifted outside of the resulting bitset are discarded.
845
+ """
846
+ if n >= r.size:
847
+ mpn_zero(r.bits, r.limbs)
848
+ return
849
+
850
+ # Number of limbs on the right of r which will totally be zeroed
851
+ cdef mp_size_t nlimbs = n >> index_shift
852
+ # Number of limbs to be shifted assuming a is large enough
853
+ cdef mp_size_t shifted_limbs = r.limbs - nlimbs
854
+ # Number of bits to shift additionally
855
+ cdef mp_bitcnt_t nbits = n % GMP_LIMB_BITS
856
+
857
+ cdef mp_limb_t out = 0
858
+ if shifted_limbs > a.limbs:
859
+ if nbits:
860
+ out = mpn_lshift(r.bits + nlimbs, a.bits, a.limbs, nbits)
861
+ else:
862
+ mpn_copyd(r.bits + nlimbs, a.bits, a.limbs)
863
+
864
+ # Clear top limbs (note that shifted_limbs - a.limbs >= 1)
865
+ mpn_zero(r.bits + a.limbs + nlimbs, shifted_limbs - a.limbs)
866
+ # Store extra limb shifted in from a
867
+ r.bits[nlimbs+a.limbs] = out
868
+ else:
869
+ if nbits:
870
+ mpn_lshift(r.bits + nlimbs, a.bits, shifted_limbs, nbits)
871
+ else:
872
+ mpn_copyd(r.bits + nlimbs, a.bits, shifted_limbs)
873
+
874
+ # Clear bits outside bitset in top limb
875
+ bitset_fix(r)
876
+
877
+ # Clear bottom limbs
878
+ mpn_zero(r.bits, nlimbs)
879
+
880
+ if fused_bitset_t is sparse_bitset_t:
881
+ r.non_zero_chunks_are_initialized = False
882
+
883
+ cdef inline int bitset_map(fused_bitset_t r, fused_bitset_t a, m) except -1:
884
+ """
885
+ Fill bitset ``r`` so ``r == {m[i] for i in a}``.
886
+
887
+ We assume ``m`` has a dictionary interface such that
888
+ ``m[i]`` is an integer in ``[0 ... n-1]`` for all ``i`` in ``a``,
889
+ where ``n`` is the capacity of ``r``.
890
+ """
891
+ if fused_bitset_t is sparse_bitset_t:
892
+ r.non_zero_chunks_are_initialized = False
893
+ cdef long i
894
+ bitset_clear(r)
895
+ i = bitset_first(a)
896
+ while i >= 0:
897
+ bitset_add(r, <mp_bitcnt_t> m[i])
898
+ i = bitset_next(a, i + 1)
899
+ return 0
900
+
901
+ #############################################################################
902
+ # Hamming Weights
903
+ #############################################################################
904
+
905
+ cdef inline long bitset_hamming_weight(fused_bitset_t a) noexcept:
906
+ return bitset_len(a)
907
+
908
+ #############################################################################
909
+ # Bitset Conversion
910
+ #############################################################################
911
+
912
+ cdef char* bitset_chars(char* s, fused_bitset_t bits, char zero=*, char one=*) noexcept
913
+
914
+ cdef int bitset_from_char(bitset_t bits, char* s, char zero=*, char one=*) except -1
915
+
916
+ cdef int bitset_from_str(bitset_t bits, object s, char zero=*, char one=*) except -1
917
+
918
+ cdef bitset_string(fused_bitset_t bits)
919
+
920
+ cdef bitset_bytes(fused_bitset_t bits)
921
+
922
+ cdef list bitset_list(fused_bitset_t bits)
923
+
924
+ cdef bitset_pickle(bitset_t bs)
925
+
926
+ cdef bitset_unpickle(bitset_t bs, tuple input)