alg/monoid/mul.hpp

• View this file on GitHub
• Last update: 2022-11-27 14:10:12+09:00
• Include: #include "alg/monoid/mul.hpp"

Required by

• alg/acted_monoid/sum_mul.hpp
• ds/power_query.hpp
• graph/count/count_labeled_bipartite.hpp
• mod/mod_log.hpp
• nt/discrete_log.hpp
• poly/from_log_differentiation.hpp
• poly/lagrange_interpolate_iota.hpp
• poly/prefix_product_of_poly.hpp
• poly/sparse_exp_of_div.hpp
• poly/sum_of_C_negative.hpp
• seq/interpolate_poly_exp_sum.hpp
• seq/kth_term_of_p_recursive.hpp

Verified with

• test/library_checker/math/discrete_logarithm_mod.test.cpp
• test/library_checker/math/factorial.test.cpp
• test/library_checker/math/sum_of_exp_times_poly.test.cpp
• test/library_checker/polynomial/shift_of_sampling_points_of_polynomial.test.cpp
• test/mytest/count_bipartite.test.cpp
• test/mytest/factorial_998.test.cpp
• test/mytest/powerquery.test.cpp
• test/yukicoder/1080_2.test.cpp
• test/yukicoder/1339.test.cpp
• test/yukicoder/2005.test.cpp
• test/yukicoder/2166.test.cpp
• test/yukicoder/502_2.test.cpp
• test/yukicoder/899.test.cpp
• test_atcoder/abc222g.test.cpp
• test_atcoder/abc222h_2.test.cpp
• test_atcoder/abc270_g.test.cpp
• test_atcoder/abc276_g.test.cpp
• test_atcoder/abc276_g_2.test.cpp
• test_atcoder/arc144d.test.cpp
• test_atcoder/arc160d.test.cpp

Code

#pragma once

template <class T>
struct Monoid_Mul {
  using value_type = T;
  using X = T;
  static constexpr X op(const X &x, const X &y) noexcept { return x * y; }
  static constexpr X inverse(const X &x) noexcept { return X(1) / x; }
  static constexpr X unit() { return X(1); }
  static constexpr bool commute = true;
};

#line 2 "alg/monoid/mul.hpp"

template <class T>
struct Monoid_Mul {
  using value_type = T;
  using X = T;
  static constexpr X op(const X &x, const X &y) noexcept { return x * y; }
  static constexpr X inverse(const X &x) noexcept { return X(1) / x; }
  static constexpr X unit() { return X(1); }
  static constexpr bool commute = true;
};

Back to top page