# Manifold: H T Link Exterior K8a5 # Number of Tetrahedra: 10 # Number Field x^14 + 6*x^13 + 29*x^12 - 18*x^11 - 96*x^10 + 23*x^9 + 133*x^8 - 16*x^7 - 100*x^6 + 6*x^5 + 43*x^4 - x^3 - 10*x^2 + 1 # Approximate Field Generator 0.805072976895252 + 0.248927795072180*I # Shape Parameters 230*y^13 + 1551*y^12 + 7790*y^11 + 1457*y^10 - 21949*y^9 - 10407*y^8 + 25501*y^7 + 14432*y^6 - 15261*y^5 - 9367*y^4 + 4644*y^3 + 3022*y^2 - 560*y - 394 641*y^13 + 4272*y^12 + 21426*y^11 + 2687*y^10 - 59824*y^9 - 25042*y^8 + 68772*y^7 + 35520*y^6 - 40653*y^5 - 23226*y^4 + 12211*y^3 + 7491*y^2 - 1457*y - 970 641*y^13 + 4272*y^12 + 21426*y^11 + 2687*y^10 - 59824*y^9 - 25042*y^8 + 68772*y^7 + 35520*y^6 - 40653*y^5 - 23226*y^4 + 12211*y^3 + 7491*y^2 - 1457*y - 970 384*y^13 + 2544*y^12 + 12728*y^11 + 1056*y^10 - 36138*y^9 - 13748*y^8 + 42337*y^7 + 20280*y^6 - 25584*y^5 - 13651*y^4 + 7904*y^3 + 4543*y^2 - 976*y - 608 809*y^13 + 5375*y^12 + 26924*y^11 + 2786*y^10 - 75827*y^9 - 30252*y^8 + 87980*y^7 + 43743*y^6 - 52556*y^5 - 29009*y^4 + 15993*y^3 + 9497*y^2 - 1937*y - 1249 -891*y^13 - 5929*y^12 - 29706*y^11 - 3323*y^10 + 83737*y^9 + 34146*y^8 - 97232*y^7 - 49278*y^6 + 58136*y^5 + 32706*y^4 - 17711*y^3 - 10727*y^2 + 2151*y + 1414 891*y^13 + 5930*y^12 + 29712*y^11 + 3352*y^10 - 83755*y^9 - 34242*y^8 + 97255*y^7 + 49411*y^6 - 58152*y^5 - 32806*y^4 + 17717*y^3 + 10770*y^2 - 2152*y - 1422 409*y^13 + 2710*y^12 + 13566*y^11 + 1180*y^10 - 38277*y^9 - 14733*y^8 + 44500*y^7 + 21556*y^6 - 26648*y^5 - 14390*y^4 + 8140*y^3 + 4734*y^2 - 992*y - 625 -625*y^13 - 4158*y^12 - 20829*y^11 - 2286*y^10 + 58808*y^9 + 23836*y^8 - 68381*y^7 - 34433*y^6 + 40939*y^5 + 22865*y^4 - 12484*y^3 - 7505*y^2 + 1516*y + 992 -625*y^13 - 4157*y^12 - 20823*y^11 - 2257*y^10 + 58790*y^9 + 23740*y^8 - 68358*y^7 - 34300*y^6 + 40923*y^5 + 22765*y^4 - 12478*y^3 - 7462*y^2 + 1515*y + 983 # A Gluing Matrix {{1,0,0,1,0,0,1,-1,-1,1},{0,1,0,0,0,0,1,0,-1,1},{0,0,1,0,0,0,1,0,-1,1},{1,0,0,1,1,0,0,0,0,0},{0,0,0,1,0,0,0,-1,0,0},{0,0,0,0,0,1,0,0,-1,1},{1,1,1,0,0,0,2,0,-1,1},{-1,0,0,0,-1,0,0,0,0,0},{-1,-1,-1,0,0,-1,-1,0,1,-1},{1,1,1,0,0,1,1,0,-1,2}} # 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,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,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,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {1, 1, 1, 1, 0, 1, 2, 0, -1, 2} # f Combinatorial flattening {-1, -1, -1, 1, 1, 2, 3, 1, 2, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 5865/2*y^13 + 19460*y^12 + 194877/2*y^11 + 18595/2*y^10 - 550103/2*y^9 - 215869/2*y^8 + 319864*y^7 + 314317/2*y^6 - 383195/2*y^5 - 104724*y^4 + 58495*y^3 + 68871/2*y^2 - 7121*y - 9103/2 # 2 Loop Invariant 402566167687893775/3644263791236644*y^13 + 8205330420294228053/10932791373709932*y^12 + 41287055555028474833/10932791373709932*y^11 + 2376351734348012806/2733197843427483*y^10 - 57980348500442667139/5466395686854966*y^9 - 10176027554503809557/1822131895618322*y^8 + 33678750806373964694/2733197843427483*y^7 + 21090520215593623808/2733197843427483*y^6 - 20219787158486437481/2733197843427483*y^5 - 13727596221638903009/2733197843427483*y^4 + 8280733104370923037/3644263791236644*y^3 + 17730477905562479977/10932791373709932*y^2 - 253666360767007062/911065947809161*y - 191722658613760933/911065947809161 # 3 Loop Invariant 1147744914215814033626559/27499495219032552623909*y^13 + 13833033276161776152974867/54998990438065105247818*y^12 + 66273471125894187550668179/54998990438065105247818*y^11 - 41910808724078012707757321/54998990438065105247818*y^10 - 116375937201892214629880217/27499495219032552623909*y^9 + 48116697562412128215990850/27499495219032552623909*y^8 + 148625480947485861249294738/27499495219032552623909*y^7 - 55018626455163524002795345/27499495219032552623909*y^6 - 96660401103948680468770537/27499495219032552623909*y^5 + 66262195867432979323552091/54998990438065105247818*y^4 + 66929153227608098661631699/54998990438065105247818*y^3 - 9974751156275675023333509/27499495219032552623909*y^2 - 12959039582458932708055897/54998990438065105247818*y + 4451299173997996435078751/54998990438065105247818 # 4 Loop Invariant -124069537987226815188799912260321642516155191/9019387323360498251180371406593618925640*y^13 - 443411866052459730571354236760242610249841891/6012924882240332167453580937729079283760*y^12 - 395728654192866198942470692455521267202860432/1127423415420062281397546425824202365705*y^11 + 1429615121236359921228400257258779464502175049/3006462441120166083726790468864539641880*y^10 + 18646649691444569007774078082117053403576314851/18038774646720996502360742813187237851280*y^9 - 3061787997066584521604510917508349674789087693/3006462441120166083726790468864539641880*y^8 - 21737097258641655104985198514385964149494836323/18038774646720996502360742813187237851280*y^7 + 9655058977258636992843667547481921572287052173/9019387323360498251180371406593618925640*y^6 + 140072645976963770691309442800868719454219833/200430829408011072248452697924302642792*y^5 - 10779668150963677871666686395624242768643064013/18038774646720996502360742813187237851280*y^4 - 3589381345937352420636358030893800351403403163/18038774646720996502360742813187237851280*y^3 + 189581657984086963006068444058791886206009193/1127423415420062281397546425824202365705*y^2 + 201682618294083126223618110951179564028788909/9019387323360498251180371406593618925640*y - 11322882614379951221988248325820646160230987/601292488224033216745358093772907928376