# Manifold: Census Knot K4_3

# Number of Tetrahedra: 4

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

# Approximate Field Generator
-0.288664870663986 - 0.477212997474961*I

# Shape Parameters
-4*y^5 - 10*y^4 - 2*y^3 + 8*y^2 + 5*y + 3

-y

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

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


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

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

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

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

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

# 1 Loop Invariant
-12*y^5 - 8*y^4 + 21*y^3 - 5*y^2 - y - 2

# 2 Loop Invariant
1418391579601/6805535762892*y^5 + 1316229779645/2268511920964*y^4 + 9995984730935/27222143051568*y^3 - 2559857946309/9074047683856*y^2 - 4455704763163/9074047683856*y - 872816706691/6805535762892

# 3 Loop Invariant
-54010702086036089/854184344463824078*y^5 - 1242298914122896711/6833474755710592624*y^4 - 436678618805095079/6833474755710592624*y^3 + 4247936402370818271/27333899022842370496*y^2 + 3126890647587845753/27333899022842370496*y + 1300183695324261215/27333899022842370496

# 4 Loop Invariant
-6582266153495654918625731703439/558065482017697335683271217303296*y^5 - 19091770003743104374701133631287/930109136696162226138785362172160*y^4 + 12507608700396168588212813103013/3720436546784648904555141448688640*y^3 + 201386306240538080925481269208549/11161309640353946713665424346065920*y^2 + 7968009553018264374265362714409/930109136696162226138785362172160*y + 7560255689563206277210774748171/5580654820176973356832712173032960

# 5 Loop Invariant
7657335787248971419810358350927406873/560356526843207322478696273407398464512*y^5 + 14014525860910528087697830360983559259/560356526843207322478696273407398464512*y^4 - 10167727977731361345893908563916874453/2241426107372829289914785093629593858048*y^3 - 14563239464878259154675262332866818441/747142035790943096638261697876531286016*y^2 - 2581922496672268303906665167482504871/280178263421603661239348136703699232256*y - 10655166579249661387399689504257456783/1120713053686414644957392546814796929024

# 6 Loop Invariant
-5767475649969275729189670357323882550005898811191919/200210135128573417147291682431711788378734423695656960*y^5 - 5575839033761184943242039253018109159461296035030443/66736711709524472382430560810570596126244807898552320*y^4 - 1225331410029195625758765320795306921415319711209581/26694684683809788952972224324228238450497923159420928*y^3 + 2462109409272412789832949418369609254440619358158287/50052533782143354286822920607927947094683605923914240*y^2 + 66048306746608252947357198501568088338125127568458727/1067787387352391558118888972969129538019916926376837120*y + 13943907006088429857005697686235437835376122829481039/457623166008167810622380988415341230579964397018644480