# Manifold: H T Link Exterior K9a16 # Number of Tetrahedra: 12 # Number Field x^5 + x^4 + 3*x^3 + 6*x^2 + 8*x + 1 # Approximate Field Generator None # Shape Parameters -1/22*y^4 - 2/11*y^3 + 7/22*y^2 - 7/22*y + 15/22 6/55*y^4 + 2/55*y^3 + 7/11*y^2 + 31/55*y + 64/55 13/22*y^4 + 4/11*y^3 + 41/22*y^2 + 69/22*y + 91/22 y^4 + y^3 + 3*y^2 + 6*y + 9 -5/11*y^4 - 7/22*y^3 - 29/22*y^2 - 24/11*y - 59/22 -7/22*y^4 - 3/11*y^3 - 17/22*y^2 - 27/22*y - 27/22 -9/55*y^4 - 3/55*y^3 - 5/11*y^2 - 19/55*y - 41/55 3/22*y^4 + 1/22*y^3 + 6/11*y^2 + 21/22*y + 16/11 -7/22*y^4 - 3/11*y^3 - 17/22*y^2 - 27/22*y - 27/22 2/11*y^4 - 3/11*y^3 + 8/11*y^2 + 3/11*y + 14/11 -5/22*y^4 + 1/11*y^3 - 9/22*y^2 - 13/22*y + 9/22 3/22*y^4 + 1/22*y^3 + 6/11*y^2 + 21/22*y + 16/11 # A Gluing Matrix {{-1,-1,-1,1,0,0,0,0,0,0,0,0},{-1,0,0,1,0,0,0,0,0,0,0,0},{-1,0,0,0,0,0,0,0,0,0,0,0},{1,1,0,-1,1,-1,-2,1,-1,2,0,1},{0,0,0,1,-1,1,2,-1,1,-2,0,-1},{0,0,0,-1,1,0,-1,0,0,1,0,0},{0,0,0,-2,2,-1,-2,1,-1,2,0,1},{0,0,0,1,-1,0,1,0,0,-1,-1,0},{0,0,0,-1,1,0,-1,0,0,1,0,0},{0,0,0,2,-2,1,2,-1,1,-2,-1,-1},{0,0,0,0,0,0,0,-1,0,-1,-1,-1},{0,0,0,1,-1,0,1,0,0,-1,-1,0}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,0,0,0,0},{0,0,0,0,0,1,0,0,0,0,0,0},{0,0,0,0,0,0,1,0,0,0,0,0},{0,0,0,0,0,0,0,1,0,0,0,0},{0,0,0,0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {-1, 0, 0, 1, 1, 0, 0, 0, 0, 0, -1, 0} # f Combinatorial flattening {0, 2, -1, 0, 1, 1, 1, 1, 0, 0, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 35/44*y^4 + 81/22*y^3 + 19/44*y^2 + 267/44*y - 63/44 # 2 Loop Invariant 359359287087071/2214614295749900*y^4 + 271014081845227/2214614295749900*y^3 + 114327870645301/221461429574990*y^2 + 6733894788194633/6643842887249700*y + 13755826922022259/13287685774499400 # 3 Loop Invariant 9218915313986588456924507/49295189993042969392793750*y^4 + 4062432823369213617617292/24647594996521484696396875*y^3 + 5340595170451366009446739/9859037998608593878558750*y^2 + 51108733340424074544053937/49295189993042969392793750*y + 66645291179785343475987363/49295189993042969392793750 # 4 Loop Invariant 10799103443966992156212168534468631535209/24811325561431903077798052610070973437500*y^4 + 20981478935780646756056300474422058116018/55825482513221781925045618372659690234375*y^3 + 37203704294566539686801521207507996354333/29773590673718283693357663132085168125000*y^2 + 272333583605326829485392165543356287745473/111650965026443563850091236745319380468750*y + 156174783291808846988565123959027130421337/49622651122863806155596105220141946875000