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/1_mytest/count_bipartite.test.cpp
test/1_mytest/factorial_998.test.cpp
test/1_mytest/powerquery.test.cpp
test/2_library_checker/enumerative_combinatorics/factorial.test.cpp
test/2_library_checker/number_theory/discrete_logarithm_mod.test.cpp
test/2_library_checker/other/sum_of_exp_times_poly.test.cpp
test/2_library_checker/polynomial/shift_of_sampling_points_of_polynomial.test.cpp
test/3_yukicoder/1080_2.test.cpp
test/3_yukicoder/1339.test.cpp
test/3_yukicoder/2005.test.cpp
test/3_yukicoder/2166.test.cpp
test/3_yukicoder/2747.test.cpp
test/3_yukicoder/502_2.test.cpp
test/3_yukicoder/899.test.cpp
test/5_atcoder/abc222g.test.cpp
test/5_atcoder/abc222h_2.test.cpp
test/5_atcoder/abc270_g.test.cpp
test/5_atcoder/abc276_g.test.cpp
test/5_atcoder/abc276_g_2.test.cpp
test/5_atcoder/arc144d.test.cpp
test/5_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;
};