# Manifold: Census Knot K7_124 # Number of Tetrahedra: 7 # Number Field x^7 + 6*x^6 + 14*x^5 + 12*x^4 - 7*x^3 - 18*x^2 - 8*x + 8 # Approximate Field Generator -0.873539496645719 - 1.03035427189841*I # Shape Parameters 1/4*y^4 + y^3 + 5/4*y^2 - 1/2*y - 1 -1/8*y^6 - 3/4*y^5 - 7/4*y^4 - 3/2*y^3 + 7/8*y^2 + 9/4*y + 2 -1/4*y^6 - 3/2*y^5 - 7/2*y^4 - 7/2*y^3 - 1/4*y^2 + 2*y + 2 -1/4*y^6 - 3/2*y^5 - 7/2*y^4 - 3*y^3 + 7/4*y^2 + 9/2*y + 3 -y -1/8*y^6 - 1/2*y^5 - 3/4*y^4 + 7/8*y^2 + 1/2*y -1/8*y^6 - 1/2*y^5 - 3/4*y^4 + 7/8*y^2 + 1/2*y # A Gluing Matrix {{0,0,1,-1,0,0,0},{0,1,0,-2,-1,-1,-1},{1,0,-1,-1,-2,-2,0},{-1,-2,-1,2,-1,0,1},{0,-1,-2,-1,-2,-2,0},{0,-1,-2,0,-2,-1,0},{0,-1,0,1,0,0,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, -1, -1, 0, -2, -1, 1} # f Combinatorial flattening {-1, 3, -1, -1, -1, 2, 5} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 7/8*y^6 + 11/2*y^5 + 57/4*y^4 + 39/2*y^3 + 59/8*y^2 - 24*y - 69/2 # 2 Loop Invariant 273276302438369/85884907974045312*y^6 + 1759368140381125/85884907974045312*y^5 + 1778983039620663/28628302658015104*y^4 + 306648212539811/2602572968910464*y^3 + 5812859554057499/42942453987022656*y^2 - 366160765866983/5367806748377832*y + 2029697696373833/10735613496755664 # 3 Loop Invariant 4927286456768306085379007/2077939245527939066948578816*y^6 + 24075944104290299132570423/2077939245527939066948578816*y^5 + 40543197356992102602236439/2077939245527939066948578816*y^4 + 338648250868999313662823/188903567775267187904416256*y^3 - 15036294908708898501414583/1038969622763969533474289408*y^2 - 119845198689062011800795/129871202845496191684286176*y + 7590678404304611403520039/259742405690992383368572352