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.
- passagemath_categories-10.6.32.dist-info/METADATA +156 -0
- passagemath_categories-10.6.32.dist-info/RECORD +719 -0
- passagemath_categories-10.6.32.dist-info/WHEEL +5 -0
- passagemath_categories-10.6.32.dist-info/top_level.txt +2 -0
- passagemath_categories.libs/libgcc_s-2d945d6c.so.1 +0 -0
- passagemath_categories.libs/libgmp-28992bcb.so.10.5.0 +0 -0
- passagemath_categories.libs/libstdc++-85f2cd6d.so.6.0.33 +0 -0
- sage/all__sagemath_categories.py +28 -0
- sage/arith/all.py +38 -0
- sage/arith/constants.pxd +27 -0
- sage/arith/functions.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/arith/functions.pxd +4 -0
- sage/arith/functions.pyx +221 -0
- sage/arith/misc.py +6552 -0
- sage/arith/multi_modular.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/arith/multi_modular.pxd +39 -0
- sage/arith/multi_modular.pyx +994 -0
- sage/arith/rational_reconstruction.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/arith/rational_reconstruction.pxd +4 -0
- sage/arith/rational_reconstruction.pyx +115 -0
- sage/arith/srange.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/arith/srange.pyx +571 -0
- sage/calculus/all__sagemath_categories.py +2 -0
- sage/calculus/functional.py +481 -0
- sage/calculus/functions.py +151 -0
- sage/categories/additive_groups.py +73 -0
- sage/categories/additive_magmas.py +1044 -0
- sage/categories/additive_monoids.py +114 -0
- sage/categories/additive_semigroups.py +184 -0
- sage/categories/affine_weyl_groups.py +238 -0
- sage/categories/algebra_ideals.py +95 -0
- sage/categories/algebra_modules.py +96 -0
- sage/categories/algebras.py +349 -0
- sage/categories/algebras_with_basis.py +377 -0
- sage/categories/all.py +160 -0
- sage/categories/aperiodic_semigroups.py +29 -0
- sage/categories/associative_algebras.py +47 -0
- sage/categories/bialgebras.py +101 -0
- sage/categories/bialgebras_with_basis.py +414 -0
- sage/categories/bimodules.py +206 -0
- sage/categories/chain_complexes.py +268 -0
- sage/categories/classical_crystals.py +480 -0
- sage/categories/coalgebras.py +405 -0
- sage/categories/coalgebras_with_basis.py +232 -0
- sage/categories/coercion_methods.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/categories/coercion_methods.pyx +52 -0
- sage/categories/commutative_additive_groups.py +104 -0
- sage/categories/commutative_additive_monoids.py +45 -0
- sage/categories/commutative_additive_semigroups.py +48 -0
- sage/categories/commutative_algebra_ideals.py +87 -0
- sage/categories/commutative_algebras.py +94 -0
- sage/categories/commutative_ring_ideals.py +58 -0
- sage/categories/commutative_rings.py +736 -0
- sage/categories/complete_discrete_valuation.py +293 -0
- sage/categories/complex_reflection_groups.py +145 -0
- sage/categories/complex_reflection_or_generalized_coxeter_groups.py +1249 -0
- sage/categories/coxeter_group_algebras.py +186 -0
- sage/categories/coxeter_groups.py +3402 -0
- sage/categories/crystals.py +2628 -0
- sage/categories/cw_complexes.py +216 -0
- sage/categories/dedekind_domains.py +137 -0
- sage/categories/discrete_valuation.py +325 -0
- sage/categories/distributive_magmas_and_additive_magmas.py +100 -0
- sage/categories/division_rings.py +114 -0
- sage/categories/domains.py +95 -0
- sage/categories/drinfeld_modules.py +789 -0
- sage/categories/dual.py +42 -0
- sage/categories/enumerated_sets.py +1146 -0
- sage/categories/euclidean_domains.py +271 -0
- sage/categories/examples/algebras_with_basis.py +102 -0
- sage/categories/examples/all.py +1 -0
- sage/categories/examples/commutative_additive_monoids.py +130 -0
- sage/categories/examples/commutative_additive_semigroups.py +199 -0
- sage/categories/examples/coxeter_groups.py +8 -0
- sage/categories/examples/crystals.py +236 -0
- sage/categories/examples/cw_complexes.py +163 -0
- sage/categories/examples/facade_sets.py +187 -0
- sage/categories/examples/filtered_algebras_with_basis.py +204 -0
- sage/categories/examples/filtered_modules_with_basis.py +154 -0
- sage/categories/examples/finite_coxeter_groups.py +252 -0
- sage/categories/examples/finite_dimensional_algebras_with_basis.py +148 -0
- sage/categories/examples/finite_dimensional_lie_algebras_with_basis.py +495 -0
- sage/categories/examples/finite_enumerated_sets.py +208 -0
- sage/categories/examples/finite_monoids.py +150 -0
- sage/categories/examples/finite_semigroups.py +190 -0
- sage/categories/examples/finite_weyl_groups.py +191 -0
- sage/categories/examples/graded_connected_hopf_algebras_with_basis.py +152 -0
- sage/categories/examples/graded_modules_with_basis.py +168 -0
- sage/categories/examples/graphs.py +122 -0
- sage/categories/examples/hopf_algebras_with_basis.py +145 -0
- sage/categories/examples/infinite_enumerated_sets.py +190 -0
- sage/categories/examples/lie_algebras.py +352 -0
- sage/categories/examples/lie_algebras_with_basis.py +196 -0
- sage/categories/examples/magmas.py +162 -0
- sage/categories/examples/manifolds.py +94 -0
- sage/categories/examples/monoids.py +144 -0
- sage/categories/examples/posets.py +178 -0
- sage/categories/examples/semigroups.py +580 -0
- sage/categories/examples/semigroups_cython.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/categories/examples/semigroups_cython.pyx +221 -0
- sage/categories/examples/semirings.py +249 -0
- sage/categories/examples/sets_cat.py +706 -0
- sage/categories/examples/sets_with_grading.py +101 -0
- sage/categories/examples/with_realizations.py +542 -0
- sage/categories/fields.py +991 -0
- sage/categories/filtered_algebras.py +63 -0
- sage/categories/filtered_algebras_with_basis.py +548 -0
- sage/categories/filtered_hopf_algebras_with_basis.py +138 -0
- sage/categories/filtered_modules.py +210 -0
- sage/categories/filtered_modules_with_basis.py +1209 -0
- sage/categories/finite_complex_reflection_groups.py +1506 -0
- sage/categories/finite_coxeter_groups.py +1138 -0
- sage/categories/finite_crystals.py +103 -0
- sage/categories/finite_dimensional_algebras_with_basis.py +1860 -0
- sage/categories/finite_dimensional_bialgebras_with_basis.py +33 -0
- sage/categories/finite_dimensional_coalgebras_with_basis.py +33 -0
- sage/categories/finite_dimensional_graded_lie_algebras_with_basis.py +231 -0
- sage/categories/finite_dimensional_hopf_algebras_with_basis.py +38 -0
- sage/categories/finite_dimensional_lie_algebras_with_basis.py +2774 -0
- sage/categories/finite_dimensional_modules_with_basis.py +1407 -0
- sage/categories/finite_dimensional_nilpotent_lie_algebras_with_basis.py +167 -0
- sage/categories/finite_dimensional_semisimple_algebras_with_basis.py +270 -0
- sage/categories/finite_enumerated_sets.py +769 -0
- sage/categories/finite_fields.py +252 -0
- sage/categories/finite_groups.py +256 -0
- sage/categories/finite_lattice_posets.py +242 -0
- sage/categories/finite_monoids.py +316 -0
- sage/categories/finite_permutation_groups.py +339 -0
- sage/categories/finite_posets.py +1994 -0
- sage/categories/finite_semigroups.py +136 -0
- sage/categories/finite_sets.py +93 -0
- sage/categories/finite_weyl_groups.py +39 -0
- sage/categories/finitely_generated_lambda_bracket_algebras.py +112 -0
- sage/categories/finitely_generated_lie_conformal_algebras.py +114 -0
- sage/categories/finitely_generated_magmas.py +57 -0
- sage/categories/finitely_generated_semigroups.py +214 -0
- sage/categories/function_fields.py +76 -0
- sage/categories/g_sets.py +77 -0
- sage/categories/gcd_domains.py +65 -0
- sage/categories/generalized_coxeter_groups.py +94 -0
- sage/categories/graded_algebras.py +85 -0
- sage/categories/graded_algebras_with_basis.py +258 -0
- sage/categories/graded_bialgebras.py +32 -0
- sage/categories/graded_bialgebras_with_basis.py +32 -0
- sage/categories/graded_coalgebras.py +65 -0
- sage/categories/graded_coalgebras_with_basis.py +51 -0
- sage/categories/graded_hopf_algebras.py +41 -0
- sage/categories/graded_hopf_algebras_with_basis.py +169 -0
- sage/categories/graded_lie_algebras.py +91 -0
- sage/categories/graded_lie_algebras_with_basis.py +44 -0
- sage/categories/graded_lie_conformal_algebras.py +74 -0
- sage/categories/graded_modules.py +133 -0
- sage/categories/graded_modules_with_basis.py +329 -0
- sage/categories/graphs.py +138 -0
- sage/categories/group_algebras.py +430 -0
- sage/categories/groupoid.py +94 -0
- sage/categories/groups.py +667 -0
- sage/categories/h_trivial_semigroups.py +64 -0
- sage/categories/hecke_modules.py +185 -0
- sage/categories/highest_weight_crystals.py +980 -0
- sage/categories/hopf_algebras.py +219 -0
- sage/categories/hopf_algebras_with_basis.py +309 -0
- sage/categories/infinite_enumerated_sets.py +115 -0
- sage/categories/integral_domains.py +203 -0
- sage/categories/j_trivial_semigroups.py +29 -0
- sage/categories/kac_moody_algebras.py +82 -0
- sage/categories/kahler_algebras.py +203 -0
- sage/categories/l_trivial_semigroups.py +63 -0
- sage/categories/lambda_bracket_algebras.py +280 -0
- sage/categories/lambda_bracket_algebras_with_basis.py +107 -0
- sage/categories/lattice_posets.py +89 -0
- sage/categories/left_modules.py +49 -0
- sage/categories/lie_algebras.py +1070 -0
- sage/categories/lie_algebras_with_basis.py +261 -0
- sage/categories/lie_conformal_algebras.py +350 -0
- sage/categories/lie_conformal_algebras_with_basis.py +147 -0
- sage/categories/lie_groups.py +73 -0
- sage/categories/loop_crystals.py +1290 -0
- sage/categories/magmas.py +1189 -0
- sage/categories/magmas_and_additive_magmas.py +149 -0
- sage/categories/magmatic_algebras.py +365 -0
- sage/categories/manifolds.py +352 -0
- sage/categories/matrix_algebras.py +40 -0
- sage/categories/metric_spaces.py +387 -0
- sage/categories/modular_abelian_varieties.py +78 -0
- sage/categories/modules.py +989 -0
- sage/categories/modules_with_basis.py +2794 -0
- sage/categories/monoid_algebras.py +38 -0
- sage/categories/monoids.py +739 -0
- sage/categories/noetherian_rings.py +87 -0
- sage/categories/number_fields.py +242 -0
- sage/categories/ore_modules.py +189 -0
- sage/categories/partially_ordered_monoids.py +49 -0
- sage/categories/permutation_groups.py +63 -0
- sage/categories/pointed_sets.py +42 -0
- sage/categories/polyhedra.py +74 -0
- sage/categories/poor_man_map.py +270 -0
- sage/categories/posets.py +722 -0
- sage/categories/principal_ideal_domains.py +270 -0
- sage/categories/quantum_group_representations.py +543 -0
- sage/categories/quotient_fields.py +728 -0
- sage/categories/r_trivial_semigroups.py +45 -0
- sage/categories/regular_crystals.py +898 -0
- sage/categories/regular_supercrystals.py +170 -0
- sage/categories/right_modules.py +49 -0
- sage/categories/ring_ideals.py +74 -0
- sage/categories/rings.py +1904 -0
- sage/categories/rngs.py +175 -0
- sage/categories/schemes.py +393 -0
- sage/categories/semigroups.py +1060 -0
- sage/categories/semirings.py +71 -0
- sage/categories/semisimple_algebras.py +114 -0
- sage/categories/sets_with_grading.py +235 -0
- sage/categories/shephard_groups.py +43 -0
- sage/categories/signed_tensor.py +120 -0
- sage/categories/simplicial_complexes.py +134 -0
- sage/categories/simplicial_sets.py +1206 -0
- sage/categories/super_algebras.py +149 -0
- sage/categories/super_algebras_with_basis.py +144 -0
- sage/categories/super_hopf_algebras_with_basis.py +126 -0
- sage/categories/super_lie_conformal_algebras.py +193 -0
- sage/categories/super_modules.py +229 -0
- sage/categories/super_modules_with_basis.py +193 -0
- sage/categories/supercommutative_algebras.py +99 -0
- sage/categories/supercrystals.py +406 -0
- sage/categories/tensor.py +110 -0
- sage/categories/topological_spaces.py +170 -0
- sage/categories/triangular_kac_moody_algebras.py +439 -0
- sage/categories/tutorial.py +58 -0
- sage/categories/unique_factorization_domains.py +318 -0
- sage/categories/unital_algebras.py +426 -0
- sage/categories/vector_bundles.py +159 -0
- sage/categories/vector_spaces.py +357 -0
- sage/categories/weyl_groups.py +853 -0
- sage/combinat/all__sagemath_categories.py +34 -0
- sage/combinat/backtrack.py +180 -0
- sage/combinat/combinat.py +2269 -0
- sage/combinat/combinat_cython.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/combinat/combinat_cython.pxd +6 -0
- sage/combinat/combinat_cython.pyx +390 -0
- sage/combinat/combination.py +796 -0
- sage/combinat/combinatorial_map.py +416 -0
- sage/combinat/composition.py +2192 -0
- sage/combinat/dlx.py +510 -0
- sage/combinat/integer_lists/__init__.py +7 -0
- sage/combinat/integer_lists/base.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/combinat/integer_lists/base.pxd +16 -0
- sage/combinat/integer_lists/base.pyx +713 -0
- sage/combinat/integer_lists/invlex.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/combinat/integer_lists/invlex.pxd +4 -0
- sage/combinat/integer_lists/invlex.pyx +1650 -0
- sage/combinat/integer_lists/lists.py +328 -0
- sage/combinat/integer_lists/nn.py +48 -0
- sage/combinat/integer_vector.py +1818 -0
- sage/combinat/integer_vector_weighted.py +413 -0
- sage/combinat/matrices/all__sagemath_categories.py +5 -0
- sage/combinat/matrices/dancing_links.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/combinat/matrices/dancing_links.pyx +1159 -0
- sage/combinat/matrices/dancing_links_c.h +380 -0
- sage/combinat/matrices/dlxcpp.py +136 -0
- sage/combinat/partition.py +10070 -0
- sage/combinat/partitions.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/combinat/partitions.pyx +743 -0
- sage/combinat/permutation.py +10168 -0
- sage/combinat/permutation_cython.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/combinat/permutation_cython.pxd +11 -0
- sage/combinat/permutation_cython.pyx +407 -0
- sage/combinat/q_analogues.py +1090 -0
- sage/combinat/ranker.py +268 -0
- sage/combinat/subset.py +1561 -0
- sage/combinat/subsets_hereditary.py +202 -0
- sage/combinat/subsets_pairwise.py +184 -0
- sage/combinat/tools.py +63 -0
- sage/combinat/tuple.py +348 -0
- sage/data_structures/all.py +2 -0
- sage/data_structures/all__sagemath_categories.py +2 -0
- sage/data_structures/binary_matrix.pxd +138 -0
- sage/data_structures/binary_search.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/data_structures/binary_search.pxd +3 -0
- sage/data_structures/binary_search.pyx +66 -0
- sage/data_structures/bitset.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/data_structures/bitset.pxd +40 -0
- sage/data_structures/bitset.pyx +2385 -0
- sage/data_structures/bitset_base.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/data_structures/bitset_base.pxd +926 -0
- sage/data_structures/bitset_base.pyx +117 -0
- sage/data_structures/bitset_intrinsics.h +487 -0
- sage/data_structures/blas_dict.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/data_structures/blas_dict.pxd +12 -0
- sage/data_structures/blas_dict.pyx +469 -0
- sage/data_structures/list_of_pairs.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/data_structures/list_of_pairs.pxd +16 -0
- sage/data_structures/list_of_pairs.pyx +122 -0
- sage/data_structures/mutable_poset.py +3312 -0
- sage/data_structures/pairing_heap.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/data_structures/pairing_heap.h +346 -0
- sage/data_structures/pairing_heap.pxd +88 -0
- sage/data_structures/pairing_heap.pyx +1464 -0
- sage/data_structures/sparse_bitset.pxd +62 -0
- sage/data_structures/stream.py +5070 -0
- sage/databases/all__sagemath_categories.py +7 -0
- sage/databases/sql_db.py +2236 -0
- sage/ext/all__sagemath_categories.py +3 -0
- sage/ext/fast_callable.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/ext/fast_callable.pxd +4 -0
- sage/ext/fast_callable.pyx +2746 -0
- sage/ext/fast_eval.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/ext/fast_eval.pxd +1 -0
- sage/ext/fast_eval.pyx +102 -0
- sage/ext/interpreters/__init__.py +1 -0
- sage/ext/interpreters/all__sagemath_categories.py +2 -0
- sage/ext/interpreters/wrapper_el.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/ext/interpreters/wrapper_el.pxd +18 -0
- sage/ext/interpreters/wrapper_el.pyx +148 -0
- sage/ext/interpreters/wrapper_py.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/ext/interpreters/wrapper_py.pxd +17 -0
- sage/ext/interpreters/wrapper_py.pyx +133 -0
- sage/functions/airy.py +937 -0
- sage/functions/all.py +97 -0
- sage/functions/bessel.py +2102 -0
- sage/functions/error.py +784 -0
- sage/functions/exp_integral.py +1529 -0
- sage/functions/gamma.py +1087 -0
- sage/functions/generalized.py +672 -0
- sage/functions/hyperbolic.py +747 -0
- sage/functions/hypergeometric.py +1156 -0
- sage/functions/jacobi.py +1705 -0
- sage/functions/log.py +1402 -0
- sage/functions/min_max.py +338 -0
- sage/functions/orthogonal_polys.py +3106 -0
- sage/functions/other.py +2303 -0
- sage/functions/piecewise.py +1505 -0
- sage/functions/prime_pi.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/functions/prime_pi.pyx +262 -0
- sage/functions/special.py +1212 -0
- sage/functions/spike_function.py +278 -0
- sage/functions/transcendental.py +690 -0
- sage/functions/trig.py +1062 -0
- sage/functions/wigner.py +726 -0
- sage/geometry/abc.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/geometry/abc.pyx +82 -0
- sage/geometry/all__sagemath_categories.py +1 -0
- sage/groups/all__sagemath_categories.py +11 -0
- sage/groups/generic.py +1733 -0
- sage/groups/groups_catalog.py +113 -0
- sage/groups/perm_gps/all__sagemath_categories.py +1 -0
- sage/groups/perm_gps/partn_ref/all.py +1 -0
- sage/groups/perm_gps/partn_ref/all__sagemath_categories.py +1 -0
- sage/groups/perm_gps/partn_ref/automorphism_group_canonical_label.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/groups/perm_gps/partn_ref/automorphism_group_canonical_label.pxd +52 -0
- sage/groups/perm_gps/partn_ref/automorphism_group_canonical_label.pyx +906 -0
- sage/groups/perm_gps/partn_ref/canonical_augmentation.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/groups/perm_gps/partn_ref/canonical_augmentation.pxd +85 -0
- sage/groups/perm_gps/partn_ref/canonical_augmentation.pyx +534 -0
- sage/groups/perm_gps/partn_ref/data_structures.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/groups/perm_gps/partn_ref/data_structures.pxd +576 -0
- sage/groups/perm_gps/partn_ref/data_structures.pyx +1792 -0
- sage/groups/perm_gps/partn_ref/double_coset.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/groups/perm_gps/partn_ref/double_coset.pxd +45 -0
- sage/groups/perm_gps/partn_ref/double_coset.pyx +739 -0
- sage/groups/perm_gps/partn_ref/refinement_lists.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/groups/perm_gps/partn_ref/refinement_lists.pxd +18 -0
- sage/groups/perm_gps/partn_ref/refinement_lists.pyx +82 -0
- sage/groups/perm_gps/partn_ref/refinement_python.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/groups/perm_gps/partn_ref/refinement_python.pxd +16 -0
- sage/groups/perm_gps/partn_ref/refinement_python.pyx +564 -0
- sage/groups/perm_gps/partn_ref/refinement_sets.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/groups/perm_gps/partn_ref/refinement_sets.pxd +60 -0
- sage/groups/perm_gps/partn_ref/refinement_sets.pyx +858 -0
- sage/interfaces/abc.py +140 -0
- sage/interfaces/all.py +58 -0
- sage/interfaces/all__sagemath_categories.py +1 -0
- sage/interfaces/expect.py +1643 -0
- sage/interfaces/interface.py +1682 -0
- sage/interfaces/process.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/interfaces/process.pxd +5 -0
- sage/interfaces/process.pyx +288 -0
- sage/interfaces/quit.py +167 -0
- sage/interfaces/sage0.py +604 -0
- sage/interfaces/sagespawn.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/interfaces/sagespawn.pyx +308 -0
- sage/interfaces/tab_completion.py +101 -0
- sage/misc/all__sagemath_categories.py +78 -0
- sage/misc/allocator.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/misc/allocator.pxd +6 -0
- sage/misc/allocator.pyx +47 -0
- sage/misc/binary_tree.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/misc/binary_tree.pxd +29 -0
- sage/misc/binary_tree.pyx +537 -0
- sage/misc/callable_dict.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/misc/callable_dict.pyx +89 -0
- sage/misc/citation.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/misc/citation.pyx +159 -0
- sage/misc/converting_dict.py +293 -0
- sage/misc/defaults.py +129 -0
- sage/misc/derivative.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/misc/derivative.pyx +223 -0
- sage/misc/functional.py +2005 -0
- sage/misc/html.py +589 -0
- sage/misc/latex.py +2673 -0
- sage/misc/latex_macros.py +236 -0
- sage/misc/latex_standalone.py +1833 -0
- sage/misc/map_threaded.py +38 -0
- sage/misc/mathml.py +76 -0
- sage/misc/method_decorator.py +88 -0
- sage/misc/mrange.py +755 -0
- sage/misc/multireplace.py +41 -0
- sage/misc/object_multiplexer.py +92 -0
- sage/misc/parser.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/misc/parser.pyx +1107 -0
- sage/misc/random_testing.py +264 -0
- sage/misc/rest_index_of_methods.py +377 -0
- sage/misc/search.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/misc/search.pxd +2 -0
- sage/misc/search.pyx +68 -0
- sage/misc/stopgap.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/misc/stopgap.pyx +95 -0
- sage/misc/table.py +853 -0
- sage/monoids/all__sagemath_categories.py +1 -0
- sage/monoids/indexed_free_monoid.py +1071 -0
- sage/monoids/monoid.py +82 -0
- sage/numerical/all__sagemath_categories.py +1 -0
- sage/numerical/backends/all__sagemath_categories.py +1 -0
- sage/numerical/backends/generic_backend.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/numerical/backends/generic_backend.pxd +61 -0
- sage/numerical/backends/generic_backend.pyx +1893 -0
- sage/numerical/backends/generic_sdp_backend.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/numerical/backends/generic_sdp_backend.pxd +38 -0
- sage/numerical/backends/generic_sdp_backend.pyx +755 -0
- sage/parallel/all.py +6 -0
- sage/parallel/decorate.py +575 -0
- sage/parallel/map_reduce.py +1997 -0
- sage/parallel/multiprocessing_sage.py +76 -0
- sage/parallel/ncpus.py +35 -0
- sage/parallel/parallelism.py +364 -0
- sage/parallel/reference.py +47 -0
- sage/parallel/use_fork.py +333 -0
- sage/rings/abc.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/abc.pxd +31 -0
- sage/rings/abc.pyx +526 -0
- sage/rings/algebraic_closure_finite_field.py +1154 -0
- sage/rings/all__sagemath_categories.py +91 -0
- sage/rings/big_oh.py +227 -0
- sage/rings/continued_fraction.py +2754 -0
- sage/rings/continued_fraction_gosper.py +220 -0
- sage/rings/factorint.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/factorint.pyx +295 -0
- sage/rings/fast_arith.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/fast_arith.pxd +21 -0
- sage/rings/fast_arith.pyx +535 -0
- sage/rings/finite_rings/all__sagemath_categories.py +9 -0
- sage/rings/finite_rings/conway_polynomials.py +542 -0
- sage/rings/finite_rings/element_base.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/finite_rings/element_base.pxd +12 -0
- sage/rings/finite_rings/element_base.pyx +1176 -0
- sage/rings/finite_rings/finite_field_base.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/finite_rings/finite_field_base.pxd +7 -0
- sage/rings/finite_rings/finite_field_base.pyx +2171 -0
- sage/rings/finite_rings/finite_field_constructor.py +827 -0
- sage/rings/finite_rings/finite_field_prime_modn.py +372 -0
- sage/rings/finite_rings/galois_group.py +154 -0
- sage/rings/finite_rings/hom_finite_field.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/finite_rings/hom_finite_field.pxd +23 -0
- sage/rings/finite_rings/hom_finite_field.pyx +856 -0
- sage/rings/finite_rings/hom_prime_finite_field.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/finite_rings/hom_prime_finite_field.pxd +15 -0
- sage/rings/finite_rings/hom_prime_finite_field.pyx +164 -0
- sage/rings/finite_rings/homset.py +357 -0
- sage/rings/finite_rings/integer_mod.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/finite_rings/integer_mod.pxd +56 -0
- sage/rings/finite_rings/integer_mod.pyx +4586 -0
- sage/rings/finite_rings/integer_mod_limits.h +11 -0
- sage/rings/finite_rings/integer_mod_ring.py +2044 -0
- sage/rings/finite_rings/residue_field.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/finite_rings/residue_field.pxd +30 -0
- sage/rings/finite_rings/residue_field.pyx +1811 -0
- sage/rings/finite_rings/stdint.pxd +19 -0
- sage/rings/fraction_field.py +1452 -0
- sage/rings/fraction_field_element.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/fraction_field_element.pyx +1357 -0
- sage/rings/function_field/all.py +7 -0
- sage/rings/function_field/all__sagemath_categories.py +2 -0
- sage/rings/function_field/constructor.py +218 -0
- sage/rings/function_field/element.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/function_field/element.pxd +11 -0
- sage/rings/function_field/element.pyx +1008 -0
- sage/rings/function_field/element_rational.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/function_field/element_rational.pyx +513 -0
- sage/rings/function_field/extensions.py +230 -0
- sage/rings/function_field/function_field.py +1468 -0
- sage/rings/function_field/function_field_rational.py +1005 -0
- sage/rings/function_field/ideal.py +1155 -0
- sage/rings/function_field/ideal_rational.py +629 -0
- sage/rings/function_field/jacobian_base.py +826 -0
- sage/rings/function_field/jacobian_hess.py +1053 -0
- sage/rings/function_field/jacobian_khuri_makdisi.py +1027 -0
- sage/rings/function_field/maps.py +1039 -0
- sage/rings/function_field/order.py +281 -0
- sage/rings/function_field/order_basis.py +586 -0
- sage/rings/function_field/order_rational.py +576 -0
- sage/rings/function_field/place.py +426 -0
- sage/rings/function_field/place_rational.py +181 -0
- sage/rings/generic.py +320 -0
- sage/rings/homset.py +332 -0
- sage/rings/ideal.py +1885 -0
- sage/rings/ideal_monoid.py +215 -0
- sage/rings/infinity.py +1890 -0
- sage/rings/integer.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/integer.pxd +45 -0
- sage/rings/integer.pyx +7874 -0
- sage/rings/integer_ring.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/integer_ring.pxd +8 -0
- sage/rings/integer_ring.pyx +1693 -0
- sage/rings/laurent_series_ring.py +931 -0
- sage/rings/laurent_series_ring_element.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/laurent_series_ring_element.pxd +11 -0
- sage/rings/laurent_series_ring_element.pyx +1927 -0
- sage/rings/lazy_series.py +7815 -0
- sage/rings/lazy_series_ring.py +4356 -0
- sage/rings/localization.py +1043 -0
- sage/rings/morphism.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/morphism.pxd +39 -0
- sage/rings/morphism.pyx +3299 -0
- sage/rings/multi_power_series_ring.py +1145 -0
- sage/rings/multi_power_series_ring_element.py +2184 -0
- sage/rings/noncommutative_ideals.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/noncommutative_ideals.pyx +423 -0
- sage/rings/number_field/all__sagemath_categories.py +1 -0
- sage/rings/number_field/number_field_base.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/number_field/number_field_base.pxd +8 -0
- sage/rings/number_field/number_field_base.pyx +507 -0
- sage/rings/number_field/number_field_element_base.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/number_field/number_field_element_base.pxd +6 -0
- sage/rings/number_field/number_field_element_base.pyx +36 -0
- sage/rings/number_field/number_field_ideal.py +3550 -0
- sage/rings/padics/all__sagemath_categories.py +4 -0
- sage/rings/padics/local_generic.py +1670 -0
- sage/rings/padics/local_generic_element.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/padics/local_generic_element.pxd +5 -0
- sage/rings/padics/local_generic_element.pyx +1017 -0
- sage/rings/padics/misc.py +256 -0
- sage/rings/padics/padic_generic.py +1911 -0
- sage/rings/padics/pow_computer.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/padics/pow_computer.pxd +38 -0
- sage/rings/padics/pow_computer.pyx +671 -0
- sage/rings/padics/precision_error.py +24 -0
- sage/rings/polynomial/all__sagemath_categories.py +25 -0
- sage/rings/polynomial/commutative_polynomial.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/polynomial/commutative_polynomial.pxd +6 -0
- sage/rings/polynomial/commutative_polynomial.pyx +24 -0
- sage/rings/polynomial/cyclotomic.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/polynomial/cyclotomic.pyx +404 -0
- sage/rings/polynomial/flatten.py +711 -0
- sage/rings/polynomial/ideal.py +102 -0
- sage/rings/polynomial/infinite_polynomial_element.py +1768 -0
- sage/rings/polynomial/infinite_polynomial_ring.py +1653 -0
- sage/rings/polynomial/laurent_polynomial.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/polynomial/laurent_polynomial.pxd +18 -0
- sage/rings/polynomial/laurent_polynomial.pyx +2190 -0
- sage/rings/polynomial/laurent_polynomial_ideal.py +590 -0
- sage/rings/polynomial/laurent_polynomial_ring.py +832 -0
- sage/rings/polynomial/laurent_polynomial_ring_base.py +708 -0
- sage/rings/polynomial/multi_polynomial.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/polynomial/multi_polynomial.pxd +12 -0
- sage/rings/polynomial/multi_polynomial.pyx +3082 -0
- sage/rings/polynomial/multi_polynomial_element.py +2570 -0
- sage/rings/polynomial/multi_polynomial_ideal.py +5771 -0
- sage/rings/polynomial/multi_polynomial_ring.py +947 -0
- sage/rings/polynomial/multi_polynomial_ring_base.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/polynomial/multi_polynomial_ring_base.pxd +15 -0
- sage/rings/polynomial/multi_polynomial_ring_base.pyx +1855 -0
- sage/rings/polynomial/multi_polynomial_sequence.py +2204 -0
- sage/rings/polynomial/polydict.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/polynomial/polydict.pxd +45 -0
- sage/rings/polynomial/polydict.pyx +2701 -0
- sage/rings/polynomial/polynomial_compiled.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/polynomial/polynomial_compiled.pxd +59 -0
- sage/rings/polynomial/polynomial_compiled.pyx +509 -0
- sage/rings/polynomial/polynomial_element.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/polynomial/polynomial_element.pxd +64 -0
- sage/rings/polynomial/polynomial_element.pyx +13255 -0
- sage/rings/polynomial/polynomial_element_generic.py +1637 -0
- sage/rings/polynomial/polynomial_fateman.py +97 -0
- sage/rings/polynomial/polynomial_quotient_ring.py +2465 -0
- sage/rings/polynomial/polynomial_quotient_ring_element.py +779 -0
- sage/rings/polynomial/polynomial_ring.py +3784 -0
- sage/rings/polynomial/polynomial_ring_constructor.py +1051 -0
- sage/rings/polynomial/polynomial_ring_homomorphism.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/polynomial/polynomial_ring_homomorphism.pxd +5 -0
- sage/rings/polynomial/polynomial_ring_homomorphism.pyx +121 -0
- sage/rings/polynomial/polynomial_singular_interface.py +549 -0
- sage/rings/polynomial/symmetric_ideal.py +989 -0
- sage/rings/polynomial/symmetric_reduction.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/polynomial/symmetric_reduction.pxd +8 -0
- sage/rings/polynomial/symmetric_reduction.pyx +669 -0
- sage/rings/polynomial/term_order.py +2279 -0
- sage/rings/polynomial/toy_buchberger.py +449 -0
- sage/rings/polynomial/toy_d_basis.py +387 -0
- sage/rings/polynomial/toy_variety.py +362 -0
- sage/rings/power_series_mpoly.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/power_series_mpoly.pxd +9 -0
- sage/rings/power_series_mpoly.pyx +161 -0
- sage/rings/power_series_poly.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/power_series_poly.pxd +10 -0
- sage/rings/power_series_poly.pyx +1317 -0
- sage/rings/power_series_ring.py +1441 -0
- sage/rings/power_series_ring_element.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/power_series_ring_element.pxd +12 -0
- sage/rings/power_series_ring_element.pyx +3028 -0
- sage/rings/puiseux_series_ring.py +487 -0
- sage/rings/puiseux_series_ring_element.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/puiseux_series_ring_element.pxd +7 -0
- sage/rings/puiseux_series_ring_element.pyx +1055 -0
- sage/rings/qqbar_decorators.py +167 -0
- sage/rings/quotient_ring.py +1598 -0
- sage/rings/quotient_ring_element.py +979 -0
- sage/rings/rational.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/rational.pxd +20 -0
- sage/rings/rational.pyx +4284 -0
- sage/rings/rational_field.py +1730 -0
- sage/rings/real_double.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/real_double.pxd +16 -0
- sage/rings/real_double.pyx +2218 -0
- sage/rings/real_lazy.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/real_lazy.pxd +30 -0
- sage/rings/real_lazy.pyx +1773 -0
- sage/rings/ring.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/ring.pxd +30 -0
- sage/rings/ring.pyx +850 -0
- sage/rings/semirings/all.py +3 -0
- sage/rings/semirings/non_negative_integer_semiring.py +107 -0
- sage/rings/semirings/tropical_mpolynomial.py +972 -0
- sage/rings/semirings/tropical_polynomial.py +997 -0
- sage/rings/semirings/tropical_semiring.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/semirings/tropical_semiring.pyx +676 -0
- sage/rings/semirings/tropical_variety.py +1701 -0
- sage/rings/sum_of_squares.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/rings/sum_of_squares.pxd +3 -0
- sage/rings/sum_of_squares.pyx +336 -0
- sage/rings/tests.py +504 -0
- sage/schemes/affine/affine_homset.py +508 -0
- sage/schemes/affine/affine_morphism.py +1574 -0
- sage/schemes/affine/affine_point.py +460 -0
- sage/schemes/affine/affine_rational_point.py +308 -0
- sage/schemes/affine/affine_space.py +1264 -0
- sage/schemes/affine/affine_subscheme.py +592 -0
- sage/schemes/affine/all.py +25 -0
- sage/schemes/all__sagemath_categories.py +5 -0
- sage/schemes/generic/algebraic_scheme.py +2092 -0
- sage/schemes/generic/all.py +5 -0
- sage/schemes/generic/ambient_space.py +400 -0
- sage/schemes/generic/divisor.py +465 -0
- sage/schemes/generic/divisor_group.py +313 -0
- sage/schemes/generic/glue.py +84 -0
- sage/schemes/generic/homset.py +820 -0
- sage/schemes/generic/hypersurface.py +234 -0
- sage/schemes/generic/morphism.py +2107 -0
- sage/schemes/generic/point.py +237 -0
- sage/schemes/generic/scheme.py +1190 -0
- sage/schemes/generic/spec.py +199 -0
- sage/schemes/product_projective/all.py +6 -0
- sage/schemes/product_projective/homset.py +236 -0
- sage/schemes/product_projective/morphism.py +517 -0
- sage/schemes/product_projective/point.py +568 -0
- sage/schemes/product_projective/rational_point.py +550 -0
- sage/schemes/product_projective/space.py +1301 -0
- sage/schemes/product_projective/subscheme.py +466 -0
- sage/schemes/projective/all.py +24 -0
- sage/schemes/projective/proj_bdd_height.py +453 -0
- sage/schemes/projective/projective_homset.py +718 -0
- sage/schemes/projective/projective_morphism.py +2792 -0
- sage/schemes/projective/projective_point.py +1484 -0
- sage/schemes/projective/projective_rational_point.py +569 -0
- sage/schemes/projective/projective_space.py +2571 -0
- sage/schemes/projective/projective_subscheme.py +1574 -0
- sage/sets/all.py +17 -0
- sage/sets/cartesian_product.py +376 -0
- sage/sets/condition_set.py +525 -0
- sage/sets/disjoint_set.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/sets/disjoint_set.pxd +36 -0
- sage/sets/disjoint_set.pyx +998 -0
- sage/sets/disjoint_union_enumerated_sets.py +625 -0
- sage/sets/family.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/sets/family.pxd +12 -0
- sage/sets/family.pyx +1556 -0
- sage/sets/finite_enumerated_set.py +406 -0
- sage/sets/finite_set_map_cy.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/sets/finite_set_map_cy.pxd +34 -0
- sage/sets/finite_set_map_cy.pyx +708 -0
- sage/sets/finite_set_maps.py +591 -0
- sage/sets/image_set.py +448 -0
- sage/sets/integer_range.py +829 -0
- sage/sets/non_negative_integers.py +241 -0
- sage/sets/positive_integers.py +93 -0
- sage/sets/primes.py +188 -0
- sage/sets/real_set.py +2760 -0
- sage/sets/recursively_enumerated_set.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/sets/recursively_enumerated_set.pxd +31 -0
- sage/sets/recursively_enumerated_set.pyx +2082 -0
- sage/sets/set.py +2083 -0
- sage/sets/set_from_iterator.py +1021 -0
- sage/sets/totally_ordered_finite_set.py +329 -0
- sage/symbolic/all__sagemath_categories.py +1 -0
- sage/symbolic/function.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/symbolic/function.pxd +29 -0
- sage/symbolic/function.pyx +1488 -0
- sage/symbolic/symbols.py +56 -0
- sage/tests/all__sagemath_categories.py +1 -0
- sage/tests/cython.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/tests/cython.pyx +37 -0
- sage/tests/stl_vector.cpython-314t-aarch64-linux-musl.so +0 -0
- sage/tests/stl_vector.pyx +171 -0
- sage/typeset/all.py +6 -0
- sage/typeset/ascii_art.py +295 -0
- sage/typeset/character_art.py +789 -0
- sage/typeset/character_art_factory.py +572 -0
- sage/typeset/symbols.py +334 -0
- sage/typeset/unicode_art.py +183 -0
- 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)
|