# Manifold: H T Link Exterior K8a18

# Number of Tetrahedra: 6

# Number Field
x^8 - 7*x^7 + 17*x^6 - 14*x^5 - x^4 - 2*x^3 + 6*x^2 + 4*x + 1 

# Approximate Field Generator
-0.251259291543346 + 0.604856262710765*I

# Shape Parameters
y

-y^2 + y + 1

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

2/5*y^7 - 13/5*y^6 + 6*y^5 - 28/5*y^4 + 14/5*y^3 - 17/5*y^2 + 11/5*y + 1/5

-2/5*y^7 + 13/5*y^6 - 6*y^5 + 28/5*y^4 - 9/5*y^3 + 2/5*y^2 - 1/5*y + 4/5

2/5*y^7 - 13/5*y^6 + 6*y^5 - 23/5*y^4 - 6/5*y^3 + 3/5*y^2 + 11/5*y + 11/5


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

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

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

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

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

# 1 Loop Invariant
7/2*y^7 - 43/2*y^6 + 89/2*y^5 - 28*y^4 - 3*y^3 - 23/2*y^2 + 21/2*y + 6

# 2 Loop Invariant
903026999/6122131494*y^7 - 3670281499/4081420996*y^6 + 22503471671/12244262988*y^5 - 3373432718/3061065747*y^4 - 2527792297/12244262988*y^3 - 1322183176/3061065747*y^2 + 827467847/2040710498*y + 4713714131/24488525976

# 3 Loop Invariant
488380112979/32593207718807*y^7 - 3418660790853/32593207718807*y^6 + 8293165564978/32593207718807*y^5 - 7305166884095/32593207718807*y^4 + 1006177251578/32593207718807*y^3 - 1531742787217/32593207718807*y^2 + 1918277128516/32593207718807*y + 689083397970/32593207718807

# 4 Loop Invariant
-7318339240892454478589/281703393128177267022576*y^7 + 195081974573782321510469/1408516965640886335112880*y^6 - 312744573688609460850641/1408516965640886335112880*y^5 + 81793332229817151871549/1408516965640886335112880*y^4 + 2856274063272405705511/234752827606814389185480*y^3 + 144908612785035778778453/1408516965640886335112880*y^2 + 3311746174544955409303/88032310352555395944555*y + 432814133982465545201/78250942535604796395160