# Manifold: Census Knot K7_82 # Number of Tetrahedra: 7 # Number Field x^20 - 3*x^19 - 13*x^18 + 19*x^17 - 67*x^16 - 27*x^15 + 1032*x^14 + 70*x^13 - 5602*x^12 + 5699*x^11 + 2554*x^10 - 5214*x^9 + 504*x^8 + 1846*x^7 - 767*x^6 - 290*x^5 + 279*x^4 + 18*x^3 - 37*x^2 - 2*x + 1 # Approximate Field Generator 0.286544471930241 + 0.519304203667768*I # Shape Parameters -200100868704950432522939500/62461621970026481685561070757*y^19 + 9347171725428277320276158360/62461621970026481685561070757*y^18 - 14112458899875841543689408238/62461621970026481685561070757*y^17 - 136946953589736543976090806927/62461621970026481685561070757*y^16 + 37153671963916517869047279668/62461621970026481685561070757*y^15 - 537077056668279137491020550745/62461621970026481685561070757*y^14 - 1038760710641097183370908642699/62461621970026481685561070757*y^13 + 8192022279077662160144382491401/62461621970026481685561070757*y^12 + 10769461201895535890656105034248/62461621970026481685561070757*y^11 - 40763490895681580138329453114209/62461621970026481685561070757*y^10 + 5071620254164593135597372041654/62461621970026481685561070757*y^9 + 34693529494882144038383177958766/62461621970026481685561070757*y^8 - 11261271429787711706392523893342/62461621970026481685561070757*y^7 - 9870609021212586608155800768678/62461621970026481685561070757*y^6 + 6490833711832462279817508442349/62461621970026481685561070757*y^5 + 439324129666098147421300011889/62461621970026481685561070757*y^4 - 2180157385700071717339802189805/62461621970026481685561070757*y^3 + 54365644057825651244578692402/62461621970026481685561070757*y^2 + 269282263171053909109127030652/62461621970026481685561070757*y + 47162256158371122885531545717/62461621970026481685561070757 257025485039096314598345989114/62461621970026481685561070757*y^19 - 509586972258077235218019771648/62461621970026481685561070757*y^18 - 3913922059028599056735247279769/62461621970026481685561070757*y^17 + 1039406688397270760059921499811/62461621970026481685561070757*y^16 - 15414412482784592067460695884494/62461621970026481685561070757*y^15 - 23265530847071215757830136648287/62461621970026481685561070757*y^14 + 245165431295913200052124847584270/62461621970026481685561070757*y^13 + 270309793085279648162833228129727/62461621970026481685561070757*y^12 - 1218248724690584081855651140431698/62461621970026481685561070757*y^11 + 198313160142843797090291041852637/62461621970026481685561070757*y^10 + 1131700244811912421894030173114002/62461621970026481685561070757*y^9 - 382836994807614944630434036571885/62461621970026481685561070757*y^8 - 396949010369291154739056723761745/62461621970026481685561070757*y^7 + 231476870424464012204532130838159/62461621970026481685561070757*y^6 + 36251477612420749872203029300031/62461621970026481685561070757*y^5 - 88558778721635340643599250021195/62461621970026481685561070757*y^4 + 2097684119284910166373852849890/62461621970026481685561070757*y^3 + 15138245146465207200950400006150/62461621970026481685561070757*y^2 + 473767916942531386123477948503/62461621970026481685561070757*y - 403112435859974520449514915947/62461621970026481685561070757 160822142058214020623708209688/62461621970026481685561070757*y^19 - 416177031951331561327001143235/62461621970026481685561070757*y^18 - 2208424678153866638988581243844/62461621970026481685561070757*y^17 + 2009395928023902902281440061073/62461621970026481685561070757*y^16 - 10693732874463395983338435859867/62461621970026481685561070757*y^15 - 8125214473016467413039691618171/62461621970026481685561070757*y^14 + 159076214533426444905806088027598/62461621970026481685561070757*y^13 + 73903846041692584927568944760917/62461621970026481685561070757*y^12 - 817444123992829954261419272192161/62461621970026481685561070757*y^11 + 607595498700240558641187277245723/62461621970026481685561070757*y^10 + 389813103014453161651690353074663/62461621970026481685561070757*y^9 - 491633505981894733198907281771912/62461621970026481685561070757*y^8 + 17896620123884854568519343387259/62461621970026481685561070757*y^7 + 152086740399041071490674458327553/62461621970026481685561070757*y^6 - 63994270255634596746709375648785/62461621970026481685561070757*y^5 - 24499738330073603947791705757165/62461621970026481685561070757*y^4 + 16969725847877884551818895486081/62461621970026481685561070757*y^3 + 1023431771047062315947561741052/62461621970026481685561070757*y^2 - 699349240916741616876173734063/62461621970026481685561070757*y - 20339973995455597901136559293/62461621970026481685561070757 13237612442249554998039241901315/78764105304203393405492510224577*y^19 - 2225108136925579300000719505979/6058777331092568723499423863429*y^18 - 15176856310062714437041095522681/6058777331092568723499423863429*y^17 + 97837225958232899110461617322684/78764105304203393405492510224577*y^16 - 793636575862952880349970893097223/78764105304203393405492510224577*y^15 - 1058789855024586571485003776073964/78764105304203393405492510224577*y^14 + 12962334273346559849801491067012264/78764105304203393405492510224577*y^13 + 11354754896655331295731666300440581/78764105304203393405492510224577*y^12 - 66545095964172351621988489763877757/78764105304203393405492510224577*y^11 + 23301722357204801817449645114817172/78764105304203393405492510224577*y^10 + 60886226173970798967046426475420380/78764105304203393405492510224577*y^9 - 40043733444982753774713942152332845/78764105304203393405492510224577*y^8 - 883402396530571030577403802672928/6058777331092568723499423863429*y^7 + 1307544998771688551711427510694069/6058777331092568723499423863429*y^6 - 214916417107013809975068124578261/6058777331092568723499423863429*y^5 - 4528706691210370499698284887054942/78764105304203393405492510224577*y^4 + 1567889249986141385609083361102393/78764105304203393405492510224577*y^3 + 30807609352683824410081124019051/6058777331092568723499423863429*y^2 - 60698581568093130971093782244127/78764105304203393405492510224577*y + 37170764719629581961891154527037/78764105304203393405492510224577 363606775487796154880190122086/62461621970026481685561070757*y^19 - 1043658070305017341755038820541/62461621970026481685561070757*y^18 - 4868174748947758431666543284769/62461621970026481685561070757*y^17 + 6286072232483874067891426066953/62461621970026481685561070757*y^16 - 23451458631773415200603949402901/62461621970026481685561070757*y^15 - 12840307147191624871119656052434/62461621970026481685561070757*y^14 + 373931657715165695000577806978725/62461621970026481685561070757*y^13 + 74660999696253008796972884276709/62461621970026481685561070757*y^12 - 2032585037640906983853466947082883/62461621970026481685561070757*y^11 + 1799800032226677594097311404170079/62461621970026481685561070757*y^10 + 1186659941240492872997993745814579/62461621970026481685561070757*y^9 - 1734629834269207723557334275680977/62461621970026481685561070757*y^8 - 67717809018062365801143029878748/62461621970026481685561070757*y^7 + 660294355159408603804755686453358/62461621970026481685561070757*y^6 - 180563600500998846240022066353038/62461621970026481685561070757*y^5 - 131748806343718949560302030201201/62461621970026481685561070757*y^4 + 81278402363335039294951387361715/62461621970026481685561070757*y^3 + 19263867297299775925485423440702/62461621970026481685561070757*y^2 - 10424372696497705801287664504471/62461621970026481685561070757*y - 2464121050923123026084065057346/62461621970026481685561070757 -296441180579136128550585707341/62461621970026481685561070757*y^19 + 861471301950419355472540263005/62461621970026481685561070757*y^18 + 3977627333959537955830198542362/62461621970026481685561070757*y^17 - 5352995112451715090987736655148/62461621970026481685561070757*y^16 + 18728678439239054946020966478762/62461621970026481685561070757*y^15 + 10062724257914400049846275785033/62461621970026481685561070757*y^14 - 307678776192669023891986465700885/62461621970026481685561070757*y^13 - 52938995060931427784338682576654/62461621970026481685561070757*y^12 + 1697100788300852413393982978128122/62461621970026481685561070757*y^11 - 1493920097963224206827855635049501/62461621970026481685561070757*y^10 - 1104927324092756082334133830109906/62461621970026481685561070757*y^9 + 1522235448843229406444451924133617/62461621970026481685561070757*y^8 + 146499229620589243102102993056451/62461621970026481685561070757*y^7 - 620437682851109926975735412920082/62461621970026481685561070757*y^6 + 132813067855104133282106690645076/62461621970026481685561070757*y^5 + 136168975229706485755644731371755/62461621970026481685561070757*y^4 - 73761819102526089625232830976868/62461621970026481685561070757*y^3 - 22804113371167383528472277515113/62461621970026481685561070757*y^2 + 10813682599355948029748969934232/62461621970026481685561070757*y + 2947543519910146220007723116433/62461621970026481685561070757 -82530932301541928693854830814/62461621970026481685561070757*y^19 + 185156155858946385709876701382/62461621970026481685561070757*y^18 + 1218726522648506546034496218340/62461621970026481685561070757*y^17 - 667567843260783016529874809485/62461621970026481685561070757*y^16 + 4957920281673439928591264254843/62461621970026481685561070757*y^15 + 6153481413907926800265623729115/62461621970026481685561070757*y^14 - 80916172998630046858519307125895/62461621970026481685561070757*y^13 - 66896204570625434024417954603360/62461621970026481685561070757*y^12 + 418073027241242738290953060274019/62461621970026481685561070757*y^11 - 157690039302013259958034480758221/62461621970026481685561070757*y^10 - 366950470917979056874020650176026/62461621970026481685561070757*y^9 + 205485159872158957411583729794287/62461621970026481685561070757*y^8 + 125993058540582464777638902191728/62461621970026481685561070757*y^7 - 107236264827273297730594912254433/62461621970026481685561070757*y^6 - 5842399138753221048518062353830/62461621970026481685561070757*y^5 + 35067183464580307305302271104219/62461621970026481685561070757*y^4 - 5766802843095287227681425483284/62461621970026481685561070757*y^3 - 6867170864570103633908670653037/62461621970026481685561070757*y^2 + 769309663698066280429412126354/62461621970026481685561070757*y + 603131128703343689936208901885/62461621970026481685561070757 # A Gluing Matrix {{1,0,0,2,2,-1,0},{0,0,0,-2,-2,1,0},{0,0,1,1,0,0,0},{1,-2,1,-4,-4,2,0},{1,-2,0,-4,-3,1,0},{-1,2,0,4,2,0,0},{0,0,0,0,0,-1,2}} # B Gluing Matrix {{2,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,2,1},{0,0,0,0,0,0,2}} # nu Gluing Vector {2, 0, 1, 0, -1, 2, 0} # f Combinatorial flattening {10, 11, -4, 5, -13, -8, 0} # f' Combinatorial flattening {0, -8, 0, 0, 0, 0, -4} # 1 Loop Invariant -10221178266437128467330699304770/62461621970026481685561070757*y^19 + 23560080194758382477460026856003/62461621970026481685561070757*y^18 + 147442528908261062780909978038905/62461621970026481685561070757*y^17 - 87219327267981378791972391574702/62461621970026481685561070757*y^16 + 649379076110707160098927250732704/62461621970026481685561070757*y^15 + 706980419721466729269645153509078/62461621970026481685561070757*y^14 - 9938093949191896100696181162394260/62461621970026481685561070757*y^13 - 7520208220330192842912571963552864/62461621970026481685561070757*y^12 + 50256926884396925941217007099434541/62461621970026481685561070757*y^11 - 24306510781367796199024609476660548/62461621970026481685561070757*y^10 - 33930265782477922892788881205731739/62461621970026481685561070757*y^9 + 23642878015223788888298487157476096/62461621970026481685561070757*y^8 + 6485257894178621338642428633814618/62461621970026481685561070757*y^7 - 9226320124723471478699095909425182/62461621970026481685561070757*y^6 + 1531208788706434507984751901648970/62461621970026481685561070757*y^5 + 2380645068452982157919911318319670/62461621970026481685561070757*y^4 - 583958948048369650809194855441994/62461621970026481685561070757*y^3 - 296037694337571065350881665541267/62461621970026481685561070757*y^2 + 6666191005519155407742734795679/62461621970026481685561070757*y + 7442438865548331324717636388628/62461621970026481685561070757 # 2 Loop Invariant 5033682691497288785578392233886578849399879401817591868162881386930361217164592761917337/221609177785749565947306698885645984072049824484971992151921400695798351877043059516223344*y^19 - 3172118566021433819207710217068557871215131773179336776514421307884114516374950256550375/55402294446437391486826674721411496018012456121242998037980350173949587969260764879055836*y^18 - 69314031823398899117342583359410545036326331396804938784864770825875102237792351644715201/221609177785749565947306698885645984072049824484971992151921400695798351877043059516223344*y^17 + 18761600165989259987705887803544468252139203793569953219079799114465945084266350208933841/73869725928583188649102232961881994690683274828323997383973800231932783959014353172074448*y^16 - 339470241674585430685782190694734627382024785794971733996329370558688009908031579542800519/221609177785749565947306698885645984072049824484971992151921400695798351877043059516223344*y^15 - 88440530079548423495235291363541814270529834566226882629492006070041698596867325815556789/73869725928583188649102232961881994690683274828323997383973800231932783959014353172074448*y^14 + 102419360970634328659123948647375667052789375908026166572048020184111314779278011172846211/4616857870536449290568889560117624668167704676770249836498362514495798997438397073254653*y^13 + 2627744440431264184468728844702253012574531502799386340857176043933391455040556727179467993/221609177785749565947306698885645984072049824484971992151921400695798351877043059516223344*y^12 - 24736279690178093407290577902564226675959076080382182384629253148006098538472633711123427083/221609177785749565947306698885645984072049824484971992151921400695798351877043059516223344*y^11 + 5811328943324299986836892642028445047951926881295186783646822446571074249579703773575477731/73869725928583188649102232961881994690683274828323997383973800231932783959014353172074448*y^10 + 9808804204824948508847199609932490251437671057863475550638130102854707497014770229141853207/221609177785749565947306698885645984072049824484971992151921400695798351877043059516223344*y^9 - 2798724669703524166482138197732418374092913246518751269950007527715675401287498874769808729/55402294446437391486826674721411496018012456121242998037980350173949587969260764879055836*y^8 + 828349220172418720126892662737101220219698319732422193023421476848861190487180889245328015/221609177785749565947306698885645984072049824484971992151921400695798351877043059516223344*y^7 + 855673047005013832875851289633368903307969163573731277520166667706597160235580247300234433/73869725928583188649102232961881994690683274828323997383973800231932783959014353172074448*y^6 - 122411115464691968243384723294864254772314248584091823700397872463427958421220875685067337/18467431482145797162275558240470498672670818707080999345993450057983195989753588293018612*y^5 - 502110087195335803922256363601037003596339440551544547837667065627894881906745512165054959/221609177785749565947306698885645984072049824484971992151921400695798351877043059516223344*y^4 + 308424765971756795248353142256561659787509733769034676354015240921653037280672550899824449/221609177785749565947306698885645984072049824484971992151921400695798351877043059516223344*y^3 + 8879582916941809209700282278232843929896214046904282353914139425683250815269351536692291/221609177785749565947306698885645984072049824484971992151921400695798351877043059516223344*y^2 + 3584753325947901106795442545955503919181941008324158784220537310546306436996123633152610/13850573611609347871706668680352874004503114030310749509495087543487396992315191219763959*y + 2693608850583039214912277592659316620043507301374864250469931096850334172765761460908148401/221609177785749565947306698885645984072049824484971992151921400695798351877043059516223344 # 3 Loop Invariant 3365192541285684289258141634611719528985757438844035566953398948699654932962330866099372276456939288494408657856207339/80332836663645660929230903210628005525089552796879669745147157731965027770417449343128084198548343617512062717356779584*y^19 - 9537729907354354746825347478813431560052972311090125007467009206606496108715532273746541226452535580244063972994454551/80332836663645660929230903210628005525089552796879669745147157731965027770417449343128084198548343617512062717356779584*y^18 - 22608773723207833555111126493292094490395060008217936194142204705707194530456473598504378736341003118156285910744870979/40166418331822830464615451605314002762544776398439834872573578865982513885208724671564042099274171808756031358678389792*y^17 + 3513675830065119796361440737788089991200728509192940768462378069982327679997643035926819038962504425386532547026463415/5020802291477853808076931450664250345318097049804979359071697358247814235651090583945505262409271476094503919834798724*y^16 - 108919283329933625928359865898667889910548686648853913561233027735343030294692800538201079226474107982643064929099859247/40166418331822830464615451605314002762544776398439834872573578865982513885208724671564042099274171808756031358678389792*y^15 - 63222105612498977121509182179496757299637112780521000431258489764365202410292571654288687821711810382126238038778475473/40166418331822830464615451605314002762544776398439834872573578865982513885208724671564042099274171808756031358678389792*y^14 + 3445357253071364910348983559804573685943576089949355625196051721760739497974709707415829212178542001472316656464640585851/80332836663645660929230903210628005525089552796879669745147157731965027770417449343128084198548343617512062717356779584*y^13 + 398402744330983060639185224650654018457990046631431593443650270102248031357498287026709331237931734617817687562508882947/40166418331822830464615451605314002762544776398439834872573578865982513885208724671564042099274171808756031358678389792*y^12 - 9306540968382017596900919583901809483200473602416654009296747813514879808075827064403889210455922541484175959947478019551/40166418331822830464615451605314002762544776398439834872573578865982513885208724671564042099274171808756031358678389792*y^11 + 16206319507419751904354126259612592508961268615181025682860562733652170653789860930356393211720254683941922728170562950551/80332836663645660929230903210628005525089552796879669745147157731965027770417449343128084198548343617512062717356779584*y^10 + 10743035661447332541150943340574412937981470655572516421364168466513864560080833556013834967077520730850820419691984717077/80332836663645660929230903210628005525089552796879669745147157731965027770417449343128084198548343617512062717356779584*y^9 - 15666034068582449179737478463913370473214100704781467059095076818408794669905971819038002719222360951635799071248419637675/80332836663645660929230903210628005525089552796879669745147157731965027770417449343128084198548343617512062717356779584*y^8 - 92861862807854636289467978791514007603031644732533923542273085165861064084651743886187690901334576439513675444819782233/20083209165911415232307725802657001381272388199219917436286789432991256942604362335782021049637085904378015679339194896*y^7 + 5950333843559923414966811385293911222886157126458308093592255234879006352151164744251474708855239692069669988514590918993/80332836663645660929230903210628005525089552796879669745147157731965027770417449343128084198548343617512062717356779584*y^6 - 56927672468469376707752929297665756470161222259566435982682187375623029145418482890609269586202167983120067003774978241/2510401145738926904038465725332125172659048524902489679535848679123907117825545291972752631204635738047251959917399362*y^5 - 1110254491752505982741803236576014123880391550352559777047371487692465056024654970654241773762166058866771983217533212975/80332836663645660929230903210628005525089552796879669745147157731965027770417449343128084198548343617512062717356779584*y^4 + 94863609455441132796089716583514302785106737103494983322615114681995721740072378662228587928115414090340245228896679395/10041604582955707616153862901328500690636194099609958718143394716495628471302181167891010524818542952189007839669597448*y^3 + 132259785282951105807310061470238993083211424133333660964589316937779401699051493230140260058786110364805030683945257293/80332836663645660929230903210628005525089552796879669745147157731965027770417449343128084198548343617512062717356779584*y^2 - 90173752977146397869431585948190089476385272558796067951108673893209469276476766120761836679667901727715025175097574463/80332836663645660929230903210628005525089552796879669745147157731965027770417449343128084198548343617512062717356779584*y - 15254743622389314248783170567873931583945296263062027956079051140540890379700249654907560870993194035885088884974393403/80332836663645660929230903210628005525089552796879669745147157731965027770417449343128084198548343617512062717356779584