# Manifold: Census Knot K7_54 # Number of Tetrahedra: 7 # Number Field x^13 + x^12 + 40*x^11 + 120*x^10 + 22*x^9 - 698*x^8 - 328*x^7 + 498*x^6 + 495*x^5 + 367*x^4 + 314*x^3 - 35*x^2 - 39*x + 41 # Approximate Field Generator -0.810690602640574 + 0.392475581471952*I # Shape Parameters 51832617919243612/27337503942552788419*y^12 + 63620656084411089/27337503942552788419*y^11 + 2073915913019461653/27337503942552788419*y^10 + 6627358511528120420/27337503942552788419*y^9 + 1964613030897503763/27337503942552788419*y^8 - 39548577159073248531/27337503942552788419*y^7 - 35715202095152234117/27337503942552788419*y^6 + 14119004737863281501/27337503942552788419*y^5 + 51845625383304857018/27337503942552788419*y^4 + 65290572155981610703/27337503942552788419*y^3 + 32531689935650413583/27337503942552788419*y^2 + 8687880446555855463/27337503942552788419*y + 19100844922574046589/27337503942552788419 -575825847938632/246037535482975095771*y^12 + 175982077627124090/82012511827658365257*y^11 + 57595020402920093/27337503942552788419*y^10 + 21689429969712268178/246037535482975095771*y^9 + 64719720369606773674/246037535482975095771*y^8 + 38938605812212291633/246037535482975095771*y^7 - 286266330307171965292/246037535482975095771*y^6 - 104390463837226023176/246037535482975095771*y^5 + 1020630863211546004/82012511827658365257*y^4 + 17609402508949426386/27337503942552788419*y^3 + 28919985815980125947/82012511827658365257*y^2 + 42196716412960707491/82012511827658365257*y + 278480996007282392306/246037535482975095771 244986974822608780777791/41613339863881452400920733*y^12 + 323101756189613210614373/83226679727762904801841466*y^11 + 9804370857938868511499969/41613339863881452400920733*y^10 + 52245497814997265514493275/83226679727762904801841466*y^9 - 2198262810230464942592423/83226679727762904801841466*y^8 - 163257398546873454965498421/41613339863881452400920733*y^7 - 552193366872282710569386/1014959508875157375632213*y^6 + 180510558075262138799588741/83226679727762904801841466*y^5 + 147206271037089813837332089/83226679727762904801841466*y^4 + 94302534802146984733127836/41613339863881452400920733*y^3 + 120245302861611575279450289/83226679727762904801841466*y^2 - 16455947313910453287682358/41613339863881452400920733*y + 43946422203551257250022827/41613339863881452400920733 244986974822608780777791/41613339863881452400920733*y^12 + 323101756189613210614373/83226679727762904801841466*y^11 + 9804370857938868511499969/41613339863881452400920733*y^10 + 52245497814997265514493275/83226679727762904801841466*y^9 - 2198262810230464942592423/83226679727762904801841466*y^8 - 163257398546873454965498421/41613339863881452400920733*y^7 - 552193366872282710569386/1014959508875157375632213*y^6 + 180510558075262138799588741/83226679727762904801841466*y^5 + 147206271037089813837332089/83226679727762904801841466*y^4 + 94302534802146984733127836/41613339863881452400920733*y^3 + 120245302861611575279450289/83226679727762904801841466*y^2 - 16455947313910453287682358/41613339863881452400920733*y + 43946422203551257250022827/41613339863881452400920733 121848164898810158311112/24257906785920274250811231*y^12 + 108711018935243137478105/24257906785920274250811231*y^11 + 4897910770046317846885036/24257906785920274250811231*y^10 + 14144552210445204308426020/24257906785920274250811231*y^9 + 2605707268990713441674995/24257906785920274250811231*y^8 - 80394898200841670928668848/24257906785920274250811231*y^7 - 28353203215084378568907736/24257906785920274250811231*y^6 + 13873675578029837693602077/8085968928640091416937077*y^5 + 39922915714582455516888290/24257906785920274250811231*y^4 + 56502020850794133631838947/24257906785920274250811231*y^3 + 38908368868178917287207101/24257906785920274250811231*y^2 - 3362080874850634942549163/24257906785920274250811231*y + 25358115709473496664722681/24257906785920274250811231 193204954479877402926139/127427787714846404154504739*y^12 + 242812935830906850781242/127427787714846404154504739*y^11 + 7645361215414820117875356/127427787714846404154504739*y^10 + 25124116724067542824623465/127427787714846404154504739*y^9 + 4864429050299952110487373/127427787714846404154504739*y^8 - 146192154043378903172531093/127427787714846404154504739*y^7 - 95612234297045216235707531/127427787714846404154504739*y^6 + 162307171081607684283542765/127427787714846404154504739*y^5 + 104188167176102121974832501/127427787714846404154504739*y^4 + 74613261997410213809730552/127427787714846404154504739*y^3 + 22934725281794606634837602/127427787714846404154504739*y^2 - 9092039936711369171597360/127427787714846404154504739*y + 84902002060655997320114579/127427787714846404154504739 -432256779324963337775/45954344127431237332339*y^12 - 467334860019690761498/45954344127431237332339*y^11 - 17265364576210085811592/45954344127431237332339*y^10 - 53159671248701917433779/45954344127431237332339*y^9 - 11238125281136432668513/45954344127431237332339*y^8 + 310389950991980593025454/45954344127431237332339*y^7 + 4275407896009885128444/1120837661644664325179*y^6 - 238978022405827723356428/45954344127431237332339*y^5 - 279882285350000298823526/45954344127431237332339*y^4 - 168989298029839174209119/45954344127431237332339*y^3 - 108219489909263749157071/45954344127431237332339*y^2 + 60343765827980529248800/45954344127431237332339*y + 93864953032078629151865/45954344127431237332339 # A Gluing Matrix {{-3,-8,-6,-6,-6,-4,-2},{-4,-7,-6,-6,-6,-4,-2},{-3,-6,-4,-6,-5,-4,-2},{-3,-6,-6,-4,-5,-4,-2},{-3,-6,-5,-5,-4,-4,-2},{-2,-4,-4,-4,-4,-3,-2},{-1,-2,-2,-2,-2,-2,-1}} # B Gluing Matrix {{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,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 {-4, -5, -4, -4, -4, -3, -1} # f Combinatorial flattening {2, 1, -1, -1, 0, -1, 3} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 846967333946778830499/7490476080259464026806*y^12 + 424640820305176063006/3745238040129732013403*y^11 + 17056674822270859932974/3745238040129732013403*y^10 + 101961624929762893500185/7490476080259464026806*y^9 + 13991882271377078442430/3745238040129732013403*y^8 - 563077838767642363609559/7490476080259464026806*y^7 - 141521143266751841053202/3745238040129732013403*y^6 + 123624500608103672627431/3745238040129732013403*y^5 + 185116079054167587256572/3745238040129732013403*y^4 + 286839603278520259789710/3745238040129732013403*y^3 + 107587985629691640097244/3745238040129732013403*y^2 + 29819340441392106608761/3745238040129732013403*y + 16302328420386017250647/3745238040129732013403 # 2 Loop Invariant 347482947561362054334254964647556364440378756293678471/1035343068174385457929927254796349777046994139983941817104*y^12 + 1351578017230611919079394873705105308225841767932760569/1035343068174385457929927254796349777046994139983941817104*y^11 + 14889133062353765878926378344315292999572173524503712485/1035343068174385457929927254796349777046994139983941817104*y^10 + 27482922244391669280387296174269732308663703616444210159/345114356058128485976642418265449925682331379994647272368*y^9 + 128302552086720841831226313249463448891132887201341418177/1035343068174385457929927254796349777046994139983941817104*y^8 - 196869309752920325274326052710406950205119083349025795599/1035343068174385457929927254796349777046994139983941817104*y^7 - 367716241759276459483773942642955803821798965120075191601/517671534087192728964963627398174888523497069991970908552*y^6 - 11546174027537629775438122729406683467313203377349068785/172557178029064242988321209132724962841165689997323636184*y^5 + 437063311309628439954982385497671326199751502930232317177/1035343068174385457929927254796349777046994139983941817104*y^4 + 140231835812617905150206127419446410299149485908223920567/258835767043596364482481813699087444261748534995985454276*y^3 + 165449779839911576330210996196748357970930471114596693003/517671534087192728964963627398174888523497069991970908552*y^2 + 90313715911409579695558030214129347122423890921792182301/517671534087192728964963627398174888523497069991970908552*y - 11413659135917557395718501128544321141116465291298310945/345114356058128485976642418265449925682331379994647272368 # 3 Loop Invariant -174041083691494946124791349051462417829288229764231805234195152745022953/104762251919119120836076819680082825666067067122140854995160911935517432512*y^12 - 64773089736925600368693805413465926212015455545661824964866021394672303/104762251919119120836076819680082825666067067122140854995160911935517432512*y^11 - 6921448620215936285791189150019680914258614772775224573338869648002187173/104762251919119120836076819680082825666067067122140854995160911935517432512*y^10 - 1033070976528379646266145346956692363442145219142628763528966569607022361/6547640744944945052254801230005176604129191695133803437197556995969839532*y^9 + 409720684063841590127563353689989803887453162470170073697280548999492261/6547640744944945052254801230005176604129191695133803437197556995969839532*y^8 + 117785968788694603392244728445058546730229243478083977374530418954264645437/104762251919119120836076819680082825666067067122140854995160911935517432512*y^7 - 14902794685724595609285632713207520198335560808545231525028784267163842555/104762251919119120836076819680082825666067067122140854995160911935517432512*y^6 - 73575692319944857146434567331252190014260428528787087276843253052281943029/104762251919119120836076819680082825666067067122140854995160911935517432512*y^5 - 2580847480428720471707633376481641685514895000505259918381314132316851037/6547640744944945052254801230005176604129191695133803437197556995969839532*y^4 - 21659168471436665044254579226211474952378626067773559512610520838600020085/52381125959559560418038409840041412833033533561070427497580455967758716256*y^3 - 35954996126101052252934685492725245497253440786811318759471794856598534399/104762251919119120836076819680082825666067067122140854995160911935517432512*y^2 + 20368742359942203655943153297187502005870790012535955974684779301509258151/104762251919119120836076819680082825666067067122140854995160911935517432512*y - 8115886161491859121439197155046465090150072526762238256979654818056891171/104762251919119120836076819680082825666067067122140854995160911935517432512