{"version":9,"randomSeed":"46da739d2bbb70ca5417013c4be7fce6","graph":{"viewport":{"xmin":-10,"ymin":-11.636534270639482,"xmax":10.000000000000004,"ymax":11.636534270639485}},"expressions":{"list":[{"type":"text","id":"27","text":"input polynomial as a little-endian coefficient list"},{"type":"expression","id":"70","color":"#2d70b3","latex":"P_{0}=\\left[36,36,-7,-6,1\\right]"},{"type":"text","id":"52","text":"reset"},{"type":"expression","id":"53","color":"#000000","latex":"\\left(R\\to\\left[\\right],\\Phi\\to\\left[\\right],a\\to0,P\\to P_{0}\\right)","labelSize":"medium"},{"type":"text","id":"72","text":"results"},{"type":"expression","id":"73","color":"#6042a6","latex":"\\left(R,0\\right)"},{"type":"text","id":"81","text":"threshold for approximate roots"},{"type":"expression","id":"82","color":"#6042a6","latex":"T=10^{-10}"},{"type":"expression","id":"14","color":"#6042a6","latex":"P=\\left[36,36,-7,-6,1\\right]"},{"type":"folder","id":"55","title":"evaluate polynomial and derivative","collapsed":true},{"type":"expression","id":"16","folderId":"55","color":"#c74440","latex":"f\\left(Q,x\\right)=\\sum_{k=1}^{\\operatorname{length}\\left(Q\\right)}Q\\left[k\\right]x^{k-1}"},{"type":"expression","id":"24","folderId":"55","color":"#6042a6","latex":"g\\left(Q,x\\right)=\\sum_{k=2}^{\\operatorname{length}\\left(Q\\right)}Q\\left[k\\right]\\left(k-1\\right)x^{k-2}"},{"type":"expression","id":"17","folderId":"55","color":"#2d70b3","latex":"0.1f\\left(P_{0},x\\right)"},{"type":"folder","id":"57","title":"find a root","collapsed":true},{"type":"expression","id":"19","folderId":"57","color":"#6042a6","latex":"a=0"},{"type":"expression","id":"58","folderId":"57","color":"#388c46","latex":"S_{r}=\\left(a\\to a-\\frac{f\\left(P,a\\right)}{K\\left(g\\left(P,a\\right)\\right)}\\right)","labelSize":"medium"},{"type":"expression","id":"77","folderId":"57","color":"#388c46","latex":"K\\left(x\\right)=\\left\\{\\left|x\\right|<T:1,x\\right\\}","hidden":true},{"type":"folder","id":"61","title":"divide out root","collapsed":true},{"type":"text","id":"47","folderId":"61","text":"temporary divided polynomial"},{"type":"expression","id":"41","folderId":"61","color":"#2d70b3","latex":"\\Phi=\\left[\\right]"},{"type":"expression","id":"62","folderId":"61","color":"#c74440","latex":"S_{d}=\\left(\\Phi\\to\\operatorname{join}\\left(P\\left[L\\left(P\\right)\\right],\\Phi\\right),P\\to\\operatorname{join}\\left(P\\left[1...\\left(L\\left(P\\right)-2\\right)\\right],P\\left[L\\left(P\\right)-1\\right]+aP\\left[L\\left(P\\right)\\right]\\right)\\right)","labelSize":"medium"},{"type":"folder","id":"64","title":"move on to next root","collapsed":true},{"type":"expression","id":"50","folderId":"64","color":"#388c46","latex":"R=\\left[\\right]"},{"type":"expression","id":"65","folderId":"64","color":"#388c46","latex":"S_{a}=\\left(P\\to\\Phi,\\Phi\\to\\left[\\right],R\\to\\operatorname{join}\\left(R,a\\right),a\\to0\\right)"},{"type":"text","id":"67","text":"the full process"},{"type":"expression","id":"20","color":"#000000","latex":"S=\\left\\{L\\left(R\\right)<L\\left(P_{0}\\right)-1:\\left\\{\\left|f\\left(P,a\\right)\\right|<T:\\left\\{L\\left(\\Phi\\right)<L\\left(P_{0}\\right)-L\\left(R\\right)-1:S_{d},S_{a}\\right\\},S_{r}\\right\\}\\right\\}"},{"type":"text","id":"44","text":"concision!"},{"type":"expression","id":"45","color":"#000000","latex":"L\\left(v\\right)=\\operatorname{length}\\left(v\\right)","hidden":true}],"ticker":{"handlerLatex":"S","minStepLatex":"50","open":true}}}