I’m trying to plot Tupper’s self-referential formula. The formula is:

(1/2) < math.floor(math.floor((y/17)*(2**(-17*math.floor(x)-(math.floor(y) % 17)))) % 2)

As you can see, this inequality contains both x and y, so obviously I cannot plot it normally.

How would I do this? The resulting graph should have large shaded regions instead of just lines.

Thanks!

I tried just matplotlib.pyplot.plot, but that clearly does not work.