s516.py

from research import *
xs=[9321,2421,1731]
s=begin(516,'The Cainan-associated trio as one transformed object','What does one common dilation explain about the complete trio?',{'inverse_Eber_Shelah_Mahalalel':xs,'anchor':14726},['File52c §3.12.1–3.12.2'])
ys=[14726-E*(14726-x) for x in xs];gaps=[xs[0]-xs[1],xs[1]-xs[2]];out=[ys[0]-ys[1],ys[1]-ys[2]]
finish(s,{'input_triple':xs,'output_triple':ys,'input_gaps':gaps,'output_gaps':out,'outer_widths':[xs[0]-xs[2],ys[0]-ys[2]],'radius_23_coefficients':[F(14726-x,23) for x in xs],'P_integral':[(P*(14726-x)).denominator==1 for x in xs],'J_integral':[(J*(14726-x)).denominator==1 for x in xs]},
 'The6900:690 partition becomes7500:750, preserving10:1. Its7590 outer width becomes8250. All three E results are integral, while P and J are fractional on these radii. The trio is one structured object with dependent displays.',
 'Test the mixed original/generated Cainan midpoint, which is not forced by transforming the trio alone.',{'outputs':ys==[8851,1351,601],'ratio':F(gaps[0],gaps[1])==F(out[0],out[1])==10,'outer':xs[0]-xs[2]==23*330 and ys[0]-ys[2]==25*330})