# Manifold: Census Knot K8_20 # Number of Tetrahedra: 8 # Number Field x^12 + 5*x^11 + 11*x^10 - 9*x^9 + 41*x^8 + 48*x^7 + 11*x^6 + 58*x^5 + 43*x^4 + 31*x^3 + 12*x^2 + 3*x + 1 # Approximate Field Generator -0.227926813043214 - 0.483107576668594*I # Shape Parameters 471943/10491968*y^11 + 1289629/5245984*y^10 + 6395191/10491968*y^9 - 138713/1311496*y^8 + 19502295/10491968*y^7 + 1127715/361792*y^6 + 4301337/2622992*y^5 + 19138317/5245984*y^4 + 36777351/10491968*y^3 + 2015907/655748*y^2 + 2438197/2622992*y + 16585657/10491968 765375/10491968*y^11 + 1629087/5245984*y^10 + 5635891/10491968*y^9 - 794187/655748*y^8 + 38418847/10491968*y^7 + 596167/361792*y^6 - 2839755/2622992*y^5 + 20033473/5245984*y^4 + 25461559/10491968*y^3 + 7157065/2622992*y^2 + 170371/327874*y + 13583557/10491968 -699223059/1332479936*y^11 - 1581148053/666239968*y^10 - 6146575035/1332479936*y^9 + 1173298213/166559992*y^8 - 32816742499/1332479936*y^7 - 630229543/45947584*y^6 + 700399687/333119984*y^5 - 20790034073/666239968*y^4 - 9355015059/1332479936*y^3 - 1893910299/166559992*y^2 - 132133355/333119984*y - 160455349/1332479936 -1268211/10491968*y^11 - 2224333/5245984*y^10 - 4868859/10491968*y^9 + 3764379/1311496*y^8 - 74356675/10491968*y^7 + 595993/361792*y^6 + 15472163/2622992*y^5 - 39695001/5245984*y^4 + 41383901/10491968*y^3 + 1413091/1311496*y^2 + 3479653/2622992*y + 12563259/10491968 -1268211/10491968*y^11 - 2224333/5245984*y^10 - 4868859/10491968*y^9 + 3764379/1311496*y^8 - 74356675/10491968*y^7 + 595993/361792*y^6 + 15472163/2622992*y^5 - 39695001/5245984*y^4 + 41383901/10491968*y^3 + 1413091/1311496*y^2 + 3479653/2622992*y + 12563259/10491968 -6093689/10491968*y^11 - 14998251/5245984*y^10 - 64451321/10491968*y^9 + 7654799/1311496*y^8 - 250950953/10491968*y^7 - 9413613/361792*y^6 - 8581711/2622992*y^5 - 168114307/5245984*y^4 - 223751993/10491968*y^3 - 4753969/327874*y^2 - 10217439/2622992*y + 1963689/10491968 287857551/1332479936*y^11 + 700214671/666239968*y^10 + 3048987947/1332479936*y^9 - 335811245/166559992*y^8 + 12745954719/1332479936*y^7 + 380124047/45947584*y^6 + 1273687467/333119984*y^5 + 8874842609/666239968*y^4 + 8640376863/1332479936*y^3 + 3081984717/333119984*y^2 + 332912567/166559992*y + 1850760805/1332479936 -6093689/10491968*y^11 - 14998251/5245984*y^10 - 64451321/10491968*y^9 + 7654799/1311496*y^8 - 250950953/10491968*y^7 - 9413613/361792*y^6 - 8581711/2622992*y^5 - 168114307/5245984*y^4 - 223751993/10491968*y^3 - 4753969/327874*y^2 - 10217439/2622992*y + 1963689/10491968 # A Gluing Matrix {{4,4,2,0,0,1,-2,1},{2,4,2,0,0,1,-2,1},{1,2,2,0,0,1,-2,1},{0,0,0,0,0,0,-1,1},{0,0,0,0,0,1,-1,0},{1,2,2,1,1,1,0,1},{-1,-2,-2,-1,-1,0,0,0},{1,2,2,2,0,1,0,1}} # B Gluing Matrix {{2,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,1},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,2}} # nu Gluing Vector {0, 0, 0, 0, 0, 2, 0, 2} # f Combinatorial flattening {-2, 0, 2, 0, -2, 0, 0, 0} # f' Combinatorial flattening {2, 0, -2, 0, 0, 2, 0, 0} # 1 Loop Invariant 18213575/10491968*y^11 + 35914299/5245984*y^10 + 97832907/10491968*y^9 - 50057201/1311496*y^8 + 882321207/10491968*y^7 + 7179855/361792*y^6 - 264340565/2622992*y^5 + 422172201/5245984*y^4 - 101139865/10491968*y^3 - 172428357/2622992*y^2 - 7480261/327874*y - 113114779/10491968 # 2 Loop Invariant -193463487458708708046465870481657057/10166847923610603190744518145676646144*y^11 - 358323596422961930276634922438697245/5083423961805301595372259072838323072*y^10 - 830417861443940394440283537379157513/10166847923610603190744518145676646144*y^9 + 582814878472210488202492042690629683/1270855990451325398843064768209580768*y^8 - 3318690612551424458117846381082542459/3388949307870201063581506048558882048*y^7 + 107930156738951817159662520424000715/10166847923610603190744518145676646144*y^6 + 259250510217686444382159820547643949/211809331741887566473844128034930128*y^5 - 1609457145099518981315540205954605859/1694474653935100531790753024279441024*y^4 + 4179849715885916049934487950398915763/10166847923610603190744518145676646144*y^3 + 273720241877929958128393611070888315/317713997612831349710766192052395192*y^2 + 542716502067119443302260138465142257/1270855990451325398843064768209580768*y + 8979815435964522178652739071304133177/10166847923610603190744518145676646144 # 3 Loop Invariant -122576043561022603797332616613221371609237633410817/20744268497415105671728427576253367496291735257422848*y^11 - 587368071407802153076935951496881320494341788152247/20744268497415105671728427576253367496291735257422848*y^10 - 74985301264094381209349399544237543889192479573009/1296516781088444104483026723515835468518233453588928*y^9 + 95191418073900688562812966327188213301018863393495/1296516781088444104483026723515835468518233453588928*y^8 - 4845551668358303760255619434019724761581303667531057/20744268497415105671728427576253367496291735257422848*y^7 - 2337992734310435486522485697325992648669963341768969/10372134248707552835864213788126683748145867628711424*y^6 + 32085477161400330748187367717050322769972670583021/10372134248707552835864213788126683748145867628711424*y^5 - 1502318749083011820018710284939601135798067756999747/5186067124353776417932106894063341874072933814355712*y^4 - 3223085158501417193257578849765654778200742911258893/20744268497415105671728427576253367496291735257422848*y^3 - 2957250549206682629359621321262682923739799134055437/20744268497415105671728427576253367496291735257422848*y^2 - 19476719590919131086572501130816853772750664966705/20744268497415105671728427576253367496291735257422848*y + 1163797285702287312615587499240733784884730206007/2593033562176888208966053447031670937036466907177856 # 4 Loop Invariant -53049697327086726776808613285165193715815915081608658329236681425364763110261998303/9327075141507412634955790656118251600997012484894744949290646133192703574853218533376*y^11 - 613160905529178912654161065508481777084452610757782873679294821634757229775422233183/23317687853768531587389476640295629002492531212236862373226615332981758937133046333440*y^10 - 2440237660163206049634209945822707305347577983998976049015316409760937449188721266863/46635375707537063174778953280591258004985062424473724746453230665963517874266092666880*y^9 + 93201478598188868574573567534715370048592407404314669904398948776771986883196656333/1165884392688426579369473832014781450124626560611843118661330766649087946856652316672*y^8 - 30181639000671769526308210843299917592060870534048862975777987880004683444437309943681/139906127122611189524336859841773774014955187273421174239359691997890553622798278000640*y^7 - 10349161936224908475432430601469554422737229730764516156412446690124247688487232833989/139906127122611189524336859841773774014955187273421174239359691997890553622798278000640*y^6 - 5760330098276391376433809125490771150413035258354894394946088539606454297131876353/777256261792284386246315888009854300083084373741228745774220511099391964571101544448*y^5 - 1266284685240324555015120010077954375322556053740635117460542735433830038528040075239/7772562617922843862463158880098543000830843737412287457742205110993919645711015444480*y^4 - 6573593954020705255036633858713970734027649250371623995598505543594707119920021281937/139906127122611189524336859841773774014955187273421174239359691997890553622798278000640*y^3 - 26141346507193817953092130891317652590463826995862008003067144558078234322209445297/777256261792284386246315888009854300083084373741228745774220511099391964571101544448*y^2 + 30700665659082079410890381859600834113729857205574531920138633148211056459489928081/4372066472581599672635526870055430437967349602294411694979990374934079800712446187520*y + 597094946359943267414158595654197001327165115641267435693291739570158364369145688029/139906127122611189524336859841773774014955187273421174239359691997890553622798278000640