# Manifold: H T Link Exterior K8a4 # Number of Tetrahedra: 9 # Number Field x^12 + 17*x^11 + 111*x^10 + 361*x^9 + 681*x^8 + 900*x^7 + 1024*x^6 + 994*x^5 + 809*x^4 + 702*x^3 + 517*x^2 + 192*x + 28 # Approximate Field Generator -0.0288958319416885 - 1.14796795365513*I # Shape Parameters -235830248617/1799403129484*y^11 - 3928513959919/1799403129484*y^10 - 24826884149957/1799403129484*y^9 - 76556715413879/1799403129484*y^8 - 134143929306051/1799403129484*y^7 - 83346917649377/899701564742*y^6 - 46771917177552/449850782371*y^5 - 87652810713419/899701564742*y^4 - 137171247007293/1799403129484*y^3 - 31393101988455/449850782371*y^2 - 83411362249785/1799403129484*y - 8125340866595/899701564742 11425717732203/428257944817192*y^11 + 183725740990933/428257944817192*y^10 + 1095069899376035/428257944817192*y^9 + 3053739844250101/428257944817192*y^8 + 4614640895971865/428257944817192*y^7 + 2537020644368325/214128972408596*y^6 + 1357047323844449/107064486204298*y^5 + 310138889547893/30589853201228*y^4 + 3219910110418007/428257944817192*y^3 + 841710416432059/107064486204298*y^2 + 1541148452959159/428257944817192*y + 1189285689701/214128972408596 -89110401083/899701564742*y^11 - 1380670308593/899701564742*y^10 - 7792016503135/899701564742*y^9 - 20123705375815/899701564742*y^8 - 28627382419875/899701564742*y^7 - 16348320124222/449850782371*y^6 - 18211511901906/449850782371*y^5 - 13945215077409/449850782371*y^4 - 23058577490111/899701564742*y^3 - 11470090190960/449850782371*y^2 - 8220089881445/899701564742*y - 509017420586/449850782371 -750818604037/30589853201228*y^11 - 12370340635607/30589853201228*y^10 - 76496018362513/30589853201228*y^9 - 226162348547027/30589853201228*y^8 - 372078905017575/30589853201228*y^7 - 223990916514217/15294926600614*y^6 - 125271767359630/7647463300307*y^5 - 215124840533365/15294926600614*y^4 - 332429441591305/30589853201228*y^3 - 77963350260532/7647463300307*y^2 - 187115512715769/30589853201228*y - 11425717732203/15294926600614 132728562751/1799403129484*y^11 + 2057681733945/1799403129484*y^10 + 11669087380147/1799403129484*y^9 + 30678688202025/1799403129484*y^8 + 45546828263845/1799403129484*y^7 + 26560208613635/899701564742*y^6 + 14341156324887/449850782371*y^5 + 23074297916777/899701564742*y^4 + 37847956109587/1799403129484*y^3 + 8555509050257/449850782371*y^2 + 15044811936983/1799403129484*y + 1618589984853/899701564742 -670172065471/1799403129484*y^11 - 10679143850141/1799403129484*y^10 - 63038744381011/1799403129484*y^9 - 175193235210205/1799403129484*y^8 - 272328007531381/1799403129484*y^7 - 160233473628149/899701564742*y^6 - 88943274012770/449850782371*y^5 - 149461286009513/899701564742*y^4 - 236911361358319/1799403129484*y^3 - 56738551299739/449850782371*y^2 - 111871979747739/1799403129484*y - 8589904750809/899701564742 -21571112687/899701564742*y^11 - 407420699083/899701564742*y^10 - 2963106262317/899701564742*y^9 - 10481393033871/899701564742*y^8 - 19785590926111/899701564742*y^7 - 12342104021504/449850782371*y^6 - 14293705110987/449850782371*y^5 - 13672149482388/449850782371*y^4 - 20038458928309/899701564742*y^3 - 9891629849740/449850782371*y^2 - 13388315329201/899701564742*y - 1328815671001/449850782371 -40300133285/899701564742*y^11 - 675136723265/899701564742*y^10 - 4289002168429/899701564742*y^9 - 13228235001063/899701564742*y^8 - 22776694228273/899701564742*y^7 - 13600626468400/449850782371*y^6 - 14777411424615/449850782371*y^5 - 13403856030965/449850782371*y^4 - 19990213287657/899701564742*y^3 - 9628219071301/449850782371*y^2 - 13614661435895/899701564742*y - 1200960957948/449850782371 132728562751/1799403129484*y^11 + 2057681733945/1799403129484*y^10 + 11669087380147/1799403129484*y^9 + 30678688202025/1799403129484*y^8 + 45546828263845/1799403129484*y^7 + 26560208613635/899701564742*y^6 + 14341156324887/449850782371*y^5 + 23074297916777/899701564742*y^4 + 37847956109587/1799403129484*y^3 + 8555509050257/449850782371*y^2 + 15044811936983/1799403129484*y + 1618589984853/899701564742 # A Gluing Matrix {{1,-1,1,1,0,0,-1,1,0},{-1,0,-1,-1,1,0,0,0,1},{1,-1,2,2,0,0,-2,2,0},{1,-1,2,1,-1,-1,-1,1,-1},{0,1,0,-1,0,0,1,-1,0},{0,0,0,-1,0,0,0,0,0},{-1,0,-2,-1,1,0,1,-1,1},{1,0,2,1,-1,0,-1,2,-1},{0,1,0,-1,0,0,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 {1, 0, 2, 1, 0, 0, -1, 2, 0} # f Combinatorial flattening {1, 1, 0, 0, 1, -1, 0, 1, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -2994216900005/3598806258968*y^11 - 48259996067931/3598806258968*y^10 - 290711618390961/3598806258968*y^9 - 838252854261243/3598806258968*y^8 - 1372014176081267/3598806258968*y^7 - 824034891788801/1799403129484*y^6 - 225469635203216/449850782371*y^5 - 792828764832651/1799403129484*y^4 - 1253290493599137/3598806258968*y^3 - 289448207866853/899701564742*y^2 - 680560527150405/3598806258968*y - 64695787116089/1799403129484 # 2 Loop Invariant -357390916947164642036034834916167247/17974687118477530257890700022916074920*y^11 - 1939220523354095122267397241751115303/5991562372825843419296900007638691640*y^10 - 7083169265306431789668405203538241981/3594937423695506051578140004583214984*y^9 - 102776074472135456503211818718143181617/17974687118477530257890700022916074920*y^8 - 55603847957640736843241730143842662289/5991562372825843419296900007638691640*y^7 - 100087494069964832138375168638090658059/8987343559238765128945350011458037460*y^6 - 5629943502574039128173791371791213770/449367177961938256447267500572901873*y^5 - 16338722565838285137556613130032691553/1497890593206460854824225001909672910*y^4 - 153596612096631336988366404134626102007/17974687118477530257890700022916074920*y^3 - 7358280397238727767444656099233495493/898734355923876512894535001145803746*y^2 - 5384599862166038378308275414157661669/1198312474565168683859380001527738328*y - 2222816271183228480268797924405968104/2246835889809691282236337502864509365 # 3 Loop Invariant -72613082102902484349031447262139059612742035591/3457370255643179016667284102168700381663290846040*y^11 - 5751133841195518044368935871644126677890560572941/17286851278215895083336420510843501908316454230200*y^10 - 6727254971215017479753515139593100306007537692151/3457370255643179016667284102168700381663290846040*y^9 - 18426968534888356496344661990435317404505463849437/3457370255643179016667284102168700381663290846040*y^8 - 140815413774219007301764059658066806579907614874281/17286851278215895083336420510843501908316454230200*y^7 - 82286284742333478003464061648801129208919938021307/8643425639107947541668210255421750954158227115100*y^6 - 45683674478950962015757571890715888098256985144919/4321712819553973770834105127710875477079113557550*y^5 - 75610061865852063430681568581261914796883199711099/8643425639107947541668210255421750954158227115100*y^4 - 120788201960738708630269101057583813282436117002427/17286851278215895083336420510843501908316454230200*y^3 - 14606034391483238038861018242577344920693571676609/2160856409776986885417052563855437738539556778775*y^2 - 53821362851129433491664271417902102060467948190211/17286851278215895083336420510843501908316454230200*y - 4592262523741450986734979895430052800899652831269/8643425639107947541668210255421750954158227115100 # 4 Loop Invariant 12350987734743632081978463283422965951466683347899698888295404555373682421/143902227863880775389673372807079913764141799846167535840562730219908355000*y^11 + 3478787376290701426340118075961717375079443242855860307120524945848291923223/2590240101549853957014120710527438447754552397231015645130129143958350390000*y^10 + 3994005290601168608381552819857510342133066376930065883108131555082357896701/518048020309970791402824142105487689550910479446203129026025828791670078000*y^9 + 53207340034770782776493067054518651340588688866435872408470316444379087207503/2590240101549853957014120710527438447754552397231015645130129143958350390000*y^8 + 330128608417828445176498953065480120734818381925910583151366385559617348881/10792667089791058154225502960530993532310634988462565188042204766493126625*y^7 + 18505288524807092616319878129319359485850292341332687715019587989782457310901/518048020309970791402824142105487689550910479446203129026025828791670078000*y^6 + 12762803924385563358277745832970051337913774219102714193887524965757602712659/323780012693731744626765088815929805969319049653876955641266142994793798750*y^5 + 16473442771182590276593862386965708066417732213794079567971566042536002827481/518048020309970791402824142105487689550910479446203129026025828791670078000*y^4 + 16986327436884078410829121992089250985725392251048154271306004338587947872883/647560025387463489253530177631859611938638099307753911282532285989587597500*y^3 + 63924659348910542396387624394008315232559538493427574664512264798167537869389/2590240101549853957014120710527438447754552397231015645130129143958350390000*y^2 + 4671925489185022240464856232284838546730005901028600836907861469586795315917/431706683591642326169020118421239741292425399538502607521688190659725065000*y + 2289749554280398479072013457564270399391891601758067278716391709313435374597/1295120050774926978507060355263719223877276198615507822565064571979175195000