# Manifold: Census Knot K7_89

# Number of Tetrahedra: 7

# Number Field
x^12 + x^11 + 9*x^10 + 8*x^9 + 29*x^8 + 22*x^7 + 40*x^6 + 24*x^5 + 22*x^4 + 9*x^3 + 3*x^2 + 1 

# Approximate Field Generator
-0.0640778273211919 - 1.75549532919130*I

# Shape Parameters
1/6*y^11 + 1/2*y^10 + 5/3*y^9 + 11/3*y^8 + 35/6*y^7 + 9*y^6 + 17/2*y^5 + 17/2*y^4 + 14/3*y^3 + 10/3*y^2 + 1/3*y + 3/2

5/13*y^11 + 10/13*y^10 + 42/13*y^9 + 69/13*y^8 + 123/13*y^7 + 155/13*y^6 + 147/13*y^5 + 124/13*y^4 + 5*y^3 + 32/13*y^2 + 8/13*y + 8/13

y^11 + y^10 + 8*y^9 + 7*y^8 + 22*y^7 + 16*y^6 + 24*y^5 + 13*y^4 + 9*y^3 + 3*y^2

-y^11 - y^10 - 8*y^9 - 7*y^8 - 22*y^7 - 16*y^6 - 24*y^5 - 13*y^4 - 9*y^3 - 3*y^2 - y + 1

y^10 + y^9 + 7*y^8 + 6*y^7 + 16*y^6 + 11*y^5 + 13*y^4 + 6*y^3 + 2*y^2 + 1

42/221*y^11 + 71/221*y^10 + 18/13*y^9 + 421/221*y^8 + 651/221*y^7 + 600/221*y^6 + 200/221*y^5 - 222/221*y^4 - 33/17*y^3 - 376/221*y^2 - 81/221*y + 244/221

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


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

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

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

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

# 1 Loop Invariant
6*y^10 + 11/2*y^9 + 45*y^8 + 36*y^7 + 116*y^6 + 77*y^5 + 120*y^4 + 60*y^3 + 44*y^2 + 27/2*y + 3

# 2 Loop Invariant
-5167955843773874637691080699/333631467419235141818162656516*y^11 + 27071053153424779410634814387/166815733709617570909081328258*y^10 + 15790755897176577829664637235/500447201128852712727243984774*y^9 + 425725294161595960548265211877/333631467419235141818162656516*y^8 + 737715450338787378923377800553/1000894402257705425454487969548*y^7 + 3430397370101828086567911778519/1000894402257705425454487969548*y^6 + 171135216846394306753583176917/83407866854808785454540664129*y^5 + 902548734707970642513163684910/250223600564426356363621992387*y^4 + 294339988311433207325033305757/166815733709617570909081328258*y^3 + 425414896477159964504029037365/333631467419235141818162656516*y^2 + 67822655348490258898313924647/166815733709617570909081328258*y + 3024136124609591877144484243967/2001788804515410850908975939096

# 3 Loop Invariant
719446417886730968764997717378933533162393/48177084786301334405032086914604779545015234*y^11 + 719446417886730968764997717378933533162393/48177084786301334405032086914604779545015234*y^10 + 6451239254238669666844889522884939948839611/48177084786301334405032086914604779545015234*y^9 + 2567388705043705449425630600699946666344900/24088542393150667202516043457302389772507617*y^8 + 20123254033496902255935652980828862088140181/48177084786301334405032086914604779545015234*y^7 + 5702221574619420515724555920186260160512598/24088542393150667202516043457302389772507617*y^6 + 12395894218339927375175082116058868832075235/24088542393150667202516043457302389772507617*y^5 + 3444836632667974338173508837280474547850699/24088542393150667202516043457302389772507617*y^4 + 4268017655629226408397633904145371862434704/24088542393150667202516043457302389772507617*y^3 - 2290565999945584218014297277121773574928565/48177084786301334405032086914604779545015234*y^2 - 1915436306336040467787383545519781446085723/48177084786301334405032086914604779545015234*y - 859513435578601729595498485671682987374825/24088542393150667202516043457302389772507617