# Manifold: Census Knot K7_80

# Number of Tetrahedra: 7

# Number Field
x^6 + x^4 - 3*x^3 - x^2 - x - 1 

# Approximate Field Generator
-0.553945530765989 - 1.43504409136069*I

# Shape Parameters
-3/2*y^5 + 1/2*y^4 - 2*y^3 + 11/2*y^2 - y + 7/2

1/4*y^5 + 1/4*y^4 + 1/2*y^3 - 1/4*y^2 - 1/2*y + 1/4

y^5 + y^3 - 3*y^2 - y

-y^4 - y^3 - 2*y^2

y^5 + y^3 - 3*y^2 - y

1/4*y^5 - 1/4*y^4 + 1/2*y^3 - 5/4*y^2 + 3/4

y^5 + y^3 - 3*y^2 - y


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

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

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

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

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

# 1 Loop Invariant
-1/4*y^5 - 7/4*y^4 + 3/2*y^3 + 5/4*y^2 - 4*y + 1/4

# 2 Loop Invariant
43956080329/600232389126*y^5 + 362238756001/4801859113008*y^4 + 2760436927/100038731521*y^3 - 453358853557/2400929556504*y^2 - 1045564882957/2400929556504*y + 4542675481951/1600619704336

# 3 Loop Invariant
-405379573031158331/2025033622658916416*y^5 + 140488033628481953/2025033622658916416*y^4 - 107935870360309603/506258405664729104*y^3 + 364540697902846295/506258405664729104*y^2 - 83161114491824881/2025033622658916416*y + 491543857774916075/2025033622658916416