src/modint61.test.cpp

View this file on GitHub
Last update: 2021-12-30 20:52:19+09:00
Problem: https://judge.yosupo.jp/problem/aplusb

Depends on

Code

#define PROBLEM "https://judge.yosupo.jp/problem/aplusb"

#include "aplusb.hpp"

#include "base.hpp"
#include "math/modint61.hpp"
#include "util/random.hpp"

using Mint = ModInt61;

int main() {
    Random gen = Random();
    for (int ph = 0; ph < 100; ph++) {
        ull a = gen.uniform(0ULL, Mint::get_mod() - 1);
        ull b = gen.uniform(0ULL, Mint::get_mod() - 1);
        ull expect = (__uint128_t(a) + b) % Mint::get_mod();
        ull actual = (Mint(a) + Mint(b)).v;
        assert(expect == actual);
    }
    for (int ph = 0; ph < 100; ph++) {
        ull a = gen.uniform(0ULL, Mint::get_mod() - 1);
        ull b = gen.uniform(0ULL, Mint::get_mod() - 1);
        ull expect = (__uint128_t(a) - b + Mint::get_mod()) % Mint::get_mod();
        ull actual = (Mint(a) - Mint(b)).v;
        assert(expect == actual);
    }
    for (int ph = 0; ph < 100; ph++) {
        ull a = gen.uniform(0ULL, Mint::get_mod() - 1);
        ull b = gen.uniform(0ULL, Mint::get_mod() - 1);
        ull expect = __uint128_t(a) * b % Mint::get_mod();
        ull actual = (Mint(a) * Mint(b)).v;
        assert(expect == actual);
    }
    for (int ph = 0; ph < 100; ph++) {
        Mint a = Mint(gen.uniform(0ULL, Mint::get_mod() - 1));
        Mint ia = a.inv();
        assert((a * ia).v == 1);
    }
    solve_aplusb();
    return 0;
}

Traceback (most recent call last):
  File "/opt/hostedtoolcache/Python/3.10.1/x64/lib/python3.10/site-packages/onlinejudge_verify/documentation/build.py", line 71, in _render_source_code_stat
    bundled_code = language.bundle(stat.path, basedir=basedir, options={'include_paths': [basedir]}).decode()
  File "/opt/hostedtoolcache/Python/3.10.1/x64/lib/python3.10/site-packages/onlinejudge_verify/languages/cplusplus.py", line 187, in bundle
    bundler.update(path)
  File "/opt/hostedtoolcache/Python/3.10.1/x64/lib/python3.10/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 401, in update
    self.update(self._resolve(pathlib.Path(included), included_from=path))
  File "/opt/hostedtoolcache/Python/3.10.1/x64/lib/python3.10/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 401, in update
    self.update(self._resolve(pathlib.Path(included), included_from=path))
  File "/opt/hostedtoolcache/Python/3.10.1/x64/lib/python3.10/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 260, in _resolve
    raise BundleErrorAt(path, -1, "no such header")
onlinejudge_verify.languages.cplusplus_bundle.BundleErrorAt: base.hpp: line -1: no such header