verify/AI/ext_gcd_test.nim

View this file on GitHub
Last update: 2026-07-06 22:23:54+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 std/math
import cplib/math/ext_gcd

let (x1, y1) = ext_gcd(30, 18)
assert 30 * x1 + 18 * y1 == gcd(30, 18)
let (x2, y2) = ext_gcd(-30, 18)
assert -30 * x2 + 18 * y2 == gcd(30, 18)
let (x3, y3) = ext_gcd(17, 5)
assert 17 * x3 + 5 * y3 == 1

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