# Manifold: Rolfsen Knot 9_44 # Number of Tetrahedra: 8 # Number Field x^10 + 2*x^9 - 11/7*x^8 - 6*x^7 - 5/7*x^6 + 50/7*x^5 + 23/7*x^4 - 4*x^3 - 17/7*x^2 + 6/7*x + 4/7 # Approximate Field Generator 0.807279608369289 - 0.0550902789303103*I # Shape Parameters -2226/187*y^9 - 651/22*y^8 + 47/187*y^7 + 11545/187*y^6 + 7604/187*y^5 - 7954/187*y^4 - 18257/374*y^3 + 964/187*y^2 + 3087/187*y + 690/187 -721/34*y^9 - 91/2*y^8 + 657/34*y^7 + 3777/34*y^6 + 1087/34*y^5 - 1775/17*y^4 - 1009/17*y^3 + 706/17*y^2 + 390/17*y - 86/17 -203/68*y^9 - 7*y^8 + 81/68*y^7 + 545/34*y^6 + 719/68*y^5 - 373/34*y^4 - 977/68*y^3 - 45/34*y^2 + 333/68*y + 45/17 469/34*y^9 + 7*y^8 - 1927/34*y^7 - 857/17*y^6 + 2821/34*y^5 + 1625/17*y^4 - 1763/34*y^3 - 1368/17*y^2 + 491/34*y + 390/17 -441/68*y^9 - 35/2*y^8 - 21/68*y^7 + 1327/34*y^6 + 1841/68*y^5 - 951/34*y^4 - 2269/68*y^3 + 125/34*y^2 + 775/68*y + 45/17 -63/68*y^9 - 7*y^8 - 615/68*y^7 + 345/34*y^6 + 1691/68*y^5 - 6/17*y^4 - 1587/68*y^3 - 138/17*y^2 + 543/68*y + 127/34 -126/187*y^9 - 70/11*y^8 - 1825/187*y^7 + 1278/187*y^6 + 8923/374*y^5 + 1587/374*y^4 - 7963/374*y^3 - 3959/374*y^2 + 2597/374*y + 780/187 469/34*y^9 + 7*y^8 - 1927/34*y^7 - 857/17*y^6 + 2821/34*y^5 + 1625/17*y^4 - 1763/34*y^3 - 1368/17*y^2 + 491/34*y + 390/17 # A Gluing Matrix {{1,0,0,1,1,-1,1,1},{0,2,0,0,0,1,1,0},{0,0,1,1,0,-1,1,1},{1,0,1,1,1,-1,0,1},{1,0,0,1,1,0,0,1},{0,1,0,0,1,0,1,0},{1,1,1,0,0,1,0,0},{1,0,1,1,1,-1,0,1}} # B Gluing Matrix {{1,0,0,0,0,0,0,1},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,1},{0,0,0,1,0,0,0,1},{0,0,0,0,1,0,0,1},{0,0,0,0,0,1,0,1},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,2}} # nu Gluing Vector {2, 2, 2, 2, 2, 2, 2, 2} # f Combinatorial flattening {0, -2, 2, 2, 0, 2, 4, 0} # f' Combinatorial flattening {-2, 0, -4, 0, 0, 0, 0, 0} # 1 Loop Invariant -7371/68*y^9 - 1183/4*y^8 - 4601/68*y^7 + 18537/34*y^6 + 16295/34*y^5 - 20539/68*y^4 - 34719/68*y^3 - 2177/68*y^2 + 2678/17*y + 791/17 # 2 Loop Invariant -199697834355780346901/108232787386447214424*y^9 - 88222912662261235229/18038797897741202404*y^8 - 8292900889951605523/36077595795482404808*y^7 + 139999719576329504353/13529098423305901803*y^6 + 128672609696098684477/18038797897741202404*y^5 - 134654608359820786771/18038797897741202404*y^4 - 942826112922785351345/108232787386447214424*y^3 + 55257011293059221177/54116393693223607212*y^2 + 335809887920895122569/108232787386447214424*y + 28705243567539404669/13529098423305901803 # 3 Loop Invariant 4572375622077065767818274602755/5209791010146278775769774730144*y^9 + 120044014883621979543089136783/153229147357243493404993374416*y^8 - 13912448564349843928793415266427/5209791010146278775769774730144*y^7 - 8000514095315898176797968050085/2604895505073139387884887365072*y^6 + 16893728018600664420405049450243/5209791010146278775769774730144*y^5 + 11603376471859460415655275083805/2604895505073139387884887365072*y^4 - 9014203999681059727293081091193/5209791010146278775769774730144*y^3 - 4083390246668823440883401883027/1302447752536569693942443682536*y^2 + 2927431346232788934643591147695/5209791010146278775769774730144*y + 1759666237521010324368636371975/2604895505073139387884887365072 # 4 Loop Invariant 7828911051712002485324166183429206632403424091564057/4229026520467396898870530073034302865946013282977920*y^9 + 1252816817089695871625169949651602526275439062615131/497532531819693752808297655651094454817178033291520*y^8 - 3789324633469748199607981611118741823202218629803989/845805304093479379774106014606860573189202656595584*y^7 - 7703231115110315935174051086257989871237731556174563/939783671214977088637895571785400636876891840661760*y^6 + 15932582200851637321319442178496209932944510952352643/4229026520467396898870530073034302865946013282977920*y^5 + 6025094666117648376247103186349251659100838977559605/563870202728986253182737343071240382126135104397056*y^4 - 2225788156293744814716810816917228535448403127626197/4229026520467396898870530073034302865946013282977920*y^3 - 58754278444270871723629980774667536980098150457637461/8458053040934793797741060146068605731892026565955840*y^2 - 18592238370232158412838123450539960714433134491883/88104719176404102059802709854881309707208610062040*y + 2872126912250362445051637470952409064976244218086095/1691610608186958759548212029213721146378405313191168