# Manifold: Census Knot K7_115 # Number of Tetrahedra: 7 # Number Field x^15 - 9*x^14 + 11*x^13 + 47*x^12 - 25*x^11 - 83*x^10 + 13*x^9 + 48*x^8 - 11*x^7 + 19*x^6 + 23*x^5 - 36*x^4 - 17*x^3 + 17*x^2 + 4*x - 3 # Approximate Field Generator 0.665063038884576 + 0.000334516730031079*I # Shape Parameters 210316107/279019*y^14 - 1752997507/279019*y^13 + 1147794573/279019*y^12 + 10648541663/279019*y^11 + 1821632264/279019*y^10 - 16245914142/279019*y^9 - 8065555730/279019*y^8 + 4733021266/279019*y^7 + 830738123/279019*y^6 + 4548358097/279019*y^5 + 7863164438/279019*y^4 - 2344075817/279019*y^3 - 5134207902/279019*y^2 + 162258814/279019*y + 949314017/279019 1363553/1651*y^14 - 11365818/1651*y^13 + 7446583/1651*y^12 + 69029248/1651*y^11 + 11791285/1651*y^10 - 105301431/1651*y^9 - 52264870/1651*y^8 + 30655525/1651*y^7 + 5377136/1651*y^6 + 29505839/1651*y^5 + 50958067/1651*y^4 - 15199749/1651*y^3 - 33260753/1651*y^2 + 1052130/1651*y + 6146691/1651 14433867/21463*y^14 - 120312341/21463*y^13 + 78828118/21463*y^12 + 730662774/21463*y^11 + 124899185/21463*y^10 - 1114489472/21463*y^9 - 553309901/21463*y^8 + 324337618/21463*y^7 + 56850147/21463*y^6 + 312256524/21463*y^5 + 539417392/21463*y^4 - 160764452/21463*y^3 - 352012262/21463*y^2 + 11115187/21463*y + 65038492/21463 2045448/1651*y^14 - 16946308/1651*y^13 + 10219384/1651*y^12 + 104918293/1651*y^11 + 21885299/1651*y^10 - 160814296/1651*y^9 - 84690264/1651*y^8 + 47402665/1651*y^7 + 10158435/1651*y^6 + 43293036/1651*y^5 + 79463278/1651*y^4 - 21423776/1651*y^3 - 52648567/1651*y^2 + 934264/1651*y + 9968495/1651 1012844/1651*y^14 - 8451574/1651*y^13 + 5612636/1651*y^12 + 51172595/1651*y^11 + 8375182/1651*y^10 - 78065016/1651*y^9 - 38277900/1651*y^8 + 22775869/1651*y^7 + 3865219/1651*y^6 + 21991330/1651*y^5 + 37601589/1651*y^4 - 11464237/1651*y^3 - 24529848/1651*y^2 + 854077/1651*y + 4523716/1651 22566299/54483*y^14 - 62697666/18161*y^13 + 123202033/54483*y^12 + 1142252110/54483*y^11 + 195674239/54483*y^10 - 1741645951/54483*y^9 - 865345945/54483*y^8 + 168664205/18161*y^7 + 88554779/54483*y^6 + 44380534/4953*y^5 + 843243178/54483*y^4 - 83614062/18161*y^3 - 49988765/4953*y^2 + 17224915/54483*y + 101531798/54483 1229615/1651*y^14 - 10246038/1651*y^13 + 6686463/1651*y^12 + 62274402/1651*y^11 + 10790009/1651*y^10 - 94967513/1651*y^9 - 47334202/1651*y^8 + 27606114/1651*y^7 + 4876812/1651*y^6 + 26558294/1651*y^5 + 46028219/1651*y^4 - 13623842/1651*y^3 - 30046144/1651*y^2 + 923758/1651*y + 5555206/1651 # A Gluing Matrix {{1,0,1,1,2,0,2},{0,0,0,0,-1,-1,0},{0,0,2,1,2,1,2},{1,0,2,1,2,0,2},{1,-1,2,1,5,1,4},{0,-1,1,0,1,-1,2},{1,0,2,1,4,2,3}} # B Gluing Matrix {{1,0,0,1,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,2,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,1,0},{0,0,0,0,0,0,1}} # nu Gluing Vector {2, 0, 2, 2, 3, 1, 3} # f Combinatorial flattening {0, 1, 0, 0, 0, 0, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 75210719/3302*y^14 - 626835013/3302*y^13 + 204994093/1651*y^12 + 3808674435/3302*y^11 + 653808743/3302*y^10 - 5811717987/3302*y^9 - 2888804401/3302*y^8 + 846862660/1651*y^7 + 149852420/1651*y^6 + 813304370/1651*y^5 + 1406845811/1651*y^4 - 837528167/3302*y^3 - 1838019659/3302*y^2 + 28771124/1651*y + 339900793/3302 # 2 Loop Invariant 9416427927828910716411459003330823087616436181667/45877223183604881583184150798044093443312104584*y^14 - 426537376924626806659461410209942271896743633424/249332734693504791212957341293717899148435351*y^13 + 51359650716169717861974302536451685026416619387807/45877223183604881583184150798044093443312104584*y^12 + 953572238147982974003344504074025725566333529883073/91754446367209763166368301596088186886624209168*y^11 + 163459666471904273543894197324925057148240981671947/91754446367209763166368301596088186886624209168*y^10 - 484884680780025092534570751590246110188033603469895/30584815455736587722122767198696062295541403056*y^9 - 722700542839849222981072874165845062888541425566017/91754446367209763166368301596088186886624209168*y^8 + 211741537864430138624700825893916213215919722362717/45877223183604881583184150798044093443312104584*y^7 + 74468363309039277918424413778754747660128875358885/91754446367209763166368301596088186886624209168*y^6 + 135784333535453841421919491674404428632281927337281/30584815455736587722122767198696062295541403056*y^5 + 352098141335129754123358943589289372110702814214069/45877223183604881583184150798044093443312104584*y^4 - 19065283881368115516215060637336489400006403765101/8341313306109978469669845599644380626056746288*y^3 - 229845430290293414471348869191874487475588557363275/45877223183604881583184150798044093443312104584*y^2 + 4819509558286454472081196486075386152082372464517/30584815455736587722122767198696062295541403056*y + 5309111914315945900513911465397637955483640153805/5734652897950610197898018849755511680414013073 # 3 Loop Invariant 544396037448415574602918136757478416552984319987319387640168584854623/65819603879733489314944394525581997177696683683527535732718939273952*y^14 - 12887265724302566899278833362981544183347838043930951697995436492357/186987511021970140099273848084039764709365578646385044695224259301*y^13 + 5920692741342830916653159305730586532355615321979319295593319728753975/131639207759466978629888789051163994355393367367055071465437878547904*y^12 + 13786233821857008141018045961292746933054834009452424566431063323313025/32909801939866744657472197262790998588848341841763767866359469636976*y^11 + 9546557107222579015501452247701283057843570116669411514714876264671051/131639207759466978629888789051163994355393367367055071465437878547904*y^10 - 5255734044322195237198396342622283669855182057540371587743492517510041/8227450484966686164368049315697749647212085460440941966589867409244*y^9 - 59533819710602545601324118391353083742851058924991754956122295862184/186987511021970140099273848084039764709365578646385044695224259301*y^8 + 24419937711951772737239154983267994352354056549638728962282598981380049/131639207759466978629888789051163994355393367367055071465437878547904*y^7 + 539938082275640392050003412784227910784974934450784233145986615348603/16454900969933372328736098631395499294424170920881883933179734818488*y^6 + 5885708705835256727943911963837463503939552283470417114887609926505971/32909801939866744657472197262790998588848341841763767866359469636976*y^5 + 1772419817861380757674461638682070903920340561450631515761694985192915/5723443815628999070864729958746260624147537711611090063714690371648*y^4 - 12055109054879781968355772129289432012893665601414591631189477820209049/131639207759466978629888789051163994355393367367055071465437878547904*y^3 - 36124989906849225468935328282533880796428871013587279220997929233169/178857619238406220964522811210820644504610553487846564491084074114*y^2 + 404177450433594023536029925562249380458597596424555311899526279106009/65819603879733489314944394525581997177696683683527535732718939273952*y + 2454621352724176980496615640020430601328779212830533979715220663074961/65819603879733489314944394525581997177696683683527535732718939273952