# Manifold: Census Knot K8_89 # Number of Tetrahedra: 8 # Number Field x^14 - 4*x^13 + 14*x^12 - 53*x^11 + 122*x^10 - 198*x^9 + 252*x^8 - 251*x^7 + 166*x^6 - 171*x^5 + 81*x^4 - 48*x^3 + 16*x^2 - 4*x + 1 # Approximate Field Generator -0.373367129808351 + 0.698702274840511*I # Shape Parameters -382722159903/366239123356*y^13 + 242150809377/366239123356*y^12 - 360689004017/366239123356*y^11 + 1578316778501/183119561678*y^10 + 4590916309976/91559780839*y^9 - 34772654091177/183119561678*y^8 + 62965780401499/183119561678*y^7 - 168424091276185/366239123356*y^6 + 177696930345849/366239123356*y^5 - 30226090902077/183119561678*y^4 + 121500114110179/366239123356*y^3 - 41682064649537/366239123356*y^2 + 14381844123947/366239123356*y - 4838581984033/366239123356 23005347266699/33053080882879*y^13 - 92617091924589/33053080882879*y^12 + 326341176434906/33053080882879*y^11 - 1232992445963894/33053080882879*y^10 + 2856325862352534/33053080882879*y^9 - 4698813977986896/33053080882879*y^8 + 6035919205848733/33053080882879*y^7 - 6054795357805114/33053080882879*y^6 + 4064744124779284/33053080882879*y^5 - 4046724948855357/33053080882879*y^4 + 1862093521111617/33053080882879*y^3 - 1263212542071111/33053080882879*y^2 + 303092593927116/33053080882879*y - 113720911741204/33053080882879 20037334868663/33053080882879*y^13 - 76510915750952/33053080882879*y^12 + 266233803273851/33053080882879*y^11 - 1011477786944854/33053080882879*y^10 + 2253240098245089/33053080882879*y^9 - 3530328538271013/33053080882879*y^8 + 4333420912300668/33053080882879*y^7 - 4108234171904429/33053080882879*y^6 + 2404282185630589/33053080882879*y^5 - 2813821830784785/33053080882879*y^4 + 990442656017158/33053080882879*y^3 - 696341571053306/33053080882879*y^2 + 132860682949439/33053080882879*y - 7017232847683/33053080882879 -734689391995/1464956493424*y^13 + 2689779224717/1464956493424*y^12 - 9094652651297/1464956493424*y^11 + 17388263616501/732478246712*y^10 - 18534877826487/366239123356*y^9 + 53127790599931/732478246712*y^8 - 58844027025371/732478246712*y^7 + 96266612764123/1464956493424*y^6 - 31548917463459/1464956493424*y^5 + 30620361445065/732478246712*y^4 - 8943732099617/1464956493424*y^3 - 3870079783965/1464956493424*y^2 + 2915090200855/1464956493424*y - 766305251865/1464956493424 154153179817747/188521588747501*y^13 - 600548681518128/188521588747501*y^12 + 2107806484012992/188521588747501*y^11 - 7989493545872933/188521588747501*y^10 + 18107679331160603/188521588747501*y^9 - 29154145097326413/188521588747501*y^8 + 36807379448012759/188521588747501*y^7 - 36187260678602593/188521588747501*y^6 + 23235298508014576/188521588747501*y^5 - 25030473450167951/188521588747501*y^4 + 10087016879761741/188521588747501*y^3 - 7462846237977731/188521588747501*y^2 + 1479755896013985/188521588747501*y - 536816643159389/188521588747501 54632803392/1739635835941*y^13 + 206816641305/1739635835941*y^12 - 908382122082/1739635835941*y^11 + 2864675037574/1739635835941*y^10 - 15165882331040/1739635835941*y^9 + 38481354998773/1739635835941*y^8 - 62819279527932/1739635835941*y^7 + 78465968510070/1739635835941*y^6 - 75792728012603/1739635835941*y^5 + 35720093424905/1739635835941*y^4 - 45932918925329/1739635835941*y^3 + 16570067431193/1739635835941*y^2 - 6182156939275/1739635835941*y + 2466592129470/1739635835941 -9963721753/91559780839*y^13 - 68929200757/91559780839*y^12 + 287939452775/91559780839*y^11 - 940728584889/91559780839*y^10 + 4354299176379/91559780839*y^9 - 10590110098133/91559780839*y^8 + 16942452848879/91559780839*y^7 - 20883490984264/91559780839*y^6 + 19951884964641/91559780839*y^5 - 10018726177388/91559780839*y^4 + 12610341769471/91559780839*y^3 - 5211626339885/91559780839*y^2 + 1922558034959/91559780839*y - 475046200840/91559780839 176916377705/366239123356*y^13 - 611640416111/366239123356*y^12 + 2061345195315/366239123356*y^11 - 3964704157883/183119561678*y^10 + 4035866468520/91559780839*y^9 - 10976842271065/183119561678*y^8 + 11447560533705/183119561678*y^7 - 16580923503449/366239123356*y^6 + 1353299822649/366239123356*y^5 - 5666332604679/183119561678*y^4 - 2575044876473/366239123356*y^3 + 1622785510111/366239123356*y^2 - 847066843853/366239123356*y + 954039708543/366239123356 # A Gluing Matrix {{3,6,-4,2,0,0,2,2},{6,13,-8,4,0,0,4,4},{-4,-8,5,-2,0,0,-2,-2},{2,4,-2,1,0,1,2,2},{0,0,0,0,0,1,0,2},{0,0,0,1,1,0,0,-1},{2,4,-2,2,0,0,1,2},{2,4,-2,2,2,-1,2,0}} # 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,1,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {7, 13, -7, 5, 2, 0, 5, 4} # f Combinatorial flattening {30, -35, -23, 9, -5, -4, 13, 4} # f' Combinatorial flattening {-17, 0, 0, 0, -2, 0, 0, 0} # 1 Loop Invariant 1852838432879/183119561678*y^13 - 7496521342497/183119561678*y^12 + 25941612250357/183119561678*y^11 - 48981393688387/91559780839*y^10 + 112793474126691/91559780839*y^9 - 179283035092568/91559780839*y^8 + 219831357136490/91559780839*y^7 - 414703377802887/183119561678*y^6 + 239897323498479/183119561678*y^5 - 123811234308039/91559780839*y^4 + 118830040802045/183119561678*y^3 - 58043935905641/183119561678*y^2 + 18135414004293/183119561678*y - 2972516719123/183119561678 # 2 Loop Invariant 311620483293233175581056219132943914332912891851/2400403212372658317928462227236808742959577081908*y^13 - 5115250770142885551020832606836394338882156533247/9601612849490633271713848908947234971838308327632*y^12 + 8837205764507036135978216259867275711638717848121/4800806424745316635856924454473617485919154163816*y^11 - 11129835066795787134879665009744861942160899496057/1600268808248438878618974818157872495306384721272*y^10 + 155171025850214728988846680774309498565071514844313/9601612849490633271713848908947234971838308327632*y^9 - 124134694454616294438584363140264045253044983549575/4800806424745316635856924454473617485919154163816*y^8 + 308570739197146181333356580617708838450047745391571/9601612849490633271713848908947234971838308327632*y^7 - 298719650068826447982609936783862117348857426566005/9601612849490633271713848908947234971838308327632*y^6 + 184746008261231930530969733881788826600264685916853/9601612849490633271713848908947234971838308327632*y^5 - 11593716540121199125356023173191860603841972174724/600100803093164579482115556809202185739894270477*y^4 + 6130871768402460635229324726175061348390006038765/600100803093164579482115556809202185739894270477*y^3 - 18331713932224052428096703312463067275146627640835/4800806424745316635856924454473617485919154163816*y^2 + 2129204125979524118827578574169466237584549548673/1200201606186329158964231113618404371479788540954*y + 618135127083452085516730066188387136953028012591747/9601612849490633271713848908947234971838308327632 # 3 Loop Invariant -535580051387549298755651115192176405027681677687216456314243593303/9461326634920922729972341946338284590359407818109123324651653322592*y^13 + 1969600943411684954269111933957050567270903565874415152195257913219/9461326634920922729972341946338284590359407818109123324651653322592*y^12 - 13454480691813431496250626468358885462710298166206474812482267664489/18922653269841845459944683892676569180718815636218246649303306645184*y^11 + 51364447576945385146400019039586659284520579157239341250786102803949/18922653269841845459944683892676569180718815636218246649303306645184*y^10 - 110446606334792282955644642884081054162023541821528945768335371196623/18922653269841845459944683892676569180718815636218246649303306645184*y^9 + 81290777664665085938180108825997317720110239555407333088928880494111/9461326634920922729972341946338284590359407818109123324651653322592*y^8 - 186135535149876864131373802561442307696231274551015166608413150606119/18922653269841845459944683892676569180718815636218246649303306645184*y^7 + 80175230305890720234588331521629329060508987746494349745576220113945/9461326634920922729972341946338284590359407818109123324651653322592*y^6 - 17081561514718357074588086993763737982714749752545653894343150212019/4730663317460461364986170973169142295179703909054561662325826661296*y^5 + 54067814389423957986089322248452731910602042626403162131307948334369/9461326634920922729972341946338284590359407818109123324651653322592*y^4 - 23161942885716084046721624247272853098277427649537934740647187071021/18922653269841845459944683892676569180718815636218246649303306645184*y^3 + 5704713043874543632855915405019118839574055259052763623787698865417/9461326634920922729972341946338284590359407818109123324651653322592*y^2 + 79901465317756556558361272364664961198455245968306864268243238959/18922653269841845459944683892676569180718815636218246649303306645184*y - 63746430358753908564248212959892623872439582826002193950408345947/4730663317460461364986170973169142295179703909054561662325826661296 # 4 Loop Invariant 86155167064479226967750667857278796081862858760212567028883339374750065503886757444713587341890560021201/3720683684418136807621701646545742633827622946463220490409821452412991706020353822440532842084372780479360*y^13 - 1714619767109202253178900834114014581363543270720201498770114368999056476052924381074646121792174110718991/14882734737672547230486806586182970535310491785852881961639285809651966824081415289762131368337491121917440*y^12 + 1990729033382615025349315512004275610770329716762715061098327150753700688694351626259274918160062718901009/4960911579224182410162268862060990178436830595284293987213095269883988941360471763254043789445830373972480*y^11 - 44440735131952061396929004478003917108303088075142717279321572694435455387162979526645146250073880175353589/29765469475345094460973613172365941070620983571705763923278571619303933648162830579524262736674982243834880*y^10 + 57302544863236421673661974149342679155358481325141110682287676558667838127421899738529312553441549746918667/14882734737672547230486806586182970535310491785852881961639285809651966824081415289762131368337491121917440*y^9 - 198798822552946372574451615629910481802299517562362649008154123372346578675941814763535658784176547361612549/29765469475345094460973613172365941070620983571705763923278571619303933648162830579524262736674982243834880*y^8 + 65801526135111983229188696706555151083760778584026537673063548874915343059772464979865660661233117318580747/7441367368836273615243403293091485267655245892926440980819642904825983412040707644881065684168745560958720*y^7 - 27603673102907409464738905429286703566328170189720409854153745438011684777580691470464097059016948521691589/2976546947534509446097361317236594107062098357170576392327857161930393364816283057952426273667498224383488*y^6 + 8333235125414360293853780249735316860724328536911318707391983639941266278329879706924473083665786439888531/1240227894806045602540567215515247544609207648821073496803273817470997235340117940813510947361457593493120*y^5 - 146085849892592919315070390944809718896882303202700681676190592089271625475531340150901132440901551084414639/29765469475345094460973613172365941070620983571705763923278571619303933648162830579524262736674982243834880*y^4 + 12432407160794455441780778539877286885119560913237989363913065367945322555286179056279175980874176339976401/2976546947534509446097361317236594107062098357170576392327857161930393364816283057952426273667498224383488*y^3 - 18798232914182652269826532041083424888017852544725771893873277040130442775124261663745663259667021466740097/14882734737672547230486806586182970535310491785852881961639285809651966824081415289762131368337491121917440*y^2 + 17502667632335275809166634408516997150073106458358175105629862889474621026297627413251086324871639666165109/29765469475345094460973613172365941070620983571705763923278571619303933648162830579524262736674982243834880*y - 483018138894930503140780576218044893895584327114235201272447415061051552621934225932142411005190743327529/3720683684418136807621701646545742633827622946463220490409821452412991706020353822440532842084372780479360