# Manifold: Census Knot K7_8 # Number of Tetrahedra: 7 # Number Field x^16 - 9*x^15 + 18*x^14 + 27*x^13 - 189*x^12 + 223*x^11 + 272*x^10 - 1013*x^9 + 673*x^8 + 980*x^7 - 1928*x^6 + 624*x^5 + 1280*x^4 - 1344*x^3 + 128*x^2 + 512*x - 256 # Approximate Field Generator 0.618809717257667 + 0.800574841915896*I # Shape Parameters -2287/8192*y^15 + 24933/8192*y^14 - 5205/512*y^13 + 46275/8192*y^12 + 465149/8192*y^11 - 1320051/8192*y^10 + 444935/4096*y^9 + 2247255/8192*y^8 - 5356157/8192*y^7 + 1544707/4096*y^6 + 950501/2048*y^5 - 915711/1024*y^4 + 212893/512*y^3 + 61525/256*y^2 - 46509/128*y + 8593/64 3071/16384*y^15 - 29837/16384*y^14 + 4971/1024*y^13 + 421/16384*y^12 - 530005/16384*y^11 + 1120243/16384*y^10 - 213063/8192*y^9 - 2207775/16384*y^8 + 3940277/16384*y^7 - 833939/8192*y^6 - 744727/4096*y^5 + 562869/2048*y^4 - 103153/1024*y^3 - 40641/512*y^2 + 24347/256*y - 3483/128 636145/15745024*y^15 - 6210623/15745024*y^14 + 4199055/3936256*y^13 - 1049005/15745024*y^12 - 108484959/15745024*y^11 + 236876185/15745024*y^10 - 53565387/7872512*y^9 - 434192593/15745024*y^8 + 835455511/15745024*y^7 - 6844861/253952*y^6 - 136237117/3936256*y^5 + 120825165/1968128*y^4 - 27524123/984064*y^3 - 6931537/492032*y^2 + 5460745/246016*y - 920479/123008 251/256*y^15 - 2005/256*y^14 + 311/32*y^13 + 9301/256*y^12 - 38021/256*y^11 + 17439/256*y^10 + 43001/128*y^9 - 166999/256*y^8 - 571/256*y^7 + 122701/128*y^6 - 915*y^5 - 2545/8*y^4 + 7433/8*y^3 - 1475/4*y^2 - 249*y + 245 -1/256*y^15 + 9/256*y^14 - 9/128*y^13 - 27/256*y^12 + 189/256*y^11 - 223/256*y^10 - 17/16*y^9 + 1013/256*y^8 - 673/256*y^7 - 245/64*y^6 + 241/32*y^5 - 39/16*y^4 - 5*y^3 + 21/4*y^2 - 1/2*y - 1 -1/256*y^15 + 9/256*y^14 - 9/128*y^13 - 27/256*y^12 + 189/256*y^11 - 223/256*y^10 - 17/16*y^9 + 1013/256*y^8 - 673/256*y^7 - 245/64*y^6 + 241/32*y^5 - 39/16*y^4 - 5*y^3 + 21/4*y^2 - 1/2*y - 1 -y^15 + 8*y^14 - 10*y^13 - 37*y^12 + 152*y^11 - 71*y^10 - 343*y^9 + 670*y^8 - 3*y^7 - 983*y^6 + 945*y^5 + 321*y^4 - 959*y^3 + 385*y^2 + 257*y - 254 # A Gluing Matrix {{-3,-2,-4,-4,-2,-2,-2},{-2,-1,-2,-2,-1,-1,-1},{-4,-2,-5,-6,-3,-3,-3},{-4,-2,-6,-7,-4,-4,-4},{-4,-2,-6,-8,-2,-4,-2},{-4,-2,-6,-8,-4,-2,-2},{-4,-2,-6,-8,-3,-3,-1}} # B Gluing Matrix {{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,1,0,1},{0,0,0,0,0,1,1},{0,0,0,0,0,0,2}} # nu Gluing Vector {-3, -1, -5, -7, -6, -6, -6} # f Combinatorial flattening {-1, 13, -13, 1, 10, 10, -6} # f' Combinatorial flattening {0, 0, 0, 0, -6, -6, 0} # 1 Loop Invariant -2591/8192*y^15 + 28999/8192*y^14 - 52333/4096*y^13 + 98263/8192*y^12 + 482667/8192*y^11 - 1745109/8192*y^10 + 466427/2048*y^9 + 2003767/8192*y^8 - 7996255/8192*y^7 + 234987/256*y^6 + 811399/2048*y^5 - 840487/512*y^4 + 608855/512*y^3 + 17057/64*y^2 - 114911/128*y + 6813/16 # 2 Loop Invariant -806552578183685852472992959364036975890324625108131/481153622615844530324470317453763183436639135985303552*y^15 + 2149237079472044893235013888184931751016866801848503/160384540871948176774823439151254394478879711995101184*y^14 - 1994934047892920430164160129866177334513665443626527/120288405653961132581117579363440795859159783996325888*y^13 - 30173913086820828984106425542009447413625339631407081/481153622615844530324470317453763183436639135985303552*y^12 + 40745476345167685867971373600455183638474953434116487/160384540871948176774823439151254394478879711995101184*y^11 - 54729031062404593469947111677066999334351758399565859/481153622615844530324470317453763183436639135985303552*y^10 - 46704920283755953814459856909292318536768623150770913/80192270435974088387411719575627197239439855997550592*y^9 + 177575615836287682057269300527073685562017024962391409/160384540871948176774823439151254394478879711995101184*y^8 + 3211722617958786622145247122028860949711611203782609/160384540871948176774823439151254394478879711995101184*y^7 - 398862311083479207201021543711545151952719417189546659/240576811307922265162235158726881591718319567992651776*y^6 + 61218118326971459072280069173089446438575682226589353/40096135217987044193705859787813598619719927998775296*y^5 + 34102239779524675252833644430417901524989359262782585/60144202826980566290558789681720397929579891998162944*y^4 - 47845217167479884655975357780569570609774010709695647/30072101413490283145279394840860198964789945999081472*y^3 + 3279657233335878971818946681119035251520692045880029/5012016902248380524213232473476699827464990999846912*y^2 + 1225284276076161425787837460465981998406407188362707/2506008451124190262106616236738349913732495499923456*y + 19855015661146519740218491745923772260025503658776887/1253004225562095131053308118369174956866247749961728 # 3 Loop Invariant -256540665364001614822160362309546171198707055547578375019556602010948134053/501803617948366942888928751516948999027733565677447229615671840987933406396416*y^15 + 2028727087173659251541962635214778018702740774672257595075973340075633588263/501803617948366942888928751516948999027733565677447229615671840987933406396416*y^14 - 294780000206345576173861964736978126773387658171342877621419064479373349809/62725452243545867861116093939618624878466695709680903701958980123491675799552*y^13 - 9816846377949885395771064835317795577155880790849477053752082299923603785511/501803617948366942888928751516948999027733565677447229615671840987933406396416*y^12 + 37915142711571165450718765383197015016146324725211554719409248437957895532143/501803617948366942888928751516948999027733565677447229615671840987933406396416*y^11 - 13924486716123855152828503810144721488337712416948826271289930873558809974105/501803617948366942888928751516948999027733565677447229615671840987933406396416*y^10 - 44987891438684725161503739868856395172049821010297199726155902842185000226415/250901808974183471444464375758474499513866782838723614807835920493966703198208*y^9 + 159678016018774453676353997180953034506630628766853381606227124829992577072117/501803617948366942888928751516948999027733565677447229615671840987933406396416*y^8 + 16569604505146398942098002218045758052171873166805864851729231135446022766401/501803617948366942888928751516948999027733565677447229615671840987933406396416*y^7 - 123872893195928318787585132100720338554975301496582169608688559036767708301315/250901808974183471444464375758474499513866782838723614807835920493966703198208*y^6 + 52252844247673184966939403236893156384990625125326308665610551949877312317849/125450904487091735722232187879237249756933391419361807403917960246983351599104*y^5 + 12574987849539530278799065623200499885719204469971527275321937396881829037329/62725452243545867861116093939618624878466695709680903701958980123491675799552*y^4 - 14106830961283979813400054977459801248965127755531704240446063125366121170261/31362726121772933930558046969809312439233347854840451850979490061745837899776*y^3 + 2359488805140534062012888754240179079198989504284152814974118686286722516087/15681363060886466965279023484904656219616673927420225925489745030872918949888*y^2 + 974670844262368836633887744466121624435567399994169364910021491720892677187/7840681530443233482639511742452328109808336963710112962744872515436459474944*y - 403543542074439940751897403233407985267230265599226666331450712673887254279/3920340765221616741319755871226164054904168481855056481372436257718229737472