Evidence

s553.py

Download source fileOpen in research workspace
from research import *
s=begin(553,'Recover one clutch from nested envelopes','Are487/473,444/430 and350/336 independent compression measurements?',{'envelopes':[[487,473],[444,430],[350,336]]},['File61 §§6.3–6.6'])
v=s['inputs']['envelopes'];g=[a-b for a,b in v];removed=[(v[i][0]-v[i+1][0],v[i][1]-v[i+1][1]) for i in range(2)]
finish(s,{'compressions':g,'removed_prefixes':removed},'All three envelopes express the same14-year compression after equal prefixes43 and94 are removed. The maximum nonoverlap envelope is a source model, not a literal succession of biographies.','Distinguish translating the whole root from moving a single boundary.',{'same_compression':g==[14]*3,'same_prefix':removed==[(43,43),(94,94)]})

Linked sources and evidence

Edition and provenance

s553.py

SHA-256 86a2a5fcfa707937baa15ce3f2d1166f8a9df64df0551e91b982361828eba98f

C480–C1634/Research_Cycles/C0532_C0631/evidence/s553.py