# Manifold: Rolfsen Knot 9_24 # Number of Tetrahedra: 12 # Number Field x^17 - x^16 + 19*x^15 + 9*x^14 + 106*x^13 + 158*x^12 + 396*x^11 + 678*x^10 + 1085*x^9 + 1561*x^8 + 1924*x^7 + 2106*x^6 + 1945*x^5 + 1506*x^4 + 962*x^3 + 452*x^2 + 128*x + 16 # Approximate Field Generator -0.0857080777005212 - 1.27809807156392*I # Shape Parameters 6105825491611813669/19231711140586663764*y^16 - 8290951498290524213/19231711140586663764*y^15 + 39528250781594922481/6410570380195554588*y^14 + 4259884391005618955/6410570380195554588*y^13 + 317783508534340116341/9615855570293331882*y^12 + 365616562997644326947/9615855570293331882*y^11 + 529535551855077137186/4807927785146665941*y^10 + 1655842715283667793003/9615855570293331882*y^9 + 5292276296575401357721/19231711140586663764*y^8 + 2457774281369783738327/6410570380195554588*y^7 + 2179159824890037484870/4807927785146665941*y^6 + 4597228360327960610293/9615855570293331882*y^5 + 7953038692093347010589/19231711140586663764*y^4 + 2863483049252542197335/9615855570293331882*y^3 + 1664016747593721201233/9615855570293331882*y^2 + 316409538608868603772/4807927785146665941*y + 53689219379787146764/4807927785146665941 113232230335047449/263448097816255668*y^16 - 175142722021629961/263448097816255668*y^15 + 748747565138235113/87816032605418556*y^14 - 70075242807779849/87816032605418556*y^13 + 6053892904445923675/131724048908127834*y^12 + 5608254267771151423/131724048908127834*y^11 + 9673415400617682001/65862024454063917*y^10 + 27648910129124038885/131724048908127834*y^9 + 92427808589009487293/263448097816255668*y^8 + 41839509630634826935/87816032605418556*y^7 + 37134805845498691073/65862024454063917*y^6 + 78086627431780942025/131724048908127834*y^5 + 133924236916057629241/263448097816255668*y^4 + 48192686223595263019/131724048908127834*y^3 + 27945414722785933447/131724048908127834*y^2 + 5113961484394500686/65862024454063917*y + 866952293907528773/65862024454063917 -139117219749651194/197586073362191751*y^16 + 805100199495738589/790344293448767004*y^15 - 3636187347968968589/263448097816255668*y^14 - 63815074354752001/263448097816255668*y^13 - 58383440265820950869/790344293448767004*y^12 - 15570284604100514933/197586073362191751*y^11 - 94886687848549155785/395172146724383502*y^10 - 73025316724321107353/197586073362191751*y^9 - 233077967634856263385/395172146724383502*y^8 - 218001595348111271401/263448097816255668*y^7 - 765175432546106934161/790344293448767004*y^6 - 407123159353444704161/395172146724383502*y^5 - 350447830195526991437/395172146724383502*y^4 - 506477156208532535435/790344293448767004*y^3 - 73923152767436385362/197586073362191751*y^2 - 54833383538294239765/395172146724383502*y - 4300449009748729346/197586073362191751 -3711229856357849491/526896195632511336*y^16 + 1617639849625364795/131724048908127834*y^15 - 3139183594230447287/21954008151354639*y^14 + 1887443884673392471/43908016302709278*y^13 - 410567369290695220585/526896195632511336*y^12 - 70225405369988423593/131724048908127834*y^11 - 315645233177237979209/131724048908127834*y^10 - 789090149966516663207/263448097816255668*y^9 - 2858134994231936374657/526896195632511336*y^8 - 612265626530835467179/87816032605418556*y^7 - 4418963698226548081333/526896195632511336*y^6 - 2271338470181918592853/263448097816255668*y^5 - 3855378204895051833623/526896195632511336*y^4 - 2736687355733364323161/526896195632511336*y^3 - 773501006424156945089/263448097816255668*y^2 - 66886019923153195820/65862024454063917*y - 10088672537155068305/65862024454063917 -13145505776841443/29272010868472852*y^16 + 3965327517770205/7318002717118213*y^15 - 126053420919374873/14636005434236426*y^14 - 17020487376988022/7318002717118213*y^13 - 1360055533162713613/29272010868472852*y^12 - 451447050808352319/7318002717118213*y^11 - 2365149339004498877/14636005434236426*y^10 - 3940103006511209713/14636005434236426*y^9 - 12352371857485183281/29272010868472852*y^8 - 8803088814560586275/14636005434236426*y^7 - 21062495845692461559/29272010868472852*y^6 - 11252408907083654055/14636005434236426*y^5 - 20026257676679577281/29272010868472852*y^4 - 14686101077795252201/29272010868472852*y^3 - 2211293451638116245/7318002717118213*y^2 - 1784904565003359057/14636005434236426*y - 157889253141603463/7318002717118213 -25357901499630151/21954008151354639*y^16 + 84525593705412589/43908016302709278*y^15 - 340342163431258379/14636005434236426*y^14 + 75342029159412595/14636005434236426*y^13 - 5548446465035532809/43908016302709278*y^12 - 2154265666181314123/21954008151354639*y^11 - 8666819997873076865/21954008151354639*y^10 - 11455555634667964264/21954008151354639*y^9 - 20070716604021429277/21954008151354639*y^8 - 17620571811364869805/14636005434236426*y^7 - 63214305335397457985/43908016302709278*y^6 - 32857142399635947476/21954008151354639*y^5 - 28077584765353507166/21954008151354639*y^4 - 40204154079774247397/43908016302709278*y^3 - 11511115068884339134/21954008151354639*y^2 - 4124713600429474090/21954008151354639*y - 637898245661149942/21954008151354639 -139117219749651194/197586073362191751*y^16 + 805100199495738589/790344293448767004*y^15 - 3636187347968968589/263448097816255668*y^14 - 63815074354752001/263448097816255668*y^13 - 58383440265820950869/790344293448767004*y^12 - 15570284604100514933/197586073362191751*y^11 - 94886687848549155785/395172146724383502*y^10 - 73025316724321107353/197586073362191751*y^9 - 233077967634856263385/395172146724383502*y^8 - 218001595348111271401/263448097816255668*y^7 - 765175432546106934161/790344293448767004*y^6 - 407123159353444704161/395172146724383502*y^5 - 350447830195526991437/395172146724383502*y^4 - 506477156208532535435/790344293448767004*y^3 - 73923152767436385362/197586073362191751*y^2 - 54833383538294239765/395172146724383502*y - 4300449009748729346/197586073362191751 30285723801072425/175632065210837112*y^16 - 46191261026183173/175632065210837112*y^15 + 200480056619242469/58544021736945704*y^14 - 15465681337414817/58544021736945704*y^13 + 1632566070679831231/87816032605418556*y^12 + 1534268157410937751/87816032605418556*y^11 + 2618260684171507357/43908016302709278*y^10 + 7603079845298440891/87816032605418556*y^9 + 24964708764898342157/175632065210837112*y^8 + 11544227876934489319/58544021736945704*y^7 + 5024453558224435942/21954008151354639*y^6 + 21507581982301885301/87816032605418556*y^5 + 36353892801660229417/175632065210837112*y^4 + 13211419261515810583/87816032605418556*y^3 + 7520089501796540929/87816032605418556*y^2 + 1349603751092131973/43908016302709278*y + 122118454770615904/21954008151354639 -221482494086789167/526896195632511336*y^16 + 374175369508641161/526896195632511336*y^15 - 1486872605306375155/175632065210837112*y^14 + 357007124971174063/175632065210837112*y^13 - 12053406597613752257/263448097816255668*y^12 - 2302049199854293829/65862024454063917*y^11 - 18627633813273862529/131724048908127834*y^10 - 49171496158083539261/263448097816255668*y^9 - 171262620656661226495/526896195632511336*y^8 - 75159465317009920115/175632065210837112*y^7 - 66927974212066612531/131724048908127834*y^6 - 69362278793344901219/131724048908127834*y^5 - 234510441445078263635/526896195632511336*y^4 - 41600818265894988403/131724048908127834*y^3 - 23400240731098187941/131724048908127834*y^2 - 3983746643326386233/65862024454063917*y - 492861549568480223/65862024454063917 -38679968512137343/790344293448767004*y^16 + 47662350466506569/790344293448767004*y^15 - 243259310039793607/263448097816255668*y^14 - 75339143961020921/263448097816255668*y^13 - 1836353607908519603/395172146724383502*y^12 - 1440769363436559982/197586073362191751*y^11 - 2959116916827318998/197586073362191751*y^10 - 12167124874899522125/395172146724383502*y^9 - 31142124568681592671/790344293448767004*y^8 - 17115165321101844779/263448097816255668*y^7 - 13654547102350783432/197586073362191751*y^6 - 15443848387230574913/197586073362191751*y^5 - 52128184289790870791/790344293448767004*y^4 - 9221872716505768582/197586073362191751*y^3 - 5665865315966959129/197586073362191751*y^2 - 1729291745871779719/197586073362191751*y - 160616010214933810/197586073362191751 17637128150258735/58544021736945704*y^16 - 23017624690486029/58544021736945704*y^15 + 341847393722948423/58544021736945704*y^14 + 53816506968301617/58544021736945704*y^13 + 462552072839653773/14636005434236426*y^12 + 1100214535750380109/29272010868472852*y^11 + 788022409918990917/7318002717118213*y^10 + 4948505668769004473/29272010868472852*y^9 + 16020529124082038999/58544021736945704*y^8 + 22255575724439354121/58544021736945704*y^7 + 13373784259625320409/29272010868472852*y^6 + 14142949000683046713/29272010868472852*y^5 + 24921866830486369979/58544021736945704*y^4 + 2275544088162466137/7318002717118213*y^3 + 5384074455837007039/29272010868472852*y^2 + 538627866161718159/7318002717118213*y + 96087933344908295/7318002717118213 -13145505776841443/29272010868472852*y^16 + 3965327517770205/7318002717118213*y^15 - 126053420919374873/14636005434236426*y^14 - 17020487376988022/7318002717118213*y^13 - 1360055533162713613/29272010868472852*y^12 - 451447050808352319/7318002717118213*y^11 - 2365149339004498877/14636005434236426*y^10 - 3940103006511209713/14636005434236426*y^9 - 12352371857485183281/29272010868472852*y^8 - 8803088814560586275/14636005434236426*y^7 - 21062495845692461559/29272010868472852*y^6 - 11252408907083654055/14636005434236426*y^5 - 20026257676679577281/29272010868472852*y^4 - 14686101077795252201/29272010868472852*y^3 - 2211293451638116245/7318002717118213*y^2 - 1784904565003359057/14636005434236426*y - 157889253141603463/7318002717118213 # A Gluing Matrix {{-1,-1,0,1,0,1,0,1,0,0,0,0},{-1,0,0,0,0,0,0,0,0,0,0,0},{0,0,1,-1,-1,1,0,0,0,0,1,-1},{1,0,-1,0,1,-1,-1,0,1,1,-1,1},{0,0,-1,1,2,-1,-1,1,1,0,-2,1},{1,0,1,-1,-1,1,1,-1,-1,0,1,-1},{0,0,0,-1,-1,1,1,0,0,0,1,-1},{1,0,0,0,1,-1,0,0,0,0,-1,1},{0,0,0,1,1,-1,0,0,0,-1,-1,1},{0,0,0,1,0,0,0,0,-1,0,0,0},{0,0,1,-1,-2,1,1,-1,-1,0,3,-2},{0,0,-1,1,1,-1,-1,1,1,0,-2,2}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,0,0,0,0},{0,0,0,0,0,1,0,0,0,0,0,0},{0,0,0,0,0,0,1,0,0,0,0,0},{0,0,0,0,0,0,0,1,0,0,0,0},{0,0,0,0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {1, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 0} # f Combinatorial flattening {2, 1, 1, 2, 0, 1, 1, 1, 2, 0, 1, 0} # f' Combinatorial flattening {0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 789969280755785723/1053792391265022672*y^16 - 2030495590446142273/1053792391265022672*y^15 + 5679622156885103045/351264130421674224*y^14 - 5936494112927632685/351264130421674224*y^13 + 5542725572705174216/65862024454063917*y^12 - 5445735329966170637/526896195632511336*y^11 + 25711113498300628547/131724048908127834*y^10 + 56756809615141813789/526896195632511336*y^9 + 289326913865446548755/1053792391265022672*y^8 + 92812574570323314127/351264130421674224*y^7 + 112916878990650128767/526896195632511336*y^6 + 95653625069904404675/526896195632511336*y^5 - 7214473519570926857/1053792391265022672*y^4 - 6572931666313657481/131724048908127834*y^3 - 50384706289130671415/526896195632511336*y^2 - 10947990622377796457/131724048908127834*y - 3314419306652613971/131724048908127834 # 2 Loop Invariant -43731192166029268475284927611750977307585120313839119289207101/332896888822227280574945509426664921793925055450996240884638144*y^16 + 61054028065551479583841869690458507925741574955419179511471531/332896888822227280574945509426664921793925055450996240884638144*y^15 - 285104797308869586951493877212606451910248856332298962174877461/110965629607409093524981836475554973931308351816998746961546048*y^14 - 18338236598104006011509105757141941809383119448294594714524191/110965629607409093524981836475554973931308351816998746961546048*y^13 - 2308532471454466273045441172724434039971202577139083880741294801/166448444411113640287472754713332460896962527725498120442319072*y^12 - 1272524032949744901574347877358795640764268853307962415833490837/83224222205556820143736377356666230448481263862749060221159536*y^11 - 3831165490494199905285128811506469628334428060081250404969750099/83224222205556820143736377356666230448481263862749060221159536*y^10 - 11805799318859991687801926736704882736071885414016639527785144243/166448444411113640287472754713332460896962527725498120442319072*y^9 - 38249652700053411775308721867470588967752520446779110267204237229/332896888822227280574945509426664921793925055450996240884638144*y^8 - 17715880255090420751043651097002436306978325515948798616203006921/110965629607409093524981836475554973931308351816998746961546048*y^7 - 3963485595728986851330576839971075562226362067683064372304943621/20806055551389205035934094339166557612120315965687265055289884*y^6 - 8384607785591194166425024687001041549957794463632213702544256543/41612111102778410071868188678333115224240631931374530110579768*y^5 - 58740144297330488500406137587941429953710276290674934244501424969/332896888822227280574945509426664921793925055450996240884638144*y^4 - 10655418345287560080682387919104339395151549970612464307446859057/83224222205556820143736377356666230448481263862749060221159536*y^3 - 1566304615471163176846173168895939338363252782470725619501962245/20806055551389205035934094339166557612120315965687265055289884*y^2 - 1206248490691899638467112793140118469578972017550578553854244655/41612111102778410071868188678333115224240631931374530110579768*y - 98523563421530547693375739534307174260564563657399921783759659/20806055551389205035934094339166557612120315965687265055289884 # 3 Loop Invariant -2020646875317727476725649915744132666952605706004978667652272677870847908533189236421/971301868918360401466416901201725900206146119159376374591865993444202470992604010199168*y^16 - 13454382041467871720333894247582651411456944697464481372382291406103795918469705850239/3885207475673441605865667604806903600824584476637505498367463973776809883970416040796672*y^15 - 34040793991365834167546935795274928013695258057759673954607456747060337140431819873015/1295069158557813868621889201602301200274861492212501832789154657925603294656805346932224*y^14 - 178739287873598850372098182569480915758646873123595145167374523930025276485505212150073/1295069158557813868621889201602301200274861492212501832789154657925603294656805346932224*y^13 - 441227269040689381927621653682073672559098258497196683955380808280932344640258039806621/3885207475673441605865667604806903600824584476637505498367463973776809883970416040796672*y^12 - 946222980972898597256123563531150322439937215993510125631345758703831999143240903417503/971301868918360401466416901201725900206146119159376374591865993444202470992604010199168*y^11 - 51673036328513498710470450617154002553730719695146887792335583611341158840127846338971/60706366807397525091651056325107868762884132447461023411991624590262654437037750637448*y^10 - 3003232079825979858255884880474327520917739678569629078083346310406409267092458862803049/971301868918360401466416901201725900206146119159376374591865993444202470992604010199168*y^9 - 6734173782298490240914045603917374045375942644758083030165569351923598987803646516863059/1942603737836720802932833802403451800412292238318752749183731986888404941985208020398336*y^8 - 8103571232809518085117877723979720383333518874777898685021753944348377680405697428298009/1295069158557813868621889201602301200274861492212501832789154657925603294656805346932224*y^7 - 27463332581292308625008201163996269499150901012703136293663773066533321313091475572463091/3885207475673441605865667604806903600824584476637505498367463973776809883970416040796672*y^6 - 15729505620843809984481075152183694933875561159837027651287745767433520917427853189598017/1942603737836720802932833802403451800412292238318752749183731986888404941985208020398336*y^5 - 7202284738312159594222528390564158316775982516615898605746610255835195929501950711125757/971301868918360401466416901201725900206146119159376374591865993444202470992604010199168*y^4 - 21552129160347853703798602966872125337151211681851101653458730268331588458885748910500543/3885207475673441605865667604806903600824584476637505498367463973776809883970416040796672*y^3 - 6773610842438051929746729846012341628530433023017371369933114288362824449385639062189869/1942603737836720802932833802403451800412292238318752749183731986888404941985208020398336*y^2 - 376282166427826901561166529493626030959004817531104678041064033264889875869608149650271/242825467229590100366604225300431475051536529789844093647966498361050617748151002549792*y - 117561154634064384701980958851582622645503258963532463384689360598499848924024452864339/485650934459180200733208450600862950103073059579688187295932996722101235496302005099584 # 4 Loop Invariant -339009651419661657356481938738864333211637453557796215266033444816551918971882733418060442556821625995694001592944946328051869686791/9205134890430747564089035656095115408351642728856600070351497015825346632335545473221841324306451139153754371683262033993542809646080*y^16 + 442587597115322828708410092533019161242632242407806202315533116074262519264154231512020438029451772838303308220403441900937329696783/7364107912344598051271228524876092326681314183085280056281197612660277305868436378577473059445160911323003497346609627194834247716864*y^15 - 9054517911630553119957654086784184723900413782487277730710089572295828338804041132704581931987594717373277747384571055090853094349021/12273513187240996752118714208126820544468856971808800093801996021100462176447393964295788432408601518871672495577682711991390412861440*y^14 + 1657272239122238320876881756825540461675727426025752089574797286496643323360717017719463588806894819343686450727546731949089736801613/12273513187240996752118714208126820544468856971808800093801996021100462176447393964295788432408601518871672495577682711991390412861440*y^13 - 29385352382915738822720217282504319724934222329836869645558323905453345186493491075101414565508817714324193859657567894893520827200755/7364107912344598051271228524876092326681314183085280056281197612660277305868436378577473059445160911323003497346609627194834247716864*y^12 - 30290719568429692846989173218819442309850323582326636021852777273203315249549458817706143927910042087899576914159538299879585449480693/9205134890430747564089035656095115408351642728856600070351497015825346632335545473221841324306451139153754371683262033993542809646080*y^11 - 1440307687905177198244338837796168517544559607565624830155438230932425225177544417352795007331989274831654352157485311974500204407371/115064186130384344551112945701188942604395534110707500879393712697816832904194318415273016553830639239421929646040775424919285120576*y^10 - 156720034464973954931187899828056947831871495901443291322552204878789749372158235781702356790497618929529940817537627400121929709199779/9205134890430747564089035656095115408351642728856600070351497015825346632335545473221841324306451139153754371683262033993542809646080*y^9 - 107644485123456621483233505396177756974742992093458608234196777511197751159803919838113878501176175658510716269867734161642891962756925/3682053956172299025635614262438046163340657091542640028140598806330138652934218189288736529722580455661501748673304813597417123858432*y^8 - 477990064526319547257938288077655536581210830989432232523247058237147710249029678610932757182634526283351591799447163089907810840894291/12273513187240996752118714208126820544468856971808800093801996021100462176447393964295788432408601518871672495577682711991390412861440*y^7 - 1704466371686986998394981864282753509343363580942222300471262815145149795612022157638250008736790966041568470867559839087847196606851953/36820539561722990256356142624380461633406570915426400281405988063301386529342181892887365297225804556615017486733048135974171238584320*y^6 - 177598327675954014655730993469580043398586674612792616543446708179282172377605210469853889278209607025574435127893753636961036234207439/3682053956172299025635614262438046163340657091542640028140598806330138652934218189288736529722580455661501748673304813597417123858432*y^5 - 379003353871923045904637280396395542629359838365236994294800904776389592391035002144453265138335319568347075729310166903092017812989711/9205134890430747564089035656095115408351642728856600070351497015825346632335545473221841324306451139153754371683262033993542809646080*y^4 - 1083538859486696398330941116811134750411524260664041675862596003204844033576654847549600585644223351531101896948271458641944950204664117/36820539561722990256356142624380461633406570915426400281405988063301386529342181892887365297225804556615017486733048135974171238584320*y^3 - 310056728701470249367964225181699840980912263742215055194737813551645921305446877877513679289823747492328573731650976553146724036246767/18410269780861495128178071312190230816703285457713200140702994031650693264671090946443682648612902278307508743366524067987085619292160*y^2 - 13871844256894037157323387319785842633978416406640276029811794874891063231101538660314571494224545665951145618390245086462575605610749/2301283722607686891022258914023778852087910682214150017587874253956336658083886368305460331076612784788438592920815508498385702411520*y - 4181102822096324531122047117746914963988918298606043187356123414313320930762698915834729173597893598659321483012725085124250599322161/4602567445215373782044517828047557704175821364428300035175748507912673316167772736610920662153225569576877185841631016996771404823040