内部型
(library/_internal/types.hpp)

• View this file on GitHub
• Last update: 2025-03-03 00:33:48+09:00
• Include: #include "library/_internal/types.hpp"

型の定義

• integral_like
  • 整数型 (int, long long, …)
  • asalib::ds::modint
• floating_like
  • 浮動小数点数型 (float, double, …)
• numeric_like
  • 数値型 (integral_like, floating_like)

関数の定義

• plus<T>: a + b
• minus<T>: a - b

定数関数の定義

• zero<T>: 0

Depends on

• library/_internal/modint-base.hpp

Required by

• library/_internal/math/inversion.hpp
• Binary Indexed Tree (library/data-structure/bit.hpp)
• Matrix (library/data-structure/matrix.hpp)
• 転倒数 (library/math/inversion.hpp)
• Meissel–Lehmer Algorithm (library/math/meissel-lehmer.hpp)
• 行列式 (library/matrix/determinant.hpp)

Verified with

• tests/data-structure/bit/abc185-f.test.cpp
• tests/data-structure/bit/abc222-d.test.cpp
• tests/data-structure/bit/libchecker-rsq.test.cpp
• tests/data-structure/bit/libchecker-static.test.cpp
• tests/math/inversion/abc264-d.test.cpp
• tests/math/inversion/abc296-f.test.cpp
• tests/math/inversion/abc332-d.test.cpp
• tests/math/inversion/alds1-5d.test.cpp
• tests/math/inversion/arc136-b.test.cpp
• tests/math/inversion/arc168-a.test.cpp
• tests/math/meissel-lehmer/libchecker.test.cpp
• tests/matrix/core/abc237-b.test.cpp
• tests/matrix/core/dp-r.test.cpp
• tests/matrix/core/itp1-6d.test.cpp
• tests/matrix/core/itp1-7d.test.cpp
• tests/matrix/core/libchecker-pow.test.cpp
• tests/matrix/core/libchecker-product.test.cpp
• tests/matrix/core/yukicoder-2441.test.cpp
• tests/matrix/determinant/libchecker-arbmod.test.cpp
• tests/matrix/determinant/libchecker-normal.test.cpp

Code

#pragma once

#include <concepts>
#include <type_traits>
using namespace std;

#include "./modint-base.hpp"

namespace asalib {
  namespace _internal {
    // ---------- concept definition ---------- //
    template<class T>
    concept integral_like = integral<T> || is_modint<T>;

    template<class T>
    concept floating_like = floating_point<T>;

    template<class T>
    concept numeric_like = integral_like<T> || floating_like<T>;

    // ---------- function definition ---------- //
    template<class T>
    T plus(T a, T b) { return a + b; }

    template<class T>
    T minus(T a, T b) { return a - b; }

    // ---------- constant definition ---------- //
    template<class T>
    T zero() { return 0; }
  }  // namespace _internal
}  // namespace asalib

#line 2 "library/_internal/types.hpp"

#include <concepts>
#include <type_traits>
using namespace std;

#line 2 "library/_internal/modint-base.hpp"

#line 5 "library/_internal/modint-base.hpp"
using namespace std;

namespace asalib {
  namespace _internal {
    class modint_base {};

    template<typename T>
    concept is_modint = is_base_of_v<modint_base, T>;
  }  // namespace _internal
}  // namespace asalib
#line 8 "library/_internal/types.hpp"

namespace asalib {
  namespace _internal {
    // ---------- concept definition ---------- //
    template<class T>
    concept integral_like = integral<T> || is_modint<T>;

    template<class T>
    concept floating_like = floating_point<T>;

    template<class T>
    concept numeric_like = integral_like<T> || floating_like<T>;

    // ---------- function definition ---------- //
    template<class T>
    T plus(T a, T b) { return a + b; }

    template<class T>
    T minus(T a, T b) { return a - b; }

    // ---------- constant definition ---------- //
    template<class T>
    T zero() { return 0; }
  }  // namespace _internal
}  // namespace asalib

Back to top page