# Manifold: Census Knot K8_129 # Number of Tetrahedra: 8 # Number Field x^14 - 35*x^13 + 33*x^12 + 313*x^11 - 537*x^10 + 239*x^9 - 423*x^8 - 405*x^7 - 52*x^6 + 250*x^5 + 29*x^4 - 12*x^3 - 30*x^2 + 11*x - 1 # Approximate Field Generator -0.604067445078889 - 0.329664082713171*I # Shape Parameters -1951839296927805571/992619501149894404*y^13 + 16780812120321477394/248154875287473601*y^12 - 5828312680760370903/248154875287473601*y^11 - 629778334575676363789/992619501149894404*y^10 + 166237885150170952010/248154875287473601*y^9 - 4248707496785229885/248154875287473601*y^8 + 773761136237853909951/992619501149894404*y^7 + 314761134758765095242/248154875287473601*y^6 + 816064758118766324069/992619501149894404*y^5 - 81674062108464915429/992619501149894404*y^4 - 171728723477502280911/992619501149894404*y^3 - 39983335526758627717/496309750574947202*y^2 + 22392614833166983097/992619501149894404*y - 238934329569013723/496309750574947202 -5579150356990669723/248154875287473601*y^13 + 385767755583554006943/496309750574947202*y^12 - 101624801237986937294/248154875287473601*y^11 - 3578413850121982870291/496309750574947202*y^10 + 2230519905130764877578/248154875287473601*y^9 - 384470642104646002523/248154875287473601*y^8 + 2200966939323646098229/248154875287473601*y^7 + 6403220949452577464343/496309750574947202*y^6 + 1663794948652606875366/248154875287473601*y^5 - 671205813528236352777/248154875287473601*y^4 - 444527750764308651381/248154875287473601*y^3 - 123836352169616670698/248154875287473601*y^2 + 226372742643934452513/496309750574947202*y - 13203722284279388399/248154875287473601 22030802833893194443/4714942630461998419*y^13 - 3058397792304570850129/18859770521847993676*y^12 + 502101637763649229723/4714942630461998419*y^11 + 14091304731459665366105/9429885260923996838*y^10 - 39043608724133623016839/18859770521847993676*y^9 + 4746322152272342358283/9429885260923996838*y^8 - 8583038190538908365181/4714942630461998419*y^7 - 45828587610090526508771/18859770521847993676*y^6 - 4501344708449799181874/4714942630461998419*y^5 + 16885866098668179742977/18859770521847993676*y^4 + 7477547222695451953725/18859770521847993676*y^3 + 1060000873849625770983/18859770521847993676*y^2 - 1166808379773597546587/9429885260923996838*y + 313079718274047746715/18859770521847993676 17432846215081992559/992619501149894404*y^13 - 603952945149953968243/992619501149894404*y^12 + 90172427184861163610/248154875287473601*y^11 + 5581712994845387181155/992619501149894404*y^10 - 7376382848131933361657/992619501149894404*y^9 + 786294887011359645339/496309750574947202*y^8 - 6844271992320681701983/992619501149894404*y^7 - 9494468114640520555309/992619501149894404*y^6 - 4313627994758389134209/992619501149894404*y^5 + 691990681593604307715/248154875287473601*y^4 + 726878022164342051533/496309750574947202*y^3 + 314571874487316083843/992619501149894404*y^2 - 403082592615124690907/992619501149894404*y + 53052325396681443183/992619501149894404 243954919240222936/248154875287473601*y^13 - 16936220419969855735/496309750574947202*y^12 + 5614000013742208379/248154875287473601*y^11 + 77833559472198245710/248154875287473601*y^10 - 217044731912147338905/496309750574947202*y^9 + 28353313679774299140/248154875287473601*y^8 - 96390544157584125834/248154875287473601*y^7 - 252982401667527924971/496309750574947202*y^6 - 51107774323091244460/248154875287473601*y^5 + 87934241157513267419/496309750574947202*y^4 + 35368132178694299015/496309750574947202*y^3 + 5003360720244721381/496309750574947202*y^2 - 6211737364117112961/248154875287473601*y + 2489770941634110719/496309750574947202 -25303060816265900463/992619501149894404*y^13 + 1314536540614922901005/1488929251724841606*y^12 - 772181361952653678155/1488929251724841606*y^11 - 24310117830153132236579/2977858503449683212*y^10 + 2656013639706488724333/248154875287473601*y^9 - 1655878879836314310403/744464625862420803*y^8 + 29824897474090861283713/2977858503449683212*y^7 + 20824764609131776935721/1488929251724841606*y^6 + 19328444050600763213965/2977858503449683212*y^5 - 11646637172510337524921/2977858503449683212*y^4 - 6290200449770944259615/2977858503449683212*y^3 - 353116403615738370544/744464625862420803*y^2 + 1716664848570605989735/2977858503449683212*y - 111496132226713245911/1488929251724841606 64680968773356133543/2977858503449683212*y^13 - 746765849929157031031/992619501149894404*y^12 + 109971508108281729787/248154875287473601*y^11 + 20711776577019762785083/2977858503449683212*y^10 - 27191789839429725078475/2977858503449683212*y^9 + 948536714439036910133/496309750574947202*y^8 - 8476035056952313547261/992619501149894404*y^7 - 11813826668076665032177/992619501149894404*y^6 - 16415644098321980941609/2977858503449683212*y^5 + 4974705720869181444955/1488929251724841606*y^4 + 445096000099055683620/248154875287473601*y^3 + 397969833451684632291/992619501149894404*y^2 - 489569475444259439525/992619501149894404*y + 193886680235939217221/2977858503449683212 -1410210211803170453/992619501149894404*y^13 + 48665862679246836239/992619501149894404*y^12 - 11327950022871296777/496309750574947202*y^11 - 453119756804668117427/992619501149894404*y^10 + 535407197038542605089/992619501149894404*y^9 - 34488191799242052477/496309750574947202*y^8 + 555901088317669578105/992619501149894404*y^7 + 846407864169477708125/992619501149894404*y^6 + 478857510434376767641/992619501149894404*y^5 - 31740184150569388753/248154875287473601*y^4 - 55961560797100170713/496309750574947202*y^3 - 37394394104503137181/992619501149894404*y^2 + 23730222727614581107/992619501149894404*y - 2191188503937753327/992619501149894404 # A Gluing Matrix {{-1,1,0,0,0,0,0,0},{2,3,-2,-4,2,4,-2,-2},{0,-1,2,2,-1,-2,1,1},{0,-2,2,3,-1,-3,1,1},{0,1,-1,-1,1,2,-1,-1},{0,2,-2,-3,2,4,-2,-1},{0,-2,2,2,-2,-3,2,2},{0,-2,2,2,-2,-2,1,3}} # B Gluing Matrix {{1,0,0,0,0,0,0,0},{0,2,0,0,0,0,0,0},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,0,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,1},{0,0,0,0,0,0,0,2}} # nu Gluing Vector {1, 2, 0, -1, 1, 2, 0, 0} # f Combinatorial flattening {3, 4, -4, 5, 6, 2, 7, 5} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 69126493081572142756/744464625862420803*y^13 - 1593118122755905104461/496309750574947202*y^12 + 417466719460029696227/248154875287473601*y^11 + 22186614992246481774997/744464625862420803*y^10 - 55141824315748538166929/1488929251724841606*y^9 + 1515473375028553797470/248154875287473601*y^8 - 9073772480938357113561/248154875287473601*y^7 - 26427018795915177636747/496309750574947202*y^6 - 20559941653512122437186/744464625862420803*y^5 + 17437917811439547328033/1488929251724841606*y^4 + 3974605466778264652307/496309750574947202*y^3 + 1171345187724406658099/496309750574947202*y^2 - 453302440959801974459/248154875287473601*y + 299324054524846423093/1488929251724841606 # 2 Loop Invariant 3072377783546686912386995655219754521727335184234465247/12827548313648999302291610905413809877014569400783284512*y^13 - 23684580092170051294418092219415042209703465350908014919/2850566291921999844953691312314179972669904311285174336*y^12 + 11406169682064580242048239964541960781543984553229244729/2137924718941499883715268484235634979502428233463880752*y^11 + 979599518879903351781377284897938182918645133068445340745/12827548313648999302291610905413809877014569400783284512*y^10 - 2688608684712596233845069377004406415931232106502296905783/25655096627297998604583221810827619754029138801566569024*y^9 + 115997324458506174790805674455937406796584328223655940311/4275849437882999767430536968471269959004856466927761504*y^8 - 136754114596073339271291308666744875132114901156936240645/1425283145960999922476845656157089986334952155642587168*y^7 - 360033774966403693402145017427295119683760492206170916777/2850566291921999844953691312314179972669904311285174336*y^6 - 696122067388255961296958369635530952961430373770183530237/12827548313648999302291610905413809877014569400783284512*y^5 + 996273092047108564723477984026786163016661301413159394523/25655096627297998604583221810827619754029138801566569024*y^4 + 144606581945283837776556592203506758848334732006549727689/8551698875765999534861073936942539918009712933855523008*y^3 + 10952433122851568046951760980172888155635037988801397007/2850566291921999844953691312314179972669904311285174336*y^2 - 7712258970392048064226062117449210570213077357444091265/1425283145960999922476845656157089986334952155642587168*y + 55525422936960178855732250461420762742256700665212868923/25655096627297998604583221810827619754029138801566569024 # 3 Loop Invariant 20758533417272004413359879868999143262210779490080132935052118311740967/3622985365185042629257756555252292272844511739228586265309671320573182144*y^13 - 231733950636416974019176369787879458327183869149065700802598573678546965/1207661788395014209752585518417430757614837246409528755103223773524394048*y^12 - 267107416618764595591563636959866769646834680053827368860870072482494451/2415323576790028419505171036834861515229674492819057510206447547048788096*y^11 + 14283867298235585347469074099697692416479830780745106513684774460769436431/7245970730370085258515513110504584545689023478457172530619342641146364288*y^10 - 1326709018608312425616744095877397726102186114549892061102619007716880281/3622985365185042629257756555252292272844511739228586265309671320573182144*y^9 - 1351629130577895860239782568396479041054637902927752447209509243762611397/603830894197507104876292759208715378807418623204764377551611886762197024*y^8 - 328576560383566252222625348866499229322827887602965112404597649266932849/301915447098753552438146379604357689403709311602382188775805943381098512*y^7 - 3853839505513720323317532135444550785751654989111888936822553239578644823/603830894197507104876292759208715378807418623204764377551611886762197024*y^6 - 37195054508359975769879492099579996389300267908241276145902803019931190539/7245970730370085258515513110504584545689023478457172530619342641146364288*y^5 - 8878295343130344931442329416045240523240235258723619432665776936268218847/7245970730370085258515513110504584545689023478457172530619342641146364288*y^4 + 832198021035625986433471778224892938382120714585546778334281626357225411/2415323576790028419505171036834861515229674492819057510206447547048788096*y^3 + 670152573041475109180534107602455926743736149442578508844949817700821705/2415323576790028419505171036834861515229674492819057510206447547048788096*y^2 + 976882242244797567633057643678913965873482839992433307035610662928651213/2415323576790028419505171036834861515229674492819057510206447547048788096*y + 30958218616310151868871189860440562666389131110379783626284442423444999/1811492682592521314628878277626146136422255869614293132654835660286591072 # 4 Loop Invariant -15054124488482909240489686155197067753423631298083890871185874011015450994936587739704568244756780850686961857/1872782864238183275610513900183881710310424158080547515515291999305844527244713939211683327602750613759074529280*y^13 + 19435957038978585721262409776001604383783210759906619591818665121156649225638141674159238568504288590210403603/69362328305117899096685700006810433715200894743723982056121925900216463972026442193025308429731504213299056640*y^12 - 36206840148366830758361043433370843248358443223087207453094166248189461009944266718920939790248904096842536971/156065238686515272967542825015323475859202013173378959626274333275487043937059494934306943966895884479922877440*y^11 - 4369038041528915154822991328159405587556301152302054875348970860585715991171758196114112145288408201108136936723/1872782864238183275610513900183881710310424158080547515515291999305844527244713939211683327602750613759074529280*y^10 + 7292540957542890668032856341158076887696930903179376433733886161468825849699312132654495584077805444976021976617/1872782864238183275610513900183881710310424158080547515515291999305844527244713939211683327602750613759074529280*y^9 - 1083101166354505982452523761516641894387092790458369514832875000789465144599920076424866932714551010630765860391/312130477373030545935085650030646951718404026346757919252548666550974087874118989868613887933791768959845754880*y^8 + 3331544136793765475411279530121825387438211408837304764088245337795446420872933375184367549545712780046337100127/624260954746061091870171300061293903436808052693515838505097333101948175748237979737227775867583537919691509760*y^7 + 2812150069095294611002139770357107816372513830781176238803250394381506976208063459441642672640155829974635687493/624260954746061091870171300061293903436808052693515838505097333101948175748237979737227775867583537919691509760*y^6 + 3892386604917314312011381484149607430610133062016083720045878440846831109047819125661328047057704814332730971571/1872782864238183275610513900183881710310424158080547515515291999305844527244713939211683327602750613759074529280*y^5 + 531920936641517431230566807091709383770858178400243269330083154024762163365660935820012947465159392533944549075/187278286423818327561051390018388171031042415808054751551529199930584452724471393921168332760275061375907452928*y^4 + 11527155526576663728431901975448511410270431924484769349988269286416134577353398709844366149298933641980421641/7803261934325763648377141250766173792960100658668947981313716663774352196852974746715347198344794223996143872*y^3 - 165580770414654482431894379273229818636386213169675744556797143678324818729445293539336483052630967957065804785/124852190949212218374034260012258780687361610538703167701019466620389635149647595947445555173516707583938301952*y^2 - 197094431156554074719616746339632940139337774149674768516108314661680251778068043688877298551836438264495355799/624260954746061091870171300061293903436808052693515838505097333101948175748237979737227775867583537919691509760*y + 314094088420206465571898641399427711220896754479985295762770800209420058981526040969943355610624859052242070029/1872782864238183275610513900183881710310424158080547515515291999305844527244713939211683327602750613759074529280