# Manifold: H T Link Exterior K8a9 # Number of Tetrahedra: 9 # Number Field x^10 - 2*x^9 - 2*x^8 + 9*x^7 + x^6 - 14*x^5 + 4*x^4 + 9*x^3 - 2*x^2 - x + 1 # Approximate Field Generator 1.05541715044114 + 0.534293570476382*I # Shape Parameters 127/734*y^9 - 161/734*y^8 - 343/734*y^7 + 365/367*y^6 + 991/734*y^5 - 1139/734*y^4 - 1193/734*y^3 + 782/367*y^2 + 515/367*y - 205/734 -279/367*y^9 + 1001/367*y^8 - 596/367*y^7 - 2592/367*y^6 + 3588/367*y^5 + 1800/367*y^4 - 5300/367*y^3 + 2020/367*y^2 + 968/367*y - 353/367 275/367*y^9 - 496/367*y^8 - 578/367*y^7 + 2176/367*y^6 + 753/367*y^5 - 3183/367*y^4 + 136/367*y^3 + 2092/367*y^2 + 456/367*y - 48/367 -646/367*y^9 + 1735/367*y^8 + 138/367*y^7 - 5895/367*y^6 + 3221/367*y^5 + 6938/367*y^4 - 6768/367*y^3 - 1283/367*y^2 + 1702/367*y + 14/367 54/367*y^9 - 28/367*y^8 - 299/367*y^7 + 478/367*y^6 + 667/367*y^5 - 964/367*y^4 - 383/367*y^3 + 1006/367*y^2 + 227/367*y + 92/367 57/367*y^9 + 52/367*y^8 - 336/367*y^7 + 56/367*y^6 + 1173/367*y^5 + 165/367*y^4 - 1281/367*y^3 - 243/367*y^2 + 994/367*y + 1035/367 -203/367*y^9 + 581/367*y^8 + 57/367*y^7 - 2028/367*y^6 + 1115/367*y^5 + 2754/367*y^4 - 2237/367*y^3 - 873/367*y^2 + 703/367*y + 293/367 172/367*y^9 - 429/367*y^8 - 164/367*y^7 + 1740/367*y^6 - 594/367*y^5 - 2554/367*y^4 + 1852/367*y^3 + 1546/367*y^2 - 677/367*y - 6/367 -260/367*y^9 + 529/367*y^8 + 393/367*y^7 - 2084/367*y^6 - 58/367*y^5 + 2589/367*y^4 - 956/367*y^3 - 630/367*y^2 - 291/367*y - 375/367 # A Gluing Matrix {{0,-1,0,0,0,0,0,0,0},{-1,1,1,-1,1,0,0,0,0},{0,1,1,-1,0,0,0,0,0},{0,-1,-1,0,0,1,0,1,0},{0,1,0,0,1,0,0,0,0},{0,0,0,1,0,0,0,-1,-1},{0,0,0,0,0,0,1,0,1},{0,0,0,1,0,-1,0,0,0},{0,0,0,0,0,-1,1,0,1}} # 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, 1, 0, 1} # f Combinatorial flattening {1, 0, 1, 0, 1, 0, 2, 1, -1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 1359/367*y^9 - 3029/367*y^8 - 2081/367*y^7 + 12152/367*y^6 - 524/367*y^5 - 17410/367*y^4 + 11795/734*y^3 + 7090/367*y^2 - 465/367*y + 1092/367 # 2 Loop Invariant -607840006971599179765555/23069764704807450135080436*y^9 + 819665566250126618790465/7689921568269150045026812*y^8 - 1209235478763632874369401/23069764704807450135080436*y^7 - 3536399056351550987419507/11534882352403725067540218*y^6 + 9386705895638828587226051/23069764704807450135080436*y^5 + 7680804455771596398566981/23069764704807450135080436*y^4 - 2693657275281813744664885/3844960784134575022513406*y^3 + 529209808644371413816737/1922480392067287511256703*y^2 + 1528741596241431490352917/3844960784134575022513406*y - 1254360713853841225654887/3844960784134575022513406 # 3 Loop Invariant 21261776799620566856360100188898967/8626835878620441956118110121513917042*y^9 - 31980741430379734190911425742069854/4313417939310220978059055060756958521*y^8 + 29499112366449058778722418903963225/4313417939310220978059055060756958521*y^7 + 142472307164947569796908436447943001/8626835878620441956118110121513917042*y^6 - 150699712215440742662628890060248123/4313417939310220978059055060756958521*y^5 + 19706954979900720045488760796761130/4313417939310220978059055060756958521*y^4 + 661600938129691361791900247859189827/8626835878620441956118110121513917042*y^3 - 248539958904950628763901473080809215/4313417939310220978059055060756958521*y^2 - 168190693566181241410613338425684101/4313417939310220978059055060756958521*y + 126371851345509074246350922241847255/4313417939310220978059055060756958521 # 4 Loop Invariant 31490918019388533160690071143173189001054140988335944411497/2711431524070360215907944432948867307671107365036454960506680*y^9 - 3026653115976530459627490676161614247183622225760401879865/135571576203518010795397221647443365383555368251822748025334*y^8 - 160697855609378474871112109523434023244322635274786881372687/8134294572211080647723833298846601923013322095109364881520040*y^7 + 1447991222762619955953456709961963343710738713654995677288021/16268589144422161295447666597693203846026644190218729763040080*y^6 + 3026566963180181369116550331660176265444823184761332456681/180762101604690681060529628863257820511407157669096997367112*y^5 - 303777039083347417705842857333929257308218571134803841627567/2711431524070360215907944432948867307671107365036454960506680*y^4 + 205630061312510754706873590274525415196360791627878554193433/16268589144422161295447666597693203846026644190218729763040080*y^3 + 95647436740136121335016740736091510785759591207854998738813/2033573643052770161930958324711650480753330523777341220380010*y^2 + 4071168502079913536842992324343694428497277396582732420397/225952627005863351325662036079072275639258947086371246708890*y + 27772319409921016344202548474168684651916678291163436513101/1626858914442216129544766659769320384602664419021872976304008