# Manifold: Census Knot K7_24 # Number of Tetrahedra: 7 # Number Field x^10 + 2*x^9 - 13/4*x^8 - 67/8*x^7 + 7/8*x^6 + 77/8*x^5 + 7/2*x^4 - 11/8*x^3 - 1/4*x^2 + 1/8 # Approximate Field Generator 0.333727843821928 - 0.196338613110250*I # Shape Parameters -7036/3461*y^9 - 4472/3461*y^8 + 28583/3461*y^7 + 32693/6922*y^6 - 60363/6922*y^5 - 12850/3461*y^4 + 3878/3461*y^3 - 7529/6922*y^2 + 904/3461*y + 4221/6922 5588/3461*y^9 + 2560/3461*y^8 - 31909/3461*y^7 - 34819/6922*y^6 + 110443/6922*y^5 + 34462/3461*y^4 - 26998/3461*y^3 - 31755/6922*y^2 - 1019/3461*y + 3125/6922 -7036/3461*y^9 - 4472/3461*y^8 + 28583/3461*y^7 + 32693/6922*y^6 - 60363/6922*y^5 - 12850/3461*y^4 + 3878/3461*y^3 - 7529/6922*y^2 + 904/3461*y - 2701/6922 2104/3461*y^9 + 1172/3461*y^8 - 10082/3461*y^7 - 5626/3461*y^6 + 37697/6922*y^5 + 12500/3461*y^4 - 15529/3461*y^3 - 11825/3461*y^2 + 6281/6922*y + 7893/6922 -3884/3461*y^9 - 5664/3461*y^8 + 13795/3461*y^7 + 44893/6922*y^6 - 18049/6922*y^5 - 18535/3461*y^4 - 1094/3461*y^3 - 20377/6922*y^2 - 10854/3461*y + 6281/6922 -13484/3461*y^9 - 11380/3461*y^8 + 56375/3461*y^7 + 92943/6922*y^6 - 63896/3461*y^5 - 47039/3461*y^4 + 12345/3461*y^3 - 18667/6922*y^2 + 1759/6922*y + 2261/3461 -1204/3461*y^9 - 8856/3461*y^8 - 2995/3461*y^7 + 75751/6922*y^6 + 58143/6922*y^5 - 45303/3461*y^4 - 38403/3461*y^3 + 20245/6922*y^2 + 1654/3461*y - 49/6922 # A Gluing Matrix {{3,-2,-2,2,-2,0,0},{-1,2,0,-1,1,0,1},{-1,0,2,-1,1,0,-1},{1,-1,-1,2,-2,0,0},{-1,1,1,-2,3,1,-1},{0,0,0,0,1,1,-1},{0,1,-1,0,-1,-1,2}} # B Gluing Matrix {{2,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,1,0},{0,0,0,0,0,0,1}} # nu Gluing Vector {-2, 2, 2, -2, 3, 1, 0} # f Combinatorial flattening {4, 2, 6, 7, 6, 0, 5} # f' Combinatorial flattening {0, -2, 0, 0, 0, 0, 0} # 1 Loop Invariant -33104/3461*y^9 - 48760/3461*y^8 + 114412/3461*y^7 + 269596/3461*y^6 + 85493/3461*y^5 - 295476/3461*y^4 - 392230/3461*y^3 - 121042/3461*y^2 + 43798/3461*y + 5363/3461 # 2 Loop Invariant 113849768789440462491742036/3249178862151410429106255783*y^9 + 302357798942803472336978359/4332238482868547238808341044*y^8 - 6149164923270256489385313505/12996715448605641716425023132*y^7 - 17310510048519284302844016001/51986861794422566865700092528*y^6 + 53168528244797472539964647093/34657907862948377910466728352*y^5 + 9381593211453840532695765403/12996715448605641716425023132*y^4 - 82415951299903736311700001983/51986861794422566865700092528*y^3 - 6222575769057867439546253573/8664476965737094477616682088*y^2 + 9542274392154931125282298685/34657907862948377910466728352*y + 187954659991452867435504707869/103973723588845133731400185056 # 3 Loop Invariant -364184150964778298825408057014603229365/1211735252384473133530056100175290882322*y^9 - 1450546110547653490561262866722264632771/4846941009537892534120224400701163529288*y^8 + 6014467745006134315317439369685825080889/4846941009537892534120224400701163529288*y^7 + 24380312568493579241163731465995450284085/19387764038151570136480897602804654117152*y^6 - 54523746741319841034628079197081329572591/38775528076303140272961795205609308234304*y^5 - 54451239545778485476112541757694037586831/38775528076303140272961795205609308234304*y^4 + 9083985028626971745329882943640394840855/38775528076303140272961795205609308234304*y^3 + 4735398205860160073170167162560284189871/38775528076303140272961795205609308234304*y^2 - 538818136000342399074668110662804618617/19387764038151570136480897602804654117152*y - 171953324370433582340222332288127035551/9693882019075785068240448801402327058576