# Manifold: Census Knot K8_233

# Number of Tetrahedra: 8

# Number Field
x^9 + 10*x^8 + 35*x^7 + 41*x^6 - 20*x^5 - 41*x^4 + 28*x^3 - 2*x^2 - 4*x + 1 

# Approximate Field Generator
0.321453182994883 + 0.325068677070629*I

# Shape Parameters
y^8 + 10*y^7 + 35*y^6 + 41*y^5 - 20*y^4 - 41*y^3 + 28*y^2 - 2*y - 3

-74/217*y^8 - 800/217*y^7 - 3180/217*y^6 - 5108/217*y^5 - 1213/217*y^4 + 3200/217*y^3 - 363/217*y^2 - 334/217*y + 424/217

-74/217*y^8 - 800/217*y^7 - 3180/217*y^6 - 5108/217*y^5 - 1213/217*y^4 + 3200/217*y^3 - 363/217*y^2 - 334/217*y + 424/217

-48/217*y^8 - 472/217*y^7 - 1746/217*y^6 - 2762/217*y^5 - 1256/217*y^4 + 586/217*y^3 + 5/217*y^2 + 59/217*y + 146/217

73/217*y^8 + 754/217*y^7 + 2791/217*y^6 + 3866/217*y^5 - 79/217*y^4 - 2365/217*y^3 + 1751/217*y^2 - 40/217*y + 4/217

139/217*y^8 + 1403/217*y^7 + 5029/217*y^6 + 6416/217*y^5 - 1607/217*y^4 - 5612/217*y^3 + 3019/217*y^2 + 340/217*y - 468/217

73/217*y^8 + 754/217*y^7 + 2791/217*y^6 + 3866/217*y^5 - 79/217*y^4 - 2365/217*y^3 + 1751/217*y^2 - 40/217*y + 4/217

73/217*y^8 + 754/217*y^7 + 2791/217*y^6 + 3866/217*y^5 - 79/217*y^4 - 2365/217*y^3 + 1751/217*y^2 - 40/217*y + 4/217


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

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

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

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

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

# 1 Loop Invariant
-685/31*y^8 - 6896/31*y^7 - 24572/31*y^6 - 30696/31*y^5 + 9950/31*y^4 + 30033/31*y^3 - 13971/31*y^2 - 2548/31*y + 2369/31

# 2 Loop Invariant
862558514047833650713/25134986581496452818024*y^8 + 293515658015797441723/897678092196301886358*y^7 + 1857723105824635126267/1795356184392603772716*y^6 + 4910292510528790505965/6283746645374113204506*y^5 - 5061672289936739335694/3141873322687056602253*y^4 - 37713089182289350184093/25134986581496452818024*y^3 + 40414599701585537836189/25134986581496452818024*y^2 - 791663181414104423953/4189164430249408803004*y - 7478236908923085836287/12567493290748226409012

# 3 Loop Invariant
1283740314427474062010020847785847/9544789071267192017724147092481248*y^8 + 935026671738390775914711622995447/681770647947656572694581935177232*y^7 + 853480297610164747887494420458745/170442661986914143173645483794308*y^6 + 32487349216837240485730127144837585/4772394535633596008862073546240624*y^5 - 126976029138905813462441919414135/596549316954199501107759193280078*y^4 - 37836212831045052454179361191750063/9544789071267192017724147092481248*y^3 + 28570051327243012388018101018899741/9544789071267192017724147092481248*y^2 - 3095865053690394719867230991532559/4772394535633596008862073546240624*y + 272769255590908177189710978028215/9544789071267192017724147092481248

# 4 Loop Invariant
566483036452207542693559735470899458538733765355324205/46433834560551263508952650304847033390954959299092209152*y^8 - 173869289948373357732686207692488612243739652901909949/8291756171527011340884401840151255962670528446266465920*y^7 - 17067934654944941532005112332333918481538935480318966361/16583512343054022681768803680302511925341056892532931840*y^6 - 30980044529729847513749683185952609211502967852927651033/6449143688965453265132312542339865748743744347096140160*y^5 - 85871056479338540910824337332985795857825627559370013423/11608458640137815877238162576211758347738739824773052288*y^4 - 26345742009683969648770038051269858842928301477925745533/232169172802756317544763251524235166954774796495461045760*y^3 + 1081801550320699968124582553516773769270468463688850271313/232169172802756317544763251524235166954774796495461045760*y^2 - 375246171294048869664701531918332258003751273116667201519/116084586401378158772381625762117583477387398247730522880*y + 151576953169685284592470631065562468602527973487748447941/232169172802756317544763251524235166954774796495461045760