# Manifold: H T Link Exterior K8a10 # Number of Tetrahedra: 8 # Number Field x^11 + 6/5*x^10 - 22/5*x^9 - 8/5*x^8 + 46/5*x^7 - 13/5*x^6 - 7*x^5 + 19/5*x^4 + 11/5*x^3 - 8/5*x^2 - 1/5*x + 1/5 # Approximate Field Generator 0.724484549504606 - 0.197456344510230*I # Shape Parameters -1430/41*y^10 - 2396/41*y^9 + 4886/41*y^8 + 4247/41*y^7 - 10147/41*y^6 - 696/41*y^5 + 7701/41*y^4 - 1202/41*y^3 - 2526/41*y^2 + 481/41*y + 265/41 -9320/287*y^10 - 17124/287*y^9 + 28690/287*y^8 + 31155/287*y^7 - 60997/287*y^6 - 12155/287*y^5 + 48226/287*y^4 - 2295/287*y^3 - 17278/287*y^2 + 1726/287*y + 2427/287 -1430/41*y^10 - 2396/41*y^9 + 4886/41*y^8 + 4247/41*y^7 - 10147/41*y^6 - 696/41*y^5 + 7701/41*y^4 - 1202/41*y^3 - 2526/41*y^2 + 481/41*y + 265/41 17460/287*y^10 + 33207/287*y^9 - 54563/287*y^8 - 68097/287*y^7 + 115931/287*y^6 + 38957/287*y^5 - 101278/287*y^4 - 5134/287*y^3 + 39185/287*y^2 - 1307/287*y - 5279/287 1600/41*y^10 + 4695/41*y^9 - 2680/41*y^8 - 12574/41*y^7 + 7335/41*y^6 + 16310/41*y^5 - 11916/41*y^4 - 8998/41*y^3 + 7375/41*y^2 + 1892/41*y - 1628/41 2095/41*y^10 + 2954/41*y^9 - 7850/41*y^8 - 3925/41*y^7 + 15605/41*y^6 - 3804/41*y^5 - 9739/41*y^4 + 5049/41*y^3 + 1784/41*y^2 - 1493/41*y + 253/41 17460/287*y^10 + 33207/287*y^9 - 54563/287*y^8 - 68097/287*y^7 + 115931/287*y^6 + 38957/287*y^5 - 101278/287*y^4 - 5134/287*y^3 + 39185/287*y^2 - 1307/287*y - 5279/287 17460/287*y^10 + 33207/287*y^9 - 54563/287*y^8 - 68097/287*y^7 + 115931/287*y^6 + 38957/287*y^5 - 101278/287*y^4 - 5134/287*y^3 + 39185/287*y^2 - 1307/287*y - 5279/287 # A Gluing Matrix {{0,-1,0,0,0,-1,0,0},{-1,-1,-1,0,0,-1,0,0},{0,-1,0,0,0,-1,0,0},{0,0,0,0,-1,0,-1,0},{0,0,0,-1,0,-1,-1,0},{-1,-1,-1,0,-1,1,0,0},{0,0,0,-1,-1,0,0,0},{0,0,0,-1,-1,0,-1,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,1},{0,0,0,0,1,0,0,1},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,1},{0,0,0,0,0,0,0,2}} # nu Gluing Vector {0, -1, 0, 0, 0, -1, 0, 0} # f Combinatorial flattening {1, 0, 0, 0, 0, 0, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 10125/82*y^10 + 15415/82*y^9 - 21551/41*y^8 - 37295/82*y^7 + 89101/82*y^6 + 6773/41*y^5 - 41507/41*y^4 + 7049/82*y^3 + 17020/41*y^2 - 3743/82*y - 5313/82 # 2 Loop Invariant 481005391145326777864862815/45256835607326637142530732*y^10 + 889193634306753688839431773/45256835607326637142530732*y^9 - 776644514038710579065394401/22628417803663318571265366*y^8 - 1809536322654145383389073655/45256835607326637142530732*y^7 + 815881235906111296413717439/11314208901831659285632683*y^6 + 908991779610904283216065403/45256835607326637142530732*y^5 - 699389762174902532862476876/11314208901831659285632683*y^4 - 10111291241210139694072427/22628417803663318571265366*y^3 + 518533099873977312655529291/22628417803663318571265366*y^2 - 31150770634470484781918633/22628417803663318571265366*y - 288360591908890742828696945/90513671214653274285061464 # 3 Loop Invariant -575743315471897063485549982502289795/1143832624260956768760943971245981279*y^10 - 965109494310587846570271144223776049/1143832624260956768760943971245981279*y^9 + 2150607734267926291208828524513561829/1143832624260956768760943971245981279*y^8 + 2099596902577216054612351168118985027/1143832624260956768760943971245981279*y^7 - 8970610542907329849347383639799202763/2287665248521913537521887942491962558*y^6 - 881192701333466139087306266629116948/1143832624260956768760943971245981279*y^5 + 7970295315297857635901156288112731169/2287665248521913537521887942491962558*y^4 - 204778759788080723462533634278690461/1143832624260956768760943971245981279*y^3 - 1552115824794638319922780283549809321/1143832624260956768760943971245981279*y^2 + 259288134448335176051202191680744835/2287665248521913537521887942491962558*y + 222083019663552162568927734795691513/1143832624260956768760943971245981279 # 4 Loop Invariant 6566140005417969808524014292599610994530904172815796025776665/15151096108821991777249750755011708906602112831035722952438896*y^10 + 12395229630307016498886517416403816571319847240923043585683865/15151096108821991777249750755011708906602112831035722952438896*y^9 - 52766571613079585721510504978427530705990403823992280864810809/37877740272054979443124376887529272266505282077589307381097240*y^8 - 130293942323153704764046725288966231777857348992669346663209967/75755480544109958886248753775058544533010564155178614762194480*y^7 + 75633487541493168372769883589912527604516678408761863232559767/25251826848036652962082917925019514844336854718392871587398160*y^6 + 79399513961362661374155012256071065772195801551814349694488501/75755480544109958886248753775058544533010564155178614762194480*y^5 - 101347318632409191750061271307322299131848585521442388131254551/37877740272054979443124376887529272266505282077589307381097240*y^4 - 2214338113747175515757779714484762639947627595356126854988921/15151096108821991777249750755011708906602112831035722952438896*y^3 + 40801417438995340186179201954056188053161425464046406342537471/37877740272054979443124376887529272266505282077589307381097240*y^2 - 919647823836769027106476263109345575853267940652662217757261/25251826848036652962082917925019514844336854718392871587398160*y - 1332145580474992146461278421680683427700759004676179420750527/8417275616012217654027639308339838281445618239464290529132720