# Manifold: Rolfsen Knot 9_8 # Number of Tetrahedra: 9 # Number Field x^15 - 3*x^14 - 20*x^13 + 91*x^12 - 137*x^11 + 137*x^10 + 172*x^9 - 195*x^8 - 132*x^7 + 335*x^6 + 502*x^5 + 355*x^4 + 99*x^3 + 5*x^2 + 2*x + 1 # Approximate Field Generator -0.746239982517438 + 0.326814490391953*I # Shape Parameters 7160721330884942312837/3392973652169453630871*y^14 - 24205177127095518953101/3392973652169453630871*y^13 - 44691600758446634889851/1130991217389817876957*y^12 + 702828541522757632960277/3392973652169453630871*y^11 - 1247063375826348697674182/3392973652169453630871*y^10 + 1448889340026171547953151/3392973652169453630871*y^9 + 691829070448450729362269/3392973652169453630871*y^8 - 1672229177598770599286279/3392973652169453630871*y^7 - 315980965456131473895707/3392973652169453630871*y^6 + 844788099588195915741323/1130991217389817876957*y^5 + 2633477936331550846771445/3392973652169453630871*y^4 + 1519416783324206712297820/3392973652169453630871*y^3 + 34713847438793952600002/1130991217389817876957*y^2 - 5820066172385714201390/1130991217389817876957*y + 23976685792051938805538/3392973652169453630871 129196684650572592446/36483587657736060547*y^14 - 433415830012436287685/36483587657736060547*y^13 - 2430930189675873716852/36483587657736060547*y^12 + 12621091303125656980347/36483587657736060547*y^11 - 22161113684421845866668/36483587657736060547*y^10 + 25498033494094981621058/36483587657736060547*y^9 + 13251809626283785048600/36483587657736060547*y^8 - 29935928914541435104261/36483587657736060547*y^7 - 6641527396460700725205/36483587657736060547*y^6 + 45791114559185595801804/36483587657736060547*y^5 + 48778123410891389310645/36483587657736060547*y^4 + 28264514057132520413097/36483587657736060547*y^3 + 2312445343644310371219/36483587657736060547*y^2 - 437456378003793697171/36483587657736060547*y + 335678870955843099339/36483587657736060547 8043068907860454010310/1787695795229066966803*y^14 - 27055747998612254369229/1787695795229066966803*y^13 - 151017240576555765251031/1787695795229066966803*y^12 + 786859460462931974695187/1787695795229066966803*y^11 - 1388168225264986995915247/1787695795229066966803*y^10 + 229593391895929810164166/255385113604152423829*y^9 + 797760812883998725132771/1787695795229066966803*y^8 - 1857156381594346060223370/1787695795229066966803*y^7 - 387927542964020176816842/1787695795229066966803*y^6 + 404999302776578853641327/255385113604152423829*y^5 + 3007241064929521646082961/1787695795229066966803*y^4 + 1762364086062190683491676/1787695795229066966803*y^3 + 151776043478496097368949/1787695795229066966803*y^2 - 19406828643022798971412/1787695795229066966803*y + 20977564880413326825870/1787695795229066966803 -1451445285193734207132/1130991217389817876957*y^14 + 14637809710741516848184/3392973652169453630871*y^13 + 27270885553703982682473/1130991217389817876957*y^12 - 141965207987360765562497/1130991217389817876957*y^11 + 750188403443867352719938/3392973652169453630871*y^10 - 866008973983797278277179/3392973652169453630871*y^9 - 438759461277966844177841/3392973652169453630871*y^8 + 337086120466656813308226/1130991217389817876957*y^7 + 210964414004162583937931/3392973652169453630871*y^6 - 512417363860274315913615/1130991217389817876957*y^5 - 544644842672420314501020/1130991217389817876957*y^4 - 946800622926818721070349/3392973652169453630871*y^3 - 79198353293520077824613/3392973652169453630871*y^2 + 12459922090164701394488/3392973652169453630871*y - 10418006167691265158861/3392973652169453630871 355923544630877449752/255385113604152423829*y^14 - 1193011050470266709631/255385113604152423829*y^13 - 6700966893632069458460/255385113604152423829*y^12 + 34754459377240724825792/255385113604152423829*y^11 - 60947150149353275106749/255385113604152423829*y^10 + 69986471963061384892255/255385113604152423829*y^9 + 36968841130758686470822/255385113604152423829*y^8 - 82830063364259615682346/255385113604152423829*y^7 - 18117515267444891912533/255385113604152423829*y^6 + 126141613270368923084861/255385113604152423829*y^5 + 134409308170201235675467/255385113604152423829*y^4 + 78282541651094182381438/255385113604152423829*y^3 + 6675933339810039475988/255385113604152423829*y^2 - 1052005784521078757859/255385113604152423829*y + 1200899747264741311091/255385113604152423829 153965411407262557265/255385113604152423829*y^14 - 520283303450112013908/255385113604152423829*y^13 - 2881039370097806057443/255385113604152423829*y^12 + 2157314550848254996000/36483587657736060547*y^11 - 3834536008695105318619/36483587657736060547*y^10 + 31347522219079334988353/255385113604152423829*y^9 + 14532718096304949152960/255385113604152423829*y^8 - 35535057317773450184387/255385113604152423829*y^7 - 6527247975825801188583/255385113604152423829*y^6 + 53945129608337978086941/255385113604152423829*y^5 + 8062872761701498053442/36483587657736060547*y^4 + 33714604606728437664985/255385113604152423829*y^3 + 445826572678323625304/36483587657736060547*y^2 + 8261294333409917871/255385113604152423829*y + 675783774099412327883/255385113604152423829 82153974572548122504/36483587657736060547*y^14 - 282478448407324628501/36483587657736060547*y^13 - 1521498568370367835410/36483587657736060547*y^12 + 8150573388978094614964/36483587657736060547*y^11 - 14785681848509396925227/36483587657736060547*y^10 + 17517494737873750481699/36483587657736060547*y^9 + 6833300624104075500066/36483587657736060547*y^8 - 19456063507587834628601/36483587657736060547*y^7 - 2542190183693780349963/36483587657736060547*y^6 + 29133986261161101830294/36483587657736060547*y^5 + 28613446272619076663901/36483587657736060547*y^4 + 15855842000684208513201/36483587657736060547*y^3 + 253130660721225187683/36483587657736060547*y^2 - 224408994973800136461/36483587657736060547*y + 285828244408151272919/36483587657736060547 2422176611583339237878/3392973652169453630871*y^14 - 8082266934899749049681/3392973652169453630871*y^13 - 15247118576791948811047/1130991217389817876957*y^12 + 235871975477304925546796/3392973652169453630871*y^11 - 136945726111475997275148/1130991217389817876957*y^10 + 156184598994975223044858/1130991217389817876957*y^9 + 260401936132393486828099/3392973652169453630871*y^8 - 560000938881507173354765/3392973652169453630871*y^7 - 138804243037335212104804/3392973652169453630871*y^6 + 288033841774444787628298/1130991217389817876957*y^5 + 929221562845212886775816/3392973652169453630871*y^4 + 179322969222833733560971/1130991217389817876957*y^3 + 46471684258567069066685/3392973652169453630871*y^2 - 10661405003035346235515/3392973652169453630871*y + 6309285617155745896462/3392973652169453630871 -129548496360383444948/36483587657736060547*y^14 + 435099302300203744389/36483587657736060547*y^13 + 2435049222477449480389/36483587657736060547*y^12 - 12662230878799877759883/36483587657736060547*y^11 + 22286091521802778555902/36483587657736060547*y^10 - 25732998136120470393326/36483587657736060547*y^9 - 13053493490305453551870/36483587657736060547*y^8 + 29923772607876085418832/36483587657736060547*y^7 + 6432759174918976813136/36483587657736060547*y^6 - 45730175900500144893984/36483587657736060547*y^5 - 48682920177812059188905/36483587657736060547*y^4 - 28461861653405580160529/36483587657736060547*y^3 - 2532227331124935380092/36483587657736060547*y^2 + 323230839354226488505/36483587657736060547*y - 301826235847656591429/36483587657736060547 # A Gluing Matrix {{-1,-1,-2,-1,1,1,0,-1,0},{-1,0,0,0,0,0,0,0,0},{-2,0,-1,0,0,0,0,0,0},{-1,0,0,2,-1,0,0,-1,1},{1,0,0,-1,1,0,0,0,0},{1,0,0,0,0,1,0,-1,0},{0,0,0,0,0,0,1,1,0},{-1,0,0,-1,0,-1,1,2,-1},{0,0,0,1,0,0,0,-1,1}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0},{0,0,0,0,1,0,0,0,0},{0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {-1, 0, -1, 0, 1, 1, 1, 0, 1} # f Combinatorial flattening {0, 1, 1, 0, 1, 0, 2, -1, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 1424790678442501437162/36483587657736060547*y^14 - 9646601010446398086453/72967175315472121094*y^13 - 26648802716141146431109/36483587657736060547*y^12 + 279923350567750902941893/72967175315472121094*y^11 - 248911406665652956903664/36483587657736060547*y^10 + 289979620050421388323251/36483587657736060547*y^9 + 135378281613386823017349/36483587657736060547*y^8 - 332471375392914033487904/36483587657736060547*y^7 - 60675796912836279859621/36483587657736060547*y^6 + 1005870277046847122294737/72967175315472121094*y^5 + 1044383785510572812342501/72967175315472121094*y^4 + 300628215166440897026737/36483587657736060547*y^3 + 42073820387851486957135/72967175315472121094*y^2 - 6446111821813978303871/72967175315472121094*y + 8354302257972011071293/72967175315472121094 # 2 Loop Invariant 10957120178835795840322491780732832594400544710195670341/32970371099108730379261929967490554727047530378316401618*y^14 - 18343069592737747167286446952381728371679910240073237711/16485185549554365189630964983745277363523765189158200809*y^13 - 137605957712743065904809592868182245616064822087090926275/21980247399405820252841286644993703151365020252210934412*y^12 + 2138140771668492707302647986451861741385434216682521183023/65940742198217460758523859934981109454095060756632803236*y^11 - 3745033109715191813635252871405857951334634740736465989359/65940742198217460758523859934981109454095060756632803236*y^10 + 4299172034272174901822450871686020436159440429947479429917/65940742198217460758523859934981109454095060756632803236*y^9 + 2281630414173378303405073662249340735657539605197905342235/65940742198217460758523859934981109454095060756632803236*y^8 - 1268412849028792038243433377522392013354174641186878823174/16485185549554365189630964983745277363523765189158200809*y^7 - 1148871292760548985381777327892238384774958723100944417153/65940742198217460758523859934981109454095060756632803236*y^6 + 1941208948247062260083539748686469994664711671157467457306/16485185549554365189630964983745277363523765189158200809*y^5 + 2075964750553899610224285417363110924006018184282936839494/16485185549554365189630964983745277363523765189158200809*y^4 + 4860770355059643113722397388271377791063641995487216164553/65940742198217460758523859934981109454095060756632803236*y^3 + 432979739280530528212744672174381295817717737110689358391/65940742198217460758523859934981109454095060756632803236*y^2 - 63670042000195757649853195531019304083117961957345808093/65940742198217460758523859934981109454095060756632803236*y + 36437181489832369748307708116938876862470059522224936611/43960494798811640505682573289987406302730040504421868824 # 3 Loop Invariant -63101784325599674096721577900316525865038176690511173514668920764292640/2132603453643240403342711038571489075238292073602806462692411383553377229*y^14 + 212752299993760639900436710530328265533669422491846700535849506727072764/2132603453643240403342711038571489075238292073602806462692411383553377229*y^13 + 1183369404802011134656699668937439861400064493123202475383816464524543523/2132603453643240403342711038571489075238292073602806462692411383553377229*y^12 - 6182893239481239509673465780301679099078141153373923237156776026411039590/2132603453643240403342711038571489075238292073602806462692411383553377229*y^11 + 21867163979717432842916258098236820922079625461310661225447332358568309493/4265206907286480806685422077142978150476584147205612925384822767106754458*y^10 - 12676256888348563065676673891984852852180901046065085990358799794841386552/2132603453643240403342711038571489075238292073602806462692411383553377229*y^9 - 12337230580051938111421704689119525534058709538420501054990907940091161013/4265206907286480806685422077142978150476584147205612925384822767106754458*y^8 + 29181473552318501821078359320947452114315695846927633100585799748907880523/4265206907286480806685422077142978150476584147205612925384822767106754458*y^7 + 6103518401547251235406053757978877670751761853784809485865007253647760973/4265206907286480806685422077142978150476584147205612925384822767106754458*y^6 - 44730282460620290543398308636117494092617525329630996891338505291027627369/4265206907286480806685422077142978150476584147205612925384822767106754458*y^5 - 23503213616843797375982732135125001331244129157074894744213859395197914967/2132603453643240403342711038571489075238292073602806462692411383553377229*y^4 - 13547619283850728074642499247289988676618239572740465892556548422270727446/2132603453643240403342711038571489075238292073602806462692411383553377229*y^3 - 923132264516253179052635473337160755057836117557593392003499842831950463/2132603453643240403342711038571489075238292073602806462692411383553377229*y^2 + 188075658978753148108643189377005132427408962662632700319446308715334940/2132603453643240403342711038571489075238292073602806462692411383553377229*y - 166151660542730557651623394362529086447609776698035563209707318759438213/2132603453643240403342711038571489075238292073602806462692411383553377229 # 4 Loop Invariant -137778352726696076974220709347039657496971593694118954302556186955052330895434361498788129459434637959960417/57817280416732228115607723637837228974952787920608816654873885728005440010389981905992161414809787384506127780*y^14 + 1800927898042083396103416617525423102719981227998807768822825161381354128476249197735611072333449921873510659/231269121666928912462430894551348915899811151682435266619495542912021760041559927623968645659239149538024511120*y^13 + 5279264969225272899088288898767218351881585558503317693472401497609028845970691881464098476439299397398705779/115634560833464456231215447275674457949905575841217633309747771456010880020779963811984322829619574769012255560*y^12 - 26530045483011946272266572701797395993887117508962797736485353055985908364384260286080873785275184709732147107/115634560833464456231215447275674457949905575841217633309747771456010880020779963811984322829619574769012255560*y^11 + 2484693287488953610755950594452482079770025919821003943637097239218744659587268753026075266918373366390901081/6424142268525803123956413737537469886105865324512090739430431747556160001154442433999129046089976376056236420*y^10 - 6082554154353863494778265007396302003919585394551463281550856057439951481825323170965441779111680519421572506/14454320104183057028901930909459307243738196980152204163718471432001360002597495476498040353702446846126531945*y^9 - 4127305702074681640699744593247276782552985151150481274801109451460814478090350155331966739451749045266291981/12848284537051606247912827475074939772211730649024181478860863495112320002308884867998258092179952752112472840*y^8 + 27115576745648440741460851639104841712338936804676224368995288709694239465690883802147057143790646949815396575/46253824333385782492486178910269783179962230336487053323899108582404352008311985524793729131847829907604902224*y^7 + 11376401431303462317276413402494717304063627867005975939944625508522837322655796710947662652599355884559718829/77089707222309637487476964850449638633270383894145088873165180970673920013853309207989548553079716512674837040*y^6 - 99906457512211589011148246991702575442463736773523324615622661225428645555243660337513881224970589920371922157/115634560833464456231215447275674457949905575841217633309747771456010880020779963811984322829619574769012255560*y^5 - 8843614875852264484248153158009664503617753234743420858187206627139858793666303054022472632598784284283460563/9636213402788704685934620606306204829158797986768136109145647621334240001731663650998693569134964564084354630*y^4 - 32310160095327732910325886659617843913904230127890038203502261816260328582550869906051809262581808381469127199/57817280416732228115607723637837228974952787920608816654873885728005440010389981905992161414809787384506127780*y^3 - 5034158400899890262670921975793091435415538055482934695844740485628241869433193962504165910641743898860689647/46253824333385782492486178910269783179962230336487053323899108582404352008311985524793729131847829907604902224*y^2 + 136541020320897345027207195589654162663870406467299524260771544624979393940452432399251291644907591072345243/231269121666928912462430894551348915899811151682435266619495542912021760041559927623968645659239149538024511120*y - 173121925280139526338985845502379141653883839203399097236488773627300211401185875759478179070466213859647637/38544853611154818743738482425224819316635191947072544436582590485336960006926654603994774276539858256337418520