# Manifold: H T Link Exterior K8a6 # Number of Tetrahedra: 8 # Number Field x^11 + 3*x^10 + 9*x^9 + 13*x^8 + 17*x^7 + 12*x^6 + 4*x^5 + x^4 - 3*x^3 + 2*x^2 - x + 1 # Approximate Field Generator -0.422262468800372 - 0.928171235537933*I # Shape Parameters 8/13*y^10 + 24/13*y^9 + 5*y^8 + 85/13*y^7 + 82/13*y^6 + 28/13*y^5 - 44/13*y^4 - 31/13*y^3 - 18/13*y^2 + 11/13*y + 5/13 12/13*y^10 + 31/13*y^9 + 96/13*y^8 + 114/13*y^7 + 158/13*y^6 + 62/13*y^5 + 25/13*y^4 - 32/13*y^3 - 12/13*y^2 - 3/13*y - 1/13 8/13*y^10 + 24/13*y^9 + 5*y^8 + 85/13*y^7 + 82/13*y^6 + 28/13*y^5 - 44/13*y^4 - 31/13*y^3 - 18/13*y^2 + 11/13*y + 5/13 y^10 + 4*y^9 + 12*y^8 + 22*y^7 + 30*y^6 + 29*y^5 + 16*y^4 + 5*y^3 - 2*y^2 - y + 2 8/13*y^10 + 24/13*y^9 + 5*y^8 + 85/13*y^7 + 82/13*y^6 + 28/13*y^5 - 44/13*y^4 - 31/13*y^3 - 5/13*y^2 + 24/13*y + 18/13 9/13*y^10 + 28/13*y^9 + 77/13*y^8 + 111/13*y^7 + 121/13*y^6 + 86/13*y^5 - 4/13*y^4 + 10/13*y^3 - 20/13*y^2 + 14/13*y - 6/13 -23/13*y^10 - 63/13*y^9 - 188/13*y^8 - 248/13*y^7 - 320/13*y^6 - 202/13*y^5 - 49/13*y^4 - 30/13*y^3 + 63/13*y^2 - 43/13*y + 54/13 876/3835*y^10 + 3032/3835*y^9 + 8202/3835*y^8 + 12451/3835*y^7 + 13301/3835*y^6 + 8886/3835*y^5 - 3/65*y^4 - 1307/3835*y^3 - 336/3835*y^2 + 17/65*y + 2546/3835 # A Gluing Matrix {{1,1,0,1,-1,0,0,1},{1,2,1,1,-1,0,0,1},{0,1,1,1,-1,0,0,1},{1,1,1,1,-1,0,0,0},{-1,-1,-1,-1,1,0,0,-1},{0,0,0,0,0,1,0,1},{0,0,0,0,0,0,1,2},{1,1,1,0,-1,1,1,0}} # B Gluing Matrix {{1,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,0,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,2,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {1, 2, 1, 1, -1, 1, 2, 2} # f Combinatorial flattening {0, 1, 0, 2, 2, 1, 2, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 79/26*y^10 + 251/26*y^9 + 701/26*y^8 + 79/2*y^7 + 89/2*y^6 + 773/26*y^5 + 20/13*y^4 - 12/13*y^3 + 12/13*y^2 + 73/13*y + 53/13 # 2 Loop Invariant 267521816522017350006355/2288475768280806629186844*y^10 + 281299785531406517206873/762825256093602209728948*y^9 + 760183048739997156393115/762825256093602209728948*y^8 + 3131043239666278537417013/2288475768280806629186844*y^7 + 257690037933406399525188/190706314023400552432237*y^6 + 1362273488052469173760763/2288475768280806629186844*y^5 - 587003508833698755817607/1144237884140403314593422*y^4 - 938044979542109131794305/2288475768280806629186844*y^3 - 67500643921423571803405/762825256093602209728948*y^2 + 230453727778012982460599/762825256093602209728948*y + 764353109758370423100841/2288475768280806629186844 # 3 Loop Invariant 136235442446829319448223909306531/46196165416671904734976141961494982*y^10 - 21943994781329122003900206518527/3553551185897838825767395535499614*y^9 - 164106398216915378860041858952161/6599452202381700676425163137356426*y^8 - 4809255714247042138021430766772827/46196165416671904734976141961494982*y^7 - 979487398439661723164920608250693/6599452202381700676425163137356426*y^6 - 4133294152934349755752191951519356/23098082708335952367488070980747491*y^5 - 3876266556981329898710233562739791/46196165416671904734976141961494982*y^4 + 321437886350300472544847808060076/23098082708335952367488070980747491*y^3 + 1078755233341866654359258884408091/23098082708335952367488070980747491*y^2 + 1171880710095261199935560283281004/23098082708335952367488070980747491*y - 1084456483475270218980466128607557/46196165416671904734976141961494982 # 4 Loop Invariant -5502025910453035038554387854943665491629537944470548897707/243966473408181846194794285928676206650455950687282876346480*y^10 - 2124290910596193732273836744552513129667401223073291742211/27107385934242427354977142880964022961161772298586986260720*y^9 - 51692530694897910072603745763844679693837002662375636582399/243966473408181846194794285928676206650455950687282876346480*y^8 - 2874968015955351564926753604171241681896707633639675834027/9383325900314686392107472535718315640402151949510879859480*y^7 - 1027089387732073208193530108175936433619069744387436125363/3127775300104895464035824178572771880134050649836959953160*y^6 - 48090958452968763168928137332339685104043937180834948031521/243966473408181846194794285928676206650455950687282876346480*y^5 - 186488083799865548764309695695684295099375777073068754883/5082634862670455129058214290180754305217832305985059923885*y^4 + 2589355439396727258621164326532583019297543327474382716021/243966473408181846194794285928676206650455950687282876346480*y^3 + 3986028869339442249292812330044918966408844706657093990283/243966473408181846194794285928676206650455950687282876346480*y^2 - 1671275248436469716318583557968390452291570630122117469989/60991618352045461548698571482169051662613987671820719086620*y - 748362503465279073062677399391525453937944300810825272433/243966473408181846194794285928676206650455950687282876346480