# Manifold: Census Knot K8_173 # Number of Tetrahedra: 8 # Number Field x^16 - 1/2*x^15 - 43/4*x^14 + 4*x^13 + 56*x^12 - 213/2*x^11 + 105*x^10 + 223/2*x^9 + 100*x^8 + 89*x^7 + 675/4*x^6 + 599/2*x^5 + 158*x^4 - 78*x^3 + 24*x + 16 # Approximate Field Generator -0.318287815233875 - 0.325937158605374*I # Shape Parameters -6795020035623086767036/1106880987607319467923211*y^15 + 36085916198181774420645/4427523950429277871692844*y^14 + 563762465227067903350607/8855047900858555743385688*y^13 - 1345388694517368510017267/17710095801717111486771376*y^12 - 2868779091031230702906843/8855047900858555743385688*y^11 + 3994167049759668184259827/4427523950429277871692844*y^10 - 10686079158661884603741473/8855047900858555743385688*y^9 + 24891187555930525990852/1106880987607319467923211*y^8 - 744570202022649053752245/8855047900858555743385688*y^7 + 101848980201026818904523/4427523950429277871692844*y^6 - 1589148793894116730138733/4427523950429277871692844*y^5 + 4571015121805841122771007/17710095801717111486771376*y^4 + 1633873518681038854447753/4427523950429277871692844*y^3 + 3578695782499700532282203/2213761975214638935846422*y^2 - 151436993316200260505042/1106880987607319467923211*y + 302261537024894926648447/1106880987607319467923211 -10786647760697249832848/1106880987607319467923211*y^15 + 119985672790468627154577/8855047900858555743385688*y^14 + 1736927164928922268941263/17710095801717111486771376*y^13 - 4584266026470362871660683/35420191603434222973542752*y^12 - 2162448803774258304107511/4427523950429277871692844*y^11 + 13287036544575094707035067/8855047900858555743385688*y^10 - 36301877621201805286382261/17710095801717111486771376*y^9 + 1112871275713944801293277/8855047900858555743385688*y^8 - 10169092614777335846962861/17710095801717111486771376*y^7 + 312545130792167364151590/1106880987607319467923211*y^6 - 9891550437016880828535325/8855047900858555743385688*y^5 - 62384992994293042074329197/35420191603434222973542752*y^4 + 19663109430800798367355415/17710095801717111486771376*y^3 + 21851776144688817974055395/8855047900858555743385688*y^2 - 1283917949266721038239279/2213761975214638935846422*y + 1421519917658365060437829/2213761975214638935846422 -10786647760697249832848/1106880987607319467923211*y^15 + 119985672790468627154577/8855047900858555743385688*y^14 + 1736927164928922268941263/17710095801717111486771376*y^13 - 4584266026470362871660683/35420191603434222973542752*y^12 - 2162448803774258304107511/4427523950429277871692844*y^11 + 13287036544575094707035067/8855047900858555743385688*y^10 - 36301877621201805286382261/17710095801717111486771376*y^9 + 1112871275713944801293277/8855047900858555743385688*y^8 - 10169092614777335846962861/17710095801717111486771376*y^7 + 312545130792167364151590/1106880987607319467923211*y^6 - 9891550437016880828535325/8855047900858555743385688*y^5 - 62384992994293042074329197/35420191603434222973542752*y^4 + 19663109430800798367355415/17710095801717111486771376*y^3 + 21851776144688817974055395/8855047900858555743385688*y^2 - 1283917949266721038239279/2213761975214638935846422*y + 1421519917658365060437829/2213761975214638935846422 -280522661846808939368587/8855047900858555743385688*y^15 + 635537773161786134056743/17710095801717111486771376*y^14 + 11698007668763227455950421/35420191603434222973542752*y^13 - 6052760107010320714540927/17710095801717111486771376*y^12 - 29960308429746218313998063/17710095801717111486771376*y^11 + 39786204107838044461461185/8855047900858555743385688*y^10 - 48409468738815677601725737/8855047900858555743385688*y^9 - 24702141870994108181886275/17710095801717111486771376*y^8 - 2326053129927014731113863/2213761975214638935846422*y^7 - 3020021649144985221519017/4427523950429277871692844*y^6 - 124711466692974840685968693/35420191603434222973542752*y^5 - 7119839771347603743903900/1106880987607319467923211*y^4 + 21949731103745423976337291/17710095801717111486771376*y^3 + 105697833653929339291763335/17710095801717111486771376*y^2 - 3772382202276570634788285/2213761975214638935846422*y - 2023810393851876874684575/2213761975214638935846422 -2223765971643123024078100751/327606801400409810470446689056*y^15 + 4429695656602075883906259039/655213602800819620940893378112*y^14 + 97675286615182766442204043717/1310427205601639241881786756224*y^13 - 5384945803581527399328361145/81901700350102452617611672264*y^12 - 131420485565754973573809648679/327606801400409810470446689056*y^11 + 611457013336240431633572801591/655213602800819620940893378112*y^10 - 292434823540815891502631865523/327606801400409810470446689056*y^9 - 522210023807068620337225746917/655213602800819620940893378112*y^8 + 4785910175902590000383722041/40950850175051226308805836132*y^7 + 8840354279924846069213849983/327606801400409810470446689056*y^6 - 762590994505214173938147596189/1310427205601639241881786756224*y^5 - 805460512262967945542611074421/655213602800819620940893378112*y^4 + 13432410565550661462320455419/46800971628629972924349527008*y^3 + 377051950521079265418246313961/163803400700204905235223344528*y^2 - 2683297396247702475768775467/81901700350102452617611672264*y + 9248581225723235818873254919/40950850175051226308805836132 -1641477785095547082076221805/133090263068916485503618967429*y^15 + 4983914714199213089098512519/532361052275665942014475869716*y^14 + 140300404106800514928693309845/1064722104551331884028951739432*y^13 - 180911332127398277823608848755/2129444209102663768057903478864*y^12 - 729280134866828368197967909707/1064722104551331884028951739432*y^11 + 399832285114491844428683524251/266180526137832971007237934858*y^10 - 1705103887836983584799177306325/1064722104551331884028951739432*y^9 - 303976139143631234713788520461/266180526137832971007237934858*y^8 - 723577222890022346420289422025/1064722104551331884028951739432*y^7 - 545881017713609440535497611149/532361052275665942014475869716*y^6 - 363723682372723084440455900541/266180526137832971007237934858*y^5 - 7513137038655908128383092205865/2129444209102663768057903478864*y^4 - 55127094443112321893692827835/76051578896523706002067981388*y^3 + 837213237943225263547626119069/532361052275665942014475869716*y^2 - 15935209367289870649859557689/133090263068916485503618967429*y + 24159270020115795897636995765/133090263068916485503618967429 -1641477785095547082076221805/133090263068916485503618967429*y^15 + 4983914714199213089098512519/532361052275665942014475869716*y^14 + 140300404106800514928693309845/1064722104551331884028951739432*y^13 - 180911332127398277823608848755/2129444209102663768057903478864*y^12 - 729280134866828368197967909707/1064722104551331884028951739432*y^11 + 399832285114491844428683524251/266180526137832971007237934858*y^10 - 1705103887836983584799177306325/1064722104551331884028951739432*y^9 - 303976139143631234713788520461/266180526137832971007237934858*y^8 - 723577222890022346420289422025/1064722104551331884028951739432*y^7 - 545881017713609440535497611149/532361052275665942014475869716*y^6 - 363723682372723084440455900541/266180526137832971007237934858*y^5 - 7513137038655908128383092205865/2129444209102663768057903478864*y^4 - 55127094443112321893692827835/76051578896523706002067981388*y^3 + 837213237943225263547626119069/532361052275665942014475869716*y^2 - 15935209367289870649859557689/133090263068916485503618967429*y + 24159270020115795897636995765/133090263068916485503618967429 -3248488289713355085212081/35420191603434222973542752*y^15 + 5298273546639979036652545/70840383206868445947085504*y^14 + 137417430346052228841360987/141680766413736891894171008*y^13 - 3004788312617099978974203/4427523950429277871692844*y^12 - 177193702318526006669213465/35420191603434222973542752*y^11 + 807307792626775029944638593/70840383206868445947085504*y^10 - 453517849312071869750792621/35420191603434222973542752*y^9 - 502502738812222446956739163/70840383206868445947085504*y^8 - 26366237599913543785335475/4427523950429277871692844*y^7 - 201065356660438811068389871/35420191603434222973542752*y^6 - 1827385341554976439858796803/141680766413736891894171008*y^5 - 1664239244974565510756314835/70840383206868445947085504*y^4 - 212557994648524427581563901/35420191603434222973542752*y^3 + 204138123629620863685856697/17710095801717111486771376*y^2 - 35331674913313705869592321/8855047900858555743385688*y - 6103937854863593464703407/4427523950429277871692844 # A Gluing Matrix {{1,-1,-1,1,0,0,0,0},{0,0,0,1,-1,1,0,0},{0,0,0,1,-1,0,1,0},{2,-1,-1,3,-2,1,1,0},{0,-1,1,0,0,-1,-1,-2},{0,-1,1,2,-2,-1,-1,-4},{0,-2,2,2,-2,-1,-1,-4},{0,0,0,0,0,-1,-1,-1}} # B Gluing Matrix {{1,0,0,0,0,0,0,0},{0,1,0,1,0,0,0,0},{0,0,1,1,0,0,0,0},{0,0,0,2,0,0,0,0},{0,0,0,0,1,0,2,0},{0,0,0,0,0,1,3,0},{0,0,0,0,0,0,4,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {1, 1, 1, 2, 0, 0, 0, -1} # f Combinatorial flattening {1, 0, 0, 0, 1, 0, 2, -1} # f' Combinatorial flattening {0, 2, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -5452350273961662392508575/8855047900858555743385688*y^15 + 15118549031194428558587659/17710095801717111486771376*y^14 + 234420868307642892281857545/35420191603434222973542752*y^13 - 149176306683175212347308593/17710095801717111486771376*y^12 - 77700807505206395882523465/2213761975214638935846422*y^11 + 1715453282062512038974886635/17710095801717111486771376*y^10 - 481555508009095160096544037/4427523950429277871692844*y^9 - 695945514798378421289798933/17710095801717111486771376*y^8 + 255609034565864315187595137/8855047900858555743385688*y^7 + 262454187650231253189398577/8855047900858555743385688*y^6 - 215000219103903000194459429/35420191603434222973542752*y^5 - 114858780963194235280411169/2213761975214638935846422*y^4 + 1301261320528402927404933223/8855047900858555743385688*y^3 + 1286399895612092724597240843/4427523950429277871692844*y^2 + 87091602131458729897427083/1106880987607319467923211*y - 16993722090084290559681783/1106880987607319467923211 # 2 Loop Invariant -19940823294562040742879892011127250709714632946045416623586922067985/7155516436747480518664963372171529344148967492858244800348607953619008*y^15 + 14116312731113204456585902460297004296522648438416709592707446727903/4770344291164987012443308914781019562765978328572163200232405302412672*y^14 + 278207993740811655826681918633747966311201367594132030613363545331933/9540688582329974024886617829562039125531956657144326400464810604825344*y^13 - 129807810161249391257138015271306627534554103371000256252648130277889/4770344291164987012443308914781019562765978328572163200232405302412672*y^12 - 718566503389019201244328570587667315036474564109541745649489029390293/4770344291164987012443308914781019562765978328572163200232405302412672*y^11 + 5392414069446121413573848878171303527711376553461564544786791997737403/14311032873494961037329926744343058688297934985716489600697215907238016*y^10 - 808178906001062196321012811226943995187068359351948282084339325341709/1788879109186870129666240843042882336037241873214561200087151988404752*y^9 - 1528321624021058726471031716584663790753591901089330021716916169765817/14311032873494961037329926744343058688297934985716489600697215907238016*y^8 - 1481658846479640665230472173214429117739486917762432395802100918504835/7155516436747480518664963372171529344148967492858244800348607953619008*y^7 + 78528878303870488183079822512432930455116517382738296739664007292967/1192586072791246753110827228695254890691494582143040800058101325603168*y^6 - 3899175866462746346132487040939757450460715344633410383052006545408121/9540688582329974024886617829562039125531956657144326400464810604825344*y^5 - 3407521900120326192903483292047332446637020909790634235287188828066219/7155516436747480518664963372171529344148967492858244800348607953619008*y^4 - 151166862374340495260220206366358972660629439616946969905350101157797/4770344291164987012443308914781019562765978328572163200232405302412672*y^3 + 793372846434953990571486809213912525689031278241281536605966223875573/1192586072791246753110827228695254890691494582143040800058101325603168*y^2 - 9180262538355021414358694431040452609229441929363304768410049606617/111804944324179383104140052690180146002327617075910075005446999275297*y - 89530232040673081822326628642166882642894171082355133028751971009575/1788879109186870129666240843042882336037241873214561200087151988404752 # 3 Loop Invariant -2752652329526165864507305565760573456611507390831005477916169267565890185103059684791170019/24967535480753860761929964572590219226973788475435141736942659801176687352985536036334093951232*y^15 + 1640017575568943983814737080406967826346370182181406206022869250132689373092094532979287693/4539551905591611047623629922289130768540688813715480315807756327486670427815552006606198900224*y^14 + 89122254180538281380282600453586860916047881063003745996852967513159427302411928140603535669/99870141923015443047719858290360876907895153901740566947770639204706749411942144145336375804928*y^13 - 16545048102221772491848117689523490537559616156365859111852197153429376190544409362508529555/4539551905591611047623629922289130768540688813715480315807756327486670427815552006606198900224*y^12 - 765363518313582920500994941707698813764582534112291314740664913353616255508955066819059917/195058870943389537202577848223361087710732722464337044819864529696692869945199500283860108994*y^11 + 1396435766788924578747233775630733193386055125961081005692066761221019636584557054453268263587/49935070961507721523859929145180438453947576950870283473885319602353374705971072072668187902464*y^10 - 288610925019544497361759020573238551579914751248623191087538916655335261202212694170076342845/6241883870188465190482491143147554806743447118858785434235664950294171838246384009083523487808*y^9 + 180511695634630237567819686146667154971598494643729405730001573697085162451298700449650618617/4539551905591611047623629922289130768540688813715480315807756327486670427815552006606198900224*y^8 - 623165105000759938143289781294473575456477259870832502394877394967513705563134152970333896151/24967535480753860761929964572590219226973788475435141736942659801176687352985536036334093951232*y^7 + 351103212792509038131057918407119764518673616269083316207943322993123465604596975903416991629/24967535480753860761929964572590219226973788475435141736942659801176687352985536036334093951232*y^6 - 375639449653298021221204780770510321994945224718542917837290383475489813414405702162994006825/99870141923015443047719858290360876907895153901740566947770639204706749411942144145336375804928*y^5 - 81559624201024224381529194570626831992257360731595352164583173115030349954593949842371125989/3120941935094232595241245571573777403371723559429392717117832475147085919123192004541761743904*y^4 + 681840322234518039373626149162311743231930468923477810061245296772698255022263407980147010971/24967535480753860761929964572590219226973788475435141736942659801176687352985536036334093951232*y^3 - 120952306357581812217190903845101574866235632505044912295910738176830166361343048901602044751/6241883870188465190482491143147554806743447118858785434235664950294171838246384009083523487808*y^2 + 128155609608512920004346203471687445125814584064476094365042741290358215951504584097811191961/6241883870188465190482491143147554806743447118858785434235664950294171838246384009083523487808*y + 15399644366512264296982267185109026167673262965981725775182020388041050992454949221690487435/3120941935094232595241245571573777403371723559429392717117832475147085919123192004541761743904 # 4 Loop Invariant 8171087690662067780987725979263710408521851200711421758692184023148513610558335898083912689743085955859493374150366026909144109926588151/55024273114513066700659535882890864566743014087168575053548868165030569734412253411566049917733343917358957352311732237705997829072506613760*y^15 - 28432671566226810054949355083337446312739788495838494702600474918026619174784159651998564727472724306358190839298759012217606484623381907/110048546229026133401319071765781729133486028174337150107097736330061139468824506823132099835466687834717914704623464475411995658145013227520*y^14 - 116955033273697278348424604204008220625927969688652984503200649811583981086066744814999634453515096073317622720848000774397510176531717611/73365697486017422267546047843854486088990685449558100071398490886707426312549671215421399890311125223145276469748976316941330438763342151680*y^13 + 15838777348003984346133773379461204893312014336045790456473686952049533645344745869765977816479431156237121000904099082377385076991310275/7336569748601742226754604784385448608899068544955810007139849088670742631254967121542139989031112522314527646974897631694133043876334215168*y^12 + 251632160211522837106526205263692703023644336375127498506834338715141624753840437395120728654076670097936696939328968037428860760337960363/27512136557256533350329767941445432283371507043584287526774434082515284867206126705783024958866671958679478676155866118852998914536253306880*y^11 - 41466274163690811110738780359066963601492831187592358338529389135938140593740770888017129823905328271598348359050418872559299961927773609/2000882658709566061842164941196031438790655057715220911038140660546566172160445578602401815190303415176689358265881172280218102875363876864*y^10 + 43481959791244450049530191377389111480482847325529087176171343384575840706694977554666629703409852408526500162455374441520275284434441023/1719508534828533334395610496340339517710719190224017970423402130157205304200382919111439059929166997417467417259741632428312432158515831680*y^9 - 3230808941677376336553124294257463467298703138697259589468425560872256443486641834326510434310333858364516329313579729202290378458952888159/110048546229026133401319071765781729133486028174337150107097736330061139468824506823132099835466687834717914704623464475411995658145013227520*y^8 + 17535944647390725979926179268848364590962216997390905376973153356498807405506522054190350271879574793609580571348249770309063831068275649/454746058797628650418673850271825326997876149480732025235941059215128675491010358773273139815978048903793035969518448245504114289855426560*y^7 - 458024596127556353508887333297679821455864158087088995440634030697094765449968436914933405445176181122146251171928463457222885745770125989/11004854622902613340131907176578172913348602817433715010709773633006113946882450682313209983546668783471791470462346447541199565814501322752*y^6 + 99029224092697965729143814194193370366008547464083062579225479381347955818057136375732256339164683165537671222844424222874136681025132949/6669608862365220206140549803986771462635516859050736370127135535155220573868151928674672717301011383922297860886270574267393676251212922880*y^5 - 81234305563961369473181049941480483698946504846964109369139177277014691506105943395116496420804523740208384141287952406625895074499870817/13756068278628266675164883970722716141685753521792143763387217041257642433603063352891512479433335979339739338077933059426499457268126653440*y^4 + 227137870826826550567260643483177834046897026902717705847746538078038093157805850660439854100514472502400305947869080626868602830416029301/11004854622902613340131907176578172913348602817433715010709773633006113946882450682313209983546668783471791470462346447541199565814501322752*y^3 + 9802583992670202381935023853113129554448168878614602189016896713330975662068103370687609386232320444002895391573048866324268329449000777/3439017069657066668791220992680679035421438380448035940846804260314410608400765838222878119858333994834934834519483264856624864317031663360*y^2 - 15868953979464947161019391945957148126809559358163957044266992307976260607777833792653448770228669914882024904597016944168008576467938203/4585356092876088891721627990240905380561917840597381254462405680419214144534354450963837493144445326446579779359311019808833152422708884480*y + 955612368335216629537725286304766094003625135745344855732672843029039257610274571269342013512532861328635579071717558046061878956080405/687803413931413333758244198536135807084287676089607188169360852062882121680153167644575623971666798966986966903896652971324972863406332672