# Manifold: H T Link Exterior K8a11 # Number of Tetrahedra: 5 # Number Field x^6 + 4*x^5 + 6*x^4 - 3*x^3 - 2*x^2 - 4*x + 3 # Approximate Field Generator -2.18591278127978 + 1.64937066648622*I # Shape Parameters 35/67*y^5 + 160/67*y^4 + 311/67*y^3 + 111/67*y^2 + 70/67*y - 33/67 15/67*y^5 + 59/67*y^4 + 95/67*y^3 - 29/67*y^2 + 30/67*y - 62/67 15/67*y^5 + 59/67*y^4 + 95/67*y^3 - 29/67*y^2 + 30/67*y - 62/67 394/4221*y^5 + 178/603*y^4 + 111/469*y^3 - 1180/1407*y^2 - 887/4221*y + 1181/4221 -1/67*y^5 + 5/67*y^4 + 16/67*y^3 - 7/67*y^2 - 69/67*y + 22/67 # A Gluing Matrix {{1,-1,-1,0,2},{-1,2,1,0,-2},{-1,1,2,0,-2},{0,0,0,0,2},{2,-2,-2,2,2}} # B Gluing Matrix {{1,0,0,0,0},{0,1,0,0,0},{0,0,1,0,0},{0,0,0,1,0},{0,0,0,0,1}} # nu Gluing Vector {1, 0, 0, 2, 0} # f Combinatorial flattening {3, 1, 1, -1, 0} # f' Combinatorial flattening {0, 0, 0, 2, 0} # 1 Loop Invariant 175/134*y^5 + 400/67*y^4 + 1555/134*y^3 + 244/67*y^2 + 283/134*y - 317/67 # 2 Loop Invariant 108932296303/1703150706801*y^5 + 1974138816215/6812602827204*y^4 + 3809454266395/6812602827204*y^3 + 656275698347/3406301413602*y^2 + 355033698779/2270867609068*y + 183302928541/2270867609068 # 3 Loop Invariant 1687578419793483/104517817141159234*y^5 + 7922683728658113/104517817141159234*y^4 + 7726946579515588/52258908570579617*y^3 + 2425410619911269/52258908570579617*y^2 - 1859832624118863/104517817141159234*y - 8843985377675317/104517817141159234 # 4 Loop Invariant -5457167232830487436666441181/318823153678680040433888508240*y^5 - 8627054718305749182425546881/106274384559560013477962836080*y^4 - 4326570070861765008316701203/26568596139890003369490709020*y^3 - 3601477747093899059199275593/53137192279780006738981418040*y^2 - 372947306675476860527426663/35424794853186671159320945360*y + 7295883682423018021507628413/106274384559560013477962836080