library/math/safe-mod.hpp

• View this file on GitHub
• Last update: 2023-04-21 21:20:30+08:00
• Include: #include "library/math/safe-mod.hpp"
• Link: View error logs on GitHub Actions

Required by

• library/convolution/ntt.hpp
• library/formal-power-series/poly.hpp
• Chinese Remainder Theorem (中國剩餘定理) (library/math/crt.hpp)
• Integer Factorization (Pollard Rho 質因數分解) (library/math/factorize.hpp)
• Sum of floor linear ($\sum_{i = 0}^{n - 1} \lfloor \frac{ai + b}{m} \rfloor$) (library/math/floor-sum.hpp)
• library/math/inv-gcd.hpp
• library/math/is-prime.hpp
• library/math/pow-mod.hpp
• library/math/primitive-root.hpp
• library/modint/modint.hpp

Verified with

• test/convolution/ntt/yosupo-Convolution-Large.test.cpp
• test/convolution/ntt/yosupo-Convolution-Mod-1000000007.test.cpp
• test/convolution/ntt/yosupo-Convolution.test.cpp
• test/convolution/subset-convolution/yosupo-Bitwise-And-Convolution.test.cpp
• test/convolution/subset-convolution/yosupo-Bitwise-Xor-Convolution.test.cpp
• test/convolution/subset-convolution/yosupo-Subset-Convolution.test.cpp
• test/data-structure/lazy-lct/yosupo-Dynamic-Tree-Vertex-Set-Path-Composite.test.cpp
• test/data-structure/lazy-segtree/yosupo-Range-Affine-Point-Get.test.cpp
• test/data-structure/lazy-segtree/yosupo-Range-Affine-Range-Sum.test.cpp
• test/data-structure/treap/yosupo-Dynamic-Sequence-Range-Affine-Range-Sum.test.cpp
• test/formal-power-series/poly/yosupo-Exp-of-Formal-Power-Series.test.cpp
• test/formal-power-series/poly/yosupo-Inv-of-Formal-Power-Series.test.cpp
• test/formal-power-series/poly/yosupo-Log-of-Formal-Power-Series.test.cpp
• test/formal-power-series/poly/yosupo-Multipoint-Evaluation.test.cpp
• test/formal-power-series/poly/yosupo-Polynomial-Taylor-Shift.test.cpp
• test/formal-power-series/poly/yosupo-Pow-of-Formal-Power-Series.test.cpp
• test/formal-power-series/poly/yosupo-Product-of-Polynomial-Sequence.test.cpp
• test/formal-power-series/poly/yosupo-Sqrt-of-Formal-Power-Series.test.cpp
• test/formal-power-series/series/yosupo-Partition-Function.test.cpp
• test/math/factorize/aoj-ntl-Prime-Factorize.test.cpp
• test/math/factorize/yosupo-Factorize.test.cpp
• test/math/floor-sum/yosupo-Sum-of-Floor-of-Linear.test.cpp
• test/math/is-prime/yosupo-Primality-Test.test.cpp
• test/matrix/matrix/yosupo-Determinant-of-Matrix.test.cpp
• test/matrix/matrix/yosupo-Matrix-Product.test.cpp
• test/modint/modint/aoj-ntl-Power.test.cpp
• test/modint/modint/yosupo-Sqrt-Mod.test.cpp
• test/tree/hld/yosupo-Vertex-Set-Path-Composite.test.cpp

Code

#pragma once

namespace felix {

namespace internal {

template<class T>
constexpr T safe_mod(T x, T m) {
	x %= m;
	if(x < 0) {
		x += m;
	}
	return x;
}

} // namespace internal


} // namespace felix

#line 2 "library/math/safe-mod.hpp"

namespace felix {

namespace internal {

template<class T>
constexpr T safe_mod(T x, T m) {
	x %= m;
	if(x < 0) {
		x += m;
	}
	return x;
}

} // namespace internal


} // namespace felix

Back to top page