# Manifold: H T Link Exterior K9a38 # Number of Tetrahedra: 6 # Number Field x^9 + 3*x^8 + 3*x^7 - 2*x^6 - 3*x^5 - 5*x^4 + 3*x^3 + 2*x - 1 # Approximate Field Generator -0.283432329435446 + 0.727030013653899*I # Shape Parameters -5/11*y^8 - 21/11*y^7 - 38/11*y^6 - 29/11*y^5 - y^4 + 14/11*y^3 + 4/11*y^2 + 7/11*y + 5/11 19/7*y^8 + 72/7*y^7 + 16*y^6 + 46/7*y^5 - 24/7*y^4 - 111/7*y^3 - 31/7*y^2 - 16/7*y + 25/7 -y^8 - 3*y^7 - 3*y^6 + 2*y^5 + 3*y^4 + 5*y^3 - 3*y^2 - 2 -128/49*y^8 - 453/49*y^7 - 13*y^6 - 136/49*y^5 + 228/49*y^4 + 743/49*y^3 + 95/49*y^2 + 96/49*y - 143/49 y + 1 -1/11*y^8 - 2/11*y^7 - 1/11*y^6 + 3/11*y^5 + 5/11*y^3 - 8/11*y^2 + 8/11*y + 1/11 # A Gluing Matrix {{0,-1,0,0,0,-1},{-1,1,0,-1,0,1},{0,0,1,0,0,1},{0,-2,0,1,0,-2},{0,0,0,0,0,-1},{-1,1,1,-1,-1,1}} # B Gluing Matrix {{1,0,0,0,0,0},{0,1,0,0,0,0},{0,0,1,0,0,0},{0,0,0,2,0,0},{0,0,0,0,1,0},{0,0,0,0,0,1}} # nu Gluing Vector {0, 1, 1, 0, 0, 1} # f Combinatorial flattening {-1, 0, 1, 0, 1, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0} # 1 Loop Invariant -8*y^8 - 61/2*y^7 - 93/2*y^6 - 14*y^5 + 43/2*y^4 + 107/2*y^3 + 19/2*y^2 - 6*y - 31/2 # 2 Loop Invariant -40731857201951960/18051286118011295763*y^8 - 147563221845719548/18051286118011295763*y^7 - 4809611816482232/419797351581658041*y^6 - 60194014324407958/18051286118011295763*y^5 - 202449958269465355/36102572236022591526*y^4 - 217632599696863987/12034190745340863842*y^3 - 2367975559369303223/72205144472045183052*y^2 + 3035505648786227915/18051286118011295763*y - 8696574069894835721/72205144472045183052 # 3 Loop Invariant -153164735285760828379733344/14759795587214643082339277719*y^8 - 13724084776654944346783411/343251060167782397263704133*y^7 - 1841535173448600925361843615/29519591174429286164678555438*y^6 - 331270381801715298217749174/14759795587214643082339277719*y^5 + 349569684203303710829428292/14759795587214643082339277719*y^4 + 984380445088576155174373188/14759795587214643082339277719*y^3 + 418621244750283839265927205/14759795587214643082339277719*y^2 + 232155069527015401751348618/14759795587214643082339277719*y - 122662280147855440681044456/14759795587214643082339277719 # 4 Loop Invariant 11773691672220485978993912406228368385703236103/10657331727526882724457494291740763952348200183880*y^8 + 91306117676464826541926115256158127936781877361/15985997591290324086686241437611145928522300275820*y^7 + 11077690277626286583516563193344938257400247489/743534771687922050543546113377262601326618617480*y^6 + 119776003885431107622865616372102884112091716153/5328665863763441362228747145870381976174100091940*y^5 + 1265884641571645033063295801941131265527157124293/63943990365161296346744965750444583714089201103280*y^4 + 6014263397667753629986296798176242834700031851/31971995182580648173372482875222291857044600551640*y^3 - 88951935881982330482215091333039445676668518695/12788798073032259269348993150088916742817840220656*y^2 - 41804418568272638685740330897816593466927288651/5328665863763441362228747145870381976174100091940*y + 203317067514163996486512154206577496285452054/266433293188172068111437357293519098808705004597