# Manifold: Census Knot K7_100

# Number of Tetrahedra: 7

# Number Field
x^9 - x^7 - 10*x^6 - x^5 + 8*x^4 + 13*x^3 - 6*x^2 - 12*x - 8 

# Approximate Field Generator
-0.598331465348888 + 0.541525455551066*I

# Shape Parameters
-1/16*y^8 + 1/16*y^7 + 5/8*y^5 - 9/16*y^4 + 1/16*y^3 - 7/8*y^2 + 5/4*y + 1/2

-1/8*y^8 + 1/8*y^6 + 5/4*y^5 + 1/8*y^4 - y^3 - 13/8*y^2 + 3/4*y + 3/2

-3/16*y^8 + 1/8*y^7 + 3/16*y^6 + 7/4*y^5 - 17/16*y^4 - 13/8*y^3 - 23/16*y^2 + 11/4*y + 5/2

-3/16*y^8 + 1/8*y^7 + 3/16*y^6 + 7/4*y^5 - 17/16*y^4 - 13/8*y^3 - 23/16*y^2 + 11/4*y + 3/2

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

-5/52*y^8 + 1/52*y^7 + 5/26*y^6 + 12/13*y^5 - 15/52*y^4 - 89/52*y^3 - 21/26*y^2 + 20/13*y + 24/13

2/13*y^8 + 1/52*y^7 - 4/13*y^6 - 69/52*y^5 - 15/52*y^4 + 33/13*y^3 + 23/52*y^2 - 19/13*y - 15/13


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

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

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

# f Combinatorial flattening
{-5, -4, 1, 0, -1, 3, 5}

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

# 1 Loop Invariant
55/8*y^8 - 39/8*y^7 - 6*y^6 - 231/4*y^5 + 263/8*y^4 + 389/8*y^3 - 11/4*y^2 - 39*y - 26

# 2 Loop Invariant
-407043216963651037075/47224689134951386777008*y^8 + 2988988442959285612205/188898756539805547108032*y^7 - 115529113179954840881/47224689134951386777008*y^6 + 6866852153361195013337/94449378269902773554016*y^5 - 1046416196812714454063/7870781522491897796168*y^4 - 7496435024787568327333/188898756539805547108032*y^3 - 717214007014920918215/5903086141868923347126*y^2 + 19248017329505865421189/94449378269902773554016*y + 204851112377784251501455/47224689134951386777008

# 3 Loop Invariant
1549586527381512253024507054617685/240952596309638300011847657853573248*y^8 - 147054570023977347274473311127145/60238149077409575002961914463393312*y^7 - 622282456036633793345800291528833/120476298154819150005923828926786624*y^6 - 5235655139133319296012778247869143/120476298154819150005923828926786624*y^5 + 3546053897404540034460992458264767/240952596309638300011847657853573248*y^4 + 4230371816315256618956126958268289/120476298154819150005923828926786624*y^3 + 2449080883778964529274279217014667/120476298154819150005923828926786624*y^2 - 1240569697916357268919486985873311/30119074538704787501480957231696656*y - 1510666022787477733636542574299909/60238149077409575002961914463393312