# Manifold: Census Knot K7_92

# Number of Tetrahedra: 7

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

# Approximate Field Generator
0.615627749041171 - 0.566275201026277*I

# Shape Parameters
12*y^6 + 4*y^5 - 2*y^4 - 34*y^3 + 23*y^2 + 7*y - 16

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

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

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

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

-5*y^6 - y^5 + 2*y^4 + 15*y^3 - 11*y^2 - 4*y + 8

-5*y^6 - y^5 + 2*y^4 + 15*y^3 - 11*y^2 - 4*y + 8


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

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

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

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

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

# 1 Loop Invariant
-20*y^6 - 3*y^5 + 9*y^4 + 62*y^3 - 46*y^2 - 15*y + 30

# 2 Loop Invariant
-423795482711/545275911184*y^6 - 230073333403/817913866776*y^5 + 68094532183/1635827733552*y^4 + 1649023340323/817913866776*y^3 - 164938634864/102239233347*y^2 - 928519520483/1635827733552*y + 1372045717415/817913866776

# 3 Loop Invariant
101273271515270623/402647000543778752*y^6 + 43329648300424371/201323500271889376*y^5 + 28703545202365495/201323500271889376*y^4 - 205218821657897519/402647000543778752*y^3 + 137566048282458757/402647000543778752*y^2 + 39374044305197677/201323500271889376*y - 69995450559099617/402647000543778752