verify/modint/integer_operation_test.nim

View this file on GitHub
Last update: 2025-04-27 18:34:28+09:00
Problem: https://onlinejudge.u-aizu.ac.jp/problems/ITP1_1_A

Depends on

Code

# verification-helper: PROBLEM https://onlinejudge.u-aizu.ac.jp/problems/ITP1_1_A
echo "Hello World"

import unittest
import cplib/modint/modint

addOutputFormatter(newConsoleOutputFormatter(OutputLevel.PRINT_FAILURES))

test "Dynamic Montgomery Integer Operation Test":
    type mint = modint_montgomery
    mint.setMod(998244353)
    for x in 1..10:
        for y in 1..10:
            assert (x + mint(y)).val == (mint(x) + mint(y)).val
            assert (mint(x) + y).val == (mint(x) + mint(y)).val
test "Static Montogomery Integer Operation Test":
    type mint = modint998244353_montgomery
    for x in 1..10:
        for y in 1..10:
            assert (x + mint(y)).val == (mint(x) + mint(y)).val
            assert (mint(x) + y).val == (mint(x) + mint(y)).val
test "Dynamic Barrett Integer Operation Test":
    type mint = modint_barrett
    mint.setMod(998244353)
    for x in 1..10:
        for y in 1..10:
            assert (x + mint(y)).val == (mint(x) + mint(y)).val
            assert (mint(x) + y).val == (mint(x) + mint(y)).val
test "Static Barrett Integer Operation Test":
    type mint = modint998244353_barrett
    for x in 1..10:
        for y in 1..10:
            assert (x + mint(y)).val == (mint(x) + mint(y)).val
            assert (mint(x) + y).val == (mint(x) + mint(y)).val

Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.12/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 "/home/runner/.local/lib/python3.12/site-packages/onlinejudge_verify/languages/nim.py", line 86, in bundle
    raise NotImplementedError
NotImplementedError