# Manifold: Census Knot K7_74 # Number of Tetrahedra: 7 # Number Field x^17 - 10*x^16 + 88*x^15 - 404*x^14 + 584*x^13 + 1084*x^12 - 4868*x^11 + 8663*x^10 - 10429*x^9 + 9326*x^8 - 6389*x^7 + 3339*x^6 - 1234*x^5 + 299*x^4 - 45*x^3 + 14*x^2 - 4*x + 1 # Approximate Field Generator 0.968056657171691 - 0.151268428114137*I # Shape Parameters -628569828247580965233/3534602682770292748312*y^16 + 3085645716719030529023/1767301341385146374156*y^15 - 54093749768800689393599/3534602682770292748312*y^14 + 60790434542664969178465/883650670692573187078*y^13 - 314659622964478496951817/3534602682770292748312*y^12 - 387264933265013897841051/1767301341385146374156*y^11 + 2959691023061168726082073/3534602682770292748312*y^10 - 4775617861449144900152491/3534602682770292748312*y^9 + 656590170318284609852369/441825335346286593539*y^8 - 4271008241461145262487877/3534602682770292748312*y^7 + 2590318114294581700884827/3534602682770292748312*y^6 - 563830305468215465039151/1767301341385146374156*y^5 + 276599922411874985525929/3534602682770292748312*y^4 - 12343837554994038685603/3534602682770292748312*y^3 - 865683217683384826947/441825335346286593539*y^2 - 3591070356947937772909/3534602682770292748312*y + 1679058092091806284381/1767301341385146374156 -453137585726654442599/3976428018116579341851*y^16 + 4449538083203093015122/3976428018116579341851*y^15 - 39055611230882638409864/3976428018116579341851*y^14 + 58615256785106582754784/1325476006038859780617*y^13 - 231395314575260344656014/3976428018116579341851*y^12 - 539756091435412255510181/3976428018116579341851*y^11 + 2117960312243621528042969/3976428018116579341851*y^10 - 1174859742023641531427459/1325476006038859780617*y^9 + 1336497049769174905928674/1325476006038859780617*y^8 - 3358220314342773747469409/3976428018116579341851*y^7 + 2106730461498773642711372/3976428018116579341851*y^6 - 977499514406539074975988/3976428018116579341851*y^5 + 95615605856874218405888/1325476006038859780617*y^4 - 35990018797746668064439/3976428018116579341851*y^3 - 1751667014965400582933/3976428018116579341851*y^2 - 1352255386202868643216/1325476006038859780617*y + 5683406715702745904431/3976428018116579341851 -124461498161426209455293057/692532052683171380457208926*y^16 + 1223990203988875686858929615/692532052683171380457208926*y^15 - 3582520239491006060555220809/230844017561057126819069642*y^14 + 48478085133180812297419830491/692532052683171380457208926*y^13 - 21481971429041300547179019687/230844017561057126819069642*y^12 - 146589405188416872177648284617/692532052683171380457208926*y^11 + 194435005963391667135754220471/230844017561057126819069642*y^10 - 489854591632320416541206712865/346266026341585690228604463*y^9 + 1123889152644923432821590028207/692532052683171380457208926*y^8 - 950455691472048125631051922505/692532052683171380457208926*y^7 + 301980425595348660484382208185/346266026341585690228604463*y^6 - 282855906751125520490305804811/692532052683171380457208926*y^5 + 27869493888763356407653454581/230844017561057126819069642*y^4 - 44753457980465575815983804/2861702697037898266352103*y^3 - 191900648574358007811781567/230844017561057126819069642*y^2 - 28151851305691030384249819/20985819778277920619915422*y + 162495655210061461951680287/692532052683171380457208926 -18842303589064106638512787/143702806670709021975372672*y^16 + 26288960548965653279276033/20528972381529860282196096*y^15 - 1614658278886490013633461425/143702806670709021975372672*y^14 + 7230279810092250815010280111/143702806670709021975372672*y^13 - 3090662699965586906751611963/47900935556903007325124224*y^12 - 7597159939831497196998000755/47900935556903007325124224*y^11 + 28900683219836213218408291089/47900935556903007325124224*y^10 - 71237837055518559681651038975/71851403335354510987686336*y^9 + 53617487614769683643466248983/47900935556903007325124224*y^8 - 133778128844894137280626367021/143702806670709021975372672*y^7 + 41742529673612892352161533087/71851403335354510987686336*y^6 - 12740526556076935521982019205/47900935556903007325124224*y^5 + 3573051795090321693556731805/47900935556903007325124224*y^4 - 1688778721382782682092737/197937750235136393905472*y^3 - 91827383011656319263536803/143702806670709021975372672*y^2 - 13344979464867863149596607/13063891515519001997761152*y + 145186231539037606045262707/143702806670709021975372672 -69440796786895493889375/427686924615205422545752*y^16 + 690352414310832055558741/427686924615205422545752*y^15 - 6065925783823362139625091/427686924615205422545752*y^14 + 27654588134284154626858723/427686924615205422545752*y^13 - 38541554805964638305649325/427686924615205422545752*y^12 - 79333590950870197494394901/427686924615205422545752*y^11 + 335901035799038313785554089/427686924615205422545752*y^10 - 288332838178302888206925759/213843462307602711272876*y^9 + 668708716341766767873962705/427686924615205422545752*y^8 - 571492459850656592927222179/427686924615205422545752*y^7 + 45773523816690281865308574/53460865576900677818219*y^6 - 172810985455635856472512929/427686924615205422545752*y^5 + 52212021518209493555382871/427686924615205422545752*y^4 - 6816766076239977735535/441825335346286593539*y^3 - 733642025810992980301999/427686924615205422545752*y^2 - 34329715711918905132451/38880629510473220231432*y + 169962113660892797293073/427686924615205422545752 -447731893766568272987171/1187626501410818363432832*y^16 + 4384210751740652814791177/1187626501410818363432832*y^15 - 12827188930315527752434515/395875500470272787810944*y^14 + 172817987609688820329850349/1187626501410818363432832*y^13 - 224988058586385336205149325/1187626501410818363432832*y^12 - 534327183591336568019076559/1187626501410818363432832*y^11 + 295653445667581968857017973/169660928772974051918976*y^10 - 8950246516986278996223439/3092777347424006154773*y^9 + 1310112242180577341254909677/395875500470272787810944*y^8 - 3332957565030630836596444489/1187626501410818363432832*y^7 + 67155838114534673733566675/37113328169088073857276*y^6 - 1043820179644095899030258513/1187626501410818363432832*y^5 + 340909727442440731760085487/1187626501410818363432832*y^4 - 8716450185670078609073179/148453312676352295429104*y^3 + 11253495299529888397715183/1187626501410818363432832*y^2 - 6426097618930799571464273/1187626501410818363432832*y + 337406852310268289399975/395875500470272787810944 1669603304481371659865/3534602682770292748312*y^16 - 8054155324408865683343/1767301341385146374156*y^15 + 140948002958349414376831/3534602682770292748312*y^14 - 155539468971706403623203/883650670692573187078*y^13 + 732046538985314862978105/3534602682770292748312*y^12 + 1082608479072858059429391/1767301341385146374156*y^11 - 7432474938406564015678233/3534602682770292748312*y^10 + 11404199631382057557201587/3534602682770292748312*y^9 - 1542243302726050813258396/441825335346286593539*y^8 + 9858591032691029191406021/3534602682770292748312*y^7 - 5879175820769521315972731/3534602682770292748312*y^6 + 1306882871958177761227183/1767301341385146374156*y^5 - 690663264504333985971929/3534602682770292748312*y^4 + 102851825686191998516483/3534602682770292748312*y^3 - 3428033335770206372079/441825335346286593539*y^2 + 9885906066926326864965/3534602682770292748312*y - 784604874042572735241/1767301341385146374156 # A Gluing Matrix {{0,-2,0,0,0,-2,-1},{-1,-1,0,0,0,-2,-1},{-1,-2,1,-1,1,0,1},{-1,-2,1,0,0,-2,0},{-1,-2,1,-2,1,0,1},{-3,-6,2,-4,2,-2,1},{-3,-6,2,-4,2,-2,2}} # B Gluing Matrix {{2,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,2},{0,0,0,1,0,0,2},{0,0,0,0,1,0,2},{0,0,0,0,0,1,4},{0,0,0,0,0,0,6}} # nu Gluing Vector {0, -1, 1, 0, 1, 0, 0} # f Combinatorial flattening {2, 1, 2, 0, 3, -1, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 2634434827326339754058989/213843462307602711272876*y^16 - 25193829463842414455140167/213843462307602711272876*y^15 + 220450580256857175334122737/213843462307602711272876*y^14 - 964378027401445100302825319/213843462307602711272876*y^13 + 1085278056304281478340778291/213843462307602711272876*y^12 + 3472299259725366248988818509/213843462307602711272876*y^11 - 11484312231182877637311445105/213843462307602711272876*y^10 + 4335058505977867118000243840/53460865576900677818219*y^9 - 18205377471413437595463060377/213843462307602711272876*y^8 + 13886917662653099621441122741/213843462307602711272876*y^7 - 1922113244463727076448027325/53460865576900677818219*y^6 + 2883488074238418030385891773/213843462307602711272876*y^5 - 398146988434665680600240505/213843462307602711272876*y^4 - 529710449744506952077119/883650670692573187078*y^3 + 42615845366847616765294945/213843462307602711272876*y^2 + 2343145757067265304124035/19440314755236610115716*y - 494591352644685698387615/213843462307602711272876 # 2 Loop Invariant -1813586066074838542267064421732905193118553588983914226567102560761887/33411490743984013948164117249716403140063790898130468303993833606477312*y^16 + 54782601682296432146146925646589961168321581031299802931220888205170735/100234472231952041844492351749149209420191372694391404911981500819431936*y^15 - 481102013987362009347926527722874872525729192599321432756022893187962095/100234472231952041844492351749149209420191372694391404911981500819431936*y^14 + 739152976044903064037951163879337913070495390415570589705592748888024129/33411490743984013948164117249716403140063790898130468303993833606477312*y^13 - 3209916189128397514802996237298807245724342514544121444849697798097081347/100234472231952041844492351749149209420191372694391404911981500819431936*y^12 - 6194803453432206342351619513183944507975888587329098785609725663689728681/100234472231952041844492351749149209420191372694391404911981500819431936*y^11 + 27443807005790218591084093511216514191098164675390395954923449600996978517/100234472231952041844492351749149209420191372694391404911981500819431936*y^10 - 1469906494000274876972010908159651422658991816152474480135343040997167309/3132327257248501307640385992160912794380980396699731403499421900607248*y^9 + 53939853045196402233481765475774134405061627224312049185950475623155309921/100234472231952041844492351749149209420191372694391404911981500819431936*y^8 - 45700272919418949875980149078744341921942473819019636483979315045885634175/100234472231952041844492351749149209420191372694391404911981500819431936*y^7 + 18730825359519804113040448779939619553181461297536061790702699010718478/65256817859343777242508041503352349882937091597911070906237956262651*y^6 - 4424110584120353769068738042489646122397358426681528984048582152509313949/33411490743984013948164117249716403140063790898130468303993833606477312*y^5 + 3837585320896808776409218892215573116986175698181721094891332744945646345/100234472231952041844492351749149209420191372694391404911981500819431936*y^4 - 369456690463725156088942178624823938183848642479466640127829217281387/103548008504082687855880528666476456012594393279329963752047004978752*y^3 - 12577445555897190180321943044225187527405972717969290695570722618767357/33411490743984013948164117249716403140063790898130468303993833606477312*y^2 - 3357622930940570732912183719434094117660168150102089941316067085835829/9112224748359276531317486522649928129108306608581036810180136438130176*y + 9666400366336359417701668220927299820051225158850950584707134923037001/33411490743984013948164117249716403140063790898130468303993833606477312 # 3 Loop Invariant 743878649437572296330132531421702466645768991346392123089399735152288053984889249702438176709/18677157842672274215796615346275027252508107673508311046302982053364673447361258366724946550784*y^16 - 7003309441946810858442580440000190201553797441327778122950482704019938035281340647565364220791/18677157842672274215796615346275027252508107673508311046302982053364673447361258366724946550784*y^15 + 61267771094307826281249133966526145721028110454972138860852047092592910089377318147019512005815/18677157842672274215796615346275027252508107673508311046302982053364673447361258366724946550784*y^14 - 263821512083560543796632178985990010775254558504405253788060683619603101095422636131869756091899/18677157842672274215796615346275027252508107673508311046302982053364673447361258366724946550784*y^13 + 272651037337586301109956626400833995063121923143559265062521640170477195375252441492502988129627/18677157842672274215796615346275027252508107673508311046302982053364673447361258366724946550784*y^12 + 995826274370966892569126236112998950838151470857243496490007225800859053214617953821429404130977/18677157842672274215796615346275027252508107673508311046302982053364673447361258366724946550784*y^11 - 3058973012583687124977275363118846827796805918690680184675992891683312480215064832010205435495181/18677157842672274215796615346275027252508107673508311046302982053364673447361258366724946550784*y^10 + 70630213494802390564383001727435082823777776059575861921260411099289206966959813997252861040607/291830591291754284621822114785547300820439182398567360098484094583823022615019661980077289856*y^9 - 4793796528711676564766891163258869958934328448139785948472742309600035843959029525772003631489529/18677157842672274215796615346275027252508107673508311046302982053364673447361258366724946550784*y^8 + 3709679028977774196102519069417442394452335467596754668437753670032193103935106059505605772074535/18677157842672274215796615346275027252508107673508311046302982053364673447361258366724946550784*y^7 - 66968719286383213068279929752292751433453481293331520546206342111433121598388802434748810775023/583661182583508569243644229571094601640878364797134720196968189167646045230039323960154579712*y^6 + 899921370735527554164650895816468531924719052917618073658340598722428414552065620975971921725471/18677157842672274215796615346275027252508107673508311046302982053364673447361258366724946550784*y^5 - 197308666754422614908784067440842461025482266735257117175576983845699168296033154625468041681089/18677157842672274215796615346275027252508107673508311046302982053364673447361258366724946550784*y^4 + 21871505345060649383632087094628949049948020679676653187216768933201368168496125670381365671/19294584548215159313839478663507259558376144290814370915602254187360199842315349552401804288*y^3 - 325993021869876089409934347685015690133493986701125988862302129879763247156495754039013205345/18677157842672274215796615346275027252508107673508311046302982053364673447361258366724946550784*y^2 + 185203032879092153639572224641195659114606038585836286813235349300962952626690367904369945901/1697923440242934019617874122388638841137100697591664640572998368487697586123750760611358777344*y - 307594233288325319879723570353428973571016527496107174404940350408311787501719708720829940019/18677157842672274215796615346275027252508107673508311046302982053364673447361258366724946550784