# Manifold: Census Knot K5_4 # Number of Tetrahedra: 5 # Number Field x^10 - 8*x^9 + 8*x^8 + 14*x^7 - 91*x^6 - 7*x^5 + 92*x^4 + 9*x^3 - 18*x^2 - 7*x + 1 # Approximate Field Generator 1.50749610429587 + 2.06303835800561*I # Shape Parameters -188102159/518477314*y^9 + 1472369711/518477314*y^8 - 1272997027/518477314*y^7 - 2683481885/518477314*y^6 + 8268067240/259238657*y^5 + 3811443249/518477314*y^4 - 14685945737/518477314*y^3 - 1760971040/259238657*y^2 + 597408337/259238657*y + 1365541939/518477314 -26077112/259238657*y^9 + 233075577/259238657*y^8 - 409898505/259238657*y^7 - 110440421/259238657*y^6 + 2558856557/259238657*y^5 - 2007121050/259238657*y^4 - 1937638950/259238657*y^3 + 899706680/259238657*y^2 + 205832343/259238657*y + 193518480/259238657 -4226956/259238657*y^9 + 57227823/259238657*y^8 - 216961905/259238657*y^7 + 105590485/259238657*y^6 + 661794033/259238657*y^5 - 1962296487/259238657*y^4 - 838435315/259238657*y^3 + 1277931630/259238657*y^2 + 432647525/259238657*y + 101444430/259238657 86662153/777715971*y^9 - 669719507/777715971*y^8 + 570424615/777715971*y^7 + 919290797/777715971*y^6 - 7327195763/777715971*y^5 - 1850428307/777715971*y^4 + 2607311879/777715971*y^3 - 921024091/777715971*y^2 + 908135477/777715971*y + 353969356/777715971 11027556/259238657*y^9 - 89877624/259238657*y^8 + 85511832/259238657*y^7 + 262456923/259238657*y^6 - 1110753894/259238657*y^5 - 140764969/259238657*y^4 + 2324975952/259238657*y^3 + 553818936/259238657*y^2 - 928749844/259238657*y - 714027811/259238657 # A Gluing Matrix {{0,2,1,2,2},{2,1,0,0,0},{1,0,1,0,0},{2,0,0,-1,-2},{2,0,0,-2,-3}} # B Gluing Matrix {{1,0,0,0,0},{0,1,0,0,0},{0,0,1,0,0},{0,0,0,1,0},{0,0,0,0,1}} # nu Gluing Vector {2, 1, 1, 1, 1} # f Combinatorial flattening {-1, 3, 2, 3, -3} # f' Combinatorial flattening {-6, 0, 0, 0, 0} # 1 Loop Invariant 1089192105/518477314*y^9 - 9537066617/518477314*y^8 + 14573737105/518477314*y^7 + 14166993675/518477314*y^6 - 57104185866/259238657*y^5 + 56693028377/518477314*y^4 + 166565970783/518477314*y^3 - 18738879022/259238657*y^2 - 32374036087/259238657*y - 19910753565/518477314 # 2 Loop Invariant -5455104402364856811835629471305/4301681542294757242408332894076464*y^9 + 90740100430973169869165419004945/4301681542294757242408332894076464*y^8 - 421708681067559373100144930670695/4301681542294757242408332894076464*y^7 + 5684609010607560531195983782827/79660769301754763748302461001416*y^6 + 1177179900404063048021915985027821/4301681542294757242408332894076464*y^5 - 4321649051846208733047222196568081/4301681542294757242408332894076464*y^4 - 116275649967807188985137065456205/716946923715792873734722149012744*y^3 + 1552467690870709643802493270982671/1433893847431585747469444298025488*y^2 + 7133817755838940210754813874009/159321538603509527496604922002832*y - 3692146345117067044078579210291993/4301681542294757242408332894076464 # 3 Loop Invariant -104321901767892776293537168960681888911059/1686147740109931650467394237423668422416334368*y^9 - 3855635830806705908779117676657022955133437/3372295480219863300934788474847336844832668736*y^8 + 46153097080927973171554192000855775974355843/3372295480219863300934788474847336844832668736*y^7 - 77854141935552797476095481746633354018381065/3372295480219863300934788474847336844832668736*y^6 - 16253666693224854954438108638845397519703301/3372295480219863300934788474847336844832668736*y^5 + 547381713290247751440742059492732273762872795/3372295480219863300934788474847336844832668736*y^4 - 340420905471746565113092616537692511470628555/3372295480219863300934788474847336844832668736*y^3 - 380019155618830671315246853050425512266711791/3372295480219863300934788474847336844832668736*y^2 + 177345056873605549883344635034851243838541705/1686147740109931650467394237423668422416334368*y + 18568072548974917595635907369438442427054097/3372295480219863300934788474847336844832668736 # 4 Loop Invariant 526598286864869972540082440094635150509985110314638062388473155879547/209843432355448543980027386905758091455191758934911671392440115237387520*y^9 - 864953677222927472841474067841251906936463843367302677459183987445921/41968686471089708796005477381151618291038351786982334278488023047477504*y^8 + 20188816196336167337305577271510832281537727986455577987296084144826931/839373729421794175920109547623032365820767035739646685569760460949550080*y^7 + 209047220930222487700705887977908121232827359891012499082433091579479/6217583180902179080889700352763202709783459523997382856072299710737408*y^6 - 202906703295868744334722558486661316845457225311764725139480865038412011/839373729421794175920109547623032365820767035739646685569760460949550080*y^5 + 5426487663039902006546104657529699946515579160954785430513528517040447/167874745884358835184021909524606473164153407147929337113952092189910016*y^4 + 36799930700867958068278080131976139710122927229488044544212741180253113/139895621570299029320018257937172060970127839289941114261626743491591680*y^3 - 17484607305016326173307448259840784632399113244260127168117794587165167/279791243140598058640036515874344121940255678579882228523253486983183360*y^2 - 1035840630929082855624171938698826759265269823332046008536434483868541/18652749542706537242669101058289608129350378571992148568216899132212224*y + 4036461479243215424388190024777873720563829865311481939377320356148343/419686864710897087960054773811516182910383517869823342784880230474775040 # 5 Loop Invariant -2870368193272618181390305027695926220743487969864935284348118885405159218265645/1370886500097586530079220805607113412484207398710871279945693983000970783845707904*y^9 + 393773798148645743808437559886880422181262883700989015891677206396030437927828501/21934184001561384481267532889713814599747318379373940479131103728015532541531326464*y^8 - 1180232562744912586023383527355159369002107699288839405086391511887599141549275709/43868368003122768962535065779427629199494636758747880958262207456031065083062652928*y^7 - 666300494129825698140574769406190946053940286538709820014228718431337737082137579/43868368003122768962535065779427629199494636758747880958262207456031065083062652928*y^6 + 8835906033634687756027080961483548648112419192010727953945847918807684269027635245/43868368003122768962535065779427629199494636758747880958262207456031065083062652928*y^5 - 4423576593177345246198053091072935524511890231609140588826382063902426512767317945/43868368003122768962535065779427629199494636758747880958262207456031065083062652928*y^4 - 3286518728091782630498628102520992693883502385098942283852394144502970713474514145/21934184001561384481267532889713814599747318379373940479131103728015532541531326464*y^3 + 3435422387710838083177263276682713770935671588889305943178732409819510074134436167/43868368003122768962535065779427629199494636758747880958262207456031065083062652928*y^2 - 277700309706596666254871620488916967011959179666733401740333798426137708161870843/43868368003122768962535065779427629199494636758747880958262207456031065083062652928*y - 133496886197111794708016660035038282333942616742876520841667780290157604144127049/21934184001561384481267532889713814599747318379373940479131103728015532541531326464