# Manifold: Census Knot K7_86 # Number of Tetrahedra: 7 # Number Field x^11 + x^10 + 8*x^9 + 7*x^8 + 22*x^7 + 16*x^6 + 24*x^5 + 13*x^4 + 9*x^3 + 3*x^2 - 1 # Approximate Field Generator -0.0714891280973878 - 1.73688481528933*I # Shape Parameters -y^9 - y^8 - 6*y^7 - 5*y^6 - 11*y^5 - 7*y^4 - 6*y^3 - 2*y^2 + 1 1/25*y^10 + 8/25*y^8 - 1/25*y^7 + 23/25*y^6 - 7/25*y^5 + 31/25*y^4 - 18/25*y^3 + 27/25*y^2 - 24/25*y + 24/25 3/5*y^10 + 19/5*y^8 - 3/5*y^7 + 34/5*y^6 - 16/5*y^5 + 8/5*y^4 - 24/5*y^3 - 14/5*y^2 - 7/5*y - 3/5 9/25*y^10 + 47/25*y^8 - 9/25*y^7 + 57/25*y^6 - 38/25*y^5 - 21/25*y^4 - 37/25*y^3 - 32/25*y^2 + 9/25*y + 16/25 -y^4 - 4*y^2 - 3 y^10 + 7*y^8 + 16*y^6 + 13*y^4 + 3*y^2 y^10 + 7*y^8 + 16*y^6 + 13*y^4 + 3*y^2 # A Gluing Matrix {{2,0,-1,1,2,0,0},{0,0,0,-1,0,-1,0},{-1,0,1,-1,-2,0,0},{1,-1,-1,2,2,0,0},{2,0,-2,2,3,0,0},{0,-1,0,0,0,0,0},{0,-1,0,0,0,-1,1}} # B Gluing Matrix {{1,0,0,0,0,0,0},{0,1,0,0,0,0,1},{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,1},{0,0,0,0,0,0,2}} # nu Gluing Vector {2, 0, -1, 2, 3, 0, 0} # f Combinatorial flattening {1, 0, -1, 1, -1, -1, -1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -11/2*y^9 - 5*y^8 - 36*y^7 - 28*y^6 - 77*y^5 - 48*y^4 - 60*y^3 - 26*y^2 - 27/2*y - 3 # 2 Loop Invariant 812479880137337822943645/32158759744756431511591876*y^10 - 7576297935626220827984149/48238139617134647267387814*y^9 + 1748497781354087344258115/96476279234269294534775628*y^8 - 105232090669799645211325003/96476279234269294534775628*y^7 - 50385991530068927021166923/96476279234269294534775628*y^6 - 19663113654329506998994559/8039689936189107877897969*y^5 - 10349027839625778651589587/8039689936189107877897969*y^4 - 182480079121208192022598523/96476279234269294534775628*y^3 - 16909632359399604962806277/24119069808567323633693907*y^2 - 18248988399228481344568079/48238139617134647267387814*y - 36635054663756482296332695/96476279234269294534775628 # 3 Loop Invariant 826276892874963975787175159490593933/45592031639589918578016147192684471406*y^10 + 826276892874963975787175159490593933/45592031639589918578016147192684471406*y^9 + 3280170726142077118907130695051239525/22796015819794959289008073596342235703*y^8 + 6291100227131549406110425934414238771/45592031639589918578016147192684471406*y^7 + 9258950259776276194727042424816241972/22796015819794959289008073596342235703*y^6 + 8231801552844952580860377984108100017/22796015819794959289008073596342235703*y^5 + 11295346140036395631286599767104554813/22796015819794959289008073596342235703*y^4 + 17124483808988808577057881693354469693/45592031639589918578016147192684471406*y^3 + 11988091043583016166143440139140454547/45592031639589918578016147192684471406*y^2 + 6232706690750735626717388296981115299/45592031639589918578016147192684471406*y + 937184291087488691106157802670686208/22796015819794959289008073596342235703