Coincident dyadic bits and exact remaining charge
Abstract
Descending reserve margins
Write T=ZL and R=TP. The descending ordinary masks are the unions of the dyadic bits 2PL, 2P and 2. Coincident bits occur once: when P=1 or L=1, the resulting masks use the corresponding shorter formula. The first two upper reserve margins use the exact postnegative charges A-1 and A-Z-1. The third uses A-Cprime, where Cprime=TZ+T+1. Nonnegative polynomial coordinates prove all six reserve inequalities when P=1, Z is at least eight, or P is at least four. The separate Z=4, P=2 family with an advanced X-positive is outside these inequalities.