# Manifold: Census Knot K8_287 # Number of Tetrahedra: 8 # Number Field x^19 - 5*x^18 + 35*x^17 + 46*x^16 + 102*x^15 - 242*x^14 - 47*x^13 - 111*x^12 + 165*x^11 + 716*x^10 - 30*x^9 + 139*x^8 - 92*x^7 - 290*x^6 + 228*x^5 + 115*x^4 + 59*x^3 + 30*x^2 + 3*x + 1 # Approximate Field Generator 0.00390718620258364 + 0.974673019055060*I # Shape Parameters y + 1 255318938771477706380480150/2381411674145523659400714739*y^18 - 1289597092678260049995306537/2506749130679498588842857620*y^17 + 43152499324400944115864115997/11907058370727618297003573695*y^16 + 276247164621976716010079975661/47628233482910473188014294780*y^15 + 132882838297046614721644333682/11907058370727618297003573695*y^14 - 115521816150330780239814334905/4762823348291047318801429478*y^13 - 30700211852907301230786765741/2506749130679498588842857620*y^12 - 2825025055626690706608665209/410588219680262699896674955*y^11 + 617171908228355626064548526337/47628233482910473188014294780*y^10 + 4067848362909730851631493994947/47628233482910473188014294780*y^9 + 203704231895347704176725918983/47628233482910473188014294780*y^8 + 64790054837345818730551806626/11907058370727618297003573695*y^7 - 21033287814576559351074703507/4762823348291047318801429478*y^6 - 1766797750733062188396639729617/47628233482910473188014294780*y^5 + 1185581189116378207983753939671/47628233482910473188014294780*y^4 + 840121169857278045460157423823/47628233482910473188014294780*y^3 + 318755259352508417231312239079/47628233482910473188014294780*y^2 + 105304051263383874559230304333/47628233482910473188014294780*y + 26546711102459177031684910419/23814116741455236594007147390 6676129166555039603925844186/27509410718577600893077221985*y^18 - 7472501980720683244595580407/5791454888121600188016257260*y^17 + 981055148028213312398882092153/110037642874310403572308887940*y^16 + 908894995160060597554600020813/110037642874310403572308887940*y^15 + 2496028693808440288786428814037/110037642874310403572308887940*y^14 - 1812702843337663896790114798494/27509410718577600893077221985*y^13 + 60604178022191875926381602579/5791454888121600188016257260*y^12 - 3845559832327577022411057046859/110037642874310403572308887940*y^11 + 6039453371303231476072627036453/110037642874310403572308887940*y^10 + 8387335160865020775174726483639/55018821437155201786154443970*y^9 - 2710520366529627597912367995819/55018821437155201786154443970*y^8 + 1177801452119768780413756789393/22007528574862080714461777588*y^7 - 1256959989735320159129864978209/27509410718577600893077221985*y^6 - 1123030096032092198407586860169/22007528574862080714461777588*y^5 + 1774851066167901070400810536036/27509410718577600893077221985*y^4 + 386323037002764063548340358349/55018821437155201786154443970*y^3 + 805930134135203612671999814637/55018821437155201786154443970*y^2 + 41094554938251961718357548213/27509410718577600893077221985*y + 163154948530208189603689000613/110037642874310403572308887940 14782020481249347347985378361/35180927454708825022725622460*y^18 - 18100716145823549318575730479/8795231863677206255681405615*y^17 + 127209105248324991831424871596/8795231863677206255681405615*y^16 + 368688638056135866218376568343/17590463727354412511362811230*y^15 + 140376002412908685004586448179/3198266132246256820247783860*y^14 - 316612356322612898755383577971/3198266132246256820247783860*y^13 - 583502517395038851840677107877/17590463727354412511362811230*y^12 - 373701445455664461007762598773/8795231863677206255681405615*y^11 + 485687315099369274362067844757/7036185490941765004545124492*y^10 + 5441371110141930995373060910101/17590463727354412511362811230*y^9 + 513173536214185544763239437267/35180927454708825022725622460*y^8 + 1183460833262688411564137129329/35180927454708825022725622460*y^7 - 114957329414754065451334799157/3198266132246256820247783860*y^6 - 880772931148912254036291009547/7036185490941765004545124492*y^5 + 744220212636882017842665886251/8795231863677206255681405615*y^4 + 21604672201174624820154833027/319826613224625682024778386*y^3 + 206450375670190435521136136893/8795231863677206255681405615*y^2 + 58649018114675155134437731533/7036185490941765004545124492*y + 44246347310226576320646921117/35180927454708825022725622460 -593994696927423512581731675299/2248381090969118544634192053580*y^18 + 158160090259736198791088260141/118335846893111502349168002820*y^17 - 10477199060138057089329146600143/1124190545484559272317096026790*y^16 - 26140862331990324976993817935759/2248381090969118544634192053580*y^15 - 58640477498852221950271032834841/2248381090969118544634192053580*y^14 + 148118572097899052297191617733069/2248381090969118544634192053580*y^13 + 1111830682387534810305510895939/118335846893111502349168002820*y^12 + 31278710881969606825102732040159/1124190545484559272317096026790*y^11 - 5217451704896954854766341840194/112419054548455927231709602679*y^10 - 422701149115183024391703788134683/2248381090969118544634192053580*y^9 + 22770712374170354799379185085151/1124190545484559272317096026790*y^8 - 76022896566044870926845000368721/2248381090969118544634192053580*y^7 + 69085208861324771163125183131383/2248381090969118544634192053580*y^6 + 16940448499013478389241733650165/224838109096911854463419205358*y^5 - 147637750909262594222927723698921/2248381090969118544634192053580*y^4 - 12717129366727771482038683568319/449676218193823708926838410716*y^3 - 32749641591774919838900780454773/2248381090969118544634192053580*y^2 - 940594747932971457893043357175/224838109096911854463419205358*y + 2195097556492105857522195583037/2248381090969118544634192053580 -79529448230996498117707478201/99362349162623573374995339110*y^18 + 40673551648082206237964048761/10459194648697218249999509380*y^17 - 2723709914068978601303862556221/99362349162623573374995339110*y^16 - 1626700777381812440465278488465/39744939665049429349998135644*y^15 - 387320910105410049651600980137/4516470416482889698863424505*y^14 + 167092015024349294028639122811/903294083296577939772684901*y^13 + 730206168182797367514476904017/10459194648697218249999509380*y^12 + 8795498982779939208806650972963/99362349162623573374995339110*y^11 - 25816691348937457454136307368271/198724698325247146749990678220*y^10 - 118156862365846354962910416881153/198724698325247146749990678220*y^9 - 11141270565447494719081585038851/198724698325247146749990678220*y^8 - 3675601335812734697918621830063/49681174581311786687497669555*y^7 + 342943968911759534297648592259/4516470416482889698863424505*y^6 + 48353145896227535090228205892739/198724698325247146749990678220*y^5 - 29420442707993785403865800927937/198724698325247146749990678220*y^4 - 2412384397662558744738567849003/18065881665931558795453698020*y^3 - 11553043767067638503615648762041/198724698325247146749990678220*y^2 - 3874298571846227000067907293449/198724698325247146749990678220*y - 11813899235734518654636057987/19872469832524714674999067822 -779218993161984279830114969/60767056512678879584707893340*y^18 + 134473811774302499987898443/1599133066123128410123891930*y^17 - 34024204802260761114031671417/60767056512678879584707893340*y^16 + 5228756890824062016887285757/30383528256339439792353946670*y^15 - 4982388739794571946663039655/6076705651267887958470789334*y^14 + 296853699412432051491948332863/60767056512678879584707893340*y^13 - 8405864057952696453899066999/1599133066123128410123891930*y^12 + 230712482674800602197468047851/60767056512678879584707893340*y^11 - 353122480935446701004479265589/60767056512678879584707893340*y^10 - 207085177805571055710641088221/60767056512678879584707893340*y^9 + 338331623155020624633801953251/30383528256339439792353946670*y^8 - 51542732370853917401522445815/6076705651267887958470789334*y^7 + 437784722253299786392188214309/60767056512678879584707893340*y^6 - 38300452306459290365812475677/60767056512678879584707893340*y^5 - 342963694480586808711794916041/60767056512678879584707893340*y^4 + 239960871580702244464899135587/60767056512678879584707893340*y^3 - 76914917856853372683407012071/60767056512678879584707893340*y^2 + 4914131961674815361653221851/15191764128169719896176973335*y + 2397881069588099065789574298/3038352825633943979235394667 -27990160012964334807522796179/138121877100440372245241454862*y^18 + 71607390635364772912694957043/72695724789705459076442870980*y^17 - 4787484897916932301692651244117/690609385502201861226207274310*y^16 - 14374624587177846634971380235583/1381218771004403722452414548620*y^15 - 1470371656956668439179506353224/69060938550220186122620727431*y^14 + 16247324333090342528284352905852/345304692751100930613103637155*y^13 + 262013799341833210432507131171/14539144957941091815288574196*y^12 + 450661867464178223747655298929/23814116741455236594007147390*y^11 - 43529665159525114981310349138861/1381218771004403722452414548620*y^10 - 207064034653658409892940978056419/1381218771004403722452414548620*y^9 - 16880904545915223200672171624277/1381218771004403722452414548620*y^8 - 4172000158133968554149521370491/345304692751100930613103637155*y^7 + 3953051343130616212810987475233/345304692751100930613103637155*y^6 + 85203407872872388525809699941409/1381218771004403722452414548620*y^5 - 51808596258705656425689168808919/1381218771004403722452414548620*y^4 - 51495903944182156912305610453183/1381218771004403722452414548620*y^3 - 12240715860887352677719016659867/1381218771004403722452414548620*y^2 - 6968342995962970683790217264459/1381218771004403722452414548620*y - 929146877260141302743180614323/690609385502201861226207274310 # A Gluing Matrix {{-3,-6,-4,-4,-2,2,-2,0},{-3,-3,-3,-2,-1,1,-2,0},{-2,-3,-1,-2,-1,1,0,0},{-2,-2,-2,0,-1,0,-1,0},{0,-1,1,-1,-1,1,1,-1},{1,1,1,0,1,0,1,0},{-2,-2,-2,-1,0,1,-1,1},{1,0,2,0,-2,0,3,-1}} # B Gluing Matrix {{2,0,0,0,0,0,0,2},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,2},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,0,1},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,3}} # nu Gluing Vector {-4, -3, -1, -2, 0, 2, -1, 1} # f Combinatorial flattening {20, -31, 11, 18, 7, 0, -5, 12} # f' Combinatorial flattening {-5, 30, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -1269702995663539980278236117/410588219680262699896674955*y^18 + 751599304857831125832402437/43219812597922389462807890*y^17 - 48371055068622733929978028632/410588219680262699896674955*y^16 - 6159542558135840131315238795/82117643936052539979334991*y^15 - 92368841448915396408475286648/410588219680262699896674955*y^14 + 156266442963746063237818550501/164235287872105079958669982*y^13 - 6787395831436774502659280453/21609906298961194731403945*y^12 + 97113765322278835027540792746/410588219680262699896674955*y^11 - 311485131923537206552554013266/410588219680262699896674955*y^10 - 1543436320072051614358463863901/821176439360525399793349910*y^9 + 1243914536912568120397405381513/821176439360525399793349910*y^8 - 183119304866126068599722595382/410588219680262699896674955*y^7 + 469297721965133779244847645857/821176439360525399793349910*y^6 + 524609093577657009869523349303/821176439360525399793349910*y^5 - 1039095132354567486282004292829/821176439360525399793349910*y^4 + 108210964800695098521960961959/821176439360525399793349910*y^3 + 6986524464420060937393033324/410588219680262699896674955*y^2 + 13565779220215213075649708367/821176439360525399793349910*y + 3679092033516253759156460183/82117643936052539979334991 # 2 Loop Invariant 650196218489909367623428126837030091268734287176137590132561569327606447/22784441021531466225244989484601624672874878323059989060108205679093080944*y^18 - 2680526593078568002733853362133459102544323415266498677501168632059957091/17987716595945894388351307487843387899638061833994728205348583430862958640*y^17 + 1407503202669450698647732956833827885053523590019656685626169503620300612627/1367066461291887973514699369076097480372492699383599343606492340745584856640*y^16 + 249524062186633175579935250306319224948810197224940111075763052391343586899/227844410215314662252449894846016246728748783230599890601082056790930809440*y^15 + 236066295406351591394547225372870841116721649006429663696571801993921277769/91137764086125864900979957938406498691499513292239956240432822716372323776*y^14 - 1732875917599612153131545515372732355840560247324484374687300146112320316099/227844410215314662252449894846016246728748783230599890601082056790930809440*y^13 + 850548494647326111271941982607304067874137329270117613530780511206254449/7195086638378357755340522995137355159855224733597891282139433372345183456*y^12 - 329062387319164352718412069580966955503492420621292498591755301821979888331/124278769208353452137699942643281589124772063580327213055135667340507714240*y^11 + 1271255736600500041503947964601437164645384472438740275579416079889165351873/227844410215314662252449894846016246728748783230599890601082056790930809440*y^10 + 2396940585040858157299515928590031703153765081396490052177715930864810388637/124278769208353452137699942643281589124772063580327213055135667340507714240*y^9 - 228669499999982619928112487636916604320407791853365468233660714031278960513/41426256402784484045899980881093863041590687860109071018378555780169238080*y^8 + 1569120136915986649217251432125887946828968929534629791251728785027555548109/455688820430629324504899789692032493457497566461199781202164113581861618880*y^7 - 2406329627319876632923608233351959998332440096828447721569312538273457917503/683533230645943986757349684538048740186246349691799671803246170372792428320*y^6 - 4990090880132969260147203612513513685599163507493789715289543746062375731301/683533230645943986757349684538048740186246349691799671803246170372792428320*y^5 + 3771955769232595454772025672507453289128607050491041551623660230753993440119/455688820430629324504899789692032493457497566461199781202164113581861618880*y^4 + 2994994456654841065494771067017781188619789097033371566586033865454792434579/1367066461291887973514699369076097480372492699383599343606492340745584856640*y^3 + 892450706290226505471585514191237091038325118633707437130839628792700137951/1367066461291887973514699369076097480372492699383599343606492340745584856640*y^2 + 37534672737998318854914900564529701956780550704077305929638215031469328797/124278769208353452137699942643281589124772063580327213055135667340507714240*y + 175714260334567873874310430135814488639519019021395812118589196772908727274333/1367066461291887973514699369076097480372492699383599343606492340745584856640 # 3 Loop Invariant -184170370383955706415408636504256088124656859741007628851403222326680247135928905134889370454791/30004012381480363262867535343565744027206275995318489851925892660220663714097338006129744758653920*y^18 + 39204974058127528369253533109493245868183794998759598508224748364810332613095921707167282671591/1263326837114962663699685698676452380092895831381831151660037585693501630067256337100199779311744*y^17 - 52469345818508533415200369663222117281798475546836009364966543862583778707833276414041081754308301/240032099051842906102940282748525952217650207962547918815407141281765309712778704049037958069231360*y^16 - 15497258968370583785077886771511804253150792742915999596647961192832985552475991996189889595017369/60008024762960726525735070687131488054412551990636979703851785320441327428194676012259489517307840*y^15 - 166268486412516363139737811923589444546710735109718707418794604363341408760804991336142397280000197/240032099051842906102940282748525952217650207962547918815407141281765309712778704049037958069231360*y^14 + 180036287927437261969197908587024049310060051422900642299850814552880802233555470583757875509340793/120016049525921453051470141374262976108825103981273959407703570640882654856389352024518979034615680*y^13 + 13456068565260143741271520012141510671781243263317904036913129781544037866326592385747267725319/394789636598425832406151780836391368779029947306822234893761745529219259396017605343812431034920*y^12 + 322619382213315754142197255865244702182765693188440084226586478365148657621139598765810813848100383/240032099051842906102940282748525952217650207962547918815407141281765309712778704049037958069231360*y^11 - 46200477842299282107626064704060239609185602685841957869952397987282396509093113931368212320173997/30004012381480363262867535343565744027206275995318489851925892660220663714097338006129744758653920*y^10 - 16576980618477586736212285433530933786987122855738205140500430698829084722117118666557337470667281/4364219982760780110962550595427744585775458326591780342098311659668460176595976437255235601258752*y^9 - 106085114377516514814391756025215106734256062072763695677771454705217332698195034165891113231884503/240032099051842906102940282748525952217650207962547918815407141281765309712778704049037958069231360*y^8 - 363346759941087851202150317304189515309280496662397262224031579558818316975891004649116161468956621/240032099051842906102940282748525952217650207962547918815407141281765309712778704049037958069231360*y^7 + 168170187181399812492271437976322726281435174964534460820168316577066857181663217180315470147330939/120016049525921453051470141374262976108825103981273959407703570640882654856389352024518979034615680*y^6 + 62476189542085648876657572807202837148413749402954352945966487314875874752753326854972238949135691/60008024762960726525735070687131488054412551990636979703851785320441327428194676012259489517307840*y^5 - 15794724777717539135506015399148312986671810460337090083929941392858771081218622064668402921549411/21821099913803900554812752977138722928877291632958901710491558298342300882979882186276178006293760*y^4 - 186173157733540739024112685072315340936768522314141843857021424488032445901627436165635346256732203/240032099051842906102940282748525952217650207962547918815407141281765309712778704049037958069231360*y^3 - 165960122740440646684285612595821974965832232201036779174511138615783453031740489138460102218705803/240032099051842906102940282748525952217650207962547918815407141281765309712778704049037958069231360*y^2 - 31193772064078432911344992112525351826885811616312204338259918487005891985436319664548764870547039/240032099051842906102940282748525952217650207962547918815407141281765309712778704049037958069231360*y + 7202968742356048055136056117120664327880704594832721176351806842475067289888549137724511937972473/240032099051842906102940282748525952217650207962547918815407141281765309712778704049037958069231360 # 4 Loop Invariant 355599406722092797121529871280886548980583027137590328351011104096919037664357535621626502508320377590800181297671081348233263411161699800341037/52578583173146446680401613442138545361415312116602509832740949927728353445489993149645739836550629071561336708083324982358722254755865219105894400*y^18 - 2057786289739017836018956334047165566256860454721211876603587813783295858733216049117130125921794944448439872992354001818653285765930557930717301/52578583173146446680401613442138545361415312116602509832740949927728353445489993149645739836550629071561336708083324982358722254755865219105894400*y^17 + 1923359333525831967457339723622904910341218207606227775540651571646981902430735855601069391450211578716806300372509517725871147085483454772164349/7169806796338151820054765469382528912920269834082160431737402262872048197112271793133509977711449418849273187465907952139825762012163438968985600*y^16 + 1657754095277755150741690798224974533004832767830632315196947809901569556074933256253912869340999212460685420015066172758784086792495941992617771/17526194391048815560133871147379515120471770705534169944246983309242784481829997716548579945516876357187112236027774994119574084918621739701964800*y^15 + 102823041262231496349011315971641420212718899191125732181407426618927797943851995339444727380893293362444299915151031432057964549966349625033256509/157735749519439340041204840326415636084245936349807529498222849783185060336469979448937219509651887214684010124249974947076166764267595657317683200*y^14 - 31312034813878733835139059099649546714504438577868193904355066245724112680195152397677892947903207930055154919096095722799327585227245026402384339/14339613592676303640109530938765057825840539668164320863474804525744096394224543586267019955422898837698546374931815904279651524024326877937971200*y^13 + 230907508189704284804908985231518493749592139165174197258029370141169768827657726636834589786269781282971190605022184419945706375545479661599298911/157735749519439340041204840326415636084245936349807529498222849783185060336469979448937219509651887214684010124249974947076166764267595657317683200*y^12 - 58501784177573629534572733275831007362789156864779637599944932130103397329732702465036396671698464199412764435993761476325538041658063666596335219/26289291586573223340200806721069272680707656058301254916370474963864176722744996574822869918275314535780668354041662491179361127377932609552947200*y^11 + 22150857659756293308928111032831875777970544095192928114390067475464751015281390921656706328707064716541523231835726411931556525158462691072007899/6572322896643305835050201680267318170176914014575313729092618740966044180686249143705717479568828633945167088510415622794840281844483152388236800*y^10 + 261314508129077419882702644883446701646832289941185366797620299101697448106711823174694052153788238269117728130380233353038447987229347932404693331/157735749519439340041204840326415636084245936349807529498222849783185060336469979448937219509651887214684010124249974947076166764267595657317683200*y^9 - 23584426135223468676910671509749998578753997825219988791839094809505304939959764579363164233680191402898397229455882333703916089795013120135564971/26289291586573223340200806721069272680707656058301254916370474963864176722744996574822869918275314535780668354041662491179361127377932609552947200*y^8 + 259654363448899867919077348068563264498476195802222440383745181818326004474267500773001074632657629848278190135217954909213133798426084747085878513/157735749519439340041204840326415636084245936349807529498222849783185060336469979448937219509651887214684010124249974947076166764267595657317683200*y^7 - 136969153303545385684740215183630366449372970639106932826859114531357736366364362406009171651422784322022499220018580078214660567955519895648562593/52578583173146446680401613442138545361415312116602509832740949927728353445489993149645739836550629071561336708083324982358722254755865219105894400*y^6 + 57553012290008587970880844632328569375622157335950169689990100623596810887908886246603912553492632901691392504196803997183096941932263107929704233/78867874759719670020602420163207818042122968174903764749111424891592530168234989724468609754825943607342005062124987473538083382133797828658841600*y^5 + 5150840969311828368778717357682990018724095572602215777829751692157083169354656234233064667145669412015545296649741313948752830294533696930125863/14339613592676303640109530938765057825840539668164320863474804525744096394224543586267019955422898837698546374931815904279651524024326877937971200*y^4 + 117896244798105335594267591615308582939918810039147672494571443518648887986270912120007098401497993939984345398893150810227733030622219537955799983/157735749519439340041204840326415636084245936349807529498222849783185060336469979448937219509651887214684010124249974947076166764267595657317683200*y^3 - 2058855623143451299317615056975565993270432168403502949794824085406169492528914261864461395883848172266670262787832603977618877474097756071914631/157735749519439340041204840326415636084245936349807529498222849783185060336469979448937219509651887214684010124249974947076166764267595657317683200*y^2 + 4535933253761544399867736994266335635581022128652425450182448537199157504068605065766752552485152392655919189868222393116859685951785207445814027/78867874759719670020602420163207818042122968174903764749111424891592530168234989724468609754825943607342005062124987473538083382133797828658841600*y - 4133043857482416620313819486488177367693722807981682131347068887347225322943362305153997399233182345611325767284026158881818977227970650109291957/157735749519439340041204840326415636084245936349807529498222849783185060336469979448937219509651887214684010124249974947076166764267595657317683200