# Manifold: Census Knot K7_97 # Number of Tetrahedra: 7 # Number Field x^8 + 2*x^7 + 5*x^6 + 6*x^5 + 7*x^4 + 7*x^3 + 4*x^2 + 4*x + 1 # Approximate Field Generator -0.544024001557027 - 1.39006803621456*I # Shape Parameters -y^7 - 2*y^6 - 4*y^5 - 4*y^4 - 3*y^3 - 3*y^2 - y -4*y^7 - 7*y^6 - 18*y^5 - 19*y^4 - 22*y^3 - 21*y^2 - 9*y - 12 -2*y^7 - 3*y^6 - 9*y^5 - 9*y^4 - 12*y^3 - 11*y^2 - 5*y - 7 y^7 + 2*y^6 + 5*y^5 + 6*y^4 + 7*y^3 + 7*y^2 + 3*y + 4 -y^4 - y^3 - 2*y^2 - y -1/2*y^7 - y^6 - 2*y^5 - 5/2*y^4 - 2*y^3 - 5/2*y^2 - y - 1/2 -1/4*y^7 - 1/2*y^6 - 3/2*y^5 - 7/4*y^4 - 2*y^3 - 5/4*y^2 - 1/2*y + 1/4 # A Gluing Matrix {{0,-1,0,0,0,0,0},{-1,3,-1,-1,3,3,-2},{0,-1,0,1,0,-1,0},{0,-1,1,0,-1,0,1},{0,3,0,-1,3,3,-1},{0,3,-1,0,3,3,-2},{0,-2,0,1,-1,-2,1}} # B Gluing Matrix {{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,0},{0,0,0,0,0,0,1}} # nu Gluing Vector {0, 3, 0, 0, 3, 3, -1} # f Combinatorial flattening {2, -4, -1, -2, 2, 2, -1} # f' Combinatorial flattening {-4, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -1/2*y^6 + 3/2*y^4 - 3*y^3 + y^2 - 7/2*y + 3/2 # 2 Loop Invariant -15144658982603149/142097634636209304*y^7 - 6238556355090871/47365878212069768*y^6 - 34949495057155171/142097634636209304*y^5 - 994847382712805/23682939106034884*y^4 + 827176759416351/5920734776508721*y^3 + 887064395468089/10930587279708408*y^2 + 24372462439530937/142097634636209304*y + 2852739950695413/5920734776508721 # 3 Loop Invariant -594797991645223929405073/7289259191388088644451696*y^7 - 632791685715702999648595/3644629595694044322225848*y^6 - 1565623317459334931245131/3644629595694044322225848*y^5 - 3872172190586537166008179/7289259191388088644451696*y^4 - 1123342386423547291240277/1822314797847022161112924*y^3 - 320743343698594615105549/560712245491391434188592*y^2 - 1083884242710558502536317/3644629595694044322225848*y - 1584192111978392964718195/7289259191388088644451696