Tupper's self-referential formula: Difference between revisions

 

=={{header|Lua}}==

{{Trans|Algol 68}}

Using Eduardo Bart's lua-bint pure Lua big integer library https://github.com/edubart/lua-bint.<br>

The precision of the big integers must be specified in bits as a parameter of the require.

<syntaxhighlight lang="lua">

1/2 < floor( mod( (y/17)*2^ - ( 17x - mod(y,17) ), 2 ) )

where x in 0..106, y in k..k+16

--]]

 

local k = bint.fromstring( "960939379918958884971672962127852754715004339660129306651505" ..

"719" )

 

local b17 = bint.frominteger( 17 )

for yDelta = 0, 16 do

for x = 106, 0, -1 do