# Manifold: H T Link Exterior K9n2 # Number of Tetrahedra: 9 # Number Field x^13 + x^12 + 2*x^10 - 5*x^9 - 6*x^8 + 5*x^7 - 18*x^6 - 19*x^5 + 39*x^4 + 64*x^3 + 38*x^2 + 10*x + 1 # Approximate Field Generator 1.47206834713102 + 0.310860967693332*I # Shape Parameters 438358/760097*y^12 + 311443/760097*y^11 + 85718/760097*y^10 + 734374/760097*y^9 - 2280614/760097*y^8 - 1759204/760097*y^7 + 109311/58469*y^6 - 7251637/760097*y^5 - 6397204/760097*y^4 + 15650014/760097*y^3 + 25652623/760097*y^2 + 13851718/760097*y + 3325854/760097 -74379/58469*y^12 + 17140/58469*y^11 + 1549/58469*y^10 - 152674/58469*y^9 + 562002/58469*y^8 - 206754/58469*y^7 - 264111/58469*y^6 + 1685522/58469*y^5 - 564061/58469*y^4 - 2668892/58469*y^3 - 1452405/58469*y^2 - 162730/58469*y + 35065/58469 1666628/760097*y^12 + 709174/760097*y^11 + 12328/760097*y^10 + 3055984/760097*y^9 - 9821346/760097*y^8 - 3814429/760097*y^7 + 575933/58469*y^6 - 32035468/760097*y^5 - 13576828/760097*y^4 + 64851472/760097*y^3 + 74621395/760097*y^2 + 31584920/760097*y + 4730038/760097 2601718/1110911*y^12 + 2406691/1110911*y^11 - 547273/1110911*y^10 + 5312031/1110911*y^9 - 13440664/1110911*y^8 - 15238191/1110911*y^7 + 16781480/1110911*y^6 - 48832562/1110911*y^5 - 46939908/1110911*y^4 + 112755423/1110911*y^3 + 155956500/1110911*y^2 + 74156040/1110911*y + 12317735/1110911 79535/58469*y^12 + 10123/58469*y^11 + 12230/58469*y^10 + 133738/58469*y^9 - 504089/58469*y^8 - 2109/58469*y^7 + 237527/58469*y^6 - 1499631/58469*y^5 - 202736/58469*y^4 + 2819839/58469*y^3 + 2943964/58469*y^2 + 1007058/58469*y + 160179/58469 -198869/760097*y^12 + 47289/760097*y^11 - 134800/760097*y^10 - 206541/760097*y^9 + 1284811/760097*y^8 - 556329/760097*y^7 + 20893/58469*y^6 + 3060812/760097*y^5 - 526714/760097*y^4 - 5214093/760097*y^3 - 6610893/760097*y^2 - 2240120/760097*y - 52550/760097 474800/1110911*y^12 - 915020/1110911*y^11 + 690571/1110911*y^10 + 227723/1110911*y^9 - 4246816/1110911*y^8 + 7092112/1110911*y^7 - 3761844/1110911*y^6 - 8587053/1110911*y^5 + 17747092/1110911*y^4 + 4900595/1110911*y^3 - 9402166/1110911*y^2 - 7748646/1110911*y - 543739/1110911 -11660/58469*y^12 - 3094/58469*y^11 - 6031/58469*y^10 - 9432/58469*y^9 + 63083/58469*y^8 + 11792/58469*y^7 + 1876/58469*y^6 + 139723/58469*y^5 + 114490/58469*y^4 - 331651/58469*y^3 - 666537/58469*y^2 - 195700/58469*y + 65682/58469 29911/58469*y^12 - 12452/58469*y^11 + 5397/58469*y^10 + 50632/58469*y^9 - 220409/58469*y^8 + 112503/58469*y^7 + 69723/58469*y^6 - 630829/58469*y^5 + 287633/58469*y^4 + 1008885/58469*y^3 + 516380/58469*y^2 - 57595/58469*y - 69616/58469 # A Gluing Matrix {{1,1,-1,0,0,0,0,-1,1},{1,1,0,0,0,0,0,0,0},{-1,0,1,1,0,0,0,0,0},{0,0,1,1,0,0,-1,0,0},{0,0,0,0,0,0,-1,-2,1},{-1,0,0,0,-1,1,-1,-1,1},{0,0,0,-1,-1,0,0,-1,1},{0,0,0,0,-1,0,0,0,0},{-1,0,0,0,-1,1,-1,-2,2}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,2},{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,2},{0,0,0,0,0,1,0,0,1},{0,0,0,0,0,0,1,0,2},{0,0,0,0,0,0,0,1,1},{0,0,0,0,0,0,0,0,3}} # nu Gluing Vector {1, 1, 1, 1, 0, 0, 0, 0, 0} # f Combinatorial flattening {-1, 2, 0, 0, 0, -2, -1, 1, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -23661/58469*y^12 - 330285/58469*y^11 + 227650/58469*y^10 - 307734/58469*y^9 - 355917/116938*y^8 + 4624105/116938*y^7 - 2020765/58469*y^6 + 1133153/58469*y^5 + 11377399/116938*y^4 - 9743585/116938*y^3 - 17923291/116938*y^2 - 5318448/58469*y - 1583257/116938 # 2 Loop Invariant 6603906304108560986948227379399203/31258414568454006333602701620478428*y^12 + 8249895107543168929873118400937783/20838943045636004222401801080318952*y^11 - 4195252141541982615988628156171797/31258414568454006333602701620478428*y^10 + 31421753819620547128783908042167653/62516829136908012667205403240956856*y^9 - 48220084688944789050742326549412229/62516829136908012667205403240956856*y^8 - 169666753610934285055726012928655041/62516829136908012667205403240956856*y^7 + 68700352606931895524241617504985587/31258414568454006333602701620478428*y^6 - 38836360567110525926073450912934807/10419471522818002111200900540159476*y^5 - 41344913133448219851900219787177281/5209735761409001055600450270079738*y^4 + 233199219629037160062635182453567023/20838943045636004222401801080318952*y^3 + 147206510172484546980847757024756077/7814603642113501583400675405119607*y^2 + 196071169015124338769465630284073635/20838943045636004222401801080318952*y + 87941218085593869974347833816179239/62516829136908012667205403240956856 # 3 Loop Invariant 307769347990978591944984427836870195679885913101/8797022457462559869752923392551629099640909529104*y^12 + 2546321317579432229339848707508112646890952603875/8797022457462559869752923392551629099640909529104*y^11 - 838621427400687028023706000616012813331795906855/8797022457462559869752923392551629099640909529104*y^10 + 167097500072409278106477609082969925615361340705/1099627807182819983719115424068953637455113691138*y^9 + 1020206839560372167054659540337811646332745452381/4398511228731279934876461696275814549820454764552*y^8 - 17995332498212839201544175728311224875128386862543/8797022457462559869752923392551629099640909529104*y^7 + 1188036384503453142077818262628322280762525310909/1099627807182819983719115424068953637455113691138*y^6 - 1160086071321335818265522695696979613610241378011/4398511228731279934876461696275814549820454764552*y^5 - 51527980698730898109002398838043588829771412854855/8797022457462559869752923392551629099640909529104*y^4 + 30902188380309183704028889343618610734621701011915/8797022457462559869752923392551629099640909529104*y^3 + 90664559277176147396605961045037442672244178876455/8797022457462559869752923392551629099640909529104*y^2 + 27877273772079226713491274115288586010772499763775/4398511228731279934876461696275814549820454764552*y + 11691289459165516486343017082616931843351325120033/8797022457462559869752923392551629099640909529104 # 4 Loop Invariant 6688132762626968217873144796240039389786715235048464593955193767800759515534687/11757554214342846023524866515421895187576168061528821638988595333167123561745120*y^12 + 27697159545403920691637167302145199579380611399120056056351957748748303046212077/56436260228845660912919359274025096900365606695338343867145257599202193096376576*y^11 - 511615767388851659867878663890516909584938095100724462034621603310149581865925/7054532528605707614114919909253137112545700836917292983393157199900274137047072*y^10 + 320637597050233590226124604076001930137754419874878277733917700333466545075864653/282181301144228304564596796370125484501828033476691719335726287996010965481882880*y^9 - 842653744983284558806994767214919537969445163122088998245461626317028892157159163/282181301144228304564596796370125484501828033476691719335726287996010965481882880*y^8 - 284335382914877170098356845697845287213443995951714970732932361634566578174150883/94060433714742768188198932123375161500609344492230573111908762665336988493960960*y^7 + 231090600027525753104908108891734268174525547008050274005438522142839334012306837/70545325286057076141149199092531371125457008369172929833931571999002741370470720*y^6 - 748391819332007309550355016915143013670059303683768622696569474484101054523675723/70545325286057076141149199092531371125457008369172929833931571999002741370470720*y^5 - 1338455752859778458531003815115559036542884983113047787680318904074700747170923101/141090650572114152282298398185062742250914016738345859667863143998005482740941440*y^4 + 6672192736737633306096377021654096220444874480424614629038948986356973111400997427/282181301144228304564596796370125484501828033476691719335726287996010965481882880*y^3 + 4717972865793889375545704899395663114842670157181039369094529994302297196841118729/141090650572114152282298398185062742250914016738345859667863143998005482740941440*y^2 + 938193245225984106095660779242436554631709753740163760101765853623640887002131193/56436260228845660912919359274025096900365606695338343867145257599202193096376576*y + 55711880801693249501849917420619386989844433948610112375182930274335978460957117/18812086742948553637639786424675032300121868898446114622381752533067397698792192