# Manifold: Census Knot K6_21 # Number of Tetrahedra: 6 # Number Field x^19 + 19*x^18 + 85*x^17 - 22*x^16 - 882*x^15 - 468*x^14 + 724*x^13 + 6331*x^12 - 2838*x^11 - 1956*x^10 - 8127*x^9 + 1480*x^8 + 9143*x^7 - 3996*x^6 - 19*x^5 + 1282*x^4 - 497*x^3 - 248*x^2 + 17*x + 8 # Approximate Field Generator 0.234854669735778 - 0.520466194742635*I # Shape Parameters -3343457657489172062364357248995576576040/84840232196544630119657106875596403607259*y^18 - 62925234601717047259352724567097033467525/84840232196544630119657106875596403607259*y^17 - 272991994570184551746849731160058402961005/84840232196544630119657106875596403607259*y^16 + 120825712632212131739108354570058741592201/84840232196544630119657106875596403607259*y^15 + 2921242709484493897607707111846552732374465/84840232196544630119657106875596403607259*y^14 + 1054463242614305854264341399033467161441222/84840232196544630119657106875596403607259*y^13 - 2516029040414237393602443226284399686810071/84840232196544630119657106875596403607259*y^12 - 20767414339593458149600245372460256802428157/84840232196544630119657106875596403607259*y^11 + 13026359917206584276724955245693069637296298/84840232196544630119657106875596403607259*y^10 + 3531211949277529132639788892803200780900280/84840232196544630119657106875596403607259*y^9 + 27515611264844722482707516045837114591966863/84840232196544630119657106875596403607259*y^8 - 9602235290793322620008172083543750397197059/84840232196544630119657106875596403607259*y^7 - 27860560733499387858889963389296992296478182/84840232196544630119657106875596403607259*y^6 + 17343722599637217975491232816137846543155838/84840232196544630119657106875596403607259*y^5 - 4219274266792014249357770942603202903888096/84840232196544630119657106875596403607259*y^4 - 2620304520618803934995976119729615099101816/84840232196544630119657106875596403607259*y^3 + 1869981398013077437014835279160078471005876/84840232196544630119657106875596403607259*y^2 + 401442491918397120534671408713854876056635/84840232196544630119657106875596403607259*y + 37133474453502531854971330502980342382404/84840232196544630119657106875596403607259 -56685830516642869699586310372452649657889/84840232196544630119657106875596403607259*y^18 - 1055293401012419275493322013408004701779100/84840232196544630119657106875596403607259*y^17 - 4410202770797408431190025990002867883776864/84840232196544630119657106875596403607259*y^16 + 3004341968129756871139999635855090783171044/84840232196544630119657106875596403607259*y^15 + 49157724850246021023724669377085305337646103/84840232196544630119657106875596403607259*y^14 + 7718943246539546472414215455401057191808135/84840232196544630119657106875596403607259*y^13 - 46940389667214393176208177790487119282775892/84840232196544630119657106875596403607259*y^12 - 343436040802204001207717457318795193510510519/84840232196544630119657106875596403607259*y^11 + 293623108332409928587184297103555130226443309/84840232196544630119657106875596403607259*y^10 + 19785470314347884901304947060187312704531055/84840232196544630119657106875596403607259*y^9 + 450672400900371906143082800342776173744515425/84840232196544630119657106875596403607259*y^8 - 259938490035952366282639431893454094661883859/84840232196544630119657106875596403607259*y^7 - 448128273745690688481959433225590403489390940/84840232196544630119657106875596403607259*y^6 + 393184829527011719216192890464569689941042901/84840232196544630119657106875596403607259*y^5 - 125928136297609711650385108006245895673786824/84840232196544630119657106875596403607259*y^4 - 30981659820321720261000271980110431992396283/84840232196544630119657106875596403607259*y^3 + 42517630998028707420938869298785809695979258/84840232196544630119657106875596403607259*y^2 + 1233654555490339310553209175736300171298032/84840232196544630119657106875596403607259*y - 1331374535216260764097008179137929311537524/84840232196544630119657106875596403607259 332820521588067966302916642823844517424541/1357443715144714081914513710009542457716144*y^18 + 6244606410619718724798524326745239156297375/1357443715144714081914513710009542457716144*y^17 + 26817727076224521334247079086517963007453961/1357443715144714081914513710009542457716144*y^16 - 6749983108827887368743197367753522848261691/678721857572357040957256855004771228858072*y^15 - 144771117675107283625435733446054140465056853/678721857572357040957256855004771228858072*y^14 - 21861857711333429825896478618364376097247325/339360928786178520478628427502385614429036*y^13 + 63259085855960581239092528254237218947746109/339360928786178520478628427502385614429036*y^12 + 2044309422813164683956249705528645168258582687/1357443715144714081914513710009542457716144*y^11 - 710906972085633119782465575390021176101949667/678721857572357040957256855004771228858072*y^10 - 63028300395616859973424201942200759648212749/339360928786178520478628427502385614429036*y^9 - 2686791509507865660587192743812554814842878067/1357443715144714081914513710009542457716144*y^8 + 69956198970875581029760090356938693823001533/84840232196544630119657106875596403607259*y^7 + 2696556656264260796440530537180765333495339883/1357443715144714081914513710009542457716144*y^6 - 484132413315734551069368279432910233864404517/339360928786178520478628427502385614429036*y^5 + 538559152268919797939280610759964619106731513/1357443715144714081914513710009542457716144*y^4 + 122224581604243220727596150812127308094445761/678721857572357040957256855004771228858072*y^3 - 210261032998934677235249481635178135145229005/1357443715144714081914513710009542457716144*y^2 - 1605173273180949646412269425862944843756451/84840232196544630119657106875596403607259*y + 6400885443716089057294321698458769619646317/1357443715144714081914513710009542457716144 48988803566495766259176273869239334930031/678721857572357040957256855004771228858072*y^18 + 893497939786609878353180627369130014987333/678721857572357040957256855004771228858072*y^17 + 3465750577284739034104104511463838967319363/678721857572357040957256855004771228858072*y^16 - 2028470950693253053216238463749056784543709/339360928786178520478628427502385614429036*y^15 - 20791930287377577225166784840529965421905487/339360928786178520478628427502385614429036*y^14 + 2368504554049156451791338873285310186341307/169680464393089260239314213751192807214518*y^13 + 11024534432714087458894519128016053501905897/169680464393089260239314213751192807214518*y^12 + 281299958947253978333151787980720727869682565/678721857572357040957256855004771228858072*y^11 - 183629052336076873842562877060443514155496097/339360928786178520478628427502385614429036*y^10 + 17967926912358501675099127699200563842585397/169680464393089260239314213751192807214518*y^9 - 374506602817939725783629524737990856961531537/678721857572357040957256855004771228858072*y^8 + 46645035618958670162426097642481169045131819/84840232196544630119657106875596403607259*y^7 + 310531491152770979231788519718498223530302833/678721857572357040957256855004771228858072*y^6 - 123749473889665728975327858212146876692451155/169680464393089260239314213751192807214518*y^5 + 225410415856679806001135925812814193322972699/678721857572357040957256855004771228858072*y^4 - 1801020870554209263630161706321503619320385/339360928786178520478628427502385614429036*y^3 - 48630698711003118916829484022365199798253535/678721857572357040957256855004771228858072*y^2 + 1464278262202390386551294556247813396282945/84840232196544630119657106875596403607259*y + 3782267179176603264437832803492674979557519/678721857572357040957256855004771228858072 -14419759794147647904748303493333089298610/84840232196544630119657106875596403607259*y^18 - 267300112080904532484987276853363025485887/84840232196544630119657106875596403607259*y^17 - 1101345357930662766005678256368737340375672/84840232196544630119657106875596403607259*y^16 + 838309549040138073914998106848987211836465/84840232196544630119657106875596403607259*y^15 + 12380098624912991858591474247338622123114482/84840232196544630119657106875596403607259*y^14 + 1006926393498514350488351216352472037577764/84840232196544630119657106875596403607259*y^13 - 11397720241023512668639077798355012600195270/84840232196544630119657106875596403607259*y^12 - 86241755352431692299505470856594401977520649/84840232196544630119657106875596403607259*y^11 + 81042188878997816518672651330237725145656906/84840232196544630119657106875596403607259*y^10 - 5869882840019838623210114785454591384016853/84840232196544630119657106875596403607259*y^9 + 117890591958518431849126487985266281643261573/84840232196544630119657106875596403607259*y^8 - 75165420668031197528787564435447728061555454/84840232196544630119657106875596403607259*y^7 - 101721783837315666839967254833783123337557409/84840232196544630119657106875596403607259*y^6 + 106274279007974228772143261606339201866661303/84840232196544630119657106875596403607259*y^5 - 45755525770272825553881226425927808276046360/84840232196544630119657106875596403607259*y^4 - 594331225965044256828601376427253692422475/84840232196544630119657106875596403607259*y^3 + 9073468836557278367368650752823927184518839/84840232196544630119657106875596403607259*y^2 - 753815946450582246644691278781953589209815/84840232196544630119657106875596403607259*y - 78108072100562018045399777726962697466069/84840232196544630119657106875596403607259 -37203306532399089188730976024555123294677/84840232196544630119657106875596403607259*y^18 - 692853729716512360015697202761756600965841/84840232196544630119657106875596403607259*y^17 - 2900574955619484407321412611817770860498864/84840232196544630119657106875596403607259*y^16 + 1926100943384264274790631544227659642942946/84840232196544630119657106875596403607259*y^15 + 32157746950514919192098114220364056327637359/84840232196544630119657106875596403607259*y^14 + 5291978246838999409296692496815938020565104/84840232196544630119657106875596403607259*y^13 - 29620835629286842224432472307861337986344160/84840232196544630119657106875596403607259*y^12 - 224787889065792978204408236947501821903835688/84840232196544630119657106875596403607259*y^11 + 190608819353053514642973788439569509016709131/84840232196544630119657106875596403607259*y^10 + 5960186930011657077724905970137198184977410/84840232196544630119657106875596403607259*y^9 + 298085852276119540608703390308072965079044158/84840232196544630119657106875596403607259*y^8 - 167676254004006960376351622947426798360928039/84840232196544630119657106875596403607259*y^7 - 283739762432467427667298126448705829870341711/84840232196544630119657106875596403607259*y^6 + 256326450000919558934596245363665761132546820/84840232196544630119657106875596403607259*y^5 - 90023550712849078499840338466271664747635688/84840232196544630119657106875596403607259*y^4 - 16967911952163929104981360686200416585686312/84840232196544630119657106875596403607259*y^3 + 26105534675168582554031816964634082100179659/84840232196544630119657106875596403607259*y^2 - 87638580194479093811133637694445389702880/84840232196544630119657106875596403607259*y - 767478322695130974857827270967294426375424/84840232196544630119657106875596403607259 # A Gluing Matrix {{1,1,0,0,0,0},{1,1,0,-2,0,-1},{0,0,0,-2,0,-1},{0,-1,-2,0,1,-1},{0,0,0,1,1,0},{0,-1,-2,-2,0,0}} # B Gluing Matrix {{2,0,0,0,0,0},{0,2,0,0,0,0},{0,0,1,0,0,0},{0,0,0,1,0,0},{0,0,0,0,1,0},{0,0,0,0,0,2}} # nu Gluing Vector {2, 0, 0, 0, 1, 0} # f Combinatorial flattening {-14, 6, 0, -3, 4, -2} # f' Combinatorial flattening {5, 0, -8, 0, 0, 0} # 1 Loop Invariant 307042916036642304476645589579570116003543/169680464393089260239314213751192807214518*y^18 + 5654139843745682735684409853283201876567947/169680464393089260239314213751192807214518*y^17 + 22740487186032622145633917473520400198559485/169680464393089260239314213751192807214518*y^16 - 10504802620062916599448349081761886642841895/84840232196544630119657106875596403607259*y^15 - 131447737860868651878985544506063431000365261/84840232196544630119657106875596403607259*y^14 + 4990231486470325633575146409252155508969052/84840232196544630119657106875596403607259*y^13 + 128541223842939404535779096589697678301117293/84840232196544630119657106875596403607259*y^12 + 1821001347373397131609947819017771942857198077/169680464393089260239314213751192807214518*y^11 - 972467033756307436752670186314417419646682113/84840232196544630119657106875596403607259*y^10 + 126444214689567186944548720514338977555473668/84840232196544630119657106875596403607259*y^9 - 2535732141073218307957434486583400557762395581/169680464393089260239314213751192807214518*y^8 + 942374229775155432364165294039491279542284881/84840232196544630119657106875596403607259*y^7 + 2073389253700922348317128249359506972181716225/169680464393089260239314213751192807214518*y^6 - 1246100014038346893925323862522548491382263365/84840232196544630119657106875596403607259*y^5 + 1187877673454861403789822091588217287678483233/169680464393089260239314213751192807214518*y^4 - 36043953108612169076287716814826311220142300/84840232196544630119657106875596403607259*y^3 - 215628075281322045580364010527547377731999443/169680464393089260239314213751192807214518*y^2 + 18819693338325325065895466534754497763456800/84840232196544630119657106875596403607259*y - 1685661579426810367566421296958414975590369/169680464393089260239314213751192807214518 # 2 Loop Invariant -20148554106289887548949894302428757706793365457231636749219513165997669483487492001712358584768717/1402260277105326777963227019077091454136778786546568600600539036874232149966242483747666409258174608*y^18 - 7863581611643333517041087573254056329539578698333267920601938606854364771300925195367302226097485/29213755773027641207567229564106071961182891386386845845844563268213169790963385078076383526211971*y^17 - 1612353702961832261522860022106793867358161645116107925104330225188700499144943348207275964318568083/1402260277105326777963227019077091454136778786546568600600539036874232149966242483747666409258174608*y^16 + 866450177696998822453808621722470289699815183681478383831287673630472017264875516479966063257024821/1402260277105326777963227019077091454136778786546568600600539036874232149966242483747666409258174608*y^15 + 17507446270489149001907844558609292751983446910363891774859483140398648813759833105946388753474598599/1402260277105326777963227019077091454136778786546568600600539036874232149966242483747666409258174608*y^14 + 4747750378615202833427377095509839774087848081815761564604706991683396295546943210873488992464999489/1402260277105326777963227019077091454136778786546568600600539036874232149966242483747666409258174608*y^13 - 7791532957706579083082319753416862156490399422554287949460383348138502940457821309675794686150618785/701130138552663388981613509538545727068389393273284300300269518437116074983121241873833204629087304*y^12 - 123101562625813045907916046501901649526122223063933945633498620287499631619504357015086021336794786109/1402260277105326777963227019077091454136778786546568600600539036874232149966242483747666409258174608*y^11 + 45039715439751154873212139200336264532759019097899336198194640888029593739198910866675058085625463839/701130138552663388981613509538545727068389393273284300300269518437116074983121241873833204629087304*y^10 + 13500290488669367146736465584318023149698148013559729628822772889629154629493186383929614724173858567/1402260277105326777963227019077091454136778786546568600600539036874232149966242483747666409258174608*y^9 + 80014468134868444552990134941422759214491172429066286300089992340947590962564139588145820806815030539/701130138552663388981613509538545727068389393273284300300269518437116074983121241873833204629087304*y^8 - 72977851991075889032059526199419828145933467843588621216412511566730147454900858092225669882229206019/1402260277105326777963227019077091454136778786546568600600539036874232149966242483747666409258174608*y^7 - 162489378058915952721202682576581801391085535066834654035601438796291436641540474896376035580716914883/1402260277105326777963227019077091454136778786546568600600539036874232149966242483747666409258174608*y^6 + 41535302882632643601453011637406643413813965223119366269373620393205948718184683500587150770049153457/467420092368442259321075673025697151378926262182189533533513012291410716655414161249222136419391536*y^5 - 5676206338108144811429533831736069240861317439763948434568708675178946226930200666648150515307417441/233710046184221129660537836512848575689463131091094766766756506145705358327707080624611068209695768*y^4 - 1945511174808904434362372527075989980933999726978666397069748208904881000844079509620167864033606091/175282534638165847245403377384636431767097348318321075075067379609279018745780310468458301157271826*y^3 + 6941151301783197290251790425759854003458610245210068812144946096843477824230723833040259353795223311/701130138552663388981613509538545727068389393273284300300269518437116074983121241873833204629087304*y^2 + 214457105093625835379406243959508176646644783280459801127582723827257718308231180224682347807369601/350565069276331694490806754769272863534194696636642150150134759218558037491560620936916602314543652*y + 4807875959757673614486128459138969236030790279882247269623946019651227481021663481245369762149285675/701130138552663388981613509538545727068389393273284300300269518437116074983121241873833204629087304 # 3 Loop Invariant -49156165029265161479105178786022413104892607007360914011551183152373668207186628506088609516383612632418616356825729560921445/34694460702665026736714619730469870443733709423922831257087830309137773334616471968842032128819114104591180502253438858895316928*y^18 - 921233035000078429327392755562626604975552157222248527692827256959747449511769074568831085189314436492865768348323981209348489/34694460702665026736714619730469870443733709423922831257087830309137773334616471968842032128819114104591180502253438858895316928*y^17 - 3942976026645423195982996876507003318247294416111448927745545428557592674870256136692000951397997937517256060043811732166176491/34694460702665026736714619730469870443733709423922831257087830309137773334616471968842032128819114104591180502253438858895316928*y^16 + 2037337431395832790712046866867820413997913693834795423198036880625479723368622388361113085911442844092370913228300872050363545/34694460702665026736714619730469870443733709423922831257087830309137773334616471968842032128819114104591180502253438858895316928*y^15 + 5313169144831253811562921199595129110963615511086213461366085846565647799175024956309105860807059328201984201531104289857265659/4336807587833128342089327466308733805466713677990353907135978788642221666827058996105254016102389263073897562781679857361914616*y^14 + 5932168969574443215277538608278561548468508988947161454560985748448406924754107851240771291698520446718751020046641443009579129/17347230351332513368357309865234935221866854711961415628543915154568886667308235984421016064409557052295590251126719429447658464*y^13 - 17949463799584835742710951105522755132924959520152183230636486150096805157410853492134617648258101803080936243880705616210344425/17347230351332513368357309865234935221866854711961415628543915154568886667308235984421016064409557052295590251126719429447658464*y^12 - 149440621362260311200679423587214527032721200469057292398370041604441447705321913911033682103334817359985916372924935787783476869/17347230351332513368357309865234935221866854711961415628543915154568886667308235984421016064409557052295590251126719429447658464*y^11 + 108561816977570224830024526888483770837066808226770434543931297486414959285241180868326458810023232104497568580757928530376279311/17347230351332513368357309865234935221866854711961415628543915154568886667308235984421016064409557052295590251126719429447658464*y^10 + 20146558530764478236968290512704560826512077358508943525448388720200796868145495528083746427437211862893254911972629556128982125/34694460702665026736714619730469870443733709423922831257087830309137773334616471968842032128819114104591180502253438858895316928*y^9 + 393310271777335571070642006720524934162723571242908907712850614410954571924999335656622808236626312804528280078529680107294431663/34694460702665026736714619730469870443733709423922831257087830309137773334616471968842032128819114104591180502253438858895316928*y^8 - 175262580153280533811493560946136362245423268943955170038057023107777500493422229207807045482667469690564746729070599936234912797/34694460702665026736714619730469870443733709423922831257087830309137773334616471968842032128819114104591180502253438858895316928*y^7 - 379771739676227583771115568687213165432381567716459834926198106538569894532666759188949301735226939307371138512113192048595168601/34694460702665026736714619730469870443733709423922831257087830309137773334616471968842032128819114104591180502253438858895316928*y^6 + 301983422414664783308397381578301551360199236119502282209240786484418416292248621696167876249995943596732766970908457606170989991/34694460702665026736714619730469870443733709423922831257087830309137773334616471968842032128819114104591180502253438858895316928*y^5 - 95808698629136845478564606769928136186639940160149115386365787702505284465505448394057786418903772511342015899737509239691593737/34694460702665026736714619730469870443733709423922831257087830309137773334616471968842032128819114104591180502253438858895316928*y^4 - 29243344715463524700032052283798353196329763252751844599543065281579059141579126998709156636682716166013899911513032879329581735/34694460702665026736714619730469870443733709423922831257087830309137773334616471968842032128819114104591180502253438858895316928*y^3 + 32871132985870798250575497914522852885939206451084892766334939914236794872785668567598346614701884040341766581707967258620105207/34694460702665026736714619730469870443733709423922831257087830309137773334616471968842032128819114104591180502253438858895316928*y^2 + 1044876820089109256985990189925313870230952957348254350946297292208174229021377556432032696211559451756798677221187301188238609/34694460702665026736714619730469870443733709423922831257087830309137773334616471968842032128819114104591180502253438858895316928*y - 73593174430946741104669043991946082285164313480384420062053317133646367545616496428351241620259758700197858552409907670681863/4336807587833128342089327466308733805466713677990353907135978788642221666827058996105254016102389263073897562781679857361914616