cielecki/arithmetic-equations

Arithmetic Equations

Synthetic integer arithmetic, one true equation per line, as plain UTF-8 text.

259 + 79 = 338
899 - 694 = 205
733 * 352 = 258016
129243256 / 914 = 141404

Contents

How it is built

Operands run 1 to 9 digits. Every pairing of operand lengths is its own stratum, filled round-robin, so the dataset covers short and long operands evenly instead of leaving the distribution to chance.

• —Operators are balanced by line. Each of + - * / holds a quarter of the lines.
• —Subtraction never goes negative. Its strata are the 45 pairings where the left operand is at least as long as the right, and same-length strata walk the lower triangle.
• —Division is always exact. The dividend is constructed as the product of the divisor and the quotient, so there is never a remainder. Division is stratified on divisor and quotient length.
• —Every line is unique, within a shard and across the whole set.
• —Small strata are covered exhaustively. All 100 single-digit sums are present, all 55 single-digit subtractions, all 100 products, all 90 divisions.

Verification

Every line was re-parsed and re-evaluated after generation. Result: 393 830 lines, 393 830 distinct, zero malformed, zero arithmetically wrong, each operator at 25.00%, and all 288 strata populated.

Licence

Not yet set by the author.