# Manifold: Rolfsen Knot 8_10

# Number of Tetrahedra: 9

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

# Approximate Field Generator
-1.33508279091195 + 0.612199592472492*I

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

-1/4*y^10 + y^9 - 3/4*y^8 - y^7 + 3/4*y^6 + 1/2*y^5 - 3/2*y^4 + 11/2*y^3 - 33/4*y^2 + 11/2*y - 3/2

-1/4*y^10 - 1/4*y^9 + 5/4*y^8 + 1/2*y^7 - 5/4*y^6 - 3/4*y^5 - y^4 - 1/4*y^3 + 17/4*y^2 - 3*y + 3/2

1/4*y^10 - y^9 + 3/4*y^8 + y^7 - 3/4*y^6 - 1/2*y^5 + 3/2*y^4 - 11/2*y^3 + 29/4*y^2 - 11/2*y + 7/2

-1/4*y^10 + 1/4*y^9 + 1/4*y^8 - 1/4*y^6 - 1/4*y^5 - y^4 + 9/4*y^3 - 7/4*y^2 + y - 1

-5/92*y^10 + 15/92*y^9 - 5/46*y^8 - 7/23*y^7 + 1/4*y^6 + 33/92*y^5 - 53/92*y^4 + 85/92*y^3 - 21/23*y^2 + 5/23*y + 9/23

1/4*y^10 - 1/4*y^9 - 3/4*y^8 + 1/2*y^7 + 5/4*y^6 - 1/4*y^5 - 7/4*y^3 - 3/4*y^2 + 3/2*y + 3/2

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

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


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

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

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

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

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

# 1 Loop Invariant
-4*y^10 + 3*y^9 + 65/8*y^8 - 2*y^7 - 7*y^6 + 9/4*y^5 - 131/8*y^4 + 87/4*y^3 - 57/8*y^2 - 5*y + 13/4

# 2 Loop Invariant
-1197665402647316823657761/11578150458194181276294192*y^10 + 41320642307656761448039/1929691743032363546049032*y^9 + 3117252812492939079843829/11578150458194181276294192*y^8 + 1088862104433815141755121/11578150458194181276294192*y^7 - 5459037458006892896853/20974910250351777674446*y^6 - 309382978798126393436687/1447268807274272659536774*y^5 - 2606811814965916192364773/5789075229097090638147096*y^4 + 6056149052657064104662993/11578150458194181276294192*y^3 + 404911036339362142178935/1447268807274272659536774*y^2 - 2164536257891365294755907/11578150458194181276294192*y - 5221727588257869773392021/3859383486064727092098064

# 3 Loop Invariant
20285114053407964769988045804380662085/348766475855297125761587500341906119552*y^10 - 23643639550829377114003525666746498325/174383237927648562880793750170953059776*y^9 - 4512667754473662334129186156406205599/348766475855297125761587500341906119552*y^8 + 48435888248833188062750053239528274491/348766475855297125761587500341906119552*y^7 + 541511106827409373947790700777897925/15163759819795527207025543493126353024*y^6 - 2304824258726592575185845915677371955/43595809481912140720198437542738264944*y^5 + 43210126391196656356558863893451290019/174383237927648562880793750170953059776*y^4 - 267607803247631730046310162801159149023/348766475855297125761587500341906119552*y^3 + 265265923909895835987835162337901628209/348766475855297125761587500341906119552*y^2 - 175868009831042791824138157617776013415/348766475855297125761587500341906119552*y + 21769688774184975952510897091269085227/87191618963824281440396875085476529888

# 4 Loop Invariant
-51442780170919944763099678254084529234707114739214997229746652051/484568487867213393332738041223406551916970352554008234417029038080*y^10 + 63974082163120188517228837395910694098660240810384483768608762571/242284243933606696666369020611703275958485176277004117208514519040*y^9 - 17899952350915711698547772825432656620126534393707069720000396599/484568487867213393332738041223406551916970352554008234417029038080*y^8 - 127861756040975071630882500182727761756794005247477337843888559101/484568487867213393332738041223406551916970352554008234417029038080*y^7 + 140482532719396777478180562085879692970532291047666217715015881/4213639024932290376806417749768752625364959587426158560148078592*y^6 + 7463529768864738165314595035093526953327374093920640779706590023/60571060983401674166592255152925818989621294069251029302128629760*y^5 - 125253133217272775952999613768488844801205425721248563238682259781/242284243933606696666369020611703275958485176277004117208514519040*y^4 + 144262654726842092523844735269879591509423876129392356426699738869/96913697573442678666547608244681310383394070510801646883405807616*y^3 - 815610769250608093080885925455046868436975399094538013698522696167/484568487867213393332738041223406551916970352554008234417029038080*y^2 + 108619310949640740039630520385175556197595706313912820410624735421/96913697573442678666547608244681310383394070510801646883405807616*y - 65160379897005565091409191247847403374570527566370352063177365709/121142121966803348333184510305851637979242588138502058604257259520