# Manifold: Census Knot K8_157 # Number of Tetrahedra: 8 # Number Field x^13 - 5*x^12 + 54*x^11 - 132*x^10 + 374*x^9 + 11*x^8 - 3160*x^7 - 7211*x^6 - 1209*x^5 - 8104*x^4 - 11876*x^3 - 1016*x^2 - 10414*x - 1681 # Approximate Field Generator 0.0802029508680346 + 0.924305798599232*I # Shape Parameters -6320078593541319937/91295136360834968552048*y^12 + 6416309235609426801/22823784090208742138012*y^11 - 159012950827629584465/45647568180417484276024*y^10 + 270118012864691427793/45647568180417484276024*y^9 - 20713253075731026411/992338438704727919044*y^8 - 1713350339464923860607/91295136360834968552048*y^7 + 17898434260787363653721/91295136360834968552048*y^6 + 15729453939746425821277/22823784090208742138012*y^5 + 68665857530679276135949/91295136360834968552048*y^4 + 122442770881922300881269/91295136360834968552048*y^3 + 190136565616710569589385/91295136360834968552048*y^2 + 206185454010667899154465/91295136360834968552048*y + 5580987434922375506759/2226710642947194354928 -52501329474000840038/233943786924639606914623*y^12 + 261520283288806104834/233943786924639606914623*y^11 - 2828904124320727263241/233943786924639606914623*y^10 + 6868645885910317165884/233943786924639606914623*y^9 - 844565144209841027174/10171468996723461170201*y^8 - 1248351007294177279730/233943786924639606914623*y^7 + 166825839510897005954472/233943786924639606914623*y^6 + 380008519014079611001963/233943786924639606914623*y^5 + 68324748781805340672984/233943786924639606914623*y^4 + 418913345707518377229780/233943786924639606914623*y^3 + 642374651603636871379509/233943786924639606914623*y^2 + 28670398854354022924070/233943786924639606914623*y + 16034229414645576444731/5705946022552185534503 1364036711550857363289949999/7977770170492350346824160648768*y^12 - 451452414411028267583694119/498610635655771896676510040548*y^11 + 38025746300251509487082564701/3988885085246175173412080324384*y^10 - 101783109917197402884684783037/3988885085246175173412080324384*y^9 + 72800542922888079899260040285/997221271311543793353020081096*y^8 - 174721902918898209172610711923/7977770170492350346824160648768*y^7 - 4227209362215810355204540535287/7977770170492350346824160648768*y^6 - 1052906896341740347019458643737/997221271311543793353020081096*y^5 - 144980006272072229128459106335/7977770170492350346824160648768*y^4 - 13790062625661640456920579787203/7977770170492350346824160648768*y^3 - 12194427406855848712122397401595/7977770170492350346824160648768*y^2 + 6923660312352453289218428904641/7977770170492350346824160648768*y - 10908650366875075306886174526589/7977770170492350346824160648768 556177329016714142818611041/7977770170492350346824160648768*y^12 - 170403357860796840460851849/498610635655771896676510040548*y^11 + 15458467758841645831517064243/3988885085246175173412080324384*y^10 - 37786687608168890665883167475/3988885085246175173412080324384*y^9 + 1407971668617711589283637805/43357446578762773624044351352*y^8 - 87380796328151303714662053789/7977770170492350346824160648768*y^7 - 1448631409037297419609514291865/7977770170492350346824160648768*y^6 - 489396444862168380276774387159/997221271311543793353020081096*y^5 - 4819418896928530934347236632049/7977770170492350346824160648768*y^4 - 15809774445696774935506519663821/7977770170492350346824160648768*y^3 - 11429795013187664596763227654805/7977770170492350346824160648768*y^2 + 4567006399494170387772354335407/7977770170492350346824160648768*y + 1743920539960166304495898007757/7977770170492350346824160648768 1066583630539126292415460333/7977770170492350346824160648768*y^12 - 371925174675207334198209559/498610635655771896676510040548*y^11 + 30358064379740288724611936583/3988885085246175173412080324384*y^10 - 87189603401524041896433729351/3988885085246175173412080324384*y^9 + 2624916812676897871884986277/43357446578762773624044351352*y^8 - 231293467018479397879144501401/7977770170492350346824160648768*y^7 - 3320104157266360304787716401861/7977770170492350346824160648768*y^6 - 741478772779699303949573524119/997221271311543793353020081096*y^5 + 3579379931102506686551224874659/7977770170492350346824160648768*y^4 - 9001211595410859018452982522345/7977770170492350346824160648768*y^3 - 7814665086939393174210583000881/7977770170492350346824160648768*y^2 + 5519425771895887231017124369315/7977770170492350346824160648768*y + 1520974649097833030637516641737/7977770170492350346824160648768 10815364622761040377151524875/132778531253441989435756574758208*y^12 - 3786826587173401266749421601/8298658203340124339734785922388*y^11 + 307653417277064332040123145601/66389265626720994717878287379104*y^10 - 880504243295053368374051509441/66389265626720994717878287379104*y^9 + 25885294557604323359745998275/721622452464358638237807471512*y^8 - 1434351308823414169601835079039/132778531253441989435756574758208*y^7 - 37051946384218637857696612462451/132778531253441989435756574758208*y^6 - 6351666955613494542820631359137/16597316406680248679469571844776*y^5 + 31234600046235820886778700116133/132778531253441989435756574758208*y^4 - 102918135619501919562223375886127/132778531253441989435756574758208*y^3 - 130201148408436025473383778879911/132778531253441989435756574758208*y^2 + 138727593080615259825108743098405/132778531253441989435756574758208*y - 1173906593829162758134258821001/3238500762279072913067233530688 135510195195207541798824272795/394430342841107086265041589722912*y^12 - 45079710057344404989294738971/24651896427569192891565099357682*y^11 + 3786456830358061903454127941201/197215171420553543132520794861456*y^10 - 10218726007503302544991184905905/197215171420553543132520794861456*y^9 + 317788171369063988544789475659/2143643167614712425353486900668*y^8 - 20067192309134737171641881778159/394430342841107086265041589722912*y^7 - 413599877168085009015457728852995/394430342841107086265041589722912*y^6 - 105370544438184065542533070574885/49303792855138385783130198715364*y^5 + 41938976461048024917968872427221/394430342841107086265041589722912*y^4 - 1297712005576606002484199056075647/394430342841107086265041589722912*y^3 - 1296564210683494597503657687304695/394430342841107086265041589722912*y^2 + 133652158721299120973864705624149/394430342841107086265041589722912*y - 37017081670652398835960080359065/9620252264417246006464429017632 -13005435341922037423539244437/16952761612296244487001341378632*y^12 + 8403740174274408158718587189/2119095201537030560875167672329*y^11 - 356889743658510215909171375387/8476380806148122243500670689316*y^10 + 919425880126161424634635097847/8476380806148122243500670689316*y^9 - 648206721015400758618239598111/2119095201537030560875167672329*y^8 + 793966230403235115610653724849/16952761612296244487001341378632*y^7 + 40767308221949927192190183724797/16952761612296244487001341378632*y^6 + 10912882671936245055066621042942/2119095201537030560875167672329*y^5 + 748066793813785480174339535389/16952761612296244487001341378632*y^4 + 103935264085673872733429677139289/16952761612296244487001341378632*y^3 + 133103546382034784056812783274025/16952761612296244487001341378632*y^2 + 68167932732486504290740989125/16952761612296244487001341378632*y + 142497059385959428323645044053303/16952761612296244487001341378632 # A Gluing Matrix {{-1,-4,-2,0,0,0,2,2},{-2,-4,-2,0,0,0,2,2},{-1,-2,-1,0,-1,0,0,0},{0,0,0,0,1,-1,0,0},{0,0,-1,1,0,0,0,0},{0,0,0,-1,0,1,-2,0},{1,2,0,0,0,-2,0,-2},{1,2,0,0,0,0,-2,0}} # 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,0},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {0, 0, -1, 0, 0, -1, 0, 0} # f Combinatorial flattening {2, -1, 1, 1, 0, 0, 0, 0} # f' Combinatorial flattening {0, 2, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -3677661156095375595964419103/327088576990186364219790586599488*y^12 - 46071630986929010757024636727/20443036061886647763736911662468*y^11 + 1971961692928797606534269274467/163544288495093182109895293299744*y^10 - 20673929157209662350297456913251/163544288495093182109895293299744*y^9 + 617308745478470393420571170633/1777655309729273718585818405432*y^8 - 285877159558653106842790923099133/327088576990186364219790586599488*y^7 + 7032677088699601555890110456679/327088576990186364219790586599488*y^6 + 346378691849953206507724374465277/40886072123773295527473823324936*y^5 + 4091002961166592370372964294675183/327088576990186364219790586599488*y^4 - 4167582122898811514871196428481293/327088576990186364219790586599488*y^3 + 1401365179327515447158195565849867/327088576990186364219790586599488*y^2 + 10139583640878106827771822858652975/327088576990186364219790586599488*y - 101555341339430461801157947404379/7977770170492350346824160648768 # 2 Loop Invariant 4436464855138062978865046386090719505427369840088288711347/586177001032579336941215634685661891085546820845435427304049425536*y^12 - 1190501254456415540049847044193761381095203619286303169288423/219816375387217251352955863007123209157080057817038285239018534576*y^11 + 22160464247651208104204255657365536059733580696224945111511307/879265501548869005411823452028492836628320231268153140956074138304*y^10 - 87713143709040600677718174132974460841256215263713878166791697/293088500516289668470607817342830945542773410422717713652024712768*y^9 + 1085388258597703955424175081537773390862432260444297621419995/1592872285414617763427216398602342095341159839253900617674047352*y^8 - 4728025082974853096097300183400098998716082701792644260830946005/1758531003097738010823646904056985673256640462536306281912148276608*y^7 + 1752642586799683228885197384475293900127031252514808821699082039/1758531003097738010823646904056985673256640462536306281912148276608*y^6 + 2463407668866009236032334435216683232533582059330182661748526783/219816375387217251352955863007123209157080057817038285239018534576*y^5 + 69385126094683912169188859444181547161245971111484982018908327447/1758531003097738010823646904056985673256640462536306281912148276608*y^4 + 154446013572144643893403393246482319204688597273767240952136316355/1758531003097738010823646904056985673256640462536306281912148276608*y^3 + 360554578644625262155752661088668016616121942541452347158858794571/1758531003097738010823646904056985673256640462536306281912148276608*y^2 + 121137584714258089293096456807779011777455875007413351449718094573/586177001032579336941215634685661891085546820845435427304049425536*y + 7341901748443007962059068355959973545941525363854869603323650325/42891000075554585629845046440414284713576596647226982485662153088 # 3 Loop Invariant 10503011952018197594885204393520145839598135450707434674275493747659452690577/8773350495904052194229000709073858988941723427904643624081092996278355846058649792*y^12 - 79293555051395599335646921643266262230644422038872298552143629521040945441497/8773350495904052194229000709073858988941723427904643624081092996278355846058649792*y^11 + 617317081899600087376737475762707505060699403638842623971928838162862336407417/8773350495904052194229000709073858988941723427904643624081092996278355846058649792*y^10 - 1248682739433129061836583093000476052050131906001090514351959605872978845652787/4386675247952026097114500354536929494470861713952321812040546498139177923029324896*y^9 + 74054105676035464185814530269509500345187884605817271169953464636694663371539/190725010780522873787586971936388238890037465824013991827849847745181648827361952*y^8 - 1674965177108205870776458283910949673842883010993030742850445120542097429195835/4386675247952026097114500354536929494470861713952321812040546498139177923029324896*y^7 - 3278201710744987415890369599749400805790236113951447430716164778961598307212045/548334405994003262139312544317116186808857714244040226505068312267397240378665612*y^6 - 20545317224585716601789679765100085488290307510494341829244352333039659145958909/8773350495904052194229000709073858988941723427904643624081092996278355846058649792*y^5 + 438469444707997617717781003078503049233587070006039945121913888057346817857981321/8773350495904052194229000709073858988941723427904643624081092996278355846058649792*y^4 + 775886587093604283280852503921452968558783721185844216400923843071654916147070405/8773350495904052194229000709073858988941723427904643624081092996278355846058649792*y^3 + 664801253607956127493299152286773977151130235180441962271450988239903150933040395/8773350495904052194229000709073858988941723427904643624081092996278355846058649792*y^2 + 624590068138135657827034526054234856705580345914248874035972307519276549611567541/8773350495904052194229000709073858988941723427904643624081092996278355846058649792*y + 149006938954326394222770442940200305729623393845498290736323492912508816852478/3343502475573190622800686245836074309810108013683172112835782391874373416943083 # 4 Loop Invariant -675425501970574449822157356339485374764439606811064841355995965389427086835103361836559092600434299950512699787/110984211713845419639473369449283775065127767216542560917494160891759762124379738497274305841058108270005080058352640*y^12 + 1532427243974887774961279135255232231673362942529972093370238774520222459450021637378466057691163506093387519583/83238158785384064729605027086962831298845825412406920688120620668819821593284803872955729380793581202503810043764480*y^11 - 23503703984867572903194817997508047739107918640911409900910518964159102437788633754834909897807025287543695195827/83238158785384064729605027086962831298845825412406920688120620668819821593284803872955729380793581202503810043764480*y^10 + 1662981272813124347113700280264333423849137254667903681782320039774817281130605288012866273250198307575650966613/7398947447589694642631557963285585004341851147769504061166277392783984141625315899818287056070540551333672003890176*y^9 - 10538654247856247365913661610274272955469614027086502335296427515119720912822995483290090054520368267714633900307/7238100763946440411270002355388072286856158731513645277227880058158245355937809032430932989634224452391635655979520*y^8 - 18153073316945584661147711321069879648239680087313512550071369281052927214157614665722294038274047651592998610129/6936513232115338727467085590580235941570485451033910057343385055734985132773733656079644115066131766875317503647040*y^7 + 748994876505067079046354278893403888790129323822774436187932090689792118505949134763822224557924894122077572333833/55492105856922709819736684724641887532563883608271280458747080445879881062189869248637152920529054135002540029176320*y^6 + 2757307043516436184797869622138395411022106686329405618020841944975252086548858556539062138378406014286907826376701/33295263514153625891842010834785132519538330164962768275248248267527928637313921549182291752317432481001524017505792*y^5 + 47889194271096939307304800241685555970332453560457479750580263319290593361035460589083429028183070660285208229430447/332952635141536258918420108347851325195383301649627682752482482675279286373139215491822917523174324810015240175057920*y^4 + 5500961777030502990706944134700917033615697496039410382232280045402191226320151840887615608184763538495349961118015/33295263514153625891842010834785132519538330164962768275248248267527928637313921549182291752317432481001524017505792*y^3 + 4252236185897377606488578787915150017925086895632774698604107612994010043546875002357153755543413078690296322682813/33295263514153625891842010834785132519538330164962768275248248267527928637313921549182291752317432481001524017505792*y^2 + 32293068295963468494705553992260313262843114877277322104663730258660442283554149132757099663598334846278220721693347/332952635141536258918420108347851325195383301649627682752482482675279286373139215491822917523174324810015240175057920*y + 18969673243960831187476002042236407075718672280348118931679299731609342574659538822666320553708366280580041860329/1015099497382732496702500330328815015839583236736669764489275861814875873088839071621411333912116843932973293216640