# Manifold: Rolfsen Knot 9_6

# Number of Tetrahedra: 8

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

# Approximate Field Generator
0.678305504219546 - 0.413361247565670*I

# Shape Parameters
-11/23*y^11 - 55/23*y^10 - 62/23*y^9 + 32/23*y^8 + 17/23*y^7 - 97/23*y^6 - 51/23*y^5 + 88/23*y^4 + 13/23*y^3 - 87/23*y^2 - 9/23*y + 42/23

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

-146/49*y^11 - 179/49*y^10 + 254/49*y^9 - 111/49*y^8 - 339/49*y^7 - 26/7*y^6 + 501/49*y^5 - 326/49*y^4 - 40/7*y^3 + 64/49*y^2 + 174/49*y - 134/49

-163/529*y^11 - 263/529*y^10 + 18/529*y^9 - 519/529*y^8 - 574/529*y^7 - 371/529*y^6 - 325/529*y^5 - 1042/529*y^4 - 259/529*y^3 + 187/529*y^2 - 470/529*y - 237/529

-11/23*y^11 - 55/23*y^10 - 62/23*y^9 + 32/23*y^8 + 17/23*y^7 - 97/23*y^6 - 51/23*y^5 + 88/23*y^4 + 13/23*y^3 - 87/23*y^2 - 9/23*y + 42/23

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

-y^2 + 1

-y^2 + 1


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

# 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
{1, -1, -1, -1, 1, 1, 0, 0}

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

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

# 1 Loop Invariant
-11/2*y^11 - 12*y^10 + 4*y^9 + 10*y^8 - 13/2*y^7 - 13*y^6 + 27/2*y^5 + 21*y^4 - 11/2*y^3 - 3/2*y^2 + 7*y + 19/2

# 2 Loop Invariant
25467350711047232788860968569/136611686644837462261375562964*y^11 + 46997652999361965386505664619/136611686644837462261375562964*y^10 - 16379489165043259788521103413/68305843322418731130687781482*y^9 - 1773346913592431546897902631/11384307220403121855114630247*y^8 + 1635347704392054541393770647/4406828601446369750366953644*y^7 + 309853400650951737646947301/3252659205829463387175608642*y^6 - 81389713635490541581198958761/136611686644837462261375562964*y^5 - 15799496151735809013095075835/45537228881612487420458520988*y^4 + 3685302246301674236510915597/9757977617488390161526825926*y^3 - 14033837149693252586644921897/68305843322418731130687781482*y^2 - 29092371327037132793468498915/136611686644837462261375562964*y + 13355846146101641308729297189/91074457763224974840917041976

# 3 Loop Invariant
1332399095669954077878756344595746536842090/22496086376950708661779984341754587011678567*y^11 + 2585219654219645638331173111790129703605206/22496086376950708661779984341754587011678567*y^10 - 862679492920442180537162871935751941923839/44992172753901417323559968683509174023357134*y^9 + 2378951790344335723279723938963212266722367/44992172753901417323559968683509174023357134*y^8 + 3080790399776643809682918814572598979935632/22496086376950708661779984341754587011678567*y^7 + 414106425856220799917041161788873695098521/6427453250557345331937138383358453431908162*y^6 - 1361648130620530893259683800417016398864221/44992172753901417323559968683509174023357134*y^5 + 1618533439491843578712518659063824531153695/22496086376950708661779984341754587011678567*y^4 + 83274660297766190970321605672513843733318/3213726625278672665968569191679226715954081*y^3 + 84788604602713209140447137809629370750675/22496086376950708661779984341754587011678567*y^2 + 646775440595344982147356096772706412587835/22496086376950708661779984341754587011678567*y + 39135596384650500944296171469777249204547/22496086376950708661779984341754587011678567

# 4 Loop Invariant
6866410555916778267237031409456109412833258449861268709827280397143908611/184393698171791225958369896148394705523242423262168619347025713534267555280*y^11 + 11859082751965373723394886070215973355545542821596628835263038902441452587/184393698171791225958369896148394705523242423262168619347025713534267555280*y^10 - 5444832608690808963893407790248173800231255954543763082907460295249127543/46098424542947806489592474037098676380810605815542154836756428383566888820*y^9 - 6458624349925542305085771264061682316372134228251266319849972589470548899/184393698171791225958369896148394705523242423262168619347025713534267555280*y^8 + 160760543935888429444608480480529050462631721887424105013684205398788753/495681984332772112791316925130093294417318342102603815448993853586740740*y^7 - 852399171267068175773005678292298606244296944689242151660290359010334349/8780652293894820283731899816590224072535353488674696159382176834965121680*y^6 - 39996207727513185263715272979034406895119472911602690454923998678651073253/184393698171791225958369896148394705523242423262168619347025713534267555280*y^5 + 13973025674303506482724397167247661179230063308880184750975271695829756109/61464566057263741986123298716131568507747474420722873115675237844755851760*y^4 + 3729495133706621828584415539405436477828692314407235497089285084131494399/26341956881684460851195699449770672217606060466024088478146530504895365040*y^3 - 8843171795147985470540113447289878775072577988080073809015598445439633421/61464566057263741986123298716131568507747474420722873115675237844755851760*y^2 - 2035389129804109538003832360434206732446278398347870015308263961071694009/92196849085895612979184948074197352761621211631084309673512856767133777640*y + 6787227280685697291261867446448342618020959924534067580671320670552752853/92196849085895612979184948074197352761621211631084309673512856767133777640