# Manifold: Census Knot K8_134 # Number of Tetrahedra: 8 # Number Field x^15 + 5*x^14 + 11*x^13 + 32*x^12 - 61*x^11 + 96*x^10 - 6*x^9 - 92*x^8 + 188*x^7 - 20*x^6 - 13*x^5 + 99*x^4 - 10*x^3 - 25*x^2 + 2*x + 1 # Approximate Field Generator 0.350741278074646 - 1.14850509312792*I # Shape Parameters -56994692705969/53163915124*y^14 - 62897373926924/13290978781*y^13 - 479581479619025/53163915124*y^12 - 1542944285518005/53163915124*y^11 + 2190198122685597/26581957562*y^10 - 2009347497266905/13290978781*y^9 + 1262557005149356/13290978781*y^8 + 1142314251654991/26581957562*y^7 - 3013171315512771/13290978781*y^6 + 4099917954025837/26581957562*y^5 - 4063166422267239/53163915124*y^4 - 1630846050103077/26581957562*y^3 + 620027337484491/13290978781*y^2 - 28052826826387/53163915124*y - 97292678496967/53163915124 -1173124827646027/1010114387356*y^14 - 5178411796753767/1010114387356*y^13 - 4935460953525621/505057193678*y^12 - 31757834227726159/1010114387356*y^11 + 90163887378315547/1010114387356*y^10 - 165438809880417401/1010114387356*y^9 + 103955740876889513/1010114387356*y^8 + 47024158545916447/1010114387356*y^7 - 248089738694843823/1010114387356*y^6 + 168792555342074463/1010114387356*y^5 - 20908861673733180/252528596839*y^4 - 33569572397172405/505057193678*y^3 + 12763865981797961/252528596839*y^2 - 580032336131971/1010114387356*y - 1002195533582875/505057193678 -17093495958929/5596201592*y^14 - 37725505814499/2798100796*y^13 - 143814309757379/5596201592*y^12 - 462713253063709/5596201592*y^11 + 656928926604125/2798100796*y^10 - 301353924655993/699525199*y^9 + 757591662445577/2798100796*y^8 + 171219936498969/1399050398*y^7 - 1807479190230745/2798100796*y^6 + 1230046634535193/2798100796*y^5 - 1219103438812723/5596201592*y^4 - 244493536479185/1399050398*y^3 + 186016436872485/1399050398*y^2 - 8563253937699/5596201592*y - 29182056221947/5596201592 -166043707014799/4359441040168*y^14 - 366328977031651/2179720520084*y^13 - 1395806675163275/4359441040168*y^12 - 4492351734345439/4359441040168*y^11 + 1596282294565343/544930130021*y^10 - 2929625980803049/544930130021*y^9 + 7377659278959277/2179720520084*y^8 + 3315984220320843/2179720520084*y^7 - 17563828032069271/2179720520084*y^6 + 11977038505292535/2179720520084*y^5 - 11874194372418799/4359441040168*y^4 - 1185694466421587/544930130021*y^3 + 3624850731466431/2179720520084*y^2 - 90955545888763/4359441040168*y - 286442051218365/4359441040168 -131668286146829/106327830248*y^14 - 290603084711845/53163915124*y^13 - 1107873543625165/106327830248*y^12 - 3564410319710447/106327830248*y^11 + 1264974571768461/13290978781*y^10 - 9284479121339303/53163915124*y^9 + 5834482890186515/53163915124*y^8 + 2638163471819695/53163915124*y^7 - 6961083648133419/26581957562*y^6 + 9473053973692095/53163915124*y^5 - 9389395445231425/106327830248*y^4 - 3766957882671781/53163915124*y^3 + 2864983159676831/53163915124*y^2 - 65714617104795/106327830248*y - 224554028214549/106327830248 5682639537799647/1008015811759*y^14 + 100336303990068339/4032063247036*y^13 + 191256567886957547/4032063247036*y^12 + 153834797502525439/1008015811759*y^11 - 1747039663553961641/4032063247036*y^10 + 3205666616997702513/4032063247036*y^9 - 183135954791383867/366551204276*y^8 - 910857514748698597/4032063247036*y^7 + 436989882740232313/366551204276*y^6 - 3270772251468589465/4032063247036*y^5 + 12373666262564725/30779108756*y^4 + 325146037492944398/1008015811759*y^3 - 247294734623727595/1008015811759*y^2 + 5674316447761557/2016031623518*y + 38781226062518409/4032063247036 32439733469671/2798100796*y^14 + 143193057095599/2798100796*y^13 + 136472483541543/1399050398*y^12 + 878165078793211/2798100796*y^11 - 2493307121941859/2798100796*y^10 + 4575012684035361/2798100796*y^9 - 2875087422465873/2798100796*y^8 - 1299895131031743/2798100796*y^7 + 6860197172316231/2798100796*y^6 - 4668060151239031/2798100796*y^5 + 578343984401768/699525199*y^4 + 928055527501663/1399050398*y^3 - 352946631081609/699525199*y^2 + 16210523576895/2798100796*y + 27683259861501/1399050398 -4909309430498369/4032063247036*y^14 - 5417270198287828/1008015811759*y^13 - 41300757894854701/4032063247036*y^12 - 132886461755691157/4032063247036*y^11 + 188682138423896981/2016031623518*y^10 - 173112568830588775/1008015811759*y^9 + 9892235767865161/91637801069*y^8 + 98324395030560205/2016031623518*y^7 - 23596870246321309/91637801069*y^6 + 353346050704176975/2016031623518*y^5 - 2673404749812817/30779108756*y^4 - 140416321750904257/2016031623518*y^3 + 53435420105942407/1008015811759*y^2 - 2483607975729451/4032063247036*y - 8380938425366263/4032063247036 # A Gluing Matrix {{2,-2,0,0,2,0,0,2},{-2,1,0,0,0,0,0,0},{0,0,-1,1,-3,-1,1,-2},{0,0,1,1,0,1,0,0},{2,0,-3,0,-5,-2,1,-4},{0,0,-1,1,-2,0,1,-2},{0,0,2,0,2,2,1,2},{2,0,-2,0,-4,-2,1,-2}} # B Gluing Matrix {{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,0,0,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,2,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {2, -1, -1, 1, -1, 0, 2, 0} # f Combinatorial flattening {6, 11, 1, 7, 8, -7, 4, -3} # f' Combinatorial flattening {2, 0, 0, 0, 0, 0, 0, -2} # 1 Loop Invariant -186666890258657/5596201592*y^14 - 102995970692502/699525199*y^13 - 1570582878836503/5596201592*y^12 - 5053164754783993/5596201592*y^11 + 7173627720676263/2798100796*y^10 - 13163033756305405/2798100796*y^9 + 2068060231618205/699525199*y^8 + 934968858554661/699525199*y^7 - 4934445929462064/699525199*y^6 + 6715476724474365/1399050398*y^5 - 13312062354366171/5596201592*y^4 - 1335038655674596/699525199*y^3 + 4062058775770155/2798100796*y^2 - 93265214947613/5596201592*y - 318589760565693/5596201592 # 2 Loop Invariant -5247363860656469916716945176923747415809144882163560391/3401752471172932751374993632954346442240187217366656*y^14 - 3860376546564067468193375703111511991211807350437756053/566958745195488791895832272159057740373364536227776*y^13 - 44149537488171546121850684736446779195568362042512884999/3401752471172932751374993632954346442240187217366656*y^12 - 47348905341263609205731555324254426026723668882324908861/1133917490390977583791664544318115480746729072455552*y^11 + 25207454889958564821454124595951925161706469148634483781/212609529448308296960937102059646652640011701085416*y^10 - 185014362891822609817775391515527784520641820054907909421/850438117793233187843748408238586610560046804341664*y^9 + 17888263994066914629151500015048631180737135001852829381/130836633506651259668268985882859478547699508360256*y^8 + 35043446695156034775164718593133786704677547611119402799/566958745195488791895832272159057740373364536227776*y^7 - 554852456310354049983666511791539777432102571327004989923/1700876235586466375687496816477173221120093608683328*y^6 + 377571476056290607265728816423033065751210235049293111845/1700876235586466375687496816477173221120093608683328*y^5 - 374217509931238255932635211245389322558207573094330546727/3401752471172932751374993632954346442240187217366656*y^4 - 25019261343450824040653607638976801887035262523767320187/283479372597744395947916136079528870186682268113888*y^3 + 114195693739776322839876022864505283834852134916059774209/1700876235586466375687496816477173221120093608683328*y^2 - 2624064335767468267707296731019332582368468846173024663/3401752471172932751374993632954346442240187217366656*y - 8964520340996800254749692689711996128761681289816907089/3401752471172932751374993632954346442240187217366656 # 3 Loop Invariant 53667515883611770024920229286407882183873415910498963494588145057101272653/127604360296141012439982458650936630306754146614986841680027890057518208*y^14 + 236904355768818084504097442116838939328432731926292144527276937082318536097/127604360296141012439982458650936630306754146614986841680027890057518208*y^13 + 451595500226533068921705411306749605957033429775396096639740292825023450483/127604360296141012439982458650936630306754146614986841680027890057518208*y^12 + 1452899559276106058433312618463811839271809922796938267194317659028778402033/127604360296141012439982458650936630306754146614986841680027890057518208*y^11 - 317277045243108579062690226652552109950785710381007271499583624306258554235/9815720022780077879998650665456663869750318970383603206155991542886016*y^10 + 291081974298719150785621297566818937483245447233713275796264655480046844917/4907860011390038939999325332728331934875159485191801603077995771443008*y^9 - 4755237812493109830564165882422973221666238654433339635757169487336225022229/127604360296141012439982458650936630306754146614986841680027890057518208*y^8 - 268903808335624614820482659985820239508316282571319636556137277157526604373/15950545037017626554997807331367078788344268326873355210003486257189776*y^7 + 873001415537062674233854251259760550970470117530057025961408212201026477749/9815720022780077879998650665456663869750318970383603206155991542886016*y^6 - 3860453154777397098250529461204537470995645293073877293397163169494254155393/63802180148070506219991229325468315153377073307493420840013945028759104*y^5 + 478260691860543612273225019178151743709284636814211928833462046334662060801/15950545037017626554997807331367078788344268326873355210003486257189776*y^4 + 3071414347677335697255084625866720955731038784539019278589369380001339654623/127604360296141012439982458650936630306754146614986841680027890057518208*y^3 - 2335115004390463219464511247133531583757646163447395536997778900994298988715/127604360296141012439982458650936630306754146614986841680027890057518208*y^2 + 13285600773562723255639684409926726644633279286040015869199855066625891003/63802180148070506219991229325468315153377073307493420840013945028759104*y + 91632047612715678738051584365332237741993317016930898788258585317976802543/127604360296141012439982458650936630306754146614986841680027890057518208 # 4 Loop Invariant -8488769847199261445223572858755593244871810173328449839237855275094847231495975608222745050035750970754903330057511/29833315772225817350544638336422563975992720264515954438220249594619516591421768151574127528954577977676908861440*y^14 - 44966222127843854584234910996065548343725377146811395813084146626618044997806936476148828513152274104903085949636317/35799978926670980820653566003707076771191264317419145325864299513543419909706121781888953034745493573212290633728*y^13 - 28570900811542676581754665643170039920971497590694374292122075966281891640336000283353665656019808892297094831012653/11933326308890326940217855334569025590397088105806381775288099837847806636568707260629651011581831191070763544576*y^12 - 689389570444194588572164395679582541956663436853079437204411663178721998510512088914842806620120128969548763579903099/89499947316677452051633915009267691927978160793547863314660748783858549774265304454722382586863733933030726584320*y^11 + 782917421865196440126482099073274260221846051120904237499450146896040055905645701190883564579696903099683119332695911/35799978926670980820653566003707076771191264317419145325864299513543419909706121781888953034745493573212290633728*y^10 - 7182017128327866626668732484534262225651734828089683691649481829172970493511862484501563738375664613616998413957502819/178999894633354904103267830018535383855956321587095726629321497567717099548530608909444765173727467866061453168640*y^9 + 501324646489058526129387423528837159079356882922998673283187042151511720010706652987340055627586180968443330371288707/19888877181483878233696425557615042650661813509677302958813499729746344394281178767716085019303051985117939240960*y^8 + 2043529550048232348134010990321302361398647274224610132246218723146491571083663745282669581959602513116083845243035111/178999894633354904103267830018535383855956321587095726629321497567717099548530608909444765173727467866061453168640*y^7 - 10771620030649448991798455719822512617502502342376527761444054533453616063476746416702520015855404621897914219258679961/178999894633354904103267830018535383855956321587095726629321497567717099548530608909444765173727467866061453168640*y^6 + 563602822587160576743234359668133168403760588978443551356596769464753296882036285067885433860052052088357737598268979/13769222664104223392559063847579644911996640122084286663793961351362853811425431454572674244132882143543188705280*y^5 - 403125515347468836730954641188235476491879069967456235877618574872773145948701628262112578856681479795839472781308267/19888877181483878233696425557615042650661813509677302958813499729746344394281178767716085019303051985117939240960*y^4 - 48604843119817677632814088735255341878365574272627748253568749801804745966740164880491676806239286941340940162141307/2983331577222581735054463833642256397599272026451595443822024959461951659142176815157412752895457797767690886144*y^3 + 69285268419397028284915871277852203509342134843321256646897517192185713910114328331437912320651325537941414728520831/5593746707292340753227119688079230745498635049596741457166296798991159360891581528420148911678983370814420411520*y^2 - 6047200980340154112654917683992931656965229741438044940812883729645762455646657477190450962967957544693108961047669/44749973658338726025816957504633845963989080396773931657330374391929274887132652227361191293431866966515363292160*y - 17448548988343477353611226810526400586013235965771320895622056842557354660830282434686691278997360547609447502181193/35799978926670980820653566003707076771191264317419145325864299513543419909706121781888953034745493573212290633728