check_program.py

back to table · edit · history · where entries came from · files · download

252 bytes, as of the version from 2026-10-31 22:58 (current). Recorded here, not run.

import program
from generate import squared_error
for N in range(2,31):
    a,b=program.E(N),squared_error(N)
    assert a.is_finite() and a.rad()<program.QQ(1)/10**110 and a.overlaps(b)
print('The displayed Sage program agrees for every N=2,...,30.')