# Manifold: Census Knot K8_135 # Number of Tetrahedra: 8 # Number Field x^14 + 14*x^13 + 56*x^12 - 333*x^11 + 477*x^10 + 276*x^9 - 244*x^8 + 795*x^7 - 217*x^6 - 524*x^5 + 10*x^4 + 95*x^3 + 32*x^2 - 6*x - 1 # Approximate Field Generator -0.276208955964803 - 0.294752638210090*I # Shape Parameters -1245153287965249136679/5344825598397174737618*y^13 - 36224909248038175222787/10689651196794349475236*y^12 - 159601157073130254691753/10689651196794349475236*y^11 + 737152714545388387672435/10689651196794349475236*y^10 - 804822892281088927306943/10689651196794349475236*y^9 - 1010948541081134268839839/10689651196794349475236*y^8 - 60962631758531418967241/5344825598397174737618*y^7 - 2103716796114710455058785/10689651196794349475236*y^6 - 569380056196224612130171/10689651196794349475236*y^5 + 169691578376147649513899/2672412799198587368809*y^4 + 446461203252143965725473/10689651196794349475236*y^3 + 23632187009455382426406/2672412799198587368809*y^2 - 26418038235262423137575/10689651196794349475236*y + 4520175476117894316065/2672412799198587368809 -78872720994481753084484/964741020510690040140049*y^13 - 1191062714904554145729640/964741020510690040140049*y^12 - 5685387641307181094472586/964741020510690040140049*y^11 + 20633284189486218275703119/964741020510690040140049*y^10 - 12097360570757040614871518/964741020510690040140049*y^9 - 47620747900990722278903724/964741020510690040140049*y^8 - 20971612620347073772407764/964741020510690040140049*y^7 - 65188472970514415779964693/964741020510690040140049*y^6 - 52491676302084412508114969/964741020510690040140049*y^5 + 871550468639112477391415/50775843184773160007371*y^4 + 30795571052505532850824953/964741020510690040140049*y^3 + 10991295418346752326730178/964741020510690040140049*y^2 - 1727552016402210375216393/964741020510690040140049*y - 1143597052059396680834203/964741020510690040140049 185039311122233695249/2672412799198587368809*y^13 + 4695310375647669953331/5344825598397174737618*y^12 + 6969539649037505267274/2672412799198587368809*y^11 - 75189143013967479054523/2672412799198587368809*y^10 + 168487588111358398876958/2672412799198587368809*y^9 - 71781097795029640488579/2672412799198587368809*y^8 - 164325367858223313789703/5344825598397174737618*y^7 + 333760095727611565403957/5344825598397174737618*y^6 - 243462082989373864111116/2672412799198587368809*y^5 - 66727693404792449396181/5344825598397174737618*y^4 + 119884521647104125353953/5344825598397174737618*y^3 + 68586117445121931764015/5344825598397174737618*y^2 - 6647258872985059905081/5344825598397174737618*y - 5781724400212216741673/5344825598397174737618 -5115109616943176203250/50775843184773160007371*y^13 - 74823194001180659435687/50775843184773160007371*y^12 - 333967350193776330299836/50775843184773160007371*y^11 + 1486406663706605995994319/50775843184773160007371*y^10 - 1532234768939241406893479/50775843184773160007371*y^9 - 2175899555791622479652241/50775843184773160007371*y^8 - 498019197738086275954641/50775843184773160007371*y^7 - 4317968451653965796044906/50775843184773160007371*y^6 - 1458388341482143782829363/50775843184773160007371*y^5 + 66403697599989328040838/2672412799198587368809*y^4 + 1159887490941191741362777/50775843184773160007371*y^3 + 309518443818468911910179/50775843184773160007371*y^2 - 66194556868707083443539/50775843184773160007371*y + 17881747896367777829759/50775843184773160007371 907418233353289673362/2672412799198587368809*y^13 + 13121012430473587906250/2672412799198587368809*y^12 + 56910460954261870854619/2672412799198587368809*y^11 - 275070244125909486474728/2672412799198587368809*y^10 + 310699036477059169965286/2672412799198587368809*y^9 + 375669507754671984403878/2672412799198587368809*y^8 - 35126059923216558768852/2672412799198587368809*y^7 + 742009524784068433951388/2672412799198587368809*y^6 + 149565849829166390579406/2672412799198587368809*y^5 - 358424667756800955212529/2672412799198587368809*y^4 - 122599960473199468656170/2672412799198587368809*y^3 + 6043325757211514906464/2672412799198587368809*y^2 + 12821828642581603389497/2672412799198587368809*y + 200687417309485788139/2672412799198587368809 -253238684055084224785/2672412799198587368809*y^13 - 3766875643881450326869/2672412799198587368809*y^12 - 17432579033160731383664/2672412799198587368809*y^11 + 69778730347494135279565/2672412799198587368809*y^10 - 56116398403808182570647/2672412799198587368809*y^9 - 128973145908393172353985/2672412799198587368809*y^8 - 57636252629949286553375/2672412799198587368809*y^7 - 199016179274372837197736/2672412799198587368809*y^6 - 110186605345718551271785/2672412799198587368809*y^5 + 53757173496814694169116/2672412799198587368809*y^4 + 108349096637057240897979/2672412799198587368809*y^3 + 28302117308377114475947/2672412799198587368809*y^2 - 15550361404871542803300/2672412799198587368809*y - 2754885108686700153911/2672412799198587368809 -367924631479077780988/2672412799198587368809*y^13 - 5384059189137801305174/2672412799198587368809*y^12 - 23686981550376471010438/2672412799198587368809*y^11 + 111842760436550312415814/2672412799198587368809*y^10 - 89766028345442639434055/2672412799198587368809*y^9 - 280183550590636866542187/2672412799198587368809*y^8 + 163518063161011492899104/2672412799198587368809*y^7 - 281353478713691115714758/2672412799198587368809*y^6 - 137966075116327166113124/2672412799198587368809*y^5 + 405050052061408470375355/2672412799198587368809*y^4 - 52184813391853649934154/2672412799198587368809*y^3 - 37655817002750396461524/2672412799198587368809*y^2 - 20388225180296977286539/2672412799198587368809*y + 10694387675151492373461/2672412799198587368809 6505435950176945150203/50775843184773160007371*y^13 + 94143284344019481572597/50775843184773160007371*y^12 + 408038645173518813953776/50775843184773160007371*y^11 - 1982744299531004023853177/50775843184773160007371*y^10 + 2136253828574586733138691/50775843184773160007371*y^9 + 3038762589584882113963815/50775843184773160007371*y^8 - 567376447933955883314792/50775843184773160007371*y^7 + 4853661753797781194484872/50775843184773160007371*y^6 + 1156038171530727232193169/50775843184773160007371*y^5 - 181434500382951100184650/2672412799198587368809*y^4 - 1167127788646946066735588/50775843184773160007371*y^3 + 438030284120261044643918/50775843184773160007371*y^2 + 206677175439296480449009/50775843184773160007371*y + 53050802282330942141755/50775843184773160007371 # A Gluing Matrix {{1,0,-2,0,0,-2,0,2},{1,-1,-1,-1,2,-3,0,3},{0,0,-1,-1,1,-2,0,2},{1,-2,-3,0,1,-4,0,4},{0,0,-1,-1,1,-1,0,2},{0,0,0,0,1,1,1,0},{0,0,0,0,0,1,1,0},{1,-2,-3,-1,2,-5,0,5}} # B Gluing Matrix {{2,0,0,0,0,0,0,2},{0,1,0,0,0,0,0,4},{0,0,1,0,0,0,0,3},{0,0,0,1,0,0,0,5},{0,0,0,0,1,0,0,2},{0,0,0,0,0,1,0,1},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,6}} # nu Gluing Vector {0, 1, 1, 0, 1, 1, 1, 0} # f Combinatorial flattening {-2, 3, 4, 5, 0, 0, 1, 5} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 697895025644836305431/2672412799198587368809*y^13 + 22437851496185517755237/5344825598397174737618*y^12 + 58557884223396810189767/2672412799198587368809*y^11 - 162948416541375936296794/2672412799198587368809*y^10 - 200579534263978804727090/2672412799198587368809*y^9 + 1123499838854261443878637/2672412799198587368809*y^8 - 42008975343063043414487/5344825598397174737618*y^7 - 364790256278348639993077/5344825598397174737618*y^6 + 1052430247061087394110828/2672412799198587368809*y^5 - 2626771986052345441918739/5344825598397174737618*y^4 - 1994069839370755594032351/5344825598397174737618*y^3 + 1022734591606747537068739/5344825598397174737618*y^2 + 414674793398355507938613/5344825598397174737618*y + 60446483216014810489051/5344825598397174737618 # 2 Loop Invariant -16934242224703807917762783303978058878895694615848601890865/480046802107452437639494782138024763678443771927621605585296*y^13 - 725795127197619721252150993120860983049711073346542648888451/1440140406322357312918484346414074291035331315782864816755888*y^12 - 3063872931887285014460769103463135178592847031948180943293737/1440140406322357312918484346414074291035331315782864816755888*y^11 + 2646968201212015170495857199953570872031421078165292590851155/240023401053726218819747391069012381839221885963810802792648*y^10 - 6786139122140751830691499212718888226162209788875113236306683/480046802107452437639494782138024763678443771927621605585296*y^9 - 1374686464325384358275031677206486569407407272663369089937065/120011700526863109409873695534506190919610942981905401396324*y^8 + 3638488929263404634239051689545724029587641447013265777804279/1440140406322357312918484346414074291035331315782864816755888*y^7 - 21708428529252977769523942166155060775974758874803798870007849/720070203161178656459242173207037145517665657891432408377944*y^6 - 71349161684305996297466379094278038332535136562196324769601/120011700526863109409873695534506190919610942981905401396324*y^5 + 8538083797217243336625213058923393956933019347493067292266849/720070203161178656459242173207037145517665657891432408377944*y^4 + 1037118978528967971762572381186587091687653322201489571290441/480046802107452437639494782138024763678443771927621605585296*y^3 + 13724382702971031452130091506290267117121899944274520344233/180017550790294664114810543301759286379416414472858102094486*y^2 - 617596483732731343875067098521498447861545516195031451428093/1440140406322357312918484346414074291035331315782864816755888*y + 66363509980830227913251579872503136923794706227843135888291/90008775395147332057405271650879643189708207236429051047243 # 3 Loop Invariant 29999175893399024480330070847452047181324571785058722934716767604181181190659/6433889530969048937813320704397137209567931068198826545444923977554308235635648*y^13 + 54195517397656737329976629080991416794814117461061792262969448099482056778341/804236191371131117226665088049642151195991383524853318180615497194288529454456*y^12 + 935613733241997972609279010638901375330927782660880642070457877484237573617995/3216944765484524468906660352198568604783965534099413272722461988777154117817824*y^11 - 575349109749934535096103443711698998479602320813938373690251526671964556057695/402118095685565558613332544024821075597995691762426659090307748597144264727228*y^10 + 311074158936607700264986723981644805559814631605391306923262163540146550721841/201059047842782779306666272012410537798997845881213329545153874298572132363614*y^9 + 14752267325827316667035975778119587110837485238421895608472391310766250715312353/6433889530969048937813320704397137209567931068198826545444923977554308235635648*y^8 - 5202782825686322799063191301537864642060746040908311914963927659292819464720477/6433889530969048937813320704397137209567931068198826545444923977554308235635648*y^7 + 12037497330047172994734741306916334707166835290637442842761019148369487736599925/3216944765484524468906660352198568604783965534099413272722461988777154117817824*y^6 + 2646686092890689160825966616911785940700568778631301512824178082763965452380717/3216944765484524468906660352198568604783965534099413272722461988777154117817824*y^5 - 4442697465524904878348764751882366033880010353966361519141562960609496647632331/1608472382742262234453330176099284302391982767049706636361230994388577058908912*y^4 - 534945208918139809922763682091525241705924174429440055440928976131723752793607/3216944765484524468906660352198568604783965534099413272722461988777154117817824*y^3 + 1447325981197651515571791245144902174213325866366996350361757937401045347246325/6433889530969048937813320704397137209567931068198826545444923977554308235635648*y^2 + 522221550372595697319871582826650846776567205652870505638451281606342699879699/3216944765484524468906660352198568604783965534099413272722461988777154117817824*y - 145390717596686935559863536661311691319284680441933574246768122719728984958675/6433889530969048937813320704397137209567931068198826545444923977554308235635648 # 4 Loop Invariant 394858920083283485912416222633385334422306506251281121726796716234827174424677906852268846629731148176518068684738521/52007520803718418749654644810692214767491079567678747508711622376843873909251717728209895057657395834921918151961431040*y^13 + 133162471922750411435285339192063184063500820865387579238748596859089258060130970454416225635348483387141010908106087/1300188020092960468741366120267305369187276989191968687717790559421096847731292943205247376441434895873047953799035776*y^12 + 802063568874650704120241192717070494572063269330105672058818620006554560382661982160737567779095470478146829356669263/2166980033488267447902276867112175615312128315319947812862984265701828079552154905342078960735724826455079922998392960*y^11 - 15934193815266019328959965497221287630907778633006037886401758628769034068726602866437934983998419092021007632239115881/5778613422635379861072738312299134974165675507519860834301291375204874878805746414245543895295266203880213127995714560*y^10 + 42054433824832891907786066241394352455333632584564876976066366631485535888325092976765694307861723880482734529464498811/8667920133953069791609107468448702461248513261279791251451937062807312318208619621368315842942899305820319691993571840*y^9 + 23078804744207661655645815398939822514002358011604692525628632395645996523961547911025070113708339170982699535403440659/52007520803718418749654644810692214767491079567678747508711622376843873909251717728209895057657395834921918151961431040*y^8 - 153913288329572526450618393287122135299610680462541754669525216244090144924461303717368885015531542339441530847759956483/52007520803718418749654644810692214767491079567678747508711622376843873909251717728209895057657395834921918151961431040*y^7 + 54874429262733238132371805375018620566642314405256569182534540617875293941957842492291108742446489883142942422254518917/8667920133953069791609107468448702461248513261279791251451937062807312318208619621368315842942899305820319691993571840*y^6 - 126996777917541367544566215322895689923377125006009400406853341424549624019003362599259821171080417854663185824929566653/26003760401859209374827322405346107383745539783839373754355811188421936954625858864104947528828697917460959075980715520*y^5 - 97460631921230394711591427363640169796643250120531821102338848096715639757615634934247995140978450325115312250155371217/26003760401859209374827322405346107383745539783839373754355811188421936954625858864104947528828697917460959075980715520*y^4 + 69841151425984055453138079508008590920640535991120176431265615365289434092710397585419799458026051736041793667679486861/52007520803718418749654644810692214767491079567678747508711622376843873909251717728209895057657395834921918151961431040*y^3 + 52463497389461489851908660582211248760285466060508498615958792293397035507575342725804771670141845737983047720033318471/52007520803718418749654644810692214767491079567678747508711622376843873909251717728209895057657395834921918151961431040*y^2 + 1018109424759153830713630156382532325380820520544884179740497737686480990372070161338639017286704935086568669536117473/6500940100464802343706830601336526845936384945959843438588952797105484238656464716026236882207174479365239768995178880*y - 4695851251496605775418709198022049658660984355636405231467237302438579776496199457719122698727535852242236998668287069/52007520803718418749654644810692214767491079567678747508711622376843873909251717728209895057657395834921918151961431040