# Manifold: H T Link Exterior K9a14

# Number of Tetrahedra: 11

# Number Field
x^7 + x^6 + 2*x^5 - 5*x^4 - x^3 + 4*x^2 + 13*x + 17 

# Approximate Field Generator
None

# Shape Parameters
-187/10462*y^6 - 525/5231*y^5 - 372/5231*y^4 + 75/10462*y^3 + 854/5231*y^2 - 1468/5231*y - 875/10462

507/5231*y^6 - 510/5231*y^5 + 87/5231*y^4 - 3700/5231*y^3 + 2922/5231*y^2 + 1862/5231*y - 425/5231

-187/10462*y^6 - 525/5231*y^5 - 372/5231*y^4 + 75/10462*y^3 + 854/5231*y^2 - 1468/5231*y - 875/10462

-4539/41848*y^6 - 379/20924*y^5 - 2137/10462*y^4 + 28451/41848*y^3 - 14937/20924*y^2 + 4789/20924*y - 56429/41848

-3594/88927*y^6 + 520/88927*y^5 - 5012/88927*y^4 + 13414/88927*y^3 - 34673/88927*y^2 - 4873/88927*y + 80642/88927

9177/1511759*y^6 - 44084/1511759*y^5 + 44568/1511759*y^4 + 27062/1511759*y^3 + 306547/1511759*y^2 - 30833/1511759*y + 158554/1511759

1/2*y^6 + y^4 - 7/2*y^3 + 3*y^2 - y + 17/2

-73/5231*y^6 - 298/5231*y^5 + 297/5231*y^4 - 726/5231*y^3 + 415/5231*y^2 - 3384/5231*y + 3239/5231

-4539/41848*y^6 - 379/20924*y^5 - 2137/10462*y^4 + 28451/41848*y^3 - 14937/20924*y^2 + 4789/20924*y - 56429/41848

1/2*y^6 + y^4 - 7/2*y^3 + 3*y^2 - y + 17/2

-694/5231*y^6 - 540/5231*y^5 - 831/5231*y^4 + 3775/5231*y^3 - 1214/5231*y^2 - 4798/5231*y - 5681/5231


# A Gluing Matrix
{{0,0,0,-1,-1,1,0,0,0,0,0},{0,0,0,0,-1,0,0,0,0,0,0},{0,0,0,-1,-1,1,0,0,0,0,0},{-1,0,-1,0,-1,1,-1,0,0,0,0},{-1,-1,-1,-1,-1,0,-1,0,0,0,-1},{0,0,0,0,-1,0,-1,0,1,0,-1},{0,0,0,-1,-1,0,0,0,0,0,-1},{0,0,0,0,0,0,0,1,0,0,1},{-1,0,-1,-1,-1,1,-1,0,1,0,0},{0,0,0,0,0,-1,-1,0,0,1,-2},{0,0,0,0,-1,0,0,1,0,-1,1}}

# B Gluing Matrix
{{1,0,0,0,0,0,0,0,1,0,0},{0,1,0,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,1,0,0},{0,0,0,1,0,0,0,0,1,0,0},{0,0,0,0,1,0,0,0,1,0,0},{0,0,0,0,0,1,0,0,1,1,0},{0,0,0,0,0,0,1,0,1,1,0},{0,0,0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,0,0,2,0,0},{0,0,0,0,0,0,0,0,0,2,0},{0,0,0,0,0,0,0,0,0,0,1}}

# nu Gluing Vector
{0, 0, 0, 0, -1, 1, 0, 1, 0, 0, 1}

# f Combinatorial flattening
{0, 0, 0, 1, 0, 1, 1, 2, 1, 0, -1}

# f' Combinatorial flattening
{0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}

# 1 Loop Invariant
-400/5231*y^6 + 9131/10462*y^5 - 3102/5231*y^4 + 16909/10462*y^3 - 22037/10462*y^2 + 19651/5231*y - 8837/5231

# 2 Loop Invariant
91374799896665451377/10142982913420656356532*y^6 - 122348356116325650149/5071491456710328178266*y^5 - 74015297289712632595/5071491456710328178266*y^4 - 279911575122569405759/3380994304473552118844*y^3 + 146044880289549383872/2535745728355164089133*y^2 + 248829121347589838065/5071491456710328178266*y - 2435266041201393550775/6761988608947104237688

# 3 Loop Invariant
-1180598743019076066261099009050/126734000347464146683148478317077*y^6 - 1946448222614662866011172634370/126734000347464146683148478317077*y^5 - 183438961041021197646332769391/126734000347464146683148478317077*y^4 + 5996497862974987380953297104416/126734000347464146683148478317077*y^3 + 47239375692960308254304771065/1162697250894166483331637415753*y^2 - 20107217562340777367795592276806/126734000347464146683148478317077*y - 18995155664052550287191236100414/126734000347464146683148478317077

# 4 Loop Invariant
85402863125856981089596213061187810491850731681749/7372170522311850691199713996834046981283937758685320*y^6 + 352906046276324435427345295225615551873087367490477/7372170522311850691199713996834046981283937758685320*y^5 + 53812982580057551258968260800847722350196505640277/3686085261155925345599856998417023490641968879342660*y^4 - 8338384557258916946171696773551871118219051404407/163826011606930015359993644374089932917420839081896*y^3 - 388743734233332932405930108101963180737421744997249/1843042630577962672799928499208511745320984439671330*y^2 + 924585468196360230594249882208272503820585010598677/3686085261155925345599856998417023490641968879342660*y + 3404941487471923189543391268340365050566598947357081/7372170522311850691199713996834046981283937758685320