# Manifold: Rolfsen Knot 9_12 # Number of Tetrahedra: 10 # Number Field x^17 + 4*x^16 + 2*x^15 - 12*x^14 - 19*x^13 + 15*x^12 + 44*x^11 - 26*x^10 - 14*x^9 + 32*x^8 + 63*x^7 - 184*x^6 + 198*x^5 - 115*x^4 + 80*x^3 - 11*x^2 + 21*x + 9 # Approximate Field Generator -1.26666288489456 - 1.05157471077785*I # Shape Parameters 14391934094119075/594530662942655484*y^16 + 62124256369159753/594530662942655484*y^15 + 58022000515086293/594530662942655484*y^14 - 40734709948482615/198176887647551828*y^13 - 80516609655231550/148632665735663871*y^12 - 9832732468283565/198176887647551828*y^11 + 517730922554125739/594530662942655484*y^10 + 117623987108928727/594530662942655484*y^9 + 200619153044569963/594530662942655484*y^8 - 202737625082095891/594530662942655484*y^7 + 51120435762608516/49544221911887957*y^6 - 432620864744375596/148632665735663871*y^5 + 504162023922175919/99088443823775914*y^4 - 3113752649723205655/594530662942655484*y^3 + 2881741023180346151/594530662942655484*y^2 - 198537265840890491/148632665735663871*y + 322387290995435597/198176887647551828 -216298276481954290/1337693991620974839*y^16 - 1722616659027872345/2675387983241949678*y^15 - 412033758455999729/1337693991620974839*y^14 + 1769896893220766209/891795994413983226*y^13 + 4191378741564420064/1337693991620974839*y^12 - 1118892578576977510/445897997206991613*y^11 - 19989743462999737687/2675387983241949678*y^10 + 5327178135560446085/1337693991620974839*y^9 + 7801242877203211951/2675387983241949678*y^8 - 5551151122427800640/1337693991620974839*y^7 - 9888361018064418427/891795994413983226*y^6 + 78619367377460343137/2675387983241949678*y^5 - 28014593873499956773/891795994413983226*y^4 + 53550898788090857267/2675387983241949678*y^3 - 23134973499029232776/1337693991620974839*y^2 + 17556297724034402773/2675387983241949678*y - 4498406614700486485/891795994413983226 6244673413449037/594530662942655484*y^16 + 25102918827581305/594530662942655484*y^15 - 15917978194068697/594530662942655484*y^14 - 67694828382767687/198176887647551828*y^13 - 53606208886344454/148632665735663871*y^12 + 164835099487046853/198176887647551828*y^11 + 1111477241279902595/594530662942655484*y^10 - 441936785474450363/594530662942655484*y^9 - 2103031904207446913/594530662942655484*y^8 + 60343069772615723/594530662942655484*y^7 + 338967064586429399/99088443823775914*y^6 - 466925798604324233/297265331471327742*y^5 - 123192367367562221/49544221911887957*y^4 + 3136925928877088261/594530662942655484*y^3 - 1740295849442386135/594530662942655484*y^2 + 82193172364018553/297265331471327742*y - 148578672930117575/198176887647551828 36012592402303925/594530662942655484*y^16 + 140607217145124023/594530662942655484*y^15 + 20849149899909361/594530662942655484*y^14 - 205053413451280019/198176887647551828*y^13 - 404043759960328255/297265331471327742*y^12 + 367272051569876849/198176887647551828*y^11 + 2765539474427542027/594530662942655484*y^10 - 1186063132112083603/594530662942655484*y^9 - 3251045799297114781/594530662942655484*y^8 + 121619802868946299/594530662942655484*y^7 + 719005502245260041/99088443823775914*y^6 - 1362106867088112257/148632665735663871*y^5 + 803573688609632589/99088443823775914*y^4 - 1178446822871961083/594530662942655484*y^3 + 1193645128471342525/594530662942655484*y^2 - 640166913212593007/297265331471327742*y - 8667706518692781/198176887647551828 388608673677944299/5350775966483899356*y^16 + 1505480785969554085/5350775966483899356*y^15 + 664660999127916629/5350775966483899356*y^14 - 1501956377526000167/1783591988827966452*y^13 - 1723053318320967718/1337693991620974839*y^12 + 1957889244361198099/1783591988827966452*y^11 + 16124145956567714639/5350775966483899356*y^10 - 9977538165178062353/5350775966483899356*y^9 - 3712353671219644445/5350775966483899356*y^8 + 6516169128947684837/5350775966483899356*y^7 + 2289656016310791323/445897997206991613*y^6 - 16805113348892064271/1337693991620974839*y^5 + 14361645271231992157/891795994413983226*y^4 - 77320997891160084679/5350775966483899356*y^3 + 72696658349298413159/5350775966483899356*y^2 - 8854972032248630354/1337693991620974839*y + 7832189124176162465/1783591988827966452 11378569448584297/594530662942655484*y^16 + 39568771294755103/594530662942655484*y^15 - 3497421889062517/594530662942655484*y^14 - 49914877118311973/198176887647551828*y^13 - 27054626359171447/148632665735663871*y^12 + 121329888869452473/198176887647551828*y^11 + 387812934658504709/594530662942655484*y^10 - 846267236762478251/594530662942655484*y^9 - 212763566443260431/594530662942655484*y^8 + 906616254259498583/594530662942655484*y^7 + 69980875819703259/49544221911887957*y^6 - 627667565411228803/148632665735663871*y^5 + 522125726936208463/99088443823775914*y^4 - 1696197892388021389/594530662942655484*y^3 + 235971789525678221/594530662942655484*y^2 + 54840402511773121/148632665735663871*y + 44612357510036267/198176887647551828 3712755898522129/594530662942655484*y^16 + 3367241132926285/594530662942655484*y^15 - 43833226638680269/594530662942655484*y^14 - 30303610378749075/198176887647551828*y^13 + 11229909058112303/148632665735663871*y^12 + 106875035201383513/198176887647551828*y^11 + 117780095714774711/594530662942655484*y^10 - 579772225743173267/594530662942655484*y^9 + 48637058751954019/594530662942655484*y^8 + 203274964546113827/594530662942655484*y^7 - 43087885655107829/99088443823775914*y^6 - 691445887325946599/297265331471327742*y^5 + 231726018738090270/49544221911887957*y^4 - 2031502103685701215/594530662942655484*y^3 + 616635715074924149/594530662942655484*y^2 - 64645821949388845/297265331471327742*y + 39315410230927541/198176887647551828 14707730859862418/445897997206991613*y^16 + 100034649810810031/891795994413983226*y^15 + 2286992264829034/445897997206991613*y^14 - 105574448805980903/297265331471327742*y^13 - 143375953510621646/445897997206991613*y^12 + 99369765376597556/148632665735663871*y^11 + 618163269494339495/891795994413983226*y^10 - 736713477321975322/445897997206991613*y^9 + 889714016254166071/891795994413983226*y^8 + 631011534257298421/445897997206991613*y^7 + 326636445649955837/297265331471327742*y^6 - 6535063488255535783/891795994413983226*y^5 + 3402050966007965735/297265331471327742*y^4 - 8889849810736751515/891795994413983226*y^3 + 3495529778112892318/445897997206991613*y^2 - 3447420422220341441/891795994413983226*y + 795968482176808115/297265331471327742 209315155343118215/1783591988827966452*y^16 + 802809273988986167/1783591988827966452*y^15 + 264854095379062849/1783591988827966452*y^14 - 883618381726454537/594530662942655484*y^13 - 907650489151534274/445897997206991613*y^12 + 1311509543841909679/594530662942655484*y^11 + 9073123343636604565/1783591988827966452*y^10 - 6891915756065867329/1783591988827966452*y^9 - 2628565250809863535/1783591988827966452*y^8 + 6951485298359999977/1783591988827966452*y^7 + 650531221111323569/99088443823775914*y^6 - 20306611325552607973/891795994413983226*y^5 + 1321698900799625324/49544221911887957*y^4 - 28884848390525563865/1783591988827966452*y^3 + 17704058157028918687/1783591988827966452*y^2 - 1283910347909701589/891795994413983226*y + 1505184444225645419/594530662942655484 3712755898522129/594530662942655484*y^16 + 3367241132926285/594530662942655484*y^15 - 43833226638680269/594530662942655484*y^14 - 30303610378749075/198176887647551828*y^13 + 11229909058112303/148632665735663871*y^12 + 106875035201383513/198176887647551828*y^11 + 117780095714774711/594530662942655484*y^10 - 579772225743173267/594530662942655484*y^9 + 48637058751954019/594530662942655484*y^8 + 203274964546113827/594530662942655484*y^7 - 43087885655107829/99088443823775914*y^6 - 691445887325946599/297265331471327742*y^5 + 231726018738090270/49544221911887957*y^4 - 2031502103685701215/594530662942655484*y^3 + 616635715074924149/594530662942655484*y^2 - 64645821949388845/297265331471327742*y + 39315410230927541/198176887647551828 # A Gluing Matrix {{1,0,-1,1,0,0,0,0,0,0},{0,1,0,1,-1,0,0,0,0,0},{-1,0,2,0,0,0,0,0,0,0},{1,1,0,0,0,0,1,-1,1,1},{0,-1,0,0,1,0,-1,0,-1,-1},{0,0,0,0,0,1,-1,0,-1,-1},{0,0,0,1,-1,-1,1,0,1,0},{0,0,0,-1,0,0,0,0,0,0},{0,0,0,1,-1,-1,1,0,2,1},{0,0,0,1,-1,-1,0,0,1,1}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,0,0},{0,0,0,0,0,1,0,0,0,0},{0,0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {1, 1, 0, 2, -1, -1, 1, 0, 2, 1} # f Combinatorial flattening {2, 2, 1, 0, 1, -1, -1, 2, 2, -1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -93614276599201511/1189061325885310968*y^16 - 482127080646110663/1189061325885310968*y^15 - 647469124690026349/1189061325885310968*y^14 + 281993578542215993/396353775295103656*y^13 + 829517831013222245/297265331471327742*y^12 + 510029632346050745/396353775295103656*y^11 - 5331592030247793445/1189061325885310968*y^10 - 4691169356223025907/1189061325885310968*y^9 + 991501578612935791/1189061325885310968*y^8 + 1513936438719616199/1189061325885310968*y^7 - 836795404119645415/198176887647551828*y^6 + 5328303051188744695/594530662942655484*y^5 - 284364358025605817/99088443823775914*y^4 - 1140721110314199859/1189061325885310968*y^3 - 3522679025091262903/1189061325885310968*y^2 + 3210536296466655035/594530662942655484*y - 1734573417520143859/396353775295103656 # 2 Loop Invariant 497676690296832541254590987098012745185806864101643044123/954345351012840394223612170215677245467555753408533225566068*y^16 - 746108626458488433682851502171749694311327707010907567225/954345351012840394223612170215677245467555753408533225566068*y^15 - 2416697862099953939226083196552542525956516627491872770856/238586337753210098555903042553919311366888938352133306391517*y^14 - 649338866001264140040416307212846677947087015619415314489/79528779251070032851967680851306437122296312784044435463839*y^13 + 35683407194520921179799479599824518992475068438634460270511/954345351012840394223612170215677245467555753408533225566068*y^12 + 22166737481067322161466639603775335283742253939612178815991/318115117004280131407870723405225748489185251136177741855356*y^11 - 14343539595966899166071525715905202959175612674722959516896/238586337753210098555903042553919311366888938352133306391517*y^10 - 51049384434648339545741484819992920650239264333550922184605/238586337753210098555903042553919311366888938352133306391517*y^9 + 93285665176921348514131877776319856531386470417670019665759/954345351012840394223612170215677245467555753408533225566068*y^8 + 221908582168162268113311762751058429637766411071593382868609/954345351012840394223612170215677245467555753408533225566068*y^7 - 6670674352006495845566138787248171190503734153424876439193/159057558502140065703935361702612874244592625568088870927678*y^6 - 415394038324350921136449191167611393497623548051863362744913/954345351012840394223612170215677245467555753408533225566068*y^5 + 53154733421243723604190176525019459331385327484471764022186/79528779251070032851967680851306437122296312784044435463839*y^4 - 85537694121099717252348220201420243756897039360250306904461/238586337753210098555903042553919311366888938352133306391517*y^3 + 191563805027892699383777014613366421761690729636487641752057/954345351012840394223612170215677245467555753408533225566068*y^2 - 298474129432641876937944398613964719504579162060122816413225/954345351012840394223612170215677245467555753408533225566068*y + 95516069190151848640648367583440272330389613634733152204911/318115117004280131407870723405225748489185251136177741855356 # 3 Loop Invariant -25896370124031921972384756123784592294234418015907019576199759314573141810261/465392443867805875953109246168502863370849912534415081618482420409638885069750136*y^16 - 286219694543448168456177823202757129610895689004206405886471668170952543393529/465392443867805875953109246168502863370849912534415081618482420409638885069750136*y^15 - 753144355017934976195724367907529213709690173282723618194369133541528416044671/465392443867805875953109246168502863370849912534415081618482420409638885069750136*y^14 + 66717660870527199683212424098952057508522698574050168212177014115479000738287/155130814622601958651036415389500954456949970844805027206160806803212961689916712*y^13 + 413221784485298844033832521491925892481319763732947375020164916523402166828660/58174055483475734494138655771062857921356239066801885202310302551204860633718767*y^12 + 993934908277620592735752560416606032734472725427340066465148707972219339212395/155130814622601958651036415389500954456949970844805027206160806803212961689916712*y^11 - 6349619046075972169914840757592035795386533368874732150092372335477296638890787/465392443867805875953109246168502863370849912534415081618482420409638885069750136*y^10 - 9781923701498749155987721273832003643996897119470284923456083016731814119496681/465392443867805875953109246168502863370849912534415081618482420409638885069750136*y^9 + 9294180318456370884971600797984377239280904562884141557377553260098618185263941/465392443867805875953109246168502863370849912534415081618482420409638885069750136*y^8 + 8942341093071149520730074402380874509015508483509311559261170141502560624365737/465392443867805875953109246168502863370849912534415081618482420409638885069750136*y^7 - 222433277508841305159820817670189298864788574397462555655422530949372178481693/8618378590144553258390911966083386358719442824711390400342267044622942316106484*y^6 - 6613246236196471527487760622162994366767336721889738447191846836331471954504025/232696221933902937976554623084251431685424956267207540809241210204819442534875068*y^5 + 452960049812161446933296934151599161371739424471205859006997927446116526495261/6463783942608414943793183974562539769039582118533542800256700283467206737079863*y^4 - 30138400426131460489559840280685706344609849748629619358750890860797997017625417/465392443867805875953109246168502863370849912534415081618482420409638885069750136*y^3 + 83203261747240545319826430924915502784869085814536365654413969174310458462527/465392443867805875953109246168502863370849912534415081618482420409638885069750136*y^2 + 4075907499954262097967116207216179562982768475913922746347955826563437244185331/232696221933902937976554623084251431685424956267207540809241210204819442534875068*y + 148055330339695608986858231945919982855177086386359542096766994615236767055375/155130814622601958651036415389500954456949970844805027206160806803212961689916712 # 4 Loop Invariant 39408522948719397461428632871600113715360634899524434923395233511267191769117853937640365192384176793920651667835177517531/44823099249760727742573334316060009654754938868981932405720539125678144748663650146777721943581986288443258706296171807540320*y^16 + 177732563975942464879705938987305662914154133459578607844384991525116193800319771471280239057198529957944968332773343558473/44823099249760727742573334316060009654754938868981932405720539125678144748663650146777721943581986288443258706296171807540320*y^15 + 133691477962818047117855644158002380832854636179808453794025787066244630554812037955417543484602953911128511480491502790147/44823099249760727742573334316060009654754938868981932405720539125678144748663650146777721943581986288443258706296171807540320*y^14 - 184182286952171557263709417600216450293531098646103280020506693588395578491557523797168092278287243604243107025964185416933/14941033083253575914191111438686669884918312956327310801906846375226048249554550048925907314527328762814419568765390602513440*y^13 - 110613011555040547034154300161633911759145481136620019261318682370527542140236029977703103012977435400772552323731107073957/4482309924976072774257333431606000965475493886898193240572053912567814474866365014677772194358198628844325870629617180754032*y^12 + 172772215874219123704972901222416689290330325903470073894791258689830176152522828179592870631192272984752273863746158973111/14941033083253575914191111438686669884918312956327310801906846375226048249554550048925907314527328762814419568765390602513440*y^11 + 2804106577344278736215772089685153706086114636978722325028308352842032672271999253851851964507909890601991522355645772359231/44823099249760727742573334316060009654754938868981932405720539125678144748663650146777721943581986288443258706296171807540320*y^10 - 254365300145491543336062930035991084923498398014627461451961407151278659160345630286769264724997189196272527798236656052579/44823099249760727742573334316060009654754938868981932405720539125678144748663650146777721943581986288443258706296171807540320*y^9 - 2908369804333243259585070450959719298808745154421569651056377586903816308829996882741780828669795701219309173691167199016571/44823099249760727742573334316060009654754938868981932405720539125678144748663650146777721943581986288443258706296171807540320*y^8 + 360842887475550122807634999989550439330375598064862381402114792744401776877451430603993114183688219360146978034065240080697/44823099249760727742573334316060009654754938868981932405720539125678144748663650146777721943581986288443258706296171807540320*y^7 + 717342315709765416769017864466878847782463014531016153389876226279336557693731467519347027139238698623251971019663169963517/7470516541626787957095555719343334942459156478163655400953423187613024124777275024462953657263664381407209784382695301256720*y^6 - 138991568308916621167576615323093770964977309885710712746113717343201402581608744842063063505954973593307059602913402716567/1120577481244018193564333357901500241368873471724548310143013478141953618716591253669443048589549657211081467657404295188508*y^5 + 164383232762481720641575342742761472081645980619038166642003405731331093347901867229893210545976397839786715085246297691411/3735258270813393978547777859671667471229578239081827700476711593806512062388637512231476828631832190703604892191347650628360*y^4 + 2328976593428064840080498595511527320508789950422839858638405695846881318144633242041583462076701750008634950535278690372517/44823099249760727742573334316060009654754938868981932405720539125678144748663650146777721943581986288443258706296171807540320*y^3 - 131208226075753091982304791159664895152288247404676201243469698428915790120956580473729655482344627681726786647776511645915/8964619849952145548514666863212001930950987773796386481144107825135628949732730029355544388716397257688651741259234361508064*y^2 + 638064557690911023404672566478951302558282162197344923356317972495500946115669825865027943804795847311703481023298706568347/22411549624880363871286667158030004827377469434490966202860269562839072374331825073388860971790993144221629353148085903770160*y - 97102498409857819900276364162586879807509011844963355143555329435708868923278673832348671537552335748768115410621982768929/14941033083253575914191111438686669884918312956327310801906846375226048249554550048925907314527328762814419568765390602513440