# Manifold: H T Link Exterior K8a17 # Number of Tetrahedra: 6 # Number Field x^9 - x^8 + 3*x^7 - 14*x^6 + 9*x^5 - 57*x^4 + 23*x^3 - 116*x^2 + 14*x - 95 # Approximate Field Generator 0.761873390839504 + 1.25544409522047*I # Shape Parameters 196093/2335911*y^8 - 460715/2335911*y^7 + 592517/2335911*y^6 - 2722405/2335911*y^5 + 4281775/2335911*y^4 - 9691804/2335911*y^3 + 3898471/778637*y^2 - 13124891/2335911*y + 10991551/2335911 112681/778637*y^8 - 264177/778637*y^7 + 296256/778637*y^6 - 1488575/778637*y^5 + 2497517/778637*y^4 - 5112648/778637*y^3 + 6059874/778637*y^2 - 6861001/778637*y + 6672800/778637 2846189/73970515*y^8 - 5752429/73970515*y^7 + 6209642/73970515*y^6 - 37331521/73970515*y^5 + 51787346/73970515*y^4 - 6230157/3893185*y^3 + 134217742/73970515*y^2 - 154423979/73970515*y + 155287036/73970515 136690/778637*y^8 + 20403/778637*y^7 - 71106/778637*y^6 - 1338907/778637*y^5 - 995400/778637*y^4 - 2816323/778637*y^3 - 5334307/778637*y^2 - 3245834/778637*y - 8972638/778637 -3031452/73970515*y^8 + 6798012/73970515*y^7 - 7391386/73970515*y^6 + 39877038/73970515*y^5 - 66386303/73970515*y^4 + 7120691/3893185*y^3 - 144053486/73970515*y^2 + 195155217/73970515*y - 125356708/73970515 10036/778637*y^8 - 24842/778637*y^7 + 8724/778637*y^6 - 122651/778637*y^5 + 234805/778637*y^4 - 257283/778637*y^3 + 882716/778637*y^2 - 288488/778637*y + 1211299/778637 # A Gluing Matrix {{1,0,1,0,0,0},{0,0,-1,0,0,0},{1,-1,0,1,-1,-1},{0,0,2,1,0,0},{0,0,-1,0,1,1},{0,0,-1,0,1,0}} # 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 {1, 0, 0, 2, 1, 0} # f Combinatorial flattening {1, 2, 0, 2, 0, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0} # 1 Loop Invariant 330583/778637*y^8 - 2276493/1557274*y^7 + 1326997/778637*y^6 - 9883395/1557274*y^5 + 23473513/1557274*y^4 - 36566873/1557274*y^3 + 31832213/778637*y^2 - 25823677/778637*y + 34446827/778637 # 2 Loop Invariant 74793977903674696778752/3148465725545663084416359*y^8 - 617964607032194214793699/12593862902182652337665436*y^7 + 225885790837544892193217/4197954300727550779221812*y^6 - 3855823368422726711187821/12593862902182652337665436*y^5 + 2829955621305775743428623/6296931451091326168832718*y^4 - 3185654417074861525415482/3148465725545663084416359*y^3 + 13317448066832500077422759/12593862902182652337665436*y^2 - 1432836852991834029968696/1049488575181887694805453*y + 13859026042872139407846031/12593862902182652337665436 # 3 Loop Invariant 2398629781597838031533708301/34321850966534797129626820472918*y^8 - 7571786912432707811381739693113/2436851418623970596203504253577178*y^7 + 5323277848516964655809380887478/1218425709311985298101752126788589*y^6 - 5824489468315718568402931502786/1218425709311985298101752126788589*y^5 + 88638726476110059892502521206215/2436851418623970596203504253577178*y^4 - 43731769894109885788494506787764/1218425709311985298101752126788589*y^3 + 254240848189929229471149529602047/2436851418623970596203504253577178*y^2 - 61493380225266679406844709406358/1218425709311985298101752126788589*y + 156555870615169443048524500511633/1218425709311985298101752126788589 # 4 Loop Invariant -570197261814633691618495104139615573719850063078433/236485340505058905145435959059824822235864541973076304*y^8 + 1672184296667103744004801752843413737170165181595731/197071117087549087621196632549854018529887118310896920*y^7 - 1359321236173213256208974233148192151975187688503779/131380744725032725080797755033236012353258078873931280*y^6 + 2622379105007707715676531484964135809999371809628862/73901668907830907857948737206195256948707669366586345*y^5 - 25574496134628826425572973016291224464540984180702783/295606675631323631431794948824781027794830677466345380*y^4 + 83294926229737286010273135167921834584638503702425577/591213351262647262863589897649562055589661354932690760*y^3 - 266681886872570859177585049002145583033268812166319687/1182426702525294525727179795299124111179322709865381520*y^2 + 223031853147383389594747987029303318616600641844380893/1182426702525294525727179795299124111179322709865381520*y - 57077889624270670637076461418598974365479234590738233/236485340505058905145435959059824822235864541973076304