# Manifold: H T Link Exterior K8a7 # Number of Tetrahedra: 9 # Number Field x^14 - x^13 - 4*x^12 - 4*x^11 + 38*x^10 + 10*x^9 - 182*x^8 + 202*x^7 + 109*x^6 - 405*x^5 + 410*x^4 - 226*x^3 + 73*x^2 - 13*x + 1 # Approximate Field Generator -1.78070309155432 + 0.0521210524005234*I # Shape Parameters 8018138637/733298777*y^13 - 4996693984/733298777*y^12 - 34107401501/733298777*y^11 - 44942500801/733298777*y^10 + 288405677762/733298777*y^9 + 190196485220/733298777*y^8 - 1392175011627/733298777*y^7 + 1087912513087/733298777*y^6 + 1305587289423/733298777*y^5 - 2759154914570/733298777*y^4 + 2218132656194/733298777*y^3 - 946073932852/733298777*y^2 + 211461507133/733298777*y - 19205642069/733298777 11942801436/733298777*y^13 - 6958477408/733298777*y^12 - 50758760204/733298777*y^11 - 68962354514/733298777*y^10 + 425398364624/733298777*y^9 + 297668606430/733298777*y^8 - 2051851166436/733298777*y^7 + 1552368793970/733298777*y^6 + 1961718197616/733298777*y^5 - 4021438627284/733298777*y^4 + 3202068356728/733298777*y^3 - 1343484433331/733298777*y^2 + 299377704157/733298777*y - 27113095995/733298777 -5984157385/733298777*y^13 + 3135630481/733298777*y^12 + 25825040623/733298777*y^11 + 36086778184/733298777*y^10 - 211941404329/733298777*y^9 - 163403863466/733298777*y^8 + 1024876717764/733298777*y^7 - 708029394778/733298777*y^6 - 1054613956193/733298777*y^5 + 1957972246053/733298777*y^4 - 1447025181305/733298777*y^3 + 546892037878/733298777*y^2 - 99439891542/733298777*y + 6679208123/733298777 -6583031228/2199896331*y^13 + 197360830/733298777*y^12 + 29504658944/2199896331*y^11 + 52190786872/2199896331*y^10 - 71394369384/733298777*y^9 - 278373078401/2199896331*y^8 + 1035549008336/2199896331*y^7 - 100616266600/733298777*y^6 - 1430758811204/2199896331*y^5 + 1608950551180/2199896331*y^4 - 244419020576/733298777*y^3 + 36909110060/2199896331*y^2 + 22551174400/733298777*y - 13528297273/2199896331 11942801436/733298777*y^13 - 6958477408/733298777*y^12 - 50758760204/733298777*y^11 - 68962354514/733298777*y^10 + 425398364624/733298777*y^9 + 297668606430/733298777*y^8 - 2051851166436/733298777*y^7 + 1552368793970/733298777*y^6 + 1961718197616/733298777*y^5 - 4021438627284/733298777*y^4 + 3202068356728/733298777*y^3 - 1343484433331/733298777*y^2 + 299377704157/733298777*y - 27113095995/733298777 433745753/6599688993*y^13 - 4482652/733298777*y^12 - 1831510010/6599688993*y^11 - 3371743732/6599688993*y^10 + 4599322688/2199896331*y^9 + 17322496346/6599688993*y^8 - 65398603355/6599688993*y^7 + 8379750592/2199896331*y^6 + 81944613863/6599688993*y^5 - 104148269686/6599688993*y^4 + 23028357743/2199896331*y^3 - 13013400482/6599688993*y^2 + 68422658/2199896331*y + 4975189276/6599688993 -132305996/733298777*y^13 + 127823344/733298777*y^12 + 522981414/733298777*y^11 + 550862794/733298777*y^10 - 4951253050/733298777*y^9 - 1413385432/733298777*y^8 + 23659760977/733298777*y^7 - 26401231967/733298777*y^6 - 13362789674/733298777*y^5 + 52425500204/733298777*y^4 - 54756837895/733298777*y^3 + 31670940259/733298777*y^2 - 11707756765/733298777*y + 2876490847/733298777 -132305996/733298777*y^13 + 127823344/733298777*y^12 + 522981414/733298777*y^11 + 550862794/733298777*y^10 - 4951253050/733298777*y^9 - 1413385432/733298777*y^8 + 23659760977/733298777*y^7 - 26401231967/733298777*y^6 - 13362789674/733298777*y^5 + 52425500204/733298777*y^4 - 54756837895/733298777*y^3 + 31670940259/733298777*y^2 - 11707756765/733298777*y + 2876490847/733298777 3832968556/733298777*y^13 - 1852572606/733298777*y^12 - 16325193484/733298777*y^11 - 23745142268/733298777*y^10 + 133542989996/733298777*y^9 + 107531644347/733298777*y^8 - 643337727450/733298777*y^7 + 440923193711/733298777*y^6 + 651985067388/733298777*y^5 - 1220257550737/733298777*y^4 + 934919892722/733298777*y^3 - 370527635766/733298777*y^2 + 77682707047/733298777*y - 4188453484/733298777 # A Gluing Matrix {{0,0,-1,0,0,0,0,0,0},{0,0,-1,1,0,0,0,0,0},{-1,-1,0,1,-1,0,0,0,1},{0,1,1,-1,1,0,0,0,-1},{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,-1,1},{0,0,0,0,0,0,-1,0,1},{0,0,1,-1,0,1,1,1,0}} # 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, 0, 0, 1, 0, 1, 0, 0, 2} # f Combinatorial flattening {-1, 2, 0, 0, 0, 0, 1, 1, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 8516849335/733298777*y^13 - 4475614907/1466597554*y^12 - 73863289411/1466597554*y^11 - 60842674570/733298777*y^10 + 283997161889/733298777*y^9 + 605481794109/1466597554*y^8 - 2736820797215/1466597554*y^7 + 1345554515179/1466597554*y^6 + 1622953409065/733298777*y^5 - 2366844161983/733298777*y^4 + 1526789159279/733298777*y^3 - 448153885575/733298777*y^2 + 51445424038/733298777*y + 4929020342/733298777 # 2 Loop Invariant 2260132410797494037688374022587725161232/1270423054634600708147700194786560213539*y^13 - 471416811899997882029919360573707904780/423474351544866902715900064928853404513*y^12 - 9586063709349336181922675500798534124465/1270423054634600708147700194786560213539*y^11 - 12638503082737456006823249013389595973387/1270423054634600708147700194786560213539*y^10 + 162440413167948952936344153369948417109067/2540846109269201416295400389573120427078*y^9 + 35446490830951878204204348285833596210903/846948703089733805431800129857706809026*y^8 - 391834549437458821724129534247492828543010/1270423054634600708147700194786560213539*y^7 + 617863881842302676124479893564201877629183/2540846109269201416295400389573120427078*y^6 + 363854060291556106386568554772201359745927/1270423054634600708147700194786560213539*y^5 - 1038430437850403097414471312559986723540249/1693897406179467610863600259715413618052*y^4 + 1264503207832284399237490441607575146108529/2540846109269201416295400389573120427078*y^3 - 1087170082631026630299062756773072500334825/5081692218538402832590800779146240854156*y^2 + 82096805572131512948241377841112623890763/1693897406179467610863600259715413618052*y - 47956597501525281856518974512421657684809/10163384437076805665181601558292481708312 # 3 Loop Invariant 98893201590351183370283747907474766311415212423773915/321810482996882863537060908111263808682730133810278531*y^13 - 59032435219436103712840586716814248695289202450524951/321810482996882863537060908111263808682730133810278531*y^12 - 418878181196475172818005974686459693114797681779723461/321810482996882863537060908111263808682730133810278531*y^11 - 563660324400892514710422909908181616274489818744646185/321810482996882863537060908111263808682730133810278531*y^10 + 3528078479972571679503472042112008822904890019079317906/321810482996882863537060908111263808682730133810278531*y^9 + 2402767795531051779493731489836050819942230758906550645/321810482996882863537060908111263808682730133810278531*y^8 - 34037828738256549796982465385183895103577831725537268583/643620965993765727074121816222527617365460267620557062*y^7 + 26339674574899940479939339277400616318423823233472739941/643620965993765727074121816222527617365460267620557062*y^6 + 32082938762993365383969754850651582674450341210927052337/643620965993765727074121816222527617365460267620557062*y^5 - 67451614780008551258186738594754980147135919726547464659/643620965993765727074121816222527617365460267620557062*y^4 + 27115029587203632555785918792042645915909578304658573924/321810482996882863537060908111263808682730133810278531*y^3 - 22602076216433747596362162150582795376975966576071872177/643620965993765727074121816222527617365460267620557062*y^2 + 4930240780437312530452290356071592598558423771702097059/643620965993765727074121816222527617365460267620557062*y - 219213532220449870079079214555318714623554141284898854/321810482996882863537060908111263808682730133810278531 # 4 Loop Invariant 28857827620760173830787859726731396307141873046552194029664243106746729104552862156473/33451750062498971851485315575542654863945015870456038773782453303494984765866402561020*y^13 - 15064862684136012179987103526714139409204147146525053278246828047981523105037728285097/22301166708332647900990210383695103242630010580304025849188302202329989843910935040680*y^12 - 122515101538959905440239623739953039679357151501024798749743351031863399612193833281289/33451750062498971851485315575542654863945015870456038773782453303494984765866402561020*y^11 - 282973591871699463319065067161898416108519842453676571739424892844605372587070669089077/66903500124997943702970631151085309727890031740912077547564906606989969531732805122040*y^10 + 2151228325254883001941635990385898942818213372284110678037106016330000421864556394586481/66903500124997943702970631151085309727890031740912077547564906606989969531732805122040*y^9 + 2151725039765258326011567170997875269596382041879156399383844540202592523129809673657271/133807000249995887405941262302170619455780063481824155095129813213979939063465610244080*y^8 - 5208712230898588917780657175224628455529606445478882933763016897527363583757630009579557/33451750062498971851485315575542654863945015870456038773782453303494984765866402561020*y^7 + 1846997177771299264780715044489846005921894868363361951816181068759006526221349187244809/13380700024999588740594126230217061945578006348182415509512981321397993906346561024408*y^6 + 750269582421356398999624918482579911099435283237385875840617148239640118458943117629133/5575291677083161975247552595923775810657502645076006462297075550582497460977733760170*y^5 - 1809960242006431220459320118140276678433924205975424933680712261612591788659315823769037/5575291677083161975247552595923775810657502645076006462297075550582497460977733760170*y^4 + 18059395771903552868707071362501421564233767367386389354706066236924664997138605812774779/66903500124997943702970631151085309727890031740912077547564906606989969531732805122040*y^3 - 2654096484147484766440461157448029338184628053889087421280735253081673228245560687647029/22301166708332647900990210383695103242630010580304025849188302202329989843910935040680*y^2 + 3658482846133843125795176548800071557356592216222069468933435005847059275115642716839001/133807000249995887405941262302170619455780063481824155095129813213979939063465610244080*y - 1939361464196151720574131058307139194767014062946540549810445162588054344182661025539/743372223611088263366340346123170108087667019343467528306276740077666328130364501356