{"version":8,"graph":{"viewport":{"xmin":-3.486997303330159,"ymin":-2.2879299159958038,"xmax":26.292742373972526,"ymax":18.347154266256375}},"randomSeed":"7dbad8f4265d0b914039b6aa3a3d5611","expressions":{"list":[{"type":"text","id":"22","text":"Is n greater than zero? (1 = true, 0 = false)"},{"type":"expression","id":"13","color":"#388c46","latex":"g_{tz}\\left(n\\right)=\\left\\{n>0:1,n=0:0\\right\\}","hidden":true},{"type":"text","id":"24","text":"Is m divisible by n?"},{"type":"expression","id":"19","color":"#6042a6","latex":"d_{ivis}\\left(m,n\\right)=1-g_{tz}\\left(\\operatorname{mod}\\left(m,n\\right)\\right)"},{"type":"text","id":"26","text":"Are m and n non-coprime because of shared divisibility by l?"},{"type":"expression","id":"27","color":"#6042a6","latex":"n_{cp}\\left(l,m,n\\right)=d_{ivis}\\left(m,l\\right)\\cdot d_{ivis}\\left(n,l\\right)"},{"type":"text","id":"31","text":"Are m and n coprime?"},{"type":"expression","id":"32","color":"#388c46","latex":"c_{oprime}\\left(m,n\\right)=\\prod_{i=2}^{\\min\\left(m,n\\right)}\\left(1-n_{cp}\\left(i,m,n\\right)\\right)"},{"type":"text","id":"35","text":"Euclid's orchard"},{"type":"expression","id":"33","color":"#6042a6","latex":"c_{oprime}\\left(\\operatorname{floor}\\left(x\\right),\\operatorname{floor}\\left(y\\right)\\right)>0.5","hidden":true},{"type":"text","id":"38","text":"Totient function (coprimes to n less than n)"},{"type":"expression","id":"39","color":"#388c46","latex":"\\phi\\left(n\\right)=\\sum_{j=1}^{\\operatorname{floor}\\left(n\\right)}\\left(c_{oprime}\\left(j,\\operatorname{floor}\\left(n\\right)\\right)\\right)","hidden":true},{"type":"text","id":"43","text":"Height function (iterations required to reduce n through totient function to 1)"},{"type":"expression","id":"44","color":"#2d70b3","latex":"h_{1}\\left(n\\right)=\\phi\\left(n\\right)"},{"type":"expression","id":"45","color":"#388c46","latex":"h_{2}\\left(n\\right)=\\phi\\left(\\phi\\left(n\\right)\\right)"},{"type":"expression","id":"46","color":"#6042a6","latex":"h_{3}\\left(n\\right)=\\phi\\left(\\phi\\left(\\phi\\left(n\\right)\\right)\\right)"}]}}