# Manifold: Census Knot K7_19 # Number of Tetrahedra: 7 # Number Field x^11 + 8*x^10 + 29*x^9 + 84*x^8 + 173*x^7 + 287*x^6 + 401*x^5 + 442*x^4 + 392*x^3 + 288*x^2 + 144*x + 32 # Approximate Field Generator 0.197446083357057 + 1.15568539482423*I # Shape Parameters -37/2816*y^10 - 149/1408*y^9 - 1013/2816*y^8 - 1315/1408*y^7 - 5021/2816*y^6 - 7085/2816*y^5 - 8903/2816*y^4 - 1115/352*y^3 - 57/32*y^2 - 193/176*y - 39/176 y^10 + 7*y^9 + 22*y^8 + 62*y^7 + 111*y^6 + 176*y^5 + 225*y^4 + 217*y^3 + 175*y^2 + 113*y + 32 1123/256*y^10 + 4049/128*y^9 + 26147/256*y^8 + 36739/128*y^7 + 135627/256*y^6 + 213623/256*y^5 + 279173/256*y^4 + 68273/64*y^3 + 6931/8*y^2 + 1145/2*y + 2871/16 -1/256*y^10 - 3/128*y^9 - 17/256*y^8 - 25/128*y^7 - 73/256*y^6 - 141/256*y^5 - 119/256*y^4 - 51/64*y^3 + 1/16*y^2 - 1/4*y + 15/16 1/32*y^10 + 1/4*y^9 + 29/32*y^8 + 21/8*y^7 + 173/32*y^6 + 287/32*y^5 + 401/32*y^4 + 221/16*y^3 + 49/4*y^2 + 9*y + 9/2 1/1024*y^10 + 3/512*y^9 + 17/1024*y^8 + 25/512*y^7 + 73/1024*y^6 + 141/1024*y^5 + 119/1024*y^4 + 51/256*y^3 - 1/64*y^2 + 5/16*y + 33/64 1541/1408*y^10 + 2781/352*y^9 + 35973/1408*y^8 + 6319/88*y^7 + 186597/1408*y^6 + 293527/1408*y^5 + 382493/1408*y^4 + 186421/704*y^3 + 6871/32*y^2 + 24753/176*y + 1967/44 # A Gluing Matrix {{-12,-7,-8,0,-5,-1,-4},{-7,-3,-4,-1,-4,0,-2},{-8,-4,-4,0,-4,0,-2},{0,-1,0,1,1,-1,0},{-5,-4,-4,1,0,-2,-2},{-1,0,0,-1,-2,1,0},{-4,-2,-2,0,-2,0,0}} # 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 {-12, -7, -8, 1, -4, -1, -4} # f Combinatorial flattening {-7, -1, 7, -1, 8, 7, 0} # f' Combinatorial flattening {0, 0, -8, 0, 0, 0, -4} # 1 Loop Invariant -1141/256*y^10 - 4291/128*y^9 - 29077/256*y^8 - 41249/128*y^7 - 159053/256*y^6 - 253209/256*y^5 - 335467/256*y^4 - 84013/64*y^3 - 16893/16*y^2 - 5439/8*y - 3525/16 # 2 Loop Invariant 188952915435127180185522223231/1990130326920928458013264336896*y^10 + 28085422463687437484750990575/41461048477519342875276340352*y^9 + 4307119921204063142559831698759/1990130326920928458013264336896*y^8 + 1009231658803281569666726096439/165844193910077371501105361408*y^7 + 22119814524556505588631218887159/1990130326920928458013264336896*y^6 + 34825704540366003311858808286649/1990130326920928458013264336896*y^5 + 45290119339901119268795091704027/1990130326920928458013264336896*y^4 + 7279926086189364695627086890231/331688387820154743002210722816*y^3 + 2972284143193076912515299396281/165844193910077371501105361408*y^2 + 2896665132501287275600345411181/248766290865116057251658042112*y + 688656979737520417894213635797/62191572716279014312914510528 # 3 Loop Invariant 963726679663226029498939383458690952928613/95513642037080260415628882685383007374098432*y^10 + 2970485876183072401285735198039520277964865/47756821018540130207814441342691503687049216*y^9 + 16007688278254872088783299575572931822026453/95513642037080260415628882685383007374098432*y^8 + 22532247455347965447334333873066241713514543/47756821018540130207814441342691503687049216*y^7 + 66099591652923507383751425954087927694393117/95513642037080260415628882685383007374098432*y^6 + 104928401199981176904962002242582532884933509/95513642037080260415628882685383007374098432*y^5 + 117187544514204708122041984197434037657682063/95513642037080260415628882685383007374098432*y^4 + 5612733481264764521940804921685759293553703/5969602627317516275976805167836437960881152*y^3 + 9290389991471887880779309900954559966556329/11939205254635032551953610335672875921762304*y^2 + 1785592686410339509084210158643038164991331/5969602627317516275976805167836437960881152*y - 317814066014716588710752959004228786786685/5969602627317516275976805167836437960881152