# Manifold: Rolfsen Knot 9_13 # Number of Tetrahedra: 10 # Number Field x^18 + 5*x^17 + 10*x^16 + 6*x^15 - 47*x^14 - 181*x^13 - 398*x^12 - 770*x^11 - 1183*x^10 - 1518*x^9 - 1540*x^8 - 1500*x^7 - 1277*x^6 - 886*x^5 - 453*x^4 - 185*x^3 - 60*x^2 - 12*x - 1 # Approximate Field Generator -0.843396213429851 - 0.990803480723031*I # Shape Parameters -2623848862490971299/103199354603705255*y^17 - 12305362345256907117/103199354603705255*y^16 - 22420721886799007171/103199354603705255*y^15 - 1255130502897336146/14742764943386465*y^14 + 126048311395614630567/103199354603705255*y^13 + 87162974394923451333/20639870920741051*y^12 + 909072110943436196257/103199354603705255*y^11 + 248329446664176409433/14742764943386465*y^10 + 512937524044956807170/20639870920741051*y^9 + 3187205338390093027982/103199354603705255*y^8 + 3051833439025511560971/103199354603705255*y^7 + 426973849161495321404/14742764943386465*y^6 + 2423347943009436504192/103199354603705255*y^5 + 314535392712182356550/20639870920741051*y^4 + 700651140874507777397/103199354603705255*y^3 + 268002662980957698086/103199354603705255*y^2 + 74168457982566518118/103199354603705255*y + 8484367050546278557/103199354603705255 -270220269412143310/8845658966031879*y^17 - 8996759460078319555/61919612762223153*y^16 - 5573998499307163445/20639870920741051*y^15 - 2423125885343540649/20639870920741051*y^14 + 90683844189383355578/61919612762223153*y^13 + 320276935116717482552/61919612762223153*y^12 + 224913149975563240873/20639870920741051*y^11 + 1291882065521347024208/61919612762223153*y^10 + 1922474193582438521558/61919612762223153*y^9 + 2402093027040739879342/61919612762223153*y^8 + 775476214408918490513/20639870920741051*y^7 + 756280449956486724096/20639870920741051*y^6 + 1861053487899184597808/61919612762223153*y^5 + 1220858974533076506974/61919612762223153*y^4 + 558100042589218358314/61919612762223153*y^3 + 212987788933138464256/61919612762223153*y^2 + 61056711072981974384/61919612762223153*y + 7620539411992373617/61919612762223153 8918058536396491221/515996773018526275*y^17 + 42013702685875916398/515996773018526275*y^16 + 77044963644782073994/515996773018526275*y^15 + 31268112273195912528/515996773018526275*y^14 - 61162441167953063109/73713824716932325*y^13 - 298087747686187847746/103199354603705255*y^12 - 445561411867678389514/73713824716932325*y^11 - 5966543113015305586579/515996773018526275*y^10 - 353114986424732495644/20639870920741051*y^9 - 10990141284628204891503/515996773018526275*y^8 - 10563627903262033851264/515996773018526275*y^7 - 10331257950814135533112/515996773018526275*y^6 - 1201427034608338458184/73713824716932325*y^5 - 1095444375171455046942/103199354603705255*y^4 - 351873500447456031324/73713824716932325*y^3 - 941424572121228117379/515996773018526275*y^2 - 264865914177678477667/515996773018526275*y - 30809883062458944538/515996773018526275 74663051991228340/8845658966031879*y^17 + 2346949727386580473/61919612762223153*y^16 + 1335530758492723445/20639870920741051*y^15 + 329411387647812252/20639870920741051*y^14 - 25243067189488426904/61919612762223153*y^13 - 81766265766666525896/61919612762223153*y^12 - 55060919905831123364/20639870920741051*y^11 - 314603404614124540139/61919612762223153*y^10 - 450719638217716370294/61919612762223153*y^9 - 549906487068873660760/61919612762223153*y^8 - 168400584749087798250/20639870920741051*y^7 - 167697101984138086187/20639870920741051*y^6 - 390083030052703185113/61919612762223153*y^5 - 243226212612940432991/61919612762223153*y^4 - 96893747025971805190/61919612762223153*y^3 - 37780779039969380419/61919612762223153*y^2 - 8670425746902289229/61919612762223153*y - 507591077023329112/61919612762223153 -4199369661645093853/309598063811115765*y^17 - 19802458901553778789/309598063811115765*y^16 - 12126924402200427279/103199354603705255*y^15 - 4976772844675411483/103199354603705255*y^14 + 201489622707515020709/309598063811115765*y^13 + 20079182528373379207/8845658966031879*y^12 + 490798238463535624928/103199354603705255*y^11 + 2817508970729653223642/309598063811115765*y^10 + 119197322809326352906/8845658966031879*y^9 + 5198381555377788616564/309598063811115765*y^8 + 1667550556764519882844/103199354603705255*y^7 + 1631070815572656801587/103199354603705255*y^6 + 3985638760731129402029/309598063811115765*y^5 + 520479009009469870315/61919612762223153*y^4 + 1173015525452427485329/309598063811115765*y^3 + 449834850922666129117/309598063811115765*y^2 + 126130310151721763711/309598063811115765*y + 15497149357250793739/309598063811115765 -1237789099608940359/103199354603705255*y^17 - 5848332363249927647/103199354603705255*y^16 - 1538774779718376128/14742764943386465*y^15 - 4474572738407935817/103199354603705255*y^14 + 59389481426760184307/103199354603705255*y^13 + 41539578886593007937/20639870920741051*y^12 + 435624359660384917567/103199354603705255*y^11 + 833624158024049054431/103199354603705255*y^10 + 247135317295607988725/20639870920741051*y^9 + 220056301684442109796/14742764943386465*y^8 + 1484290800863323365156/103199354603705255*y^7 + 207227983491439393539/14742764943386465*y^6 + 1183472544809806280677/103199354603705255*y^5 + 154618902088574757381/20639870920741051*y^4 + 349389270105373991972/103199354603705255*y^3 + 133691127491239518421/103199354603705255*y^2 + 5388675905443127414/14742764943386465*y + 4599566989477542582/103199354603705255 -488224466384529649/61919612762223153*y^17 - 330728914653448969/8845658966031879*y^16 - 1427884505322729336/20639870920741051*y^15 - 606368654466106907/20639870920741051*y^14 + 23423772711197441873/61919612762223153*y^13 + 82324324888859995973/61919612762223153*y^12 + 57671771088893531559/20639870920741051*y^11 + 331117861672034880572/61919612762223153*y^10 + 491784434341092269099/61919612762223153*y^9 + 613573421240841818731/61919612762223153*y^8 + 197533622992377621626/20639870920741051*y^7 + 192758511969026213104/20639870920741051*y^6 + 473170503735498819956/61919612762223153*y^5 + 309356873051158621466/61919612762223153*y^4 + 140473340338479594076/61919612762223153*y^3 + 53543676734304653434/61919612762223153*y^2 + 15275198757460588235/61919612762223153*y + 1800405548954113603/61919612762223153 2638415266767801777/103199354603705255*y^17 + 12464214064633547291/103199354603705255*y^16 + 22952677458711036838/103199354603705255*y^15 + 9528029582678439321/103199354603705255*y^14 - 126588149693368264131/103199354603705255*y^13 - 12646535055089606516/2948552988677293*y^12 - 928318650008475230901/103199354603705255*y^11 - 1776487989533176684833/103199354603705255*y^10 - 75232180009579531200/2948552988677293*y^9 - 3282453660693728834781/103199354603705255*y^8 - 3162713188919009357953/103199354603705255*y^7 - 3091254121939111525574/103199354603705255*y^6 - 2521699440223037915321/103199354603705255*y^5 - 329473368698079451281/20639870920741051*y^4 - 744416275653654213031/103199354603705255*y^3 - 284948656985510591798/103199354603705255*y^2 - 80350816815230888814/103199354603705255*y - 9551291344846655136/103199354603705255 -488224466384529649/61919612762223153*y^17 - 330728914653448969/8845658966031879*y^16 - 1427884505322729336/20639870920741051*y^15 - 606368654466106907/20639870920741051*y^14 + 23423772711197441873/61919612762223153*y^13 + 82324324888859995973/61919612762223153*y^12 + 57671771088893531559/20639870920741051*y^11 + 331117861672034880572/61919612762223153*y^10 + 491784434341092269099/61919612762223153*y^9 + 613573421240841818731/61919612762223153*y^8 + 197533622992377621626/20639870920741051*y^7 + 192758511969026213104/20639870920741051*y^6 + 473170503735498819956/61919612762223153*y^5 + 309356873051158621466/61919612762223153*y^4 + 140473340338479594076/61919612762223153*y^3 + 53543676734304653434/61919612762223153*y^2 + 15275198757460588235/61919612762223153*y + 1800405548954113603/61919612762223153 -204862388766078586/20639870920741051*y^17 - 969552380673258357/20639870920741051*y^16 - 255564270953415320/2948552988677293*y^15 - 748675151465015573/20639870920741051*y^14 + 9832743835871419075/20639870920741051*y^13 + 34453306141839315744/20639870920741051*y^12 + 72301557391992732928/20639870920741051*y^11 + 138336456081917459137/20639870920741051*y^10 + 205205267338480846126/20639870920741051*y^9 + 255803601843735579461/20639870920741051*y^8 + 35234820947321216581/2948552988677293*y^7 + 240780030488710155399/20639870920741051*y^6 + 196703564906950348003/20639870920741051*y^5 + 128402407315858944143/20639870920741051*y^4 + 58086755897828976415/20639870920741051*y^3 + 22133376130314335690/20639870920741051*y^2 + 6282364405753341278/20639870920741051*y + 797952131850907522/20639870920741051 # A Gluing Matrix {{0,-1,0,0,0,0,0,0,0,0},{-1,-1,1,0,0,1,-1,-1,-1,1},{0,0,1,0,-1,1,-1,-2,-1,2},{0,0,1,0,0,1,-1,-1,-1,1},{0,0,0,0,0,1,-1,-1,-1,1},{0,0,0,0,0,1,0,-1,0,1},{0,0,0,0,0,0,0,0,0,-1},{0,0,0,0,0,0,-1,0,-1,0},{0,0,0,0,0,0,0,0,0,-1},{0,-1,1,-1,-1,2,-2,-3,-2,3}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,1},{0,0,1,0,0,0,0,0,0,1},{0,0,0,1,0,0,0,0,0,1},{0,0,0,0,1,0,0,0,0,1},{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,1},{0,0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,2}} # nu Gluing Vector {0, 0, 1, 1, 1, 1, 0, 0, 0, 0} # f Combinatorial flattening {1, 0, 0, 2, 0, 1, 0, 0, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -1418620481586683907/5897105977354586*y^17 - 46757563026636776611/41279741841482102*y^16 - 42845117229588693169/20639870920741051*y^15 - 17336550589263454411/20639870920741051*y^14 + 238357898994842697908/20639870920741051*y^13 + 829210251461499178312/20639870920741051*y^12 + 3469631778777688856173/41279741841482102*y^11 + 3318733624862244717167/20639870920741051*y^10 + 9817838392584798289253/41279741841482102*y^9 + 6110849105768341613927/20639870920741051*y^8 + 5871699548762142997938/20639870920741051*y^7 + 11488253939766406984201/41279741841482102*y^6 + 4673283444607067594874/20639870920741051*y^5 + 6087278292856223858041/41279741841482102*y^4 + 1367131931821618345380/20639870920741051*y^3 + 1046593297511272041339/41279741841482102*y^2 + 292520372752644954399/41279741841482102*y + 34150391818399931279/41279741841482102 # 2 Loop Invariant -6999591344738918963757824000097848693048890901068013031845153051/805181013043012826017251851176535867938106418346085308183513572*y^17 - 33027332306462578943573850424889044350329645094529948745952263465/805181013043012826017251851176535867938106418346085308183513572*y^16 - 20234083936024447972694173401189449433634093645663092513457720445/268393671014337608672417283725511955979368806115361769394504524*y^15 - 8309269076640216857596502554121200724154893192283902160174677885/268393671014337608672417283725511955979368806115361769394504524*y^14 + 335967210869199344688922369680539226220119281153154157783399880197/805181013043012826017251851176535867938106418346085308183513572*y^13 + 167477004538025371488612576679543093524668240541457896312470786815/115025859006144689431035978739505123991158059763726472597644796*y^12 + 68222614430748033380748042160690672281785099120093376108690647519/22366139251194800722701440310459329664947400509613480782875377*y^11 + 4698922071314296840249898813159604128146482177145553911883038357525/805181013043012826017251851176535867938106418346085308183513572*y^10 + 497066622351015221860989040010878756852486953118254575549315325335/57512929503072344715517989369752561995579029881863236298822398*y^9 + 8668668052619908344478548057404590870355957812443051653182420818035/805181013043012826017251851176535867938106418346085308183513572*y^8 + 2780736019158437877857317274738084925140108189593602222175523427191/268393671014337608672417283725511955979368806115361769394504524*y^7 + 906079677369084865144423837993947564090723072570657367125433226159/89464557004779202890805761241837318659789602038453923131501508*y^6 + 3322960282479631619645484252398154993992648395547577760082482525511/402590506521506413008625925588267933969053209173042654091756786*y^5 + 4333842587883732011713732499425308871620518408120173336761769142551/805181013043012826017251851176535867938106418346085308183513572*y^4 + 1952956497592830781385225221859148622538177376179046948122573833637/805181013043012826017251851176535867938106418346085308183513572*y^3 + 186612557721395910545350459490293375529182181945658649099650991307/201295253260753206504312962794133966984526604586521327045878393*y^2 + 104991439987061520853488632941712379393606828668423849368458525329/402590506521506413008625925588267933969053209173042654091756786*y + 24788236054463234926345036536873257709551672172535729262747800739/805181013043012826017251851176535867938106418346085308183513572 # 3 Loop Invariant 440687042586422250210574086930543978183609799321001081133457985555445197989726078492/3825735406923483638471512150699926168862524173847988041776252327581964485240857004071*y^17 + 2085195702050678655355917014840688005715018340331634582985825331071423035111287897027/3825735406923483638471512150699926168862524173847988041776252327581964485240857004071*y^16 + 427622451718000691147950583795275621280233659255408636881004456828347025581988097519/425081711880387070941279127855547352095836019316443115752916925286884942804539667119*y^15 + 359107320849417681173249772966334311313652647152942322169673553268911451923430061263/850163423760774141882558255711094704191672038632886231505833850573769885609079334238*y^14 - 21141234325013687471747791905253808190908251316242400902947055036622391098381269105919/3825735406923483638471512150699926168862524173847988041776252327581964485240857004071*y^13 - 10585522103578243174551886058369530326978418853214943543831203152446554878331408459073/546533629560497662638787450099989452694646310549712577396607475368852069320122429153*y^12 - 34572322546361995673973303345287141108207063770066776329269292897788064727502417937327/850163423760774141882558255711094704191672038632886231505833850573769885609079334238*y^11 - 595461439939129290011951347959783309646492482489082625593609166100441596586614286100687/7651470813846967276943024301399852337725048347695976083552504655163928970481714008142*y^10 - 63094695244218709655703272285333650688212314834758851705600660399718895582275751467980/546533629560497662638787450099989452694646310549712577396607475368852069320122429153*y^9 - 550824243035600574787893523861489941907385332194841812143942224450570113169431562710313/3825735406923483638471512150699926168862524173847988041776252327581964485240857004071*y^8 - 1062420657299756937985841188825848666006518157704151933785000714872831480550360869807715/7651470813846967276943024301399852337725048347695976083552504655163928970481714008142*y^7 - 1037492937086179711919167783085861856336745114786123081403722161080924341304725458534427/7651470813846967276943024301399852337725048347695976083552504655163928970481714008142*y^6 - 31367864432660397749824873171606324878590383170570084869248780011965294548727552686135/283387807920258047294186085237031568063890679544295410501944616857923295203026444746*y^5 - 10251137467395015399230934286596952655949836048002161201103414179197254687399644350659/141693903960129023647093042618515784031945339772147705250972308428961647601513222373*y^4 - 250353230984354993356140712929469241491544640185486811676793156105335348895830033349095/7651470813846967276943024301399852337725048347695976083552504655163928970481714008142*y^3 - 47663770895334112297910618134908275359266509244498429110986768127246865137119383138376/3825735406923483638471512150699926168862524173847988041776252327581964485240857004071*y^2 - 1474986635043032783307728904225029185719193472889509734059440512954760757170660571506/425081711880387070941279127855547352095836019316443115752916925286884942804539667119*y - 3068334769011762840457113013684434719729878904879000589759291418277930350589105818645/7651470813846967276943024301399852337725048347695976083552504655163928970481714008142 # 4 Loop Invariant -97939549508269573543499150340803591631479465202527453604596003197387902366929390152392679568666017663116423116720021279517973126453/79952989386681519998520549896101658891823589398208258471478092439449417479676904733050674770880610898119678901653136315467785397685*y^17 - 3200569530836556432404317346901369702486623471776965281983835883336861165042318383673778803413301625888746207891833674964423552882626/559670925706770639989643849272711612242765125787457809300346647076145922357738333131354723396164276286837752311571954208274497783795*y^16 - 15453143724367539831943275783376156554753931082998774680525742237086531521497969158767380677637057161771294586400411987166495835130693/1492455801884721706639050264727230965980707002099887491467591058869722459620635555016945929056438070098234006164191877888731994090120*y^15 - 11698960828508895276676370879658110134603560927802319294343080018150882474599764713579593682461860800393450499635047002246162391907131/2984911603769443413278100529454461931961414004199774982935182117739444919241271110033891858112876140196468012328383755777463988180240*y^14 + 527156537339219929001937981254844253884135479500433726244691296685677759297032684301956853371000476044740620576550881988020923518924081/8954734811308330239834301588363385795884242012599324948805546353218334757723813330101675574338628420589404036985151267332391964540720*y^13 + 181065130101529679334068849954889022893297780898292233223635741845277669638386796251128144515161079851071297439225952960654225753955013/895473481130833023983430158836338579588424201259932494880554635321833475772381333010167557433862842058940403698515126733239196454072*y^12 + 46489996982862577724004141550958096345486202739004806551743309310372885062472312629571820589157884960135804542650626075917246258281679/110552281621090496788077797387202293776348666822213888256858596953312774786713744816070068818995412599869185641791990954720888451120*y^11 + 7198531781712700202632628035314833808112855328760807808628769372970642191921319564702598751773225864403450483430621312091138893082032433/8954734811308330239834301588363385795884242012599324948805546353218334757723813330101675574338628420589404036985151267332391964540720*y^10 + 10591265066009389169285116189136039889855518267325075777082679933163477635121454294842750859581517297873953248160089635902959128941804383/8954734811308330239834301588363385795884242012599324948805546353218334757723813330101675574338628420589404036985151267332391964540720*y^9 + 13142305509797826266582752738022907861683631687101389730446734567415890868579890192142607432031765740071909127023893436295143424035789039/8954734811308330239834301588363385795884242012599324948805546353218334757723813330101675574338628420589404036985151267332391964540720*y^8 + 522443358363129072189161319006827533184578240169966209374635274312353316635372438896003563592933661200393235798956395672852484756339187/373113950471180426659762566181807741495176750524971872866897764717430614905158888754236482264109517524558501541047969472182998522530*y^7 + 1366718627569114852591730509327834270818423041825034835211314401450026937165169099485416702546699280836009791306686465777840350958706789/994970534589814471092700176484820643987138001399924994311727372579814973080423703344630619370958713398822670776127918592487996060080*y^6 + 4966194441705818738612050513875101136153530348093205597846714446664330652163181911992537644591576226168398613291615975715242999769349331/4477367405654165119917150794181692897942121006299662474402773176609167378861906665050837787169314210294702018492575633666195982270360*y^5 + 803605518812889434611392631405753325775670700505673719170991095305317178873694677592638575204886290793767527536818316258443788041674523/1119341851413541279979287698545423224485530251574915618600693294152291844715476666262709446792328552573675504623143908416548995567590*y^4 + 35498429831557562636992384211125986523764701206330193002412375775470907196584976139525697663691226164891669907596783688566128681892262/111934185141354127997928769854542322448553025157491561860069329415229184471547666626270944679232855257367550462314390841654899556759*y^3 + 54447804451843816471904195696807487145687671409552235674384047807079210934754298723537445612669676817500867906907720919491783470550133/447736740565416511991715079418169289794212100629966247440277317660916737886190666505083778716931421029470201849257563366619598227036*y^2 + 74345700608347889481759805575910101159668526924976861428049569384067107161238628559129413937351944994375019437657495324297306010665651/2238683702827082559958575397090846448971060503149831237201386588304583689430953332525418893584657105147351009246287816833097991135180*y + 2077809083992396794518397953615118350488311005450888069452802942595663292919203745638460942338069941650583410155856732089118396317894/559670925706770639989643849272711612242765125787457809300346647076145922357738333131354723396164276286837752311571954208274497783795