# Manifold: Census Knot K6_13 # Number of Tetrahedra: 6 # Number Field x^17 - 5*x^16 - 43*x^15 + 117*x^14 - 18*x^13 - 559*x^12 + 1052*x^11 + 1945*x^10 - 2181*x^9 - 4214*x^8 + 1783*x^7 + 3400*x^6 - 343*x^5 - 942*x^4 + 13*x^3 + 89*x^2 - 7*x - 1 # Approximate Field Generator -0.504865553134505 - 0.160071049323828*I # Shape Parameters 23517090038432151277008454901/249502931850598354316109997569*y^16 - 109090796974232098590140142851/249502931850598354316109997569*y^15 - 1055141623549680174640532184196/249502931850598354316109997569*y^14 + 341887987071735161015308973588/35643275978656907759444285367*y^13 + 632089249216857620769290479037/249502931850598354316109997569*y^12 - 4484823657364971713958904730623/83167643950199451438703332523*y^11 + 20042894979660113404624954249333/249502931850598354316109997569*y^10 + 18464570721001412460322290599383/83167643950199451438703332523*y^9 - 12069101077494761802116966886135/83167643950199451438703332523*y^8 - 120047220502803721788583099267261/249502931850598354316109997569*y^7 + 8144439525946872948837596764468/249502931850598354316109997569*y^6 + 33053467718726687684621861014259/83167643950199451438703332523*y^5 + 19756153299818218010478185569711/249502931850598354316109997569*y^4 - 26333996329743264844821340218368/249502931850598354316109997569*y^3 - 2510828006722018097467943043737/83167643950199451438703332523*y^2 + 1564761837563079270461003160562/249502931850598354316109997569*y + 670483490793058994152280289653/249502931850598354316109997569 181084942307875631155803659606/582173507651396160070923327661*y^16 - 2510547716417841930075658795595/1746520522954188480212769982983*y^15 - 8123440440605147399333076350762/582173507651396160070923327661*y^14 + 7805570982713029960206589271851/249502931850598354316109997569*y^13 + 13427699390887984892140858138061/1746520522954188480212769982983*y^12 - 101974046847661359943887490926395/582173507651396160070923327661*y^11 + 152658101698354060751812881725835/582173507651396160070923327661*y^10 + 1262460500057888573323993589530433/1746520522954188480212769982983*y^9 - 773982279627017849022293081919631/1746520522954188480212769982983*y^8 - 2686169572342442082390796641957616/1746520522954188480212769982983*y^7 + 30433687035634067659852928085714/582173507651396160070923327661*y^6 + 2106371607162639844906386764964143/1746520522954188480212769982983*y^5 + 486220986358598708986648924084304/1746520522954188480212769982983*y^4 - 495912222919735008514045654189346/1746520522954188480212769982983*y^3 - 50362266041970944981945167088476/582173507651396160070923327661*y^2 + 9420264340771326878783472885028/582173507651396160070923327661*y + 6742892659123464172554229504586/1746520522954188480212769982983 40676003857209666019868465444/249502931850598354316109997569*y^16 - 186528256279763515914630580751/249502931850598354316109997569*y^15 - 1832218673930932907693159000326/249502931850598354316109997569*y^14 + 575809390066760082141163808789/35643275978656907759444285367*y^13 + 1182945888360212983701164159972/249502931850598354316109997569*y^12 - 7661730179992923227571693531995/83167643950199451438703332523*y^11 + 33560978865723882979515501419557/249502931850598354316109997569*y^10 + 32052875039546119569956291803967/83167643950199451438703332523*y^9 - 18567436307159149545991669283812/83167643950199451438703332523*y^8 - 204088903103283749805727181275591/249502931850598354316109997569*y^7 + 2125676316705193036530653758687/249502931850598354316109997569*y^6 + 53301105599809877468533938746213/83167643950199451438703332523*y^5 + 38829074319064952205279437864440/249502931850598354316109997569*y^4 - 37282168474742009541273825612458/249502931850598354316109997569*y^3 - 3730007488787121071583979997963/83167643950199451438703332523*y^2 + 2240408155922777856259956750559/249502931850598354316109997569*y + 368177040126878836961128600037/249502931850598354316109997569 7037693882602360777585696203/11881091992885635919814761789*y^16 - 33673247167295428608132958705/11881091992885635919814761789*y^15 - 309921475665134368761663199614/11881091992885635919814761789*y^14 + 756912092747246727610792960663/11881091992885635919814761789*y^13 + 38607251125560014848861653030/11881091992885635919814761789*y^12 - 3930715452327070907498742589144/11881091992885635919814761789*y^11 + 6555083085982850794701501751697/11881091992885635919814761789*y^10 + 15132032745732734880805797764239/11881091992885635919814761789*y^9 - 12137783662042205416455620629821/11881091992885635919814761789*y^8 - 32396764980718818309334428603562/11881091992885635919814761789*y^7 + 5670964598589847153254381302931/11881091992885635919814761789*y^6 + 25375329759535769611266300921032/11881091992885635919814761789*y^5 + 2980055153846121926149582204748/11881091992885635919814761789*y^4 - 6147125757097280428771477563470/11881091992885635919814761789*y^3 - 1151923966284554897913077946219/11881091992885635919814761789*y^2 + 373633592857292540502107258008/11881091992885635919814761789*y + 24491461295293821436040070705/11881091992885635919814761789 -45957932216313138049792219/11881091992885635919814761789*y^16 + 3759360798078990766287100219/11881091992885635919814761789*y^15 - 14909370602533895524605745611/11881091992885635919814761789*y^14 - 160645844814277001735501311977/11881091992885635919814761789*y^13 + 379570659023649094517856024590/11881091992885635919814761789*y^12 + 37222920155142598952639528964/11881091992885635919814761789*y^11 - 2004322307178157015114246912579/11881091992885635919814761789*y^10 + 3204929910340515070434449883606/11881091992885635919814761789*y^9 + 7594146262624585517875363513895/11881091992885635919814761789*y^8 - 5763106277523372793117812592877/11881091992885635919814761789*y^7 - 15898020514769318892752191585741/11881091992885635919814761789*y^6 + 2540103599429442516216122884366/11881091992885635919814761789*y^5 + 11901730379672471411904721032680/11881091992885635919814761789*y^4 + 1378097443403454181785036862800/11881091992885635919814761789*y^3 - 2554640503737193802253285436128/11881091992885635919814761789*y^2 - 389159816238556562220001838113/11881091992885635919814761789*y + 163689003535372172784560276174/11881091992885635919814761789 -12041779363091462386470569704/35643275978656907759444285367*y^16 + 19391655629032178947366364910/11881091992885635919814761789*y^15 + 527035638143236238564390192759/35643275978656907759444285367*y^14 - 1316789191796312677181889477731/35643275978656907759444285367*y^13 + 6215905176609911037223381537/11881091992885635919814761789*y^12 + 2220217936477012995322886804649/11881091992885635919814761789*y^11 - 11506678914204205393894507246070/35643275978656907759444285367*y^10 - 25062980265375658091070424760510/35643275978656907759444285367*y^9 + 21342712115157247258248244372480/35643275978656907759444285367*y^8 + 17820236572033256682127771841484/11881091992885635919814761789*y^7 - 11095867607864362283307656500841/35643275978656907759444285367*y^6 - 40984947162292950616298285429372/35643275978656907759444285367*y^5 - 4118405279495333513474768989000/35643275978656907759444285367*y^4 + 3161167734573970375168330468358/11881091992885635919814761789*y^3 + 604280551599538380916607807206/11881091992885635919814761789*y^2 - 520992531672218973811761738632/35643275978656907759444285367*y - 5728400507015262606035034123/11881091992885635919814761789 # A Gluing Matrix {{2,-1,0,0,0,0},{-2,2,0,0,1,1},{0,0,2,-1,1,1},{0,1,1,-1,0,1},{0,1,2,-2,0,2},{0,0,0,0,1,0}} # B Gluing Matrix {{1,0,0,0,0,0},{0,2,0,0,2,1},{0,0,1,0,2,1},{0,0,0,1,2,1},{0,0,0,0,4,0},{0,0,0,0,0,2}} # nu Gluing Vector {0, 3, 3, 2, 2, 2} # f Combinatorial flattening {2, 2, 1, 2, 2, 1} # f' Combinatorial flattening {-2, 0, 0, 0, 0, 0} # 1 Loop Invariant -14732499294680185076336764007/23762183985771271839629523578*y^16 + 23401949163982280903350091694/11881091992885635919814761789*y^15 + 753850282264941111987384542483/23762183985771271839629523578*y^14 - 502908043795046480860817153339/23762183985771271839629523578*y^13 - 2262332716415570859746361181809/23762183985771271839629523578*y^12 + 7269980682183613990430300181207/23762183985771271839629523578*y^11 - 261846056299760534203033470862/11881091992885635919814761789*y^10 - 24721478018375940085289587505933/11881091992885635919814761789*y^9 - 16300463067188536018388192328183/11881091992885635919814761789*y^8 + 45721032052985319533316784619800/11881091992885635919814761789*y^7 + 106424422797419532647451135446779/23762183985771271839629523578*y^6 - 38089318375789360238219405804531/23762183985771271839629523578*y^5 - 44653871358913968911612773557956/11881091992885635919814761789*y^4 - 16083173372533439131468999069127/23762183985771271839629523578*y^3 + 14861661246280446955959946137829/23762183985771271839629523578*y^2 + 1426925235824896164856017211693/11881091992885635919814761789*y - 408894229686143237484339339451/11881091992885635919814761789 # 2 Loop Invariant 1409593288204041355327909797645208660437624778901174992991609152280398293093929/23266951710920784022108216838560766835508071932924017554518723216691108109029534*y^16 - 26817345020293294393337374387373543395210274044195991369899488697660509276265793/93067806843683136088432867354243067342032287731696070218074892866764432436118136*y^15 - 249100802608610743483548896218045536772438180704884520873317232770004802454281057/93067806843683136088432867354243067342032287731696070218074892866764432436118136*y^14 + 1199090510121098388226143059297929597160912250562250253688180503795417802346770267/186135613687366272176865734708486134684064575463392140436149785733528864872236272*y^13 + 98919305135776824570448836919046926751684037212008730323188512750543818157355823/186135613687366272176865734708486134684064575463392140436149785733528864872236272*y^12 - 2102472950286474492415032398723765216674741145694883585232971399247370721136670347/62045204562455424058955244902828711561354858487797380145383261911176288290745424*y^11 + 10333339637203867618888063507647647822516937140876429129741324763685324816608776291/186135613687366272176865734708486134684064575463392140436149785733528864872236272*y^10 + 227588259131275965323619581258834270169373148121870368708561529563466158280389391/1723477904512650668304312358411908654482079402438816115149535053088230230298484*y^9 - 2095934051547036565254770478404294039296986171607772591104798417671130735629507451/20681734854151808019651748300942903853784952829265793381794420637058762763581808*y^8 - 3282506648683083349007372083271836167355442320603875140636375353881340833485156192/11633475855460392011054108419280383417754035966462008777259361608345554054514767*y^7 + 3933588590655404415939533050003109760499831406486209326110302976491384030130720809/93067806843683136088432867354243067342032287731696070218074892866764432436118136*y^6 + 856132831355390211497624497506671498638264644053344948191991445360807356256354830/3877825285153464003684702806426794472584678655487336259086453869448518018171589*y^5 + 2809430394884622179942956310765180539397128619627071304367352777736425314223554013/93067806843683136088432867354243067342032287731696070218074892866764432436118136*y^4 - 2467330101268297608513308055039840473001582377983409486291566608226439808940369057/46533903421841568044216433677121533671016143865848035109037446433382216218059068*y^3 - 678843714924423111479058132812523223728255291884076433798835824894809737549205733/62045204562455424058955244902828711561354858487797380145383261911176288290745424*y^2 + 295815187406080692008475650463661402428089353727051023435660292626865059497287773/93067806843683136088432867354243067342032287731696070218074892866764432436118136*y + 169866169025572914607283796138198861392253970641965455635600454817422134809599927/186135613687366272176865734708486134684064575463392140436149785733528864872236272 # 3 Loop Invariant -63157176721037430281987339847247302520524846651342973085069081139734866440910647121433541318870344431201/4483675275910583102735958782098423241956907853082108368682512432792050302633976372441535812088523744735296*y^16 + 100555284227730297341479582126086985171845041828572922608363555396804123566002401088073384772123936168649/1494558425303527700911986260699474413985635951027369456227504144264016767544658790813845270696174581578432*y^15 + 174079111340969834630967485346058389127274022423847881723953210918560945110724238466770964510587636368055/280229704744411443920997423881151452622306740817631773042657027049503143914623523277595988255532734045956*y^14 - 6778572317818671531602525861312047357205206444461407193698407593804437596983703592408626725379978835956535/4483675275910583102735958782098423241956907853082108368682512432792050302633976372441535812088523744735296*y^13 - 9551943463330771080593260568338624307590272873315911944313561431380095013445090721666429071737059680193/93409901581470481306999141293717150874102246939210591014219009016501047971541174425865329418510911348652*y^12 + 11834918714016301640206873738318639790822325397734569192594727057250940907822481677775367640363796328739491/1494558425303527700911986260699474413985635951027369456227504144264016767544658790813845270696174581578432*y^11 - 58765258801763104497286324741165733591147976168813766504177326218128594615703785760360227174634444894319185/4483675275910583102735958782098423241956907853082108368682512432792050302633976372441535812088523744735296*y^10 - 17117583093787855346258867007528605506409372593452410874158653754770621280846804971351289028815973383290039/560459409488822887841994847762302905244613481635263546085314054099006287829247046555191976511065468091912*y^9 + 110030268287235213738734390942841998885289272107497250845017515873938584391238628797994236997853270139712581/4483675275910583102735958782098423241956907853082108368682512432792050302633976372441535812088523744735296*y^8 + 24383138500983067027568629635821797215703392245008371649538427389253371783577493100011296905414023262002625/373639606325881925227996565174868603496408987756842364056876036066004191886164697703461317674043645394608*y^7 - 53145333434063785800452361295723051704626487661311284098765843475863362031268266526632641849027492879124061/4483675275910583102735958782098423241956907853082108368682512432792050302633976372441535812088523744735296*y^6 - 115502572650691463040061847178216479845702092184581500952416891383882580687998159411446490584320692459854637/2241837637955291551367979391049211620978453926541054184341256216396025151316988186220767906044261872367648*y^5 - 11564151302393131551724506395360061616349331045702616742284790790143358783593085541049437231289806348901405/2241837637955291551367979391049211620978453926541054184341256216396025151316988186220767906044261872367648*y^4 + 4699362577198311389700504853950204881595490976986655789108062789180280627114313585881753276802265703024323/373639606325881925227996565174868603496408987756842364056876036066004191886164697703461317674043645394608*y^3 + 1085976747144002562055300129351662749409209119330841221893206182929768729555479339179703036506840796602675/498186141767842566970662086899824804661878650342456485409168048088005589181552930271281756898724860526144*y^2 - 3684262617235739554691992688335666044393070236676588249265363847692548116099384975530560504641455183742179/4483675275910583102735958782098423241956907853082108368682512432792050302633976372441535812088523744735296*y - 31931350952890678065173316584692769780730905351181302127828661098529768702136042877705413329822464460975/747279212651763850455993130349737206992817975513684728113752072132008383772329395406922635348087290789216