# Manifold: H T Link Exterior K8a3 # Number of Tetrahedra: 9 # Number Field x^11 + x^10 + 9*x^9 + 7*x^8 + 24*x^7 + 5*x^6 + 30*x^5 - 5*x^4 + 23*x^3 - 7*x^2 + 7*x - 1 # Approximate Field Generator -0.287299801606718 + 1.13506983980656*I # Shape Parameters 2619/7793*y^10 - 444/7793*y^9 + 19618/7793*y^8 - 7271/7793*y^7 + 36858/7793*y^6 - 41768/7793*y^5 + 66164/7793*y^4 - 51609/7793*y^3 + 69124/7793*y^2 - 35689/7793*y + 22857/7793 2619/7793*y^10 - 444/7793*y^9 + 19618/7793*y^8 - 7271/7793*y^7 + 36858/7793*y^6 - 41768/7793*y^5 + 66164/7793*y^4 - 51609/7793*y^3 + 69124/7793*y^2 - 35689/7793*y + 22857/7793 -22269/7793*y^10 - 31869/7793*y^9 - 203239/7793*y^8 - 224651/7793*y^7 - 527773/7793*y^6 - 199664/7793*y^5 - 466568/7793*y^4 + 83426/7793*y^3 - 215143/7793*y^2 + 97395/7793*y - 9139/7793 -12163/7793*y^10 - 7436/7793*y^9 - 93388/7793*y^8 - 25589/7793*y^7 - 155061/7793*y^6 + 172594/7793*y^5 - 72366/7793*y^4 + 311566/7793*y^3 - 74746/7793*y^2 + 155964/7793*y - 13376/7793 10421/15586*y^10 + 9597/15586*y^9 + 45728/7793*y^8 + 32639/7793*y^7 + 115945/7793*y^6 + 33153/15586*y^5 + 140798/7793*y^4 - 27741/7793*y^3 + 209823/15586*y^2 - 58173/15586*y + 29705/7793 -3502/7793*y^10 - 7967/7793*y^9 - 38438/7793*y^8 - 65720/7793*y^7 - 135097/7793*y^6 - 127998/7793*y^5 - 168264/7793*y^4 - 87940/7793*y^3 - 104760/7793*y^2 - 24412/7793*y - 27796/7793 36827/15586*y^10 + 17865/7793*y^9 + 320667/15586*y^8 + 118744/7793*y^7 + 396235/7793*y^6 + 88767/15586*y^5 + 900087/15586*y^4 - 121851/7793*y^3 + 661887/15586*y^2 - 107172/7793*y + 159955/15586 -15921/15586*y^10 - 8934/7793*y^9 - 141245/15586*y^8 - 60476/7793*y^7 - 179195/7793*y^6 - 69835/15586*y^5 - 387779/15586*y^4 + 39610/7793*y^3 - 284245/15586*y^2 + 38327/7793*y - 58287/15586 -26317/15586*y^10 - 12775/7793*y^9 - 235769/15586*y^8 - 89765/7793*y^7 - 314335/7793*y^6 - 137323/15586*y^5 - 817349/15586*y^4 + 37294/7793*y^3 - 652211/15586*y^2 + 65193/7793*y - 186741/15586 # A Gluing Matrix {{1,1,0,1,0,-1,0,0,0},{1,1,0,1,0,-1,0,0,0},{0,0,-1,1,-1,-1,-2,0,1},{1,1,1,0,1,0,2,-1,-1},{0,0,-1,1,0,0,-1,0,0},{-1,-1,-1,0,0,1,-1,0,0},{0,0,-2,2,-1,-1,-1,0,0},{0,0,0,-1,0,0,0,0,0},{0,0,1,-1,0,0,0,0,1}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0},{0,0,0,0,1,0,0,0,0},{0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {1, 1, -1, 2, 0, -1, -1, 0, 1} # f Combinatorial flattening {1, 0, -1, 0, 2, 0, 1, 0, 2} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 37538/7793*y^10 + 41876/7793*y^9 + 314772/7793*y^8 + 505387/15586*y^7 + 684135/7793*y^6 - 118649/15586*y^5 + 517446/7793*y^4 - 904513/15586*y^3 + 321398/7793*y^2 - 653549/15586*y + 31751/7793 # 2 Loop Invariant 704306139703030537547252005/90228526520707254686160638256*y^10 - 1276714924481487474837346349/30076175506902418228720212752*y^9 + 1029539465143092247163835847/45114263260353627343080319128*y^8 - 4902864878629767422380337675/15038087753451209114360106376*y^7 - 654397263233396686414591295/7519043876725604557180053188*y^6 - 18127217256376704433429398319/30076175506902418228720212752*y^5 + 5789488349430287889856144393/15038087753451209114360106376*y^4 - 7456317153418349271432545367/15038087753451209114360106376*y^3 + 40404878048207796368812775819/90228526520707254686160638256*y^2 - 32741355192734093523964506733/90228526520707254686160638256*y + 9586879506444704670649936523/45114263260353627343080319128 # 3 Loop Invariant 405358590371436359472132719135757722148287/2717937146340330501060051390164474389668736*y^10 + 64812184840315416805185547659990858782077/339742143292541312632506423770559298708592*y^9 + 3770513102477695023108182257129878063744621/2717937146340330501060051390164474389668736*y^8 + 1910099947312101436254487435303605399957683/1358968573170165250530025695082237194834368*y^7 + 5274823399227798926353147433291031667354109/1358968573170165250530025695082237194834368*y^6 + 4427959696359993624699866505244684964262613/2717937146340330501060051390164474389668736*y^5 + 12608323320330527139891930218607794300480693/2717937146340330501060051390164474389668736*y^4 + 280268033049320045602870831044010402140465/1358968573170165250530025695082237194834368*y^3 + 8890345131212808542682362736007459403446327/2717937146340330501060051390164474389668736*y^2 - 238690363301771579861531957526109912576177/679484286585082625265012847541118597417184*y + 2413532074131660287543085131245737785573703/2717937146340330501060051390164474389668736 # 4 Loop Invariant 220722441367174972281449816635652151520163672877162295760585887614757/755248445189838794848405511050801451817789991490677234162381458751488*y^10 + 31374704088669997968973901066760607305549087999549861446902341130987/94406055648729849356050688881350181477223748936334654270297682343936*y^9 + 3376948467705680598301952439592767492130465859538599298168724093469449/1258747408649731324747342518418002419696316652484462056937302431252480*y^8 + 4578796603618850745300425461439202837138565612690819424502058600818821/1888121112974596987121013777627003629544474978726693085405953646878720*y^7 + 2798914000800288371265095577038344679620054754939964525750937327828495/377624222594919397424202755525400725908894995745338617081190729375744*y^6 + 9683233852677739981251096060622930865614017196908525522744655748644307/3776242225949193974242027555254007259088949957453386170811907293757440*y^5 + 35124738964448109514015265257568455139203288109603267800795916355680531/3776242225949193974242027555254007259088949957453386170811907293757440*y^4 - 132428864440840787884808568310025466097020187326355257131104416208393/1888121112974596987121013777627003629544474978726693085405953646878720*y^3 + 25933756035955603360239811516264122282781609737428493685432928176559297/3776242225949193974242027555254007259088949957453386170811907293757440*y^2 - 334741850262216671658443495714280887792723939679808098114038001655621/314686852162432831186835629604500604924079163121115514234325607813120*y + 495645131183473395946503013368172424016804719720383591848492883843807/251749481729946264949468503683600483939263330496892411387460486250496