# Manifold: H T Link Exterior K9a20 # Number of Tetrahedra: 9 # Number Field x^16 + 2*x^15 - 3*x^14 - 8*x^13 + 7*x^12 + 20*x^11 + x^10 - 28*x^9 + 17*x^8 + 70*x^7 + 26*x^6 - 15*x^5 + 37*x^4 + 38*x^3 + 60*x^2 + 14*x - 1 # Approximate Field Generator -1.84378846716479 + 0.740793716143169*I # Shape Parameters -8434329355798/41262441304739*y^15 - 19386124212484/41262441304739*y^14 + 21419301585966/41262441304739*y^13 + 77976021005958/41262441304739*y^12 - 40603071844776/41262441304739*y^11 - 197695577429731/41262441304739*y^10 - 60510422489083/41262441304739*y^9 + 257436870980057/41262441304739*y^8 - 47225877139215/41262441304739*y^7 - 650783717657627/41262441304739*y^6 - 403326215975182/41262441304739*y^5 + 115599091435843/41262441304739*y^4 - 211581161572856/41262441304739*y^3 - 415238188437617/41262441304739*y^2 - 586454227191900/41262441304739*y - 243844736107462/41262441304739 -3837168556475/288837089133173*y^15 - 10752970109125/288837089133173*y^14 + 1367968966148/41262441304739*y^13 + 49823204929570/288837089133173*y^12 - 4572765691947/288837089133173*y^11 - 128177719826040/288837089133173*y^10 - 82070075980597/288837089133173*y^9 + 142736168389292/288837089133173*y^8 + 118580597643637/288837089133173*y^7 - 301288636155630/288837089133173*y^6 - 35909652598983/41262441304739*y^5 + 57992213144672/288837089133173*y^4 + 91925984708619/288837089133173*y^3 - 212841758550912/288837089133173*y^2 - 148407620206463/288837089133173*y + 14543625510041/288837089133173 -441609662332/41262441304739*y^15 + 844677233912/41262441304739*y^14 + 5182093930434/41262441304739*y^13 - 1176128322358/41262441304739*y^12 - 19273206767293/41262441304739*y^11 - 1884132431624/41262441304739*y^10 + 36202200935076/41262441304739*y^9 + 27559248817950/41262441304739*y^8 - 44761305761502/41262441304739*y^7 - 22032214560642/41262441304739*y^6 + 78678608169834/41262441304739*y^5 + 43479920759864/41262441304739*y^4 - 25750411897624/41262441304739*y^3 + 12539207370576/41262441304739*y^2 - 28835210800568/41262441304739*y + 48979256229573/41262441304739 266797163647/41262441304739*y^15 - 1198297031700/41262441304739*y^14 - 4062093463892/41262441304739*y^13 + 3730036305358/41262441304739*y^12 + 17142441984330/41262441304739*y^11 - 5017165193120/41262441304739*y^10 - 36955604716428/41262441304739*y^9 - 17575996168854/41262441304739*y^8 + 53876248258115/41262441304739*y^7 + 5674501103433/41262441304739*y^6 - 83902334473195/41262441304739*y^5 - 29141377973496/41262441304739*y^4 + 46209894962764/41262441304739*y^3 + 12439106093029/41262441304739*y^2 + 7863683702815/41262441304739*y - 1181436550941/41262441304739 -100434258524478/41262441304739*y^15 - 221756313478330/41262441304739*y^14 + 262733122567562/41262441304739*y^13 + 871766465409650/41262441304739*y^12 - 546018916257724/41262441304739*y^11 - 2174809512619135/41262441304739*y^10 - 489265985315074/41262441304739*y^9 + 2838678984820843/41262441304739*y^8 - 1144789295236745/41262441304739*y^7 - 7457904759324079/41262441304739*y^6 - 3953859887249868/41262441304739*y^5 + 1179100691220777/41262441304739*y^4 - 3394537106488944/41262441304739*y^3 - 4625175828814740/41262441304739*y^2 - 6609901907132708/41262441304739*y - 2516837041162582/41262441304739 2944942420265129/188816931410485664*y^15 + 5993972335181141/188816931410485664*y^14 - 2373987000752045/47204232852621416*y^13 - 6434260575117321/47204232852621416*y^12 + 148945281683389/1320398121751648*y^11 + 65762425636217413/188816931410485664*y^10 + 160096110042610/5900529106577677*y^9 - 22448212428798271/47204232852621416*y^8 + 32929400738488741/188816931410485664*y^7 + 199546238262844493/188816931410485664*y^6 + 71054578668179193/188816931410485664*y^5 - 15862438577083245/47204232852621416*y^4 + 100048625301584689/188816931410485664*y^3 + 111415567712285329/188816931410485664*y^2 + 139817810768301047/188816931410485664*y + 153417680797995195/188816931410485664 8894537102048/41262441304739*y^15 + 18541373073283/41262441304739*y^14 - 25765345740747/41262441304739*y^13 - 74127439615856/41262441304739*y^12 + 59479457566176/41262441304739*y^11 + 187962199935386/41262441304739*y^10 + 15941945528456/41262441304739*y^9 - 260373445488653/41262441304739*y^8 + 136223002376820/41262441304739*y^7 + 654382571851039/41262441304739*y^6 + 273064606102824/41262441304739*y^5 - 137512546070104/41262441304739*y^4 + 340295771308038/41262441304739*y^3 + 405347062620628/41262441304739*y^2 + 547127202729033/41262441304739*y + 255444170389581/41262441304739 8894537102048/41262441304739*y^15 + 18541373073283/41262441304739*y^14 - 25765345740747/41262441304739*y^13 - 74127439615856/41262441304739*y^12 + 59479457566176/41262441304739*y^11 + 187962199935386/41262441304739*y^10 + 15941945528456/41262441304739*y^9 - 260373445488653/41262441304739*y^8 + 136223002376820/41262441304739*y^7 + 654382571851039/41262441304739*y^6 + 273064606102824/41262441304739*y^5 - 137512546070104/41262441304739*y^4 + 340295771308038/41262441304739*y^3 + 405347062620628/41262441304739*y^2 + 547127202729033/41262441304739*y + 255444170389581/41262441304739 -19516085761326585/188816931410485664*y^15 - 35093767975163301/188816931410485664*y^14 + 16685835705029813/47204232852621416*y^13 + 37194097434696113/47204232852621416*y^12 - 1113127794056333/1320398121751648*y^11 - 370763398908874869/188816931410485664*y^10 + 705487445924860/5900529106577677*y^9 + 135645553389823791/47204232852621416*y^8 - 366804895277117525/188816931410485664*y^7 - 1189931331908459549/188816931410485664*y^6 - 246968131629876713/188816931410485664*y^5 + 81047207464108453/47204232852621416*y^4 - 675559416488383841/188816931410485664*y^3 - 380934258443506561/188816931410485664*y^2 - 907521987605024839/188816931410485664*y - 39818009990386475/188816931410485664 # A Gluing Matrix {{0,0,-1,0,0,0,0,0,0},{0,1,-1,1,1,0,0,0,0},{-1,-1,1,-1,-1,0,0,0,0},{0,1,-1,0,0,0,0,0,0},{0,1,-1,0,1,1,0,0,0},{0,0,0,0,1,0,-1,-1,-2},{0,0,0,0,0,-1,0,0,0},{0,0,0,0,0,-1,0,0,0},{0,0,0,0,0,-2,0,0,2}} # 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 {0, 1, -1, 0, 1, 0, 0, 0, 0} # f Combinatorial flattening {0, 0, 0, 0, 1, 0, 1, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -9398511700697/82524882609478*y^15 + 274300811491/82524882609478*y^14 + 55765920293137/82524882609478*y^13 - 9473576754334/41262441304739*y^12 - 115443968616042/41262441304739*y^11 + 49769747828763/82524882609478*y^10 + 244319298430254/41262441304739*y^9 + 131148842621125/82524882609478*y^8 - 557851501942351/41262441304739*y^7 - 460485684924483/82524882609478*y^6 + 1227049890117029/82524882609478*y^5 + 64497142031715/41262441304739*y^4 - 1515768109873199/82524882609478*y^3 - 432745671778917/82524882609478*y^2 - 182827031820101/82524882609478*y + 611968523860107/82524882609478 # 2 Loop Invariant 1384660507149717303437700222950483754082376453411/164269283841494187465878358963258031291907656274148*y^15 + 545025620148647958597596132369867172593591409227/54756427947164729155292786321086010430635885424716*y^14 - 1005342707754374933031006524192642862612174507629/27378213973582364577646393160543005215317942712358*y^13 - 1540006461913278846710749294931608197166459336517/41067320960373546866469589740814507822976914068537*y^12 + 19725305783125019791043784814798176546880097703265/164269283841494187465878358963258031291907656274148*y^11 + 15274668582588863671468282821576804049845577159027/164269283841494187465878358963258031291907656274148*y^10 - 4556177866937679614238138372774410840957722102643/27378213973582364577646393160543005215317942712358*y^9 - 10486632102690672993252729130563811982121222205851/54756427947164729155292786321086010430635885424716*y^8 + 75406410544410851122990411966929602204969978608931/164269283841494187465878358963258031291907656274148*y^7 + 19135415115836758013203782749275293032265064467772/41067320960373546866469589740814507822976914068537*y^6 - 18090324616239833771025936822024565392149010329553/54756427947164729155292786321086010430635885424716*y^5 - 13067065474665423514467783505606696153725700072363/82134641920747093732939179481629015645953828137074*y^4 + 10515699802459167569106870478167431698298698333219/13689106986791182288823196580271502607658971356179*y^3 + 8865055450657926798636111985996013661495885447113/41067320960373546866469589740814507822976914068537*y^2 + 44547919497798882105665589848036163685804293811019/164269283841494187465878358963258031291907656274148*y - 6568042740927913215863283019934652329705547999005/54756427947164729155292786321086010430635885424716 # 3 Loop Invariant 15642420143720771083003969281976259608978688917221886898774982895/15769401562049577518912458636627040530941336764561643254373489167402*y^15 + 20726217405509744818060716758319755229439724487162379613714906406/7884700781024788759456229318313520265470668382280821627186744583701*y^14 - 33172652658053028382189717323936137090294494133762938609357338709/15769401562049577518912458636627040530941336764561643254373489167402*y^13 - 159167598811156036676819246271872418979167791094900981833891452265/15769401562049577518912458636627040530941336764561643254373489167402*y^12 + 68711537132301460810750601346062363897437277389820069695022424505/15769401562049577518912458636627040530941336764561643254373489167402*y^11 + 404227806850676196896507517815093453614021913119999381335445477071/15769401562049577518912458636627040530941336764561643254373489167402*y^10 + 35156813157055817110252054162002552451777713464137163331910335299/7884700781024788759456229318313520265470668382280821627186744583701*y^9 - 502447154406545907063851177192986173844579005564023850795244597499/15769401562049577518912458636627040530941336764561643254373489167402*y^8 + 126296284382077456245801315436664230912381467410824674746638625052/7884700781024788759456229318313520265470668382280821627186744583701*y^7 + 1535228108182949361720373627976352705531881881565515989772509808267/15769401562049577518912458636627040530941336764561643254373489167402*y^6 + 609175208454512398670525208971812570039299759294326720376516921973/15769401562049577518912458636627040530941336764561643254373489167402*y^5 - 227365579156756905304482966875901731254393355515328445947020228264/7884700781024788759456229318313520265470668382280821627186744583701*y^4 + 964621009376173261169210679160517664092678628146038635386394719711/15769401562049577518912458636627040530941336764561643254373489167402*y^3 + 1292772761636462128315985804406961700088642323854835923442213569079/15769401562049577518912458636627040530941336764561643254373489167402*y^2 + 286158796477699438680155291078203291388790815327464486622707279053/7884700781024788759456229318313520265470668382280821627186744583701*y + 609648555622956311325412950761695850078843182532957228077044862279/15769401562049577518912458636627040530941336764561643254373489167402 # 4 Loop Invariant -4790948717490292096786937498257774832771494618644860681217849390295785804489322348195180449359264039/2083384750174242453206467023120486248418612299497887230391584948951315893671257245954737817202685149730*y^15 - 14192109643624728958754103602364751753132496471069085741405031676281539769277379054407625424194840907/3333415600278787925130347236992777997469779679196619568626535918322105429874011593527580507524296239568*y^14 + 3376053122924088500533804523180042924814810006165768404269885090759958729781855176302562601289279593/462974388927609434045881560693441388537469399888419384531463321989181309704723832434386181600596699940*y^13 + 46498428158216524359144378245494057432797852415905563064192738912859469284019011864171988370677519257/2777846333565656604275289364160648331224816399330516307188779931935087858228342994606317089603580199640*y^12 - 15344401976437207021804315127804697305391336050804033714769880764735577785056789895030665311893889585/833353900069696981282586809248194499367444919799154892156633979580526357468502898381895126881074059892*y^11 - 691021788069783252163547295438419343569964878319268293651784528682542886424231581041055903359335724553/16667078001393939625651736184963889987348898395983097843132679591610527149370057967637902537621481197840*y^10 + 7617695486703501631760711670968430416809982262453539804557756572454808502321007668371478464458961951/1666707800139393962565173618496388998734889839598309784313267959161052714937005796763790253762148119784*y^9 + 12579996709661043479237167996973212625894643141802434613177302401866758918267194954683360530784929503/208338475017424245320646702312048624841861229949788723039158494895131589367125724595473781720268514973*y^8 - 223788387777700599556451234848189739005141377592919177409723032781066558418389105018473212966520145877/4166769500348484906412934046240972496837224598995774460783169897902631787342514491909475634405370299460*y^7 - 630342790023105623160452716515936267396801389668875305315506168453516220579032475966032859326188262159/4166769500348484906412934046240972496837224598995774460783169897902631787342514491909475634405370299460*y^6 - 639586597042360328355582779984627715679555135892315956867805942127916969779774925863521733311492393113/16667078001393939625651736184963889987348898395983097843132679591610527149370057967637902537621481197840*y^5 + 245521434955249617960015126893452041397603158493933128977620600167624682691761519099745835704821442507/8333539000696969812825868092481944993674449197991548921566339795805263574685028983818951268810740598920*y^4 - 1743766303260644737765936997402348889210584720792880128309328377214036758791934837000961600474154122691/16667078001393939625651736184963889987348898395983097843132679591610527149370057967637902537621481197840*y^3 - 415537183388137379327738583906994504017397302886498735532960270787184368946239939945580240938241469317/5555692667131313208550578728321296662449632798661032614377559863870175716456685989212634179207160399280*y^2 - 130810201182178625611836504496713740747794587240917289098636338595622054918042173153943178928447327057/1041692375087121226603233511560243124209306149748943615195792474475657946835628622977368908601342574865*y - 51152040552667327502704672274896518481173595661414839361440843499057993645267346551573184725527033703/1851897555710437736183526242773765554149877599553677538125853287956725238818895329737544726402386799760