Define nttconv(a, b) explicitly (#94)

hitonanode · web-flow · web-flow · commit b378ff29d33f · 2021-09-04T00:38:32.000+09:00
* Define nttconv(a, b) explicitly * [auto-verifier] verify commit 7c67eae Co-authored-by: GitHub <noreply@github.com>
diff --git a/.verify-helper/timestamps.remote.json b/.verify-helper/timestamps.remote.json
@@ -22,9 +22,9 @@
 "convolution/test/bitwise_and_conv.test.cpp": "2021-06-06 14:54:00 +0900",
 "convolution/test/bitwise_xor_conv.test.cpp": "2021-06-06 14:54:00 +0900",
 "convolution/test/hadamard_xor.test.cpp": "2020-12-20 04:05:21 +0900",
-"convolution/test/multivar_ntt.test.cpp": "2021-06-06 14:54:00 +0900",
-"convolution/test/ntt.test.cpp": "2021-06-06 14:54:00 +0900",
-"convolution/test/ntt_arbitrary_mod.test.cpp": "2021-06-06 14:54:00 +0900",
+"convolution/test/multivar_ntt.test.cpp": "2021-09-02 23:15:02 +0900",
+"convolution/test/ntt.test.cpp": "2021-09-02 23:15:02 +0900",
+"convolution/test/ntt_arbitrary_mod.test.cpp": "2021-09-02 23:15:02 +0900",
 "data_structure/test/assosiative_array.test.cpp": "2021-02-26 23:47:50 +0900",
 "data_structure/test/binary_trie.test.cpp": "2021-02-26 23:47:50 +0900",
 "data_structure/test/fibonacci_heap_dijkstra.test.cpp": "2021-02-26 23:47:50 +0900",
@@ -43,31 +43,17 @@
 "data_structure/test/range_kth_smallest_offline.test.cpp": "2021-02-26 23:47:50 +0900",
 "data_structure/test/rectange_sum.test.cpp": "2021-02-26 23:57:31 +0900",
 "data_structure/test/static_range_inversion.test.cpp": "2021-02-26 23:47:50 +0900",
-"formal_power_series/test/bernoulli_number.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/coeff_of_rational_function.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/division_number.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/factorial_power.stirling_number_of_2nd.test.cpp": "2021-08-21 18:59:37 +0900",
-"formal_power_series/test/fps_exp.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/fps_exp_modintruntime.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/fps_inv.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/fps_log.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/fps_pow.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/fps_pow_another.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/fps_sqrt.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/fps_sqrt_modintruntime.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/kitamasa.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/kth_term_of_linearly_recurrent_sequence.test.cpp": "2021-06-06 14:54:00 +0900",
+"formal_power_series/test/bernoulli_number.test.cpp": "2021-09-02 23:15:02 +0900",
+"formal_power_series/test/coeff_of_rational_function.test.cpp": "2021-09-02 23:15:02 +0900",
+"formal_power_series/test/division_number.test.cpp": "2021-09-02 23:15:02 +0900",
+"formal_power_series/test/factorial_power.stirling_number_of_2nd.test.cpp": "2021-09-02 23:15:02 +0900",
+"formal_power_series/test/fps_exp.test.cpp": "2021-09-02 23:15:02 +0900",
+"formal_power_series/test/fps_exp_modintruntime.test.cpp": "2021-09-02 23:15:02 +0900",
+"formal_power_series/test/fps_inv.test.cpp": "2021-09-02 23:15:02 +0900",
+"formal_power_series/test/fps_log.test.cpp": "2021-09-02 23:15:02 +0900",
+"formal_power_series/test/fps_pow.test.cpp": "2021-09-02 23:15:02 +0900",
 "formal_power_series/test/linear_recurrence.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/multipoint_evaluation.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/poly_taylor_shift.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/polynomial_divmod.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/polynomial_interpolation.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/sharp_p_subset_sum.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/shift_of_sampling_points.test.cpp": "2021-08-21 18:59:37 +0900",
-"formal_power_series/test/stirling_number_of_1st.test.cpp": "2021-06-06 14:54:00 +0900",
-"formal_power_series/test/stirling_number_of_2nd.test.cpp": "2021-06-06 14:54:00 +0900",
 "formal_power_series/test/sum_of_exponential_times_polynomial.test.cpp": "2021-08-01 19:15:08 +0900",
-"formal_power_series/test/sum_of_exponential_times_polynomial_limit.test.cpp": "2021-08-01 19:15:08 +0900",
 "geometry/test/circumcenter.test.cpp": "2021-06-06 03:50:20 +0900",
 "geometry/test/convex_cut.test.cpp": "2021-06-06 03:50:20 +0900",
 "geometry/test/convex_hull.test.cpp": "2021-06-06 03:50:20 +0900",
@@ -95,9 +81,7 @@
 "graph/test/topological_sort.test.cpp": "2021-01-01 16:38:37 +0900",
 "graph/test/two-edge-connected-components.test.cpp": "2020-11-21 18:08:42 +0900",
 "graph/test/warshallfloyd.test.cpp": "2021-08-28 00:57:49 +0900",
-"linear_algebra_matrix/test/blackbox_matrix_stress.test.cpp": "2021-06-13 19:08:25 +0900",
 "linear_algebra_matrix/test/characteristic_poly.test.cpp": "2021-06-20 13:43:26 +0900",
-"linear_algebra_matrix/test/det_of_blackbox_matrix.test.cpp": "2021-06-13 19:08:25 +0900",
 "linear_algebra_matrix/test/inverse_matrix.test.cpp": "2021-07-23 11:30:53 +0900",
 "linear_algebra_matrix/test/linalg_bitset.test.cpp": "2021-06-13 19:08:25 +0900",
 "linear_algebra_matrix/test/linalg_ll_det.test.cpp": "2021-06-13 19:08:25 +0900",
diff --git a/convolution/ntt.hpp b/convolution/ntt.hpp
@@ -14,7 +14,7 @@
 // input: a (size: n), b (size: m)
 // return: vector (size: n + m - 1)
 template <typename MODINT>
-std::vector<MODINT> nttconv(std::vector<MODINT> a, std::vector<MODINT> b, bool skip_garner = false);
+std::vector<MODINT> nttconv(std::vector<MODINT> a, std::vector<MODINT> b, bool skip_garner);
 
 constexpr int nttprimes[3] = {998244353, 167772161, 469762049};
 
@@ -118,3 +118,8 @@ std::vector<MODINT> nttconv(std::vector<MODINT> a, std::vector<MODINT> b, bool s
     }
     return a;
 }
+
+template <typename MODINT>
+std::vector<MODINT> nttconv(const std::vector<MODINT> &a, const std::vector<MODINT> &b) {
+    return nttconv<MODINT>(a, b, false);
+}
