# Manifold: Census Knot K7_120 # Number of Tetrahedra: 7 # Number Field x^8 - 6*x^7 + 5*x^6 - 9*x^5 + 8*x^4 - 5*x^3 + 5*x^2 - x + 1 # Approximate Field Generator -0.259818796533259 + 0.832924757430659*I # Shape Parameters -y^7 + 15/2*y^6 - 27/2*y^5 + 25/2*y^4 - 27/2*y^3 + 11*y^2 - 4*y + 7/2 y^7 - 6*y^6 + 4*y^5 - 3*y^4 + 4*y^3 - 2*y^2 + y + 1 -y^7 + 5*y^6 + y^5 + 4*y^4 + y^3 - 3*y^2 - 3 -5/2*y^7 + 14*y^6 - 6*y^5 + 15*y^4 - 23/2*y^3 + 2*y^2 - 11/2*y - 1/2 -5/2*y^7 + 14*y^6 - 6*y^5 + 15*y^4 - 23/2*y^3 + 2*y^2 - 11/2*y - 1/2 5/2*y^7 - 15*y^6 + 11*y^5 - 14*y^4 + 33/2*y^3 - 7*y^2 + 13/2*y - 3/2 7/2*y^7 - 20*y^6 + 10*y^5 - 18*y^4 + 31/2*y^3 - 4*y^2 + 13/2*y + 3/2 # A Gluing Matrix {{-2,-2,2,1,1,2,0},{-2,-1,1,1,1,1,0},{2,1,0,-1,-1,-1,0},{1,1,-1,0,0,-1,0},{1,1,-1,0,0,-1,0},{2,1,-1,-1,-1,0,1},{0,0,0,0,0,1,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 {2, 1, 0, 0, 0, 0, 1} # f Combinatorial flattening {1, 1, 1, 2, 0, 1, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 29/4*y^7 - 161/4*y^6 + 47/4*y^5 - 81/4*y^4 + 15*y^3 + 13/2*y^2 + 17/4*y + 6 # 2 Loop Invariant -2141695125056/22004796119329*y^7 + 12376199064290/22004796119329*y^6 - 112757119315457/264057553431948*y^5 + 52477683028219/44009592238658*y^4 - 224186202677095/264057553431948*y^3 + 19686050672047/88019184477316*y^2 - 121571623863059/264057553431948*y + 2650837213995/44009592238658 # 3 Loop Invariant 62304305544374415535/412891568982622511932*y^7 - 105485708773336371519/103222892245655627983*y^6 + 286229691030106500655/206445784491311255966*y^5 - 304694913856446687859/206445784491311255966*y^4 + 662041251105497666271/412891568982622511932*y^3 - 113048991660854134303/103222892245655627983*y^2 + 229524227862665751839/412891568982622511932*y - 143674658953107752003/412891568982622511932