{"version":9,"randomSeed":"1b7ee076a747155a1c2db0d96674844b","graph":{"viewport":{"xmin":-1,"ymin":-5.56797605893186,"xmax":16,"ymax":22.01397605893186}},"expressions":{"list":[{"type":"text","id":"30","text":"based on https://tixy.land/ ; source code https://github.com/aemkei/tixy"},{"type":"expression","id":"1","color":"#c74440","latex":"f\\left(t,i,x,y\\right)=\\operatorname{mod}\\left(\\sqrt{x^{2}+y^{2}+t^{2}},2\\right)-1"},{"type":"expression","id":"4","color":"#6042a6","latex":"T=79.47","slider":{"hardMin":true,"hardMax":true,"animationPeriod":80000,"loopMode":"LOOP_FORWARD","isPlaying":true,"min":"0","max":"100"}},{"type":"expression","id":"24","color":"#000000","latex":"x\\le x+1","fillOpacity":"1"},{"type":"expression","id":"32","color":"#2d70b3","latex":"B\\left(x,a,b\\right)=\\max\\left(a,\\min\\left(x,b\\right)\\right)"},{"type":"expression","id":"23","color":"#2d70b3","latex":"C=\\left[B\\left(f\\left(T,wj+i,i,j\\right),-1,1\\right)\\operatorname{for}i=\\left[0...w-1\\right],j=\\left[0...h-1\\right]\\right]"},{"type":"expression","id":"28","color":"#2d70b3","latex":"R=\\operatorname{rgb}\\left(255,34,68\\right)"},{"type":"expression","id":"26","color":"#000000","latex":"W=\\operatorname{rgb}\\left(255,255,255\\right)"},{"type":"expression","id":"27","color":"#c74440","latex":"\\left[\\left\\{C\\left[wn+k+1\\right]\\le0:\\left(k,h-n\\right),\\left(-10,-10\\right)\\right\\}\\operatorname{for}k=\\left[0...w-1\\right],n=\\left[0...h-1\\right]\\right]","colorLatex":"R","pointOpacity":"1","pointSize":"-20C"},{"type":"expression","id":"22","color":"#c74440","latex":"\\left[\\left\\{C\\left[wn+k+1\\right]\\ge0:\\left(k,h-n\\right),\\left(-10,-10\\right)\\right\\}\\operatorname{for}k=\\left[0...w-1\\right],n=\\left[0...h-1\\right]\\right]","colorLatex":"W","pointOpacity":"1","pointSize":"20C"},{"type":"expression","id":"11","color":"#c74440","latex":"w=16","slider":{"hardMin":true,"hardMax":true,"min":"0","max":"40","step":"1"}},{"type":"expression","id":"12","color":"#2d70b3","latex":"h=16","slider":{"hardMin":true,"hardMax":true,"min":"0","max":"40","step":"1"}}]}}