A Systematic Validation Dataset for the Analytical Formula of Power Differences

For any integers A > 1, B > 1, the lower difference is defined as:Q = A^x - B^ywhere y = floor(x

• log_B A), i.e., the exponent of the largest power of B not exceeding A^x. This lower difference has the equivalent analytical expression:Q = A^x
• ( 1 - B^(-{x
• log_B A}) )where {t} denotes the fractional part of t.The data cover all pairs with bases from 2 to 100 (both coprime and non-coprime) and deep verification for 20 representative coprime pairs (exponents up to 5000). All data points have zero error, confirming the formula is exact for any positive integer bases. Data files contain only four integer columns (A, B, x, y), compact and easy to download.