# Manifold: H T Link Exterior K9a13 # Number of Tetrahedra: 12 # Number Field x^7 + 4*x^5 + 2*x^4 + 3*x^3 + 3*x^2 + 2*x + 1 # Approximate Field Generator None # Shape Parameters 3/4*y^6 - 1/4*y^5 + 11/4*y^4 + 1/4*y^3 + 3/2*y^2 + 3/4*y + 5/4 -y^2 3/4*y^6 - 1/4*y^5 + 11/4*y^4 + 1/4*y^3 + 1/2*y^2 + 3/4*y + 1/4 2*y^6 - y^5 + 8*y^4 + 4*y^2 + 3*y + 2 -y + 1 -y^6 - 4*y^4 - 2*y^3 - 3*y^2 - 3*y - 2 -y + 1 -y^6 - 4*y^4 - 2*y^3 - 3*y^2 - 3*y - 2 -y^2 2*y^6 - y^5 + 8*y^4 + 4*y^2 + 3*y + 2 3/4*y^6 - 1/4*y^5 + 11/4*y^4 + 1/4*y^3 + 1/2*y^2 + 3/4*y + 1/4 3/4*y^6 - 1/4*y^5 + 11/4*y^4 + 1/4*y^3 + 1/2*y^2 + 3/4*y + 1/4 # A Gluing Matrix {{1,-1,1,0,0,0,0,0,0,0,0,0},{-1,1,0,1,0,0,-1,1,1,0,0,0},{1,0,1,0,0,0,0,0,0,0,0,0},{0,1,0,1,0,0,0,0,0,0,0,0},{0,0,0,0,0,0,1,-1,-1,0,0,0},{0,0,0,0,0,1,-1,1,1,0,0,0},{0,-1,0,0,1,-1,0,0,0,0,0,0},{0,1,0,0,-1,1,0,1,0,0,0,0},{0,1,0,0,-1,1,0,0,0,1,1,1},{0,0,0,0,0,0,0,0,1,1,0,0},{0,0,0,0,0,0,0,0,1,0,0,-1},{0,0,0,0,0,0,0,0,1,0,-1,0}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,0,0,0,0},{0,0,0,0,0,1,0,0,0,0,0,0},{0,0,0,0,0,0,1,0,0,0,0,0},{0,0,0,0,0,0,0,1,0,0,0,0},{0,0,0,0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {1, 1, 1, 1, 0, 1, 0, 1, 2, 1, 0, 0} # f Combinatorial flattening {0, 0, 1, 1, 1, 1, 2, 1, 1, 0, 1, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -29/8*y^6 + 19/8*y^5 - 53/8*y^4 + 25/8*y^3 + 77/4*y^2 + 43/8*y - 31/8 # 2 Loop Invariant 11389926974833535819/87549648390962453388*y^6 + 917372491796631121/21887412097740613347*y^5 + 27742935824748716059/87549648390962453388*y^4 + 9743920093282602043/21887412097740613347*y^3 - 1442779336999135082/7295804032580204449*y^2 + 12371357315629880917/87549648390962453388*y + 27165795912514945967/87549648390962453388 # 3 Loop Invariant 22177211491374420259215347864391/233088612226878389497121198350604*y^6 - 5962984331404963963517194188637/233088612226878389497121198350604*y^5 + 91338584019515447283665706801111/233088612226878389497121198350604*y^4 + 16972192218803050053485019820401/233088612226878389497121198350604*y^3 + 32333670385775053150812808993067/116544306113439194748560599175302*y^2 + 31955260726489495338174334645155/233088612226878389497121198350604*y + 32010893290602320218200641442737/233088612226878389497121198350604 # 4 Loop Invariant 116441203283618910928308384372594909609604045489499/51017065111001487080761017908615790144316797079115880*y^6 - 89210644227354096196741214222640346322284128003181/153051195333004461242283053725847370432950391237347640*y^5 + 138658379448993670953422453382032861053544529669925/30610239066600892248456610745169474086590078247469528*y^4 + 341410759956522664761768431261690323422114604769312/19131399416625557655285381715730921304118798904668455*y^3 + 519517757452530411303476031016119004609543767786469/153051195333004461242283053725847370432950391237347640*y^2 + 1468450782456038975664673559658046071666829925235523/51017065111001487080761017908615790144316797079115880*y - 146777669241701060365840021609067384031655114760261/30610239066600892248456610745169474086590078247469528