# Manifold: H T Link Exterior K8a2 # Number of Tetrahedra: 11 # Number Field x^7 + 2*x^6 + 9*x^5 + 16*x^4 + 32*x^3 + 40*x^2 + 32*x + 32 # Approximate Field Generator None # Shape Parameters -1/40*y^6 - 1/8*y^5 - 7/20*y^4 - 19/20*y^3 - 7/5*y^2 - 11/5*y - 2/5 1/16*y^6 + 1/4*y^5 + 9/16*y^4 + 11/8*y^3 + 2*y^2 + 2*y + 2 -1/4*y^4 - 1/4*y^3 - y^2 - y - 1 -2/25*y^6 - 1/10*y^5 - 13/25*y^4 - 16/25*y^3 - 27/25*y^2 - 16/25*y + 23/25 1/4*y^6 + 1/2*y^5 + 7/4*y^4 + 3*y^3 + 9/2*y^2 + 4*y - 1 1/16*y^5 + 5/16*y^3 + 3/8*y^2 + 1/2*y + 3/2 1/20*y^6 + 1/8*y^5 + 9/20*y^4 + 31/40*y^3 + 13/10*y^2 + 9/10*y + 4/5 1/8*y^5 + 1/8*y^4 + 3/4*y^3 + 3/4*y^2 + 3/2*y + 1 -1/4*y^4 - 1/4*y^3 - y^2 - y - 1 -1/16*y^6 - 1/8*y^5 - 9/16*y^4 - 3/4*y^3 - 5/4*y^2 - y -1/16*y^6 - 1/8*y^5 - 9/16*y^4 - 3/4*y^3 - 5/4*y^2 - y # A Gluing Matrix {{2,0,-1,-1,0,1,-1,1,-1,0,1},{0,0,0,0,0,0,-1,1,0,0,1},{-1,0,1,1,0,0,0,0,1,0,0},{-1,0,1,2,1,0,-1,1,1,0,1},{0,0,0,1,1,1,-1,1,0,0,2},{1,0,0,0,1,1,-1,1,0,0,1},{0,0,0,0,1,0,0,1,0,-1,1},{1,1,0,1,1,1,-1,2,0,0,2},{-1,0,1,1,0,0,0,0,1,0,0},{1,1,0,1,2,1,-1,2,0,0,1},{1,1,0,1,2,1,-1,2,0,-1,2}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0,1},{0,1,0,0,0,0,0,0,0,0,1},{0,0,1,0,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,0,1},{0,0,0,0,1,0,0,0,0,0,2},{0,0,0,0,0,1,0,0,0,0,1},{0,0,0,0,0,0,1,0,0,0,2},{0,0,0,0,0,0,0,1,0,0,2},{0,0,0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,0,0,0,3}} # nu Gluing Vector {1, 1, 1, 3, 3, 2, 2, 4, 1, 4, 4} # f Combinatorial flattening {0, -1, 0, 1, 0, 1, 1, 2, 0, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -3/8*y^6 - 1/16*y^5 - 21/8*y^4 - 33/16*y^3 - 41/8*y^2 - 9*y + 2 # 2 Loop Invariant 2152497757070729/41608401716413824*y^6 + 2220231003794891/41608401716413824*y^5 + 2678369494162711/6934733619402304*y^4 + 3357020815978933/10402100429103456*y^3 + 385519442398129/325065638409483*y^2 + 426374986877101/1300262553637932*y + 775084661625709/866841702425288 # 3 Loop Invariant 105314235979164344100170943/164007238106515129522608128*y^6 + 68365019800219202901990459/164007238106515129522608128*y^5 + 107031470447748116205246449/20500904763314391190326016*y^4 + 66540965085578983611390617/20500904763314391190326016*y^3 + 332410592358385565567703111/20500904763314391190326016*y^2 + 5031888922193949352575525/1281306547707149449395376*y + 78659342559408828079137259/5125226190828597797581504 # 4 Loop Invariant 1086784167111291226258069589148283162495858489/51180592856515611279829806081227335754711040*y^6 + 710646927680265446849197276973638814423962093/51180592856515611279829806081227335754711040*y^5 + 1103068188212991202542743441965750333548008399/6397574107064451409978725760153416969338880*y^4 + 137753554968909919633604244506122334980465187/1279514821412890281995745152030683393867776*y^3 + 1140004101644989143741313070978449490441372747/2132524702354817136659575253384472323112960*y^2 + 17297716786838064106272394819260106891831129/133282793897176071041223453336529520194560*y + 269120103959865576964736523205031461100099359/533131175588704284164893813346118080778240