hly1204's library

old version & docs.

ALL code was written by myself or modified from open source project(s), not generated by any artificial intelligence.

If you want some unbundled samples, please check standalone_test/*.

Links

• GitHub issues

Library Files

• avl_tree_node_base.hpp
• basis.hpp
• batch_inv.hpp
• binomial.hpp
• bitarray.hpp
• bitwise_conv.hpp
• C-Finite Sequence (c_finite.hpp)
• chinese_remainder.hpp
• conv_mod.hpp
• Chirp Z Transform (czt.hpp)
• disjoint_set.hpp
• disjoint_sparse_table.hpp
• falling_factorial_poly.hpp
• famous_sequence.hpp
• FFT (fft.hpp)
• FFT Doubling (fft_doubling.hpp)
• FPS as Linear Operator (fps_as_operator.hpp)
• fps_basic.hpp
• Formal Power Series Composition (fps_composition.hpp)
• fps_polya.hpp
• fps_sqrt.hpp
• frobenius.hpp
• Karatsuba Multiplication (karatsuba.hpp)
• ks.hpp
• mat_basic.hpp
• mat_extra.hpp
• mat_sparse.hpp
• Multidimensional Convolution (Truncated) (md_conv.hpp)
• Middle Product (middle_product.hpp)
• modint.hpp
• modlong.hpp
• monoid.hpp
• Multivariate Power Series (mps_basic.hpp)
• node_pool.hpp
• poly.hpp
• poly_basic.hpp
• Polynomial Interpolation (Lagrange Interpolation) (poly_interpolation.hpp)
• poly_interpolation_with_error.hpp
• poly_product.hpp
• pow_table.hpp
• random.hpp
• rmq.hpp
• rng.hpp
• semi_relaxed_conv.hpp
• Shift Sample Points (shift_sample_points.hpp)
• sparse_table.hpp
• sps_basic.hpp
• sps_fft.hpp
• sps_in_poly.hpp
• sqrt_int.hpp
• sqrt_mod.hpp
• st_tree_node_base.hpp
• Subproduct Tree (subproduct_tree.hpp)
• subset_conv.hpp
• suffix_array.hpp
• swag.hpp
• treap_node_base.hpp
• xgcd.hpp

Verification Files

standalone_test/convolution/

• standalone_test/convolution/convolution_F_2_64.radix_3_schoenhage.test.cpp
• standalone_test/convolution/convolution_mod.fft_dfs_order_iteration.test.cpp
• standalone_test/convolution/convolution_mod_1000000007.radix_2_schoenhage.test.cpp
• Radix-3 Schönhage's Algorithm (a.k.a. Radix-3 Schönhage–Strassen Algorithm) (standalone_test/convolution/convolution_mod_2_64.radix_3_schoenhage.test.cpp)

standalone_test/formal_power_series/

• standalone_test/formal_power_series/composition_of_formal_power_series_large.kinoshita_li.test.cpp
• standalone_test/formal_power_series/compositional_inverse_of_formal_power_series_large.kinoshita_li.test.cpp
• standalone_test/formal_power_series/exp_of_formal_power_series.hoeven_divide_and_conquer_binary.test.cpp
• standalone_test/formal_power_series/inv_of_formal_power_series.newton_10e.test.cpp
• standalone_test/formal_power_series/log_of_formal_power_series.hoeven_divide_and_conquer_binary.test.cpp

standalone_test/other/

• Rational Approximation (standalone_test/other/find_linear_recurrence.rational_approximation.test.cpp)

test/convolution/

• test/convolution/2d_convolution.0.test.cpp
• test/convolution/bitwise_and_convolution.0.test.cpp
• test/convolution/bitwise_xor_convolution.0.test.cpp
• test/convolution/convolution_mod.0.test.cpp
• test/convolution/convolution_mod_1000000007.0.test.cpp
• test/convolution/multidimensional_convolution.0.test.cpp

test/data_structure/

• test/data_structure/dynamic_sequence_range_affine_range_sum.0.test.cpp
• test/data_structure/dynamic_sequence_range_affine_range_sum.1.test.cpp
• test/data_structure/ordered_set.0.test.cpp
• test/data_structure/ordered_set.1.test.cpp
• test/data_structure/point_set_range_composite.0.test.cpp
• test/data_structure/point_set_range_composite.1.test.cpp
• test/data_structure/queue_operate_all_composite.0.test.cpp
• test/data_structure/range_affine_point_get.0.test.cpp
• test/data_structure/range_affine_point_get.1.test.cpp
• test/data_structure/range_affine_range_sum.0.test.cpp
• test/data_structure/range_affine_range_sum.1.test.cpp
• test/data_structure/range_reverse_range_sum.0.test.cpp
• test/data_structure/range_reverse_range_sum.1.test.cpp
• test/data_structure/static_range_sum.0.test.cpp
• test/data_structure/staticrmq.0.test.cpp
• test/data_structure/staticrmq.1.test.cpp
• test/data_structure/unionfind.0.test.cpp

test/enumerative_combinatorics/

• test/enumerative_combinatorics/bell_number.0.test.cpp
• test/enumerative_combinatorics/factorial.0.test.cpp
• test/enumerative_combinatorics/partition_function.0.test.cpp
• test/enumerative_combinatorics/sharp_p_subset_sum.0.test.cpp
• test/enumerative_combinatorics/stirling_number_of_the_first_kind.0.test.cpp
• test/enumerative_combinatorics/stirling_number_of_the_first_kind_fixed_k.0.test.cpp
• test/enumerative_combinatorics/stirling_number_of_the_second_kind.0.test.cpp
• test/enumerative_combinatorics/stirling_number_of_the_second_kind_fixed_k.0.test.cpp

test/formal_power_series/

• test/formal_power_series/composition_of_formal_power_series_large.0.test.cpp
• test/formal_power_series/compositional_inverse_of_formal_power_series_large.0.test.cpp
• test/formal_power_series/conversion_from_monomial_basis_to_newton_basis.0.test.cpp
• test/formal_power_series/division_of_polynomials.0.test.cpp
• test/formal_power_series/exp_of_formal_power_series.0.test.cpp
• test/formal_power_series/inv_of_formal_power_series.0.test.cpp
• test/formal_power_series/inv_of_formal_power_series.1.test.cpp
• test/formal_power_series/inv_of_formal_power_series_2d.0.test.cpp
• test/formal_power_series/inv_of_polynomials.0.test.cpp
• test/formal_power_series/log_of_formal_power_series.0.test.cpp
• test/formal_power_series/multipoint_evaluation.0.test.cpp
• test/formal_power_series/multipoint_evaluation_on_geometric_sequence.0.test.cpp
• test/formal_power_series/multivariate_power_series.0.test.cpp
• test/formal_power_series/polynomial_interpolation.0.test.cpp
• test/formal_power_series/polynomial_interpolation_on_geometric_sequence.0.test.cpp
• test/formal_power_series/polynomial_taylor_shift.0.test.cpp
• test/formal_power_series/polynomial_taylor_shift.1.test.cpp
• test/formal_power_series/pow_of_formal_power_series.0.test.cpp
• test/formal_power_series/product_of_polynomial_sequence.0.test.cpp
• test/formal_power_series/shift_of_sampling_points_of_polynomial.0.test.cpp
• test/formal_power_series/shift_of_sampling_points_of_polynomial.1.test.cpp
• test/formal_power_series/sqrt_of_formal_power_series.0.test.cpp

test/matrix/

• test/matrix/adjugate_matrix.0.test.cpp
• test/matrix/characteristic_polynomial.0.test.cpp
• test/matrix/characteristic_polynomial.1.test.cpp
• test/matrix/inverse_matrix.0.test.cpp
• test/matrix/inverse_matrix_mod_2.0.test.cpp
• test/matrix/matrix_det.0.test.cpp
• test/matrix/matrix_det_arbitrary_mod.0.test.cpp
• test/matrix/matrix_det_mod_2.0.test.cpp
• test/matrix/matrix_product.0.test.cpp
• test/matrix/pow_of_matrix.0.test.cpp
• test/matrix/sparse_matrix_det.0.test.cpp

test/number_theory/

• test/number_theory/sqrt_mod.0.test.cpp
• test/number_theory/yukicoder187.0.test.cpp

test/other/

• test/other/consecutive_terms_of_linear_recurrent_sequence.0.test.cpp
• test/other/find_linear_recurrence.0.test.cpp
• test/other/kth_term_of_linearly_recurrent_sequence.0.test.cpp

test/set_power_series/

• test/set_power_series/exp_of_set_power_series.0.test.cpp
• test/set_power_series/inv_of_set_power_series.0.test.cpp
• test/set_power_series/log_of_set_power_series.0.test.cpp
• test/set_power_series/polynomial_composite_set_power_series.0.test.cpp
• test/set_power_series/subset_convolution.0.test.cpp

test/string/

• test/string/suffixarray.0.test.cpp

test/tree/

• test/tree/dynamic_tree_vertex_add_path_sum.0.test.cpp
• test/tree/dynamic_tree_vertex_set_path_composite.0.test.cpp
• test/tree/jump_on_tree.0.test.cpp
• test/tree/lca.0.test.cpp