s563.py

from research import *
s=begin(563,'Compress the double Adam square','Do both110-squared constructions follow from a rigid translation?',{'base':[14006,1906,1796],'apparent_whole_year':[14036,1936,1826]},['File61 §§12.4–12.6'])
a=[14006,1906,1796];b=[14036,1936,1826];v=[[r[0]-r[1],r[0]-r[2],r[1]-r[2]] for r in [a,b]]
finish(s,{'differences':v,'pair_translation':[y-x for x,y in zip(a,b)],'exact_phase_mismatch':14036-F(3873,2),'square':110**2},'The two square/rectangle displays are the same12100/12210 geometry translated30. Substituting an exact-phase Joseph node alone yields12099.5 and breaks the square; no new head is fitted.','Determine how the Isaac macro partition relates to the calendar ratios.',{'same_shape':v==[[12100,12210,110]]*2,'translation':all(y-x==30 for x,y in zip(a,b)),'mismatch':14036-F(3873,2)!=110**2})