# Manifold: Census Knot K7_51 # Number of Tetrahedra: 7 # Number Field x^15 + 114/11*x^14 + 493/11*x^13 + 1237/11*x^12 + 1612/11*x^11 - 497/11*x^10 - 6964/11*x^9 - 15263/11*x^8 - 17228/11*x^7 - 6625/11*x^6 + 11315/11*x^5 + 23105/11*x^4 + 21466/11*x^3 + 11907/11*x^2 + 3823/11*x + 551/11 # Approximate Field Generator -0.532306180118061 + 0.845900305282507*I # Shape Parameters 4638076882204908780/7369911824993895053*y^14 + 44441614590053757121/7369911824993895053*y^13 + 171819778007712324073/7369911824993895053*y^12 + 375722142730452362663/7369911824993895053*y^11 + 346187679771445382571/7369911824993895053*y^10 - 557116449080036989763/7369911824993895053*y^9 - 2544194414917564905619/7369911824993895053*y^8 - 4264584801702476764119/7369911824993895053*y^7 - 3354557034167157522407/7369911824993895053*y^6 + 616545778026256967534/7369911824993895053*y^5 + 4698254255891235592715/7369911824993895053*y^4 + 5658054396940062639596/7369911824993895053*y^3 + 3635951378166935475058/7369911824993895053*y^2 + 1281005152704270114000/7369911824993895053*y + 195703211106683598810/7369911824993895053 1012349238498702181/7369911824993895053*y^14 + 8391219604400624054/7369911824993895053*y^13 + 25969093166576308476/7369911824993895053*y^12 + 42220737582414749474/7369911824993895053*y^11 - 1372022903515274132/7369911824993895053*y^10 - 164986554208966918662/7369911824993895053*y^9 - 373236720884266877998/7369911824993895053*y^8 - 355070151630891699086/7369911824993895053*y^7 + 55375957005237687627/7369911824993895053*y^6 + 543905495540352301549/7369911824993895053*y^5 + 614238983436351199411/7369911824993895053*y^4 + 243009561160582489974/7369911824993895053*y^3 - 103550872439144305802/7369911824993895053*y^2 - 142604086256709842783/7369911824993895053*y - 36622276356489559170/7369911824993895053 646052130146183687619/4060821415571636174203*y^14 + 381750198905289829223/213727442924822956537*y^13 + 1157877373618623010619/140028324674884006007*y^12 + 86960468970313475205249/4060821415571636174203*y^11 + 117939629480242172818522/4060821415571636174203*y^10 - 29945794500078124478245/4060821415571636174203*y^9 - 499917321763506517689918/4060821415571636174203*y^8 - 1102080129790976651970425/4060821415571636174203*y^7 - 1207478753381207923496398/4060821415571636174203*y^6 - 358587426073611027797148/4060821415571636174203*y^5 + 964244641915831247736134/4060821415571636174203*y^4 + 1695448813239572611097006/4060821415571636174203*y^3 + 1394639634173842682741988/4060821415571636174203*y^2 + 638204712747787957554298/4060821415571636174203*y + 137835986873124171347928/4060821415571636174203 2097845075221915388314473/997583894719348640479027*y^14 + 20043599270026572285174746/997583894719348640479027*y^13 + 77795398106145981644824999/997583894719348640479027*y^12 + 24705011749185012976030920/142511984959906948639861*y^11 + 167547322214280418505089944/997583894719348640479027*y^10 - 229973645523862378988477497/997583894719348640479027*y^9 - 1140920137902442087287602165/997583894719348640479027*y^8 - 283785025012411556787105898/142511984959906948639861*y^7 - 1679679803812120399756012132/997583894719348640479027*y^6 + 88662761851578617986733104/997583894719348640479027*y^5 + 2075471696633092626234383018/997583894719348640479027*y^4 + 2722073143674050919559293784/997583894719348640479027*y^3 + 1899202730836918890364417449/997583894719348640479027*y^2 + 750126711536992077174086822/997583894719348640479027*y + 135459942265905855553946926/997583894719348640479027 -5534975387405202948892826/997583894719348640479027*y^14 - 52623210189761527831921743/997583894719348640479027*y^13 - 202755871135039512819491520/997583894719348640479027*y^12 - 63808360646128981817605201/142511984959906948639861*y^11 - 421546038568125796455662257/997583894719348640479027*y^10 + 624041594906844834319510353/997583894719348640479027*y^9 + 2974862558022748032544918632/997583894719348640479027*y^8 + 728104377672308492861096242/142511984959906948639861*y^7 + 4203662163967977866016186590/997583894719348640479027*y^6 - 390984285861195607047604176/997583894719348640479027*y^5 - 5407768117770672808821167978/997583894719348640479027*y^4 - 6910452876414069143894970443/997583894719348640479027*y^3 - 4722267986194691790922868334/997583894719348640479027*y^2 - 1814717997780800518730320086/997583894719348640479027*y - 310294991552066084958225452/997583894719348640479027 12586024351905079179280924/997583894719348640479027*y^14 + 118641848810559214350885243/997583894719348640479027*y^13 + 452591264062857744027197837/997583894719348640479027*y^12 + 141224198992192657795224013/142511984959906948639861*y^11 + 909141600211432616706553137/997583894719348640479027*y^10 - 1437180323960297322905373683/997583894719348640479027*y^9 - 6628740223307939986853817044/997583894719348640479027*y^8 - 1601148579740001903091369709/142511984959906948639861*y^7 - 9081287861328823445137482466/997583894719348640479027*y^6 + 1093611285902882616400790134/997583894719348640479027*y^5 + 11991443436733541231161170952/997583894719348640479027*y^4 + 15092220953276496467696877156/997583894719348640479027*y^3 + 10204565052989700830994404216/997583894719348640479027*y^2 + 3884978496019504365327708826/997583894719348640479027*y + 659255527685837172401600726/997583894719348640479027 -1475880956607813618883273/997583894719348640479027*y^14 - 14504041100369756069108483/997583894719348640479027*y^13 - 57937112928851279896546876/997583894719348640479027*y^12 - 18764795448216879357590345/142511984959906948639861*y^11 - 134677191931453948929729007/997583894719348640479027*y^10 + 158818346924175364427284321/997583894719348640479027*y^9 + 855155497799712546972610188/997583894719348640479027*y^8 + 218765395325673050544969390/142511984959906948639861*y^7 + 1334756463701446416043741974/997583894719348640479027*y^6 - 14721980741803440214364723/997583894719348640479027*y^5 - 1581429347850140857310723283/997583894719348640479027*y^4 - 2122792608276318804245595834/997583894719348640479027*y^3 - 1496307089238360418905600990/997583894719348640479027*y^2 - 590838906148271240905589020/997583894719348640479027*y - 102414623954013968951852313/997583894719348640479027 # A Gluing Matrix {{2,-1,0,0,0,0,0},{-1,3,2,2,0,2,1},{0,1,2,2,0,2,1},{0,1,2,3,-1,2,2},{0,0,0,-1,0,0,0},{0,1,2,2,0,1,1},{0,1,2,4,0,2,1}} # B Gluing Matrix {{2,0,0,0,0,0,0},{0,2,0,0,0,0,1},{0,0,1,0,0,0,1},{0,0,0,1,0,0,2},{0,0,0,0,1,0,0},{0,0,0,0,0,1,1},{0,0,0,0,0,0,3}} # nu Gluing Vector {0, 3, 3, 3, 0, 2, 3} # f Combinatorial flattening {12, 6, 5, 0, -15, 1, -15} # f' Combinatorial flattening {-9, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -4366121921703543247192507/142511984959906948639861*y^14 - 42430053510747752661934871/142511984959906948639861*y^13 - 168642524920871008735334232/142511984959906948639861*y^12 - 385519721486090266162488444/142511984959906948639861*y^11 - 403844453477202804577739486/142511984959906948639861*y^10 + 431547226853347754506209358/142511984959906948639861*y^9 + 2466162047590176119959898653/142511984959906948639861*y^8 + 4520608404471092608762265019/142511984959906948639861*y^7 + 4115170578342027382648205751/142511984959906948639861*y^6 + 257295378061038145827805023/142511984959906948639861*y^5 - 4497490153962679606338176799/142511984959906948639861*y^4 - 6412008302251534331962228565/142511984959906948639861*y^3 - 4747916199530587105636241655/142511984959906948639861*y^2 - 1993584327206442605778928658/142511984959906948639861*y - 383432521807775509990811289/142511984959906948639861 # 2 Loop Invariant -7626470202705421623070968748117820757901305925147354787340437140367/14089074011109364774757910261154072249307509123765294666495795981338*y^14 - 580540082707776051110005684832701987453950231668876877864767155008643/112712592088874918198063282089232577994460072990122357331966367850704*y^13 - 19305056123432391339433243070071407109578309399598868049570826191853/971660276628232053431580018010625672366035111983813425275572136644*y^12 - 705592351989240991816702570784658434173631877127403602318703512039445/16101798869839274028294754584176082570637153284303193904566623978672*y^11 - 4675838517742874141984211721532893951297663733237355244602923322281969/112712592088874918198063282089232577994460072990122357331966367850704*y^10 + 2288076751020699331945634214592545245514792236063372920655010676301929/37570864029624972732687760696410859331486690996707452443988789283568*y^9 + 16435365937192777804773061727269344632587347953819190253917819210771169/56356296044437459099031641044616288997230036495061178665983183925352*y^8 + 2014619187275862396593249905804061896998802687370484172139098520380603/4025449717459818507073688646044020642659288321075798476141655994668*y^7 + 23312068060856539600289216843282757328976136225078013609140565663017721/56356296044437459099031641044616288997230036495061178665983183925352*y^6 - 701145948913854350185302893250404058152846031867526439853756373900161/18785432014812486366343880348205429665743345498353726221994394641784*y^5 - 2492975241820859012502596249742092665985023639474107422688219104883663/4696358003703121591585970087051357416435836374588431555498598660446*y^4 - 76554682684774035859987394393784259984051631488088815592445711961705757/112712592088874918198063282089232577994460072990122357331966367850704*y^3 - 13082050246192856834293602050412385160668983026467394037102002764881247/28178148022218729549515820522308144498615018247530589332991591962676*y^2 - 10044576195743650938499491220716023263875005699096934791032885744701967/56356296044437459099031641044616288997230036495061178665983183925352*y - 638304749408910459577190615675389710127538715909863312686227491960973/37570864029624972732687760696410859331486690996707452443988789283568 # 3 Loop Invariant -16758932404828089976391329297441299332846938559500380520458213986708795588770240300898797/9002001171759343112863535864829739709581104487857337611482023149916575668921428394474272208*y^14 + 209588356572990982258715613887861324923774556454766307971085022757630464437315876834264761/18004002343518686225727071729659479419162208975714675222964046299833151337842856788948544416*y^13 + 220458808331174006717137883537731349823964132776173385309269072883862511431898636375411267/1241655334035771463843246326183412373735324756945839670549244572402286299161576330272313408*y^12 + 207071090094764085918145538175476371646522746595034299972175740658098712509619897863028885/321500041848547968316554852315347846770753731709190628981500826782734845318622442659795436*y^11 + 23593909071783664630653304349478004644673983380454371415902103559401129839456850806807562839/18004002343518686225727071729659479419162208975714675222964046299833151337842856788948544416*y^10 + 6842550470540601924479119274753844968378910591968099168781319450400957542646989485146666027/9002001171759343112863535864829739709581104487857337611482023149916575668921428394474272208*y^9 - 107743120395294832991642736699434137052785182371501457207226838340629138413990694133790003047/36008004687037372451454143459318958838324417951429350445928092599666302675685713577897088832*y^8 - 6114296167388321315601027979855867370380465248868173080566790675198252273116328508500603233/643000083697095936633109704630695693541507463418381257963001653565469690637244885319590872*y^7 - 455226548110015177810209424357656131027192845232683473074746069545025617144635549844009476967/36008004687037372451454143459318958838324417951429350445928092599666302675685713577897088832*y^6 - 215468161302168010800046168034581304362866343162893452726821153264765909011467764486915472043/36008004687037372451454143459318958838324417951429350445928092599666302675685713577897088832*y^5 + 265149976016469400441081638249483367267377312208132310085078005987665754061547626178841855199/36008004687037372451454143459318958838324417951429350445928092599666302675685713577897088832*y^4 + 287246994532658407676386503216547223786706379217046080758539937593515653486270186501332063953/18004002343518686225727071729659479419162208975714675222964046299833151337842856788948544416*y^3 + 31016632240753189566653742756741416515879661436073878863362387665105839212881315167385738879/2250500292939835778215883966207434927395276121964334402870505787479143917230357098618568052*y^2 + 226714846977381074719279362757048157757504974759804272487671548248591536711037807405837094271/36008004687037372451454143459318958838324417951429350445928092599666302675685713577897088832*y + 11315941488354623277119683018635669951345495143826366522183698155418794498870551314904118995/9002001171759343112863535864829739709581104487857337611482023149916575668921428394474272208