# Manifold: Census Knot K6_20

# Number of Tetrahedra: 6

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

# Approximate Field Generator
-0.243543831937363 - 0.922487373730629*I

# Shape Parameters
y^2 - 2*y + 1

-y + 2

-76/235*y^6 + 73/235*y^5 + 451/235*y^4 + 39/235*y^3 - 483/235*y^2 - 1057/235*y - 527/235

-1681/27965*y^6 + 623/7990*y^5 + 17137/55930*y^4 + 12/1645*y^3 - 18701/55930*y^2 - 50339/55930*y + 8641/55930

-19/235*y^6 + 73/940*y^5 + 451/940*y^4 - 49/235*y^3 - 13/940*y^2 - 1057/940*y - 57/940

-254/5593*y^6 + 58/799*y^5 + 1135/5593*y^4 - 25/329*y^3 - 438/5593*y^2 - 4412/5593*y + 1102/5593


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

# B Gluing Matrix
{{2,0,0,0,0,0},{0,2,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
{2, 0, -2, -1, 0, 0}

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

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

# 1 Loop Invariant
322/235*y^6 - 767/470*y^5 - 1917/235*y^4 - 281/470*y^3 + 4637/470*y^2 + 6414/235*y + 9413/470

# 2 Loop Invariant
-224528021478353/14687544398664210*y^6 + 48658070888387/19583392531552280*y^5 + 6769769775719477/58750177594656840*y^4 - 119732200582351/29375088797328420*y^3 - 2168941400571131/58750177594656840*y^2 - 13293634510815269/58750177594656840*y + 3777953812688011/9791696265776140

# 3 Loop Invariant
77543198400330908877/31602611572526099864740*y^6 - 825903502977434971407/63205223145052199729480*y^5 + 2700657172687410030861/63205223145052199729480*y^4 - 1496706822313833756953/31602611572526099864740*y^3 - 952679129407673220353/63205223145052199729480*y^2 - 3941678805900447635557/63205223145052199729480*y - 1277372233782820711167/63205223145052199729480