s943.py

from research import *
s=begin(943,'Aggregate projection kernel','What aggregate information can original and reversed totals determine?',{'rows':[[100,10,1],[1,10,100]]},['C938','C942'])
r1,r2=s['inputs']['rows']; k=[10,-101,10]; dots=[sum(x*y for x,y in zip(r,k)) for r in [r1,r2]]; minor=r1[0]*r2[1]-r1[1]*r2[0]
finish(s,{'rank':2,'primitive_integer_kernel':k,'kernel_products':dots,'nonzero_minor':minor},'The two measurements have rank two over rational aggregate coordinates, with kernel (10, −101, 10).','Apply the finite digit bounds before concluding that a free aggregate parameter remains.',{'annihilation':dots==[0,0],'rank_two':minor==990})