# Manifold: H T Link Exterior K9a3 # Number of Tetrahedra: 11 # Number Field x^20 + 6*x^19 + 17*x^18 + 27*x^17 + 25*x^16 + 23*x^15 + 54*x^14 + 114*x^13 + 142*x^12 + 116*x^11 + 106*x^10 + 143*x^9 + 173*x^8 + 182*x^7 + 184*x^6 + 160*x^5 + 103*x^4 + 44*x^3 + 14*x^2 + 4*x + 1 # Approximate Field Generator 0.993207967949801 + 0.816646277186054*I # Shape Parameters -10945796459/16481766941*y^19 - 55059381359/16481766941*y^18 - 127842843294/16481766941*y^17 - 145757320767/16481766941*y^16 - 68463872417/16481766941*y^15 - 103052967493/16481766941*y^14 - 437579594446/16481766941*y^13 - 760752334900/16481766941*y^12 - 601770864591/16481766941*y^11 - 288489104219/16481766941*y^10 - 502914065630/16481766941*y^9 - 838004476362/16481766941*y^8 - 776346753287/16481766941*y^7 - 772105563736/16481766941*y^6 - 785967753607/16481766941*y^5 - 498500816669/16481766941*y^4 - 141773752267/16481766941*y^3 + 35341066836/16481766941*y^2 + 12047929440/16481766941*y + 11370020865/16481766941 36281943535/16481766941*y^19 + 180528643029/16481766941*y^18 + 442474421231/16481766941*y^17 + 574185457576/16481766941*y^16 + 421805895621/16481766941*y^15 + 506890213770/16481766941*y^14 + 1486558963240/16481766941*y^13 + 2721273757086/16481766941*y^12 + 2745697019330/16481766941*y^11 + 1975493269139/16481766941*y^10 + 2236926533251/16481766941*y^9 + 3148804051122/16481766941*y^8 + 3531810264462/16481766941*y^7 + 3632515495241/16481766941*y^6 + 3542023885096/16481766941*y^5 + 2830366370592/16481766941*y^4 + 1451249196836/16481766941*y^3 + 495473529853/16481766941*y^2 + 140345295096/16481766941*y + 46346665348/16481766941 -10064721813/16481766941*y^19 - 61269405524/16481766941*y^18 - 164890246656/16481766941*y^17 - 234700085589/16481766941*y^16 - 162675280503/16481766941*y^15 - 137277193613/16481766941*y^14 - 509270751782/16481766941*y^13 - 1075687129346/16481766941*y^12 - 1114255703000/16481766941*y^11 - 655022891899/16481766941*y^10 - 700326724498/16481766941*y^9 - 1241842560391/16481766941*y^8 - 1337358789620/16481766941*y^7 - 1270767333633/16481766941*y^6 - 1353247043695/16481766941*y^5 - 1043076199992/16481766941*y^4 - 492090963416/16481766941*y^3 - 92530548623/16481766941*y^2 - 13034489923/16481766941*y + 1305299052/16481766941 5111746076/16481766941*y^19 + 19724679997/16481766941*y^18 + 31840301933/16481766941*y^17 + 10174300758/16481766941*y^16 - 17963668867/16481766941*y^15 + 49106287331/16481766941*y^14 + 172981320611/16481766941*y^13 + 145159458218/16481766941*y^12 - 34884392108/16481766941*y^11 - 8808319775/16481766941*y^10 + 253355979837/16481766941*y^9 + 228065623238/16481766941*y^8 + 46327594786/16481766941*y^7 + 153991032545/16481766941*y^6 + 168455714248/16481766941*y^5 + 31911618553/16481766941*y^4 + 28009029159/16481766941*y^3 + 83143075077/16481766941*y^2 + 106905511900/16481766941*y + 32494913744/16481766941 -25902537609/16481766941*y^19 - 116871325558/16481766941*y^18 - 231395556101/16481766941*y^17 - 178347516819/16481766941*y^16 + 16929283009/16481766941*y^15 - 212751590023/16481766941*y^14 - 1010699043487/16481766941*y^13 - 1304546002047/16481766941*y^12 - 438769418183/16481766941*y^11 - 25974856968/16481766941*y^10 - 1251642737739/16481766941*y^9 - 1827591857061/16481766941*y^8 - 965986674168/16481766941*y^7 - 1012998653917/16481766941*y^6 - 1332441941878/16481766941*y^5 - 670124514229/16481766941*y^4 - 151094514870/16481766941*y^3 - 273361853584/16481766941*y^2 - 478090640333/16481766941*y - 170709152583/16481766941 33635447278/214262970233*y^19 + 90526106390/214262970233*y^18 + 30117367126/214262970233*y^17 - 340701305580/214262970233*y^16 - 608104956523/214262970233*y^15 - 48272946157/214262970233*y^14 + 534147809545/214262970233*y^13 - 557952148225/214262970233*y^12 - 2626149946184/214262970233*y^11 - 2343998051519/214262970233*y^10 - 396103870124/214262970233*y^9 - 1133004831600/214262970233*y^8 - 2573338341934/214262970233*y^7 - 2044466545478/214262970233*y^6 - 2545893997461/214262970233*y^5 - 3438892533911/214262970233*y^4 - 2472281700297/214262970233*y^3 - 905557991543/214262970233*y^2 - 195824484499/214262970233*y - 154425902767/214262970233 10615397395/16481766941*y^19 + 58235696509/16481766941*y^18 + 149779183626/16481766941*y^17 + 205181039058/16481766941*y^16 + 148700351064/16481766941*y^15 + 153493414340/16481766941*y^14 + 487068461426/16481766941*y^13 + 952532232587/16481766941*y^12 + 981223285025/16481766941*y^11 + 657340359024/16481766941*y^10 + 727244417275/16481766941*y^9 + 1117276034120/16481766941*y^8 + 1220029391802/16481766941*y^7 + 1228058794849/16481766941*y^6 + 1252826616771/16481766941*y^5 + 985643283010/16481766941*y^4 + 516956111032/16481766941*y^3 + 165289079866/16481766941*y^2 + 55153206701/16481766941*y + 27427563400/16481766941 -8048344515/16481766941*y^19 - 36684074790/16481766941*y^18 - 84205960867/16481766941*y^17 - 97602154704/16481766941*y^16 - 63128650627/16481766941*y^15 - 94314953504/16481766941*y^14 - 293588567505/16481766941*y^13 - 495303394800/16481766941*y^12 - 442325228641/16481766941*y^11 - 299745427350/16481766941*y^10 - 395107125056/16481766941*y^9 - 559594793131/16481766941*y^8 - 606141502672/16481766941*y^7 - 599069613137/16481766941*y^6 - 565626471701/16481766941*y^5 - 442958332913/16481766941*y^4 - 186621968646/16481766941*y^3 - 57037067874/16481766941*y^2 - 15645245681/16481766941*y - 5307167528/16481766941 -65758147560/214262970233*y^19 - 391594116795/214262970233*y^18 - 1078081294882/214262970233*y^17 - 1598117092621/214262970233*y^16 - 1249008374312/214262970233*y^15 - 1047001207611/214262970233*y^14 - 3293002278205/214262970233*y^13 - 7131105178365/214262970233*y^12 - 7962488576231/214262970233*y^11 - 5229288345445/214262970233*y^10 - 4954559210097/214262970233*y^9 - 8374004501358/214262970233*y^8 - 9833856481827/214262970233*y^7 - 9287287421898/214262970233*y^6 - 9533229389516/214262970233*y^5 - 7902965620676/214262970233*y^4 - 4239560529443/214262970233*y^3 - 1445601732098/214262970233*y^2 - 421105692912/214262970233*y - 138841896224/214262970233 -25119641940/16481766941*y^19 - 136420187710/16481766941*y^18 - 345337219965/16481766941*y^17 - 461085702115/16481766941*y^16 - 319057085542/16481766941*y^15 - 348336856220/16481766941*y^14 - 1149010730175/16481766941*y^13 - 2189279392386/16481766941*y^12 - 2163294539687/16481766941*y^11 - 1405770684461/16481766941*y^10 - 1690034232493/16481766941*y^9 - 2621058190283/16481766941*y^8 - 2738957697704/16481766941*y^7 - 2722895699538/16481766941*y^6 - 2830911374440/16481766941*y^5 - 2220851884530/16481766941*y^4 - 1129741434002/16481766941*y^3 - 368455393321/16481766941*y^2 - 183255940763/16481766941*y - 60272515581/16481766941 -6880079342/16481766941*y^19 - 36005616941/16481766941*y^18 - 90174783033/16481766941*y^17 - 121667975358/16481766941*y^16 - 93211443324/16481766941*y^15 - 108930381343/16481766941*y^14 - 304872462058/16481766941*y^13 - 559499580287/16481766941*y^12 - 582669184986/16481766941*y^11 - 442328885654/16481766941*y^10 - 500885407374/16481766941*y^9 - 666018850477/16481766941*y^8 - 721665355064/16481766941*y^7 - 786703136744/16481766941*y^6 - 785811725242/16481766941*y^5 - 618063511428/16481766941*y^4 - 357902788729/16481766941*y^3 - 125438838177/16481766941*y^2 - 40050708521/16481766941*y + 8326790171/16481766941 # A Gluing Matrix {{2,1,-1,-1,0,-1,-1,0,0,0,0},{1,1,-1,0,0,0,0,0,0,0,0},{-1,-1,1,1,0,1,1,0,0,0,0},{-1,0,1,0,0,0,0,0,0,0,0},{0,0,0,0,1,0,1,0,1,0,-1},{-1,0,1,0,0,1,1,0,0,0,0},{-1,0,1,0,1,1,1,0,0,0,0},{0,0,0,0,0,0,0,0,1,0,-1},{0,0,0,0,1,0,0,1,1,0,-1},{0,0,0,0,0,0,0,0,0,0,-1},{0,0,0,0,-1,0,0,-1,-1,-1,1}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,0,0,0},{0,0,0,0,0,1,0,0,0,0,0},{0,0,0,0,0,0,1,0,0,0,0},{0,0,0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {0, 1, 1, 0, 1, 1, 1, 0, 1, 0, -1} # f Combinatorial flattening {1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -65408471865/32963533882*y^19 - 179744043701/16481766941*y^18 - 883038822321/32963533882*y^17 - 539587254326/16481766941*y^16 - 259485130875/16481766941*y^15 - 579106232091/32963533882*y^14 - 1465180905753/16481766941*y^13 - 5576435061415/32963533882*y^12 - 2282041865229/16481766941*y^11 - 1733414041413/32963533882*y^10 - 3093497855021/32963533882*y^9 - 6449437313093/32963533882*y^8 - 3006800009138/16481766941*y^7 - 4960476240431/32963533882*y^6 - 2718839352992/16481766941*y^5 - 1960189104407/16481766941*y^4 - 1029064248675/32963533882*y^3 + 101570685778/16481766941*y^2 - 207671047045/32963533882*y - 149817671019/32963533882 # 2 Loop Invariant -374841271482193366813880918486292475222344354944075397364795/11523838904481061947425542139411078673181921022062417857729006*y^19 - 973418874728560880930959441667409337997259041754144586263383/3841279634827020649141847379803692891060640340687472619243002*y^18 - 18908684777373556817231821514807276296439982862378726824574243/23047677808962123894851084278822157346363842044124835715458012*y^17 - 16254026386090376262124147078335841669583574991876301205167849/11523838904481061947425542139411078673181921022062417857729006*y^16 - 7086695214612212916788181097441444789340875044347305730764679/5761919452240530973712771069705539336590960511031208928864503*y^15 - 15919961436639446801207898432006735194214430711046253196991123/23047677808962123894851084278822157346363842044124835715458012*y^14 - 12413743566748305002204649224983141761837312033617939172913568/5761919452240530973712771069705539336590960511031208928864503*y^13 - 134660234646095010222586805925763375691575223660399926403266423/23047677808962123894851084278822157346363842044124835715458012*y^12 - 57102251467970691965291523891343644766938621209188509835946503/7682559269654041298283694759607385782121280681374945238486004*y^11 - 108380602288347419248251010111069363447318083199558048689021679/23047677808962123894851084278822157346363842044124835715458012*y^10 - 12797887766729850758436147277780455717597735043497463230371269/3841279634827020649141847379803692891060640340687472619243002*y^9 - 52924711533039458848699176804908622053736195751644401427636203/7682559269654041298283694759607385782121280681374945238486004*y^8 - 202718800236169300994323700571438326054832768142160042796389843/23047677808962123894851084278822157346363842044124835715458012*y^7 - 169177268003271825686050559443766858812859888159881666914705121/23047677808962123894851084278822157346363842044124835715458012*y^6 - 45685257598425661965881633779339161054216149295461147210984129/5761919452240530973712771069705539336590960511031208928864503*y^5 - 86686460288429569277956270125273533201957721976127849890239083/11523838904481061947425542139411078673181921022062417857729006*y^4 - 86392050762414550352165437712625993679458316559537965798990417/23047677808962123894851084278822157346363842044124835715458012*y^3 - 9353240721775832547526656100254043311965573424443947989501169/11523838904481061947425542139411078673181921022062417857729006*y^2 + 686587438900589180949535817104756310856056429578784593136483/23047677808962123894851084278822157346363842044124835715458012*y - 2557976007606908414484080095642886942766507341284365701808733/23047677808962123894851084278822157346363842044124835715458012 # 3 Loop Invariant -1357273379717287776023899427435429118645707482917102999536653374332044347229458943971/20733232021117129469843021112899773090153852473947924547493656712864304394453768326381*y^19 - 16490509145434294231935058477810281533877714427425827774289564060954381745982270439757/41466464042234258939686042225799546180307704947895849094987313425728608788907536652762*y^18 - 22974073657607275585895933460823303713200106951391764308469727906342860513235648460443/20733232021117129469843021112899773090153852473947924547493656712864304394453768326381*y^17 - 34781893600968852421471304409454247415179838023530090223780522270818121047830191351497/20733232021117129469843021112899773090153852473947924547493656712864304394453768326381*y^16 - 56321471281870654044889838170911226362113376776623825789801375408453823239613080097449/41466464042234258939686042225799546180307704947895849094987313425728608788907536652762*y^15 - 47038498295226418906500903221095439160845600083632323575749375212149315255041255578537/41466464042234258939686042225799546180307704947895849094987313425728608788907536652762*y^14 - 139392859548319912858656863151001069584583933635354619273584203162881567326725065420697/41466464042234258939686042225799546180307704947895849094987313425728608788907536652762*y^13 - 304097071277091195489169102471029459126053420231840669156997077177136801924272002445529/41466464042234258939686042225799546180307704947895849094987313425728608788907536652762*y^12 - 174920607616894796798939835248949096671912107929668358984954262093290164987256063982597/20733232021117129469843021112899773090153852473947924547493656712864304394453768326381*y^11 - 120419139333611002567135321408790089092321983847424722895942598581444426595435514771370/20733232021117129469843021112899773090153852473947924547493656712864304394453768326381*y^10 - 221803239905794599693918720085496175768489913867733639672402092125358142377664406737541/41466464042234258939686042225799546180307704947895849094987313425728608788907536652762*y^9 - 178121828262612672659964760786193890060357950060376520928101647587112877156843609273861/20733232021117129469843021112899773090153852473947924547493656712864304394453768326381*y^8 - 420066615181029654061483188508857887614299213792268856032921719927754571741334217078225/41466464042234258939686042225799546180307704947895849094987313425728608788907536652762*y^7 - 410587474619765618172172914344373329938021385572048521461360107188174727300335806733567/41466464042234258939686042225799546180307704947895849094987313425728608788907536652762*y^6 - 210677589800160135995456734859532663150477700802778927949067629243583891452627759870543/20733232021117129469843021112899773090153852473947924547493656712864304394453768326381*y^5 - 353592791413502733066708228155459905041740515499462312425388153400208890683291171450791/41466464042234258939686042225799546180307704947895849094987313425728608788907536652762*y^4 - 191135501534643239036058503027608723642111741974063296064334815517210857084880516519013/41466464042234258939686042225799546180307704947895849094987313425728608788907536652762*y^3 - 27349499314512936494701824642540906297989020511999657211619922601146191792150755195561/20733232021117129469843021112899773090153852473947924547493656712864304394453768326381*y^2 - 10962729324610664401328709642554674473888347190247477698658152075670310072247536385861/41466464042234258939686042225799546180307704947895849094987313425728608788907536652762*y - 5528917975865089843903282379423690165185663758579269803404478559319719975573560437189/41466464042234258939686042225799546180307704947895849094987313425728608788907536652762 # 4 Loop Invariant 138497803748043855570137311718968373098005790773018045005903110941140078460657513698039792048803656767833060728259915508486426670743163593/869784507823233495986440244626854327259613759133576727269715148786075471218076549074882992425668019174166923821530336087096002124954482760*y^19 + 263134063925755311739200052808035653756510823414628562509646813453347286315527183385683892452145960085501590592837616404278280201202797033/289928169274411165328813414875618109086537919711192242423238382928691823739358849691627664141889339724722307940510112029032000708318160920*y^18 + 70254421843307236659933887108758943778365221238458343847816930337555760628006558756618118518701823042503557328352815900018454093888871463/28992816927441116532881341487561810908653791971119224242323838292869182373935884969162766414188933972472230794051011202903200070831816092*y^17 + 2040736950858750343142625004826541539668046939957541166431964708797585513422106576620337148872376473949014653643801733432543674674232524971/579856338548822330657626829751236218173075839422384484846476765857383647478717699383255328283778679449444615881020224058064001416636321840*y^16 + 4890703502508396319542763377739153303812416119671105365740826190236780321999772911965793125882382318585531462686461000676080966405447635657/1739569015646466991972880489253708654519227518267153454539430297572150942436153098149765984851336038348333847643060672174192004249908965520*y^15 + 4714486494127387083437722409963607449384579115002456882331780416665308188999144465699585853884350649740960210526588031474600269800625678461/1739569015646466991972880489253708654519227518267153454539430297572150942436153098149765984851336038348333847643060672174192004249908965520*y^14 + 13493355108172382908262207427177098725194933809070788699762398967424672319771357231851851127382570566423326045729097693610084642033181287889/1739569015646466991972880489253708654519227518267153454539430297572150942436153098149765984851336038348333847643060672174192004249908965520*y^13 + 2281023535680190280390150702493421947278550666581023370095966652994770846150846279664657068187726124075285001749698636735427948737990738851/144964084637205582664406707437809054543268959855596121211619191464345911869679424845813832070944669862361153970255056014516000354159080460*y^12 + 2532088720640734088961988532741458905661591823095298379559653752358061950527998853254284627847323743123217069536449202278865455648156637881/144964084637205582664406707437809054543268959855596121211619191464345911869679424845813832070944669862361153970255056014516000354159080460*y^11 + 7296128659691798857205473933624650678189845600198587410507065325413456556220943891460566299847573163565528000763759414837743917185159611411/579856338548822330657626829751236218173075839422384484846476765857383647478717699383255328283778679449444615881020224058064001416636321840*y^10 + 22121846849153781071770532561816597827549519425448353832863405750309906742365316938298610825699585457672390517548277633925490353428493412349/1739569015646466991972880489253708654519227518267153454539430297572150942436153098149765984851336038348333847643060672174192004249908965520*y^9 + 32750340691245529624370116827608740715317837030448188305580809122130648716695274317246288931278025389409905309538305782749102726596389084671/1739569015646466991972880489253708654519227518267153454539430297572150942436153098149765984851336038348333847643060672174192004249908965520*y^8 + 12437691354159623225031924154194105385532732372562925327521461976166981252464852234658728953056155118085895865677743171584141545098330742937/579856338548822330657626829751236218173075839422384484846476765857383647478717699383255328283778679449444615881020224058064001416636321840*y^7 + 37916667216370718328745279258222006270595932563299737794475599076824427227504940815023197298673060091998598069746683494349962998394969487621/1739569015646466991972880489253708654519227518267153454539430297572150942436153098149765984851336038348333847643060672174192004249908965520*y^6 + 6431722483155673193388444754817308482264310322611721818209909316329376611219313310114370078704285611669671926643955172197802649666340601087/289928169274411165328813414875618109086537919711192242423238382928691823739358849691627664141889339724722307940510112029032000708318160920*y^5 + 31757940008305760939730716064833410012680610597950995681853477406603484137474293074060965599876388192579879823284389696152230864487252481227/1739569015646466991972880489253708654519227518267153454539430297572150942436153098149765984851336038348333847643060672174192004249908965520*y^4 + 1495278921251542203008150774995839369087527718251744522936684159341365793808206995025825670448357116647169723061926674663107865147375160239/144964084637205582664406707437809054543268959855596121211619191464345911869679424845813832070944669862361153970255056014516000354159080460*y^3 + 139785480815978915990785078389038895028606018038956730513135108289583566709950069544514343929351932886425924985817452199185469064977336631/38657089236588155377175121983415747878205055961492298989765117723825576498581179958883688552251911963296307725401348270537600094442421456*y^2 + 471054083236249674422848419260388383946061664775740288279400752220571366848115588296442082106623395467110014820017164010947018091851682601/434892253911616747993220122313427163629806879566788363634857574393037735609038274537441496212834009587083461910765168043548001062477241380*y + 74680120740794880360240998144773561222513137071355722750473076801787863807245025938119397492373162967507464444551481983160256962915111383/217446126955808373996610061156713581814903439783394181817428787196518867804519137268720748106417004793541730955382584021774000531238620690