Resources for 'Any two-coloring of the plane contains monochromatic 3-term arithmetic progressions'

Back Home


- These are companion resources for the named paper by G. Currier, K. Moore, and C. H. Yip -


Recall: Our 'exact coords' here are integer values where [a, b, c, d] := (1/12) * (a*sqrt{3} + b*sqrt{11}, c + d*sqrt{33})

Description Link 1 Link 2
A super basic python code for checking the 56 point contradiction Code
C++/Sage integer programming code for checking the 56 point contradiction Code
56 point contradiction set (the points in Figure 1) Exact Coords Decimal Coords
Case 1 (the points in Figure 4) Exact Coords Decimal Coords
Case 2 (the points in Figure 8) Exact Coords Decimal Coords
Case 3 (the points in Figure 9) Exact Coords Decimal Coords
Case 4 (the points in Figure 10) Exact Coords Decimal Coords
Case 5 (the points in Figure 11) Exact Coords Decimal Coords
Case 6 (the points in Figure 12) Exact Coords Decimal Coords