Evidence

s677.py

Download source fileOpen in research workspace
from research import *
s=begin(677,'Generate the120 field from two40 brackets','Does the supplied80 translation determine the entire enclosing field?',{'lower_bracket':[2891,2851],'translation':80},['Supplement A §4.4'])
lower=[2891,2851]; upper=[x+80 for x in lower]; field=upper+lower; center=F(field[0]+field[-1],2)
finish(s,{'upper':upper,'ordered_field':field,'gaps':[field[i]-field[i+1] for i in range(3)],'center':center,'center_shift':center-2871},'Translating the40 bracket by80 generates three consecutive40 intervals across a120 envelope. Its center2911 is40 above the lower bracket’s center2871. The repeated40s are consequences of the supplied width and translation.','Insert the separately supplied70-wide Enoch body at this common center.',{'upper':upper==[2971,2931],'field_gaps':[field[i]-field[i+1] for i in range(3)]==[40]*3,'center':center==2911})
Edition and provenance

s677.py

SHA-256 25e6e55862b83f8148ea5314a2c38bf0e4cb369984e552aba3e34eeedb8819b3

C480–C1634/Research_Cycles/C0632_C0731/evidence/s677.py