# Manifold: H T Link Exterior K8a1 # Number of Tetrahedra: 10 # Number Field x^15 + 2*x^14 + 7*x^13 + 69*x^12 + 175*x^11 + 270*x^10 + 333*x^9 + 340*x^8 + 295*x^7 + 204*x^6 + 117*x^5 + 55*x^4 + 17*x^3 + 4*x^2 - x + 1 # Approximate Field Generator 0.287332266662780 - 0.819370107229141*I # Shape Parameters -1522396771192/4541700374801*y^14 - 3676327707592/4541700374801*y^13 - 10869106377492/4541700374801*y^12 - 107305203966036/4541700374801*y^11 - 303120967763118/4541700374801*y^10 - 449748154769550/4541700374801*y^9 - 493165754508264/4541700374801*y^8 - 473992339147921/4541700374801*y^7 - 394104033412314/4541700374801*y^6 - 243078857617967/4541700374801*y^5 - 103384080554960/4541700374801*y^4 - 43110306132931/4541700374801*y^3 - 16664894972400/4541700374801*y^2 + 1445317948497/4541700374801*y + 3644477310833/4541700374801 -2228061401644/4541700374801*y^14 - 3205654929483/4541700374801*y^13 - 14205871096236/4541700374801*y^12 - 146226448004338/4541700374801*y^11 - 310352369867165/4541700374801*y^10 - 453486535539819/4541700374801*y^9 - 536653430486401/4541700374801*y^8 - 527341286156519/4541700374801*y^7 - 443033659311467/4541700374801*y^6 - 285087686640260/4541700374801*y^5 - 166293846917230/4541700374801*y^4 - 70095312385047/4541700374801*y^3 - 23998171161298/4541700374801*y^2 - 5761156752266/4541700374801*y + 121544598670/4541700374801 -279114344593/4541700374801*y^14 - 1801511115785/4541700374801*y^13 - 3828617003958/4541700374801*y^12 - 26299379150451/4541700374801*y^11 - 129850835119360/4541700374801*y^10 - 248631005683868/4541700374801*y^9 - 294062225835151/4541700374801*y^8 - 294002405834733/4541700374801*y^7 - 262328664968123/4541700374801*y^6 - 188714694741163/4541700374801*y^5 - 87020541194185/4541700374801*y^4 - 31714828313390/4541700374801*y^3 - 16140421677622/4541700374801*y^2 - 1640930673150/4541700374801*y + 3365362966240/4541700374801 8088386437403/4541700374801*y^14 + 18770267660197/4541700374801*y^13 + 62024230637555/4541700374801*y^12 + 576434555214724/4541700374801*y^11 + 1595564183628946/4541700374801*y^10 + 2651152260490876/4541700374801*y^9 + 3415020268254103/4541700374801*y^8 + 3635977285437461/4541700374801*y^7 + 3286255665077616/4541700374801*y^6 + 2423323662763857/4541700374801*y^5 + 1473144626911686/4541700374801*y^4 + 734166849183506/4541700374801*y^3 + 259754674155763/4541700374801*y^2 + 60180936795175/4541700374801*y - 7708935581699/4541700374801 -y^14 - 2*y^13 - 7*y^12 - 69*y^11 - 175*y^10 - 270*y^9 - 333*y^8 - 340*y^7 - 295*y^6 - 204*y^5 - 117*y^4 - 55*y^3 - 17*y^2 - 4*y + 2 -977593527839/4541700374801*y^14 - 1815096214211/4541700374801*y^13 - 6696082387138/4541700374801*y^12 - 66668072583803/4541700374801*y^11 - 162262326963104/4541700374801*y^10 - 248195519278768/4541700374801*y^9 - 306453840083960/4541700374801*y^8 - 313096831983006/4541700374801*y^7 - 273596820016351/4541700374801*y^6 - 190698349565142/4541700374801*y^5 - 113845782211857/4541700374801*y^4 - 56216439718397/4541700374801*y^3 - 20847082306988/4541700374801*y^2 - 12409373930041/4541700374801*y + 2349606000314/4541700374801 -611748261391/4541700374801*y^14 - 1662487612659/4541700374801*y^13 - 4780662619746/4541700374801*y^12 - 44304292011067/4541700374801*y^11 - 134569106096048/4541700374801*y^10 - 214909519384354/4541700374801*y^9 - 242726091730472/4541700374801*y^8 - 234992947402514/4541700374801*y^7 - 199265452149392/4541700374801*y^6 - 129100504551308/4541700374801*y^5 - 56985055643404/4541700374801*y^4 - 20611327957405/4541700374801*y^3 - 8059378328043/4541700374801*y^2 + 964168082006/4541700374801*y + 3298417948202/4541700374801 8088386437403/4541700374801*y^14 + 18770267660197/4541700374801*y^13 + 62024230637555/4541700374801*y^12 + 576434555214724/4541700374801*y^11 + 1595564183628946/4541700374801*y^10 + 2651152260490876/4541700374801*y^9 + 3415020268254103/4541700374801*y^8 + 3635977285437461/4541700374801*y^7 + 3286255665077616/4541700374801*y^6 + 2423323662763857/4541700374801*y^5 + 1473144626911686/4541700374801*y^4 + 734166849183506/4541700374801*y^3 + 259754674155763/4541700374801*y^2 + 60180936795175/4541700374801*y - 7708935581699/4541700374801 -1178270941335/4541700374801*y^14 - 2062060156819/4541700374801*y^13 - 7785894983348/4541700374801*y^12 - 79761182114574/4541700374801*y^11 - 187043816961936/4541700374801*y^10 - 276262774599909/4541700374801*y^9 - 351621583308838/4541700374801*y^8 - 363739078429701/4541700374801*y^7 - 290202829998427/4541700374801*y^6 - 187255993499880/4541700374801*y^5 - 101896383804121/4541700374801*y^4 - 37691560078958/4541700374801*y^3 + 723383998387/4541700374801*y^2 + 4614343505303/4541700374801*y + 1302299498456/4541700374801 279870602032/4541700374801*y^14 + 1837365184324/4541700374801*y^13 + 3878384828881/4541700374801*y^12 + 26574226583750/4541700374801*y^11 + 132208917341601/4541700374801*y^10 + 253372190147132/4541700374801*y^9 + 301162459304831/4541700374801*y^8 + 302610177106431/4541700374801*y^7 + 271121861731985/4541700374801*y^6 + 191992529534113/4541700374801*y^5 + 101657063434329/4541700374801*y^4 + 44497803344238/4541700374801*y^3 + 13119595695379/4541700374801*y^2 + 1001019592926/4541700374801*y + 1111855177612/4541700374801 # A Gluing Matrix {{0,0,0,0,1,-1,0,0,0,0},{0,0,0,0,0,-1,0,0,0,0},{0,0,0,1,-1,1,0,1,0,1},{0,0,0,1,0,0,0,0,1,1},{1,0,-1,0,0,0,0,0,0,0},{-1,-1,1,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,1,0,1},{0,0,0,0,0,0,0,1,1,1},{0,0,-1,1,0,0,-1,1,1,2},{0,0,0,0,0,0,0,0,1,1}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,1,0},{0,0,0,1,0,0,0,0,1,0},{0,0,0,0,1,0,0,0,0,0},{0,0,0,0,0,1,0,0,0,0},{0,0,0,0,0,0,1,0,1,0},{0,0,0,0,0,0,0,1,1,0},{0,0,0,0,0,0,0,0,2,0},{0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {0, 0, 2, 2, 0, 0, 2, 2, 2, 1} # f Combinatorial flattening {1, 0, 1, 1, 0, 0, 0, 1, 1, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -19401818638179/9083400749602*y^14 - 15816733582761/4541700374801*y^13 - 130138642677105/9083400749602*y^12 - 1301687864362395/9083400749602*y^11 - 2946926380290797/9083400749602*y^10 - 2272050898984151/4541700374801*y^9 - 2861279248333911/4541700374801*y^8 - 2717362079750091/4541700374801*y^7 - 2135046222188848/4541700374801*y^6 - 1330251163574065/4541700374801*y^5 - 653947326358940/4541700374801*y^4 - 195518269658273/4541700374801*y^3 + 29542478367673/9083400749602*y^2 + 3282833706100/4541700374801*y + 7413579855841/4541700374801 # 2 Loop Invariant -799739350906841401095981820552081949257184819/6233499679790106001194087478173851979068035042*y^14 - 9877853634890973979736776161020222779257493759/37400998078740636007164524869043111874408210252*y^13 - 8464917434294760144724553680025659967762883785/9350249519685159001791131217260777968602052563*y^12 - 166245220769221389300705845661035633439211851481/18700499039370318003582262434521555937204105126*y^11 - 857249502438398041546638482765710889939170405331/37400998078740636007164524869043111874408210252*y^10 - 441473773379341112943789660318824357170722970121/12466999359580212002388174956347703958136070084*y^9 - 1624361707368188024448806595187491090784298501917/37400998078740636007164524869043111874408210252*y^8 - 1655644911721856507424677508383696028331494489787/37400998078740636007164524869043111874408210252*y^7 - 351484501443836614196796324892994128925084399735/9350249519685159001791131217260777968602052563*y^6 - 238131013632380108733089690861077288616847625024/9350249519685159001791131217260777968602052563*y^5 - 174319288553252415245041408460102455478478221057/12466999359580212002388174956347703958136070084*y^4 - 227996999806487985288722973686138107364948957489/37400998078740636007164524869043111874408210252*y^3 - 64073121550676592119558972373694164273231560245/37400998078740636007164524869043111874408210252*y^2 - 3664799533273669008288705181033722483199071545/18700499039370318003582262434521555937204105126*y + 3342429335601391278569701817251993465085572991/74801996157481272014329049738086223748816420504 # 3 Loop Invariant 388246104559354748697242316530689337192689271970067648697463/163295296124883522425630545349645381240660333001969381635749438*y^14 - 382704899972349712765767395370340808810167462262346159849971/163295296124883522425630545349645381240660333001969381635749438*y^13 + 359344437716809300682454905977119953507903434413522044723951/163295296124883522425630545349645381240660333001969381635749438*y^12 + 18469046374843078984480740540883080105020627966680367699601909/163295296124883522425630545349645381240660333001969381635749438*y^11 - 12170887433534845003223670583372868322593097503704639531635115/163295296124883522425630545349645381240660333001969381635749438*y^10 - 50785281197711660721094947361263597974914949757769962504154812/81647648062441761212815272674822690620330166500984690817874719*y^9 - 98577173546894663549741626126632788833184870732793115591145029/81647648062441761212815272674822690620330166500984690817874719*y^8 - 131436390064530804409455407332823399506338070103558650276379446/81647648062441761212815272674822690620330166500984690817874719*y^7 - 150126221125613402663445193839099289334050341986112728295495404/81647648062441761212815272674822690620330166500984690817874719*y^6 - 140344135957741156086894615041415554965407141005296896272222843/81647648062441761212815272674822690620330166500984690817874719*y^5 - 194376410233779207736215223400936003176550602910728118148464711/163295296124883522425630545349645381240660333001969381635749438*y^4 - 116272957303346561838648430079827032643708095164017304110973343/163295296124883522425630545349645381240660333001969381635749438*y^3 - 24731050681414813465392602456083527417126661581503765153813336/81647648062441761212815272674822690620330166500984690817874719*y^2 - 8650223873255157360564472650058216094393868260145451323406709/81647648062441761212815272674822690620330166500984690817874719*y - 330071962090833699794666621169894353298902781529614366546841/163295296124883522425630545349645381240660333001969381635749438 # 4 Loop Invariant -168845965875128486856244815609372735831485073320431938500206836839676362416272568407673478082587/40342205909400761463868598453306535276674417804159558254208225360896288902605934923471052436607280*y^14 - 169426303105784236470918734181755069649907915741151405253357046438309362733341063405344705767459/13447401969800253821289532817768845092224805934719852751402741786965429634201978307823684145535760*y^13 - 1402725325589095853854782724564522479674273357127913370792680178723826966895023619154217278590153/40342205909400761463868598453306535276674417804159558254208225360896288902605934923471052436607280*y^12 - 12718556194012215924991313154435136834891600102045334057944442169921389890423687599411642901663757/40342205909400761463868598453306535276674417804159558254208225360896288902605934923471052436607280*y^11 - 5075924371038878022265564558295999708530146094275391660532963695082125415731371185070142688325697/5042775738675095182983574806663316909584302225519944781776028170112036112825741865433881554575910*y^10 - 753764814611235102512539689933189803022399552842453612366468051909087184985158211774667980387679/448246732326675127376317760592294836407493531157328425046758059565514321140065943594122804851192*y^9 - 44270419473933954655621808044392643181742352529095866180604199237749341281953080439941695927460497/20171102954700380731934299226653267638337208902079779127104112680448144451302967461735526218303640*y^8 - 31877744140120569525767030069196465764833184236739967040919141871996044385413963463416954798575897/13447401969800253821289532817768845092224805934719852751402741786965429634201978307823684145535760*y^7 - 87517025035204539008826589884364235003757275658538133396735087225734095262982915287683003424410379/40342205909400761463868598453306535276674417804159558254208225360896288902605934923471052436607280*y^6 - 823670126196383000066921003682638865750043906614434405749556653644362086202984047171147428545996/504277573867509518298357480666331690958430222551994478177602817011203611282574186543388155457591*y^5 - 41508604220469357598413621099293483283639500310692952528690798250700286619981922476225742206650667/40342205909400761463868598453306535276674417804159558254208225360896288902605934923471052436607280*y^4 - 1197105759938595364857163480408894731609420190414329010733163466273805358777384722253265680064849/2241233661633375636881588802961474182037467655786642125233790297827571605700329717970614024255960*y^3 - 198684763023765951180161609707563897201775825718247323281060268560063890961501479290313279344011/1008555147735019036596714961332663381916860445103988956355205634022407222565148373086776310915182*y^2 - 2286177659752770004696695774250212688455494806193626986498451991923782940945326127893582771455707/40342205909400761463868598453306535276674417804159558254208225360896288902605934923471052436607280*y - 1635991711964584856030932408020360605778147554894547715448190213172017862282785083851643707652/2521387869337547591491787403331658454792151112759972390888014085056018056412870932716940777287955