# Manifold: Census Knot K6_4 # Number of Tetrahedra: 6 # Number Field x^16 - x^15 - 13*x^14 + 44*x^13 - 12*x^12 - 103*x^11 + 108*x^10 + 90*x^9 + 104*x^8 - 338*x^7 - 70*x^6 + 242*x^5 + 13*x^4 - 58*x^3 - 5*x^2 + 4*x + 1 # Approximate Field Generator -0.202524756003235 - 0.149621305250836*I # Shape Parameters 9533748199888/12878789482159*y^15 + 15795330657037/12878789482159*y^14 - 137724918258304/12878789482159*y^13 + 93312840060072/12878789482159*y^12 + 844313243505741/12878789482159*y^11 - 968540706037174/12878789482159*y^10 - 1192151429960172/12878789482159*y^9 + 2506325415358156/12878789482159*y^8 + 3209815481275386/12878789482159*y^7 + 1206731983191416/12878789482159*y^6 - 6544834088242021/12878789482159*y^5 - 651475851900421/12878789482159*y^4 + 2392720409217739/12878789482159*y^3 + 225399992606138/12878789482159*y^2 - 165750765241888/12878789482159*y - 37415655770596/12878789482159 433562971423353/12878789482159*y^15 - 88227734678015/12878789482159*y^14 - 5753257517000508/12878789482159*y^13 + 14530756761385542/12878789482159*y^12 + 6968995966707258/12878789482159*y^11 - 41015438439643487/12878789482159*y^10 + 14512244659628276/12878789482159*y^9 + 54775616155358748/12878789482159*y^8 + 84747684936255914/12878789482159*y^7 - 82630553358569753/12878789482159*y^6 - 103254432282584917/12878789482159*y^5 + 35698155758065150/12878789482159*y^4 + 37629344986498887/12878789482159*y^3 - 969203366870251/12878789482159*y^2 - 3715332821800775/12878789482159*y - 664918792918286/12878789482159 335880328491166/12878789482159*y^15 - 81288785069222/12878789482159*y^14 - 4448503367894862/12878789482159*y^13 + 11422259235186722/12878789482159*y^12 + 4889598635999192/12878789482159*y^11 - 31718480619063609/12878789482159*y^10 + 12367114645943205/12878789482159*y^9 + 41441309705229998/12878789482159*y^8 + 64657123838401712/12878789482159*y^7 - 66133363081230852/12878789482159*y^6 - 76797097640492982/12878789482159*y^5 + 28685923123162255/12878789482159*y^4 + 27804577046190443/12878789482159*y^3 - 862665210612467/12878789482159*y^2 - 2759339911912711/12878789482159*y - 506322939367050/12878789482159 260193673523104/12878789482159*y^15 - 73128398749258/12878789482159*y^14 - 3438496494813323/12878789482159*y^13 + 8978745462073447/12878789482159*y^12 + 3376758531401089/12878789482159*y^11 - 24507073886434610/12878789482159*y^10 + 10494017650487964/12878789482159*y^9 + 31269493598845132/12878789482159*y^8 + 49282055754216346/12878789482159*y^7 - 52800761412352810/12878789482159*y^6 - 56720761225881118/12878789482159*y^5 + 23076262437961311/12878789482159*y^4 + 20333912965729120/12878789482159*y^3 - 854014906195703/12878789482159*y^2 - 2030221233278130/12878789482159*y - 380182354714817/12878789482159 16157785029582/12878789482159*y^15 - 13952466966448/12878789482159*y^14 - 200377375860078/12878789482159*y^13 + 675622140883737/12878789482159*y^12 - 248819610590677/12878789482159*y^11 - 1238732079532970/12878789482159*y^10 + 1505504134918260/12878789482159*y^9 + 678996276772330/12878789482159*y^8 + 2681958103914436/12878789482159*y^7 - 4275092510423129/12878789482159*y^6 + 212896484224835/12878789482159*y^5 + 1053517457119095/12878789482159*y^4 - 401980395409003/12878789482159*y^3 + 86650028473749/12878789482159*y^2 + 9600257139264/12878789482159*y + 17618536221882/12878789482159 -50294445252755/12878789482159*y^15 + 40760697052867/12878789482159*y^14 + 638032457628778/12878789482159*y^13 - 2075230672862916/12878789482159*y^12 + 510220502972988/12878789482159*y^11 + 4336014617528024/12878789482159*y^10 - 4463259381260366/12878789482159*y^9 - 3334348642787778/12878789482159*y^8 - 7736947721644676/12878789482159*y^7 + 13789707014155804/12878789482159*y^6 + 2313879184501434/12878789482159*y^5 - 5626421662924689/12878789482159*y^4 - 2351936385394/12878789482159*y^3 + 524357415442051/12878789482159*y^2 + 26072233657637/12878789482159*y - 22548226286973/12878789482159 # A Gluing Matrix {{1,1,0,0,0,0},{1,1,-1,0,0,0},{0,-1,2,-1,0,0},{0,0,-1,1,-1,2},{0,0,0,0,0,1},{0,0,0,1,0,2}} # B Gluing Matrix {{2,0,0,0,0,0},{0,2,0,0,0,0},{0,0,2,0,0,0},{0,0,0,2,0,1},{0,0,0,0,1,1},{0,0,0,0,0,2}} # nu Gluing Vector {2, 0, 0, 2, 1, 2} # f Combinatorial flattening {-2, 4, 2, 0, -2, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0} # 1 Loop Invariant -736166650663701/12878789482159*y^15 + 605233667169825/12878789482159*y^14 + 9358268297354828/12878789482159*y^13 - 30465904207882035/12878789482159*y^12 + 7473747304593375/12878789482159*y^11 + 63954034837812149/12878789482159*y^10 - 64890345217442366/12878789482159*y^9 - 50201851836446934/12878789482159*y^8 - 113560230763912427/12878789482159*y^7 + 207168870832086052/12878789482159*y^6 + 38723532477145018/12878789482159*y^5 - 82143096252655720/12878789482159*y^4 - 7887397792257258/12878789482159*y^3 + 6797847876006011/12878789482159*y^2 + 2202974787690297/12878789482159*y - 50544555866313/12878789482159 # 2 Loop Invariant 140093429519664223658263119388789831512707317914043610369/489873860213934506522849320718267165829898871602327890872*y^15 - 61009340239876561257192163518324743635828837796667004695/489873860213934506522849320718267165829898871602327890872*y^14 - 2731356251452565815384080397827677882555282117480223471415/734810790320901759784273981077400748744848307403491836308*y^13 + 30629642792106828114839518049297072145978154398758515629593/2939243161283607039137095924309602994979393229613967345232*y^12 + 4568235610647912083004269033246792586364770553456482447673/2939243161283607039137095924309602994979393229613967345232*y^11 - 12527525753394443063678597601088770161773835434688597105197/489873860213934506522849320718267165829898871602327890872*y^10 + 948831994847923273662428924285837391159365761035356913595/61234232526741813315356165089783395728737358950290986359*y^9 + 13909540114625536274679024091269085531654323880854489844241/489873860213934506522849320718267165829898871602327890872*y^8 + 25728636297022574870656171536926286128154200154777846726245/489873860213934506522849320718267165829898871602327890872*y^7 - 184393394440479437270313465781222377402190931208732583298735/2939243161283607039137095924309602994979393229613967345232*y^6 - 131747230855104947281285945230185363362378500283784452050955/2939243161283607039137095924309602994979393229613967345232*y^5 + 22715456037205577940557846234775790907972995402303416213595/979747720427869013045698641436534331659797743204655781744*y^4 + 43065810139625044444829260146984050105105697213583046652797/2939243161283607039137095924309602994979393229613967345232*y^3 - 131283409314994327671719755349101550944007944491897585497/2939243161283607039137095924309602994979393229613967345232*y^2 - 2395489214600097108238813116908001494140710880470718899631/1469621580641803519568547962154801497489696614806983672616*y - 473305948770854533817399463264501610888457716007433256081/734810790320901759784273981077400748744848307403491836308 # 3 Loop Invariant -1466828517837512928084849244197434062027727289602054944531532122756547260503361/8545429004436186734859213542687557289769953613227963968972143485007319022301376*y^15 + 414826109290217569979210746893751563169242655351667668975001552027068331914231/8545429004436186734859213542687557289769953613227963968972143485007319022301376*y^14 + 4847611923944003600099076569882092922050548839124456244652280869912501586050041/2136357251109046683714803385671889322442488403306990992243035871251829755575344*y^13 - 3165361034179207291139813667211606726380562810908940577295284655397402382116017/534089312777261670928700846417972330610622100826747748060758967812957438893836*y^12 - 19033929885219657466104413894985439327505084875134067939530013653444690367595489/8545429004436186734859213542687557289769953613227963968972143485007319022301376*y^11 + 138334739278931065593404831110112131744198262765944115660316431758818179885312497/8545429004436186734859213542687557289769953613227963968972143485007319022301376*y^10 - 59138855629910713910358504686057843142930959303117290236500206010927776747944957/8545429004436186734859213542687557289769953613227963968972143485007319022301376*y^9 - 44150803022316804267216603794514733005219488080258083243207022774964973266050793/2136357251109046683714803385671889322442488403306990992243035871251829755575344*y^8 - 277646343420674114290521332905897480031765437846446656052667058504647738716575325/8545429004436186734859213542687557289769953613227963968972143485007319022301376*y^7 + 74697285680205520180129855466619775217599763710394493190449349101115847810656217/2136357251109046683714803385671889322442488403306990992243035871251829755575344*y^6 + 160603677663444690885031711431866998589423925345952624833991082246281666360869801/4272714502218093367429606771343778644884976806613981984486071742503659511150688*y^5 - 64825768085871935668805774939033337066436555060364436364934117189038207812656315/4272714502218093367429606771343778644884976806613981984486071742503659511150688*y^4 - 57981724082198385848629316774994292607820246434119511546222152881026461553415189/4272714502218093367429606771343778644884976806613981984486071742503659511150688*y^3 + 551485809462463982154153720249004722074010546587356043563924878072469478698955/1068178625554523341857401692835944661221244201653495496121517935625914877787672*y^2 + 11572093860463952431556261669507348926067828166524654953182775834642084285887095/8545429004436186734859213542687557289769953613227963968972143485007319022301376*y + 2228456279326030931475794424340816078067291622324558329865573348741642283284041/8545429004436186734859213542687557289769953613227963968972143485007319022301376