# Manifold: H T Link Exterior K8a13 # Number of Tetrahedra: 8 # Number Field x^5 - 2*x^4 + 4*x^3 - 3*x^2 + x + 1 # Approximate Field Generator None # Shape Parameters -1/2*y^4 + 3/2*y^3 - 5/2*y^2 + 2*y - 1/2 -1/2*y^4 + 1/2*y^3 - 3/2*y^2 + 1/2 -1/2*y^4 + y^3 - 3/2*y^2 + y + 1 y^4 - 2*y^3 + 3*y^2 - 3*y - 1 -2*y^4 + 5*y^3 - 10*y^2 + 10*y - 5 -2*y^4 + 5*y^3 - 10*y^2 + 10*y - 5 -y + 1 -1/2*y^4 + 3/2*y^3 - 5/2*y^2 + 2*y + 1/2 # A Gluing Matrix {{1,0,1,0,0,0,0,0},{0,1,0,0,-1,1,1,0},{1,0,0,2,1,-1,0,0},{0,0,2,-1,0,1,0,1},{0,-1,1,0,1,-1,0,1},{0,1,-1,1,-1,1,1,-1},{0,1,0,0,0,1,1,0},{0,0,0,1,1,-1,0,1}} # B Gluing Matrix {{1,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,0,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {1, 1, 2, 1, 1, 1, 1, 1} # f Combinatorial flattening {1, 2, 2, 0, -2, -3, 2, 0} # f' Combinatorial flattening {-2, -2, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 1/2*y^3 - 8*y^2 + 11/2*y - 5 # 2 Loop Invariant 19923946837/224446135728*y^4 - 8210748839/37407689288*y^3 + 18821256639/74815378576*y^2 - 93062852651/224446135728*y + 66290169887/112223067864 # 3 Loop Invariant 77440044561591605/4993167592747725056*y^4 + 57801233794074133/4993167592747725056*y^3 + 182086953795684189/4993167592747725056*y^2 + 9766206933864073/312072974546732816*y + 270023837366401031/4993167592747725056 # 4 Loop Invariant 145185191817491367169462135343/13448366054814083116586428809216*y^4 - 151066545035057345062772485747/4482788684938027705528809603072*y^3 + 66297958403490316439053098703/1494262894979342568509603201024*y^2 - 105965952746034585428257406779/1681045756851760389573303601152*y - 748102421876085761229056415199/67241830274070415582932144046080