# Manifold: Census Knot K6_6 # Number of Tetrahedra: 6 # Number Field x^16 + x^15 - 10*x^14 - 67*x^13 - 153*x^12 + 215*x^11 + 104*x^10 - 65*x^9 + 541*x^8 - 277*x^7 - 550*x^6 + 160*x^5 + 127*x^4 + 5*x^2 - 6*x - 1 # Approximate Field Generator -0.0509837236664077 - 0.330759007796518*I # Shape Parameters 90130193220181455873/4629942275631965081575*y^15 + 166993476048816923791/4629942275631965081575*y^14 - 749101831564357239124/4629942275631965081575*y^13 - 265452689640483173242/185197691025278603263*y^12 - 19559222619635981269694/4629942275631965081575*y^11 + 1712515076287647488541/4629942275631965081575*y^10 + 7647675705389443935298/4629942275631965081575*y^9 + 567464809481354260073/4629942275631965081575*y^8 + 62190649851691371843961/4629942275631965081575*y^7 + 3926597601807610763171/925988455126393016315*y^6 - 4596577262356550161589/925988455126393016315*y^5 + 659234077940271590872/925988455126393016315*y^4 - 17493386641322758101644/4629942275631965081575*y^3 - 7214880267220117763004/4629942275631965081575*y^2 - 3886538672205079711299/4629942275631965081575*y - 4012527709447090192047/4629942275631965081575 1235935313379676139011/4629942275631965081575*y^15 + 1073277541896482685262/4629942275631965081575*y^14 - 12356451240210238675343/4629942275631965081575*y^13 - 3246859759029540741318/185197691025278603263*y^12 - 179940755786615670689158/4629942275631965081575*y^11 + 281071496936826607400837/4629942275631965081575*y^10 + 77948614122123339739936/4629942275631965081575*y^9 - 41737606815675820473489/4629942275631965081575*y^8 + 656866372082798299717827/4629942275631965081575*y^7 - 86595837416792492975178/925988455126393016315*y^6 - 110039048531174141090443/925988455126393016315*y^5 + 31630754725352308431074/925988455126393016315*y^4 + 115888458949318774962817/4629942275631965081575*y^3 + 27707123656250387006797/4629942275631965081575*y^2 + 7811091270216106204607/4629942275631965081575*y - 5811202451251141954404/4629942275631965081575 1495102288401064163918/925988455126393016315*y^15 + 645284051964810324411/925988455126393016315*y^14 - 15272402789807229913519/925988455126393016315*y^13 - 18287380254626531523229/185197691025278603263*y^12 - 177191636503803806952819/925988455126393016315*y^11 + 419084528925552078714686/925988455126393016315*y^10 - 90516627689132060354602/925988455126393016315*y^9 - 39553411391055248446892/925988455126393016315*y^8 + 831629046387692077806501/925988455126393016315*y^7 - 177376731481271806795396/185197691025278603263*y^6 - 58447982000441264587518/185197691025278603263*y^5 + 79680204551229369670989/185197691025278603263*y^4 - 45953933638428162747889/925988455126393016315*y^3 + 31036782318722975317936/925988455126393016315*y^2 - 10728270826097194121719/925988455126393016315*y - 2328875184345687055642/925988455126393016315 2577831503967850139244/4629942275631965081575*y^15 + 1592737858204432600723/4629942275631965081575*y^14 - 25719797596159448663872/4629942275631965081575*y^13 - 6489752469548597347335/185197691025278603263*y^12 - 338887352261404056727307/4629942275631965081575*y^11 + 639488430816973224528348/4629942275631965081575*y^10 - 78806207981495574995831/4629942275631965081575*y^9 - 4570509568992529259506/4629942275631965081575*y^8 + 1427313791344110762011308/4629942275631965081575*y^7 - 252290870393681357019812/925988455126393016315*y^6 - 112900809361760696184442/925988455126393016315*y^5 + 85983081513655838691896/925988455126393016315*y^4 - 76511167854832479503332/4629942275631965081575*y^3 + 81158166343278174064688/4629942275631965081575*y^2 - 11249127374390801711047/4629942275631965081575*y + 3986097937042626349609/4629942275631965081575 74499642090650055139/4629942275631965081575*y^15 + 93636833014521012313/4629942275631965081575*y^14 - 803363472355328629307/4629942275631965081575*y^13 - 212574667563582328141/185197691025278603263*y^12 - 11998983417264505047067/4629942275631965081575*y^11 + 18747349093031412638713/4629942275631965081575*y^10 + 27658913517039424642114/4629942275631965081575*y^9 - 8319931122963629057536/4629942275631965081575*y^8 + 28135139179432332962123/4629942275631965081575*y^7 - 2212790748525802256377/925988455126393016315*y^6 - 17731083951531377834737/925988455126393016315*y^5 - 2064579812153846496714/925988455126393016315*y^4 + 46482429542858603125483/4629942275631965081575*y^3 + 7907406528435044174778/4629942275631965081575*y^2 - 5985268279405309640707/4629942275631965081575*y + 1957106081963473318879/4629942275631965081575 -459359530581418492873/4629942275631965081575*y^15 - 245854194717606020341/4629942275631965081575*y^14 + 4804278615129886564249/4629942275631965081575*y^13 + 1143415379474285607417/185197691025278603263*y^12 + 55931880435861764982994/4629942275631965081575*y^11 - 130748390901611242058041/4629942275631965081575*y^10 + 2312280219910825459452/4629942275631965081575*y^9 + 61245727396880143329152/4629942275631965081575*y^8 - 269181254426557609299686/4629942275631965081575*y^7 + 47824510327929514823129/925988455126393016315*y^6 + 38481059711011777211894/925988455126393016315*y^5 - 44680010898750806764812/925988455126393016315*y^4 - 19418019350549275355531/4629942275631965081575*y^3 + 45876010451864193505404/4629942275631965081575*y^2 - 5628982890132058504776/4629942275631965081575*y + 10277329396432719362472/4629942275631965081575 # A Gluing Matrix {{-1,2,1,0,0,0},{2,0,0,0,0,0},{2,0,2,-2,-1,2},{0,0,0,0,0,2},{0,0,0,0,0,1},{0,0,1,-2,-1,4}} # B Gluing Matrix {{1,0,0,0,0,0},{0,1,0,0,0,0},{0,0,2,0,0,1},{0,0,0,1,0,2},{0,0,0,0,1,1},{0,0,0,0,0,3}} # nu Gluing Vector {1, 2, 4, 2, 1, 2} # f Combinatorial flattening {0, -5, 4, 4, -2, 1} # f' Combinatorial flattening {7, 2, 0, 0, 0, 0} # 1 Loop Invariant -36386029774748495782274/4629942275631965081575*y^15 - 47030180523099768387933/4629942275631965081575*y^14 + 341983505003864603667912/4629942275631965081575*y^13 + 100944354346257018854283/185197691025278603263*y^12 + 6376387413291030403553472/4629942275631965081575*y^11 - 5358868051969859923696458/4629942275631965081575*y^10 - 3661361823625105074878699/4629942275631965081575*y^9 + 783284737116137851700101/4629942275631965081575*y^8 - 20809402953508598352206768/4629942275631965081575*y^7 + 727169779942632913923002/925988455126393016315*y^6 + 3288673537032343217210362/925988455126393016315*y^5 - 454796785484365725988616/925988455126393016315*y^4 - 1374909249515390433102928/4629942275631965081575*y^3 + 1158599309471423407551127/4629942275631965081575*y^2 - 102764685096276519466238/4629942275631965081575*y + 158409146271950113549111/4629942275631965081575 # 2 Loop Invariant 4580993243274661428006463541029894888468121100436075979269473961/1207283745320214226018409586852837699689088637797392859616463608080*y^15 + 289931502699212690252284804503157879597476775526974473383143957/1207283745320214226018409586852837699689088637797392859616463608080*y^14 - 55219847232550500586045189181691477689491405656529431317890098133/1207283745320214226018409586852837699689088637797392859616463608080*y^13 - 18101259556186874364380618668129951133451042514702840882154084805/80485583021347615067893972456855846645939242519826190641097573872*y^12 - 122329766657802501111955490800185239464334122821461359303623921691/402427915106738075339469862284279233229696212599130953205487869360*y^11 + 2004521037341267114422142941312599890993141052617537182956221256947/1207283745320214226018409586852837699689088637797392859616463608080*y^10 + 43146898765292082266936843912995969434205341171129213723188436663/100606978776684518834867465571069808307424053149782738301371967340*y^9 - 109014149954533758279910633599400967589474582351395966336883658967/100606978776684518834867465571069808307424053149782738301371967340*y^8 + 2183952315742222316792921606359662820720556674606419266306563517597/1207283745320214226018409586852837699689088637797392859616463608080*y^7 - 739490157725228514991080915209537649868196459537963051712462656471/241456749064042845203681917370567539937817727559478571923292721616*y^6 - 830085160938317522862239938141629963409495770938914474950095914999/241456749064042845203681917370567539937817727559478571923292721616*y^5 + 307962938902664279461453650314152752655633116867806373244735862239/120728374532021422601840958685283769968908863779739285961646360808*y^4 + 1974664863056048870588267444382476212636322390363531787383089077607/1207283745320214226018409586852837699689088637797392859616463608080*y^3 - 42538100727917485168035494271839912930518805779140461875467064697/301820936330053556504602396713209424922272159449348214904115902020*y^2 - 76032539674070080648397444156179545610366297114226870513741967331/402427915106738075339469862284279233229696212599130953205487869360*y + 326252271890217055833697539944788754310532925450398197973646167373/603641872660107113009204793426418849844544318898696429808231804040 # 3 Loop Invariant -95840233417103304822275925714661320034044625322371234395462102596832006968865461127013/41946851282134915899979008175256159056458741159912343890509296060193025720070965477761600*y^15 - 20377895879887307459606585413554010354583190830989454956258845293760083163951357267373/20973425641067457949989504087628079528229370579956171945254648030096512860035482738880800*y^14 + 1020074274295564137880567000532225247224862399866771554272556026792886059238151269912519/41946851282134915899979008175256159056458741159912343890509296060193025720070965477761600*y^13 + 29532568604256305062740871519292569548122922584796620709675157768333553489617688000325/209734256410674579499895040876280795282293705799561719452546480300965128600354827388808*y^12 + 5474102227539152908484100982220238965112326437106980208059824527557844343906719267005107/20973425641067457949989504087628079528229370579956171945254648030096512860035482738880800*y^11 - 29737870926402575190603387802794395236707712856837218707932941393043282256198475025389771/41946851282134915899979008175256159056458741159912343890509296060193025720070965477761600*y^10 - 1191531078143474943369555503182719659794739460960625751659807804010124960643165068717363/41946851282134915899979008175256159056458741159912343890509296060193025720070965477761600*y^9 + 1976680033945963316858112049157928164077943580293785854346961536220410518708452210900153/10486712820533728974994752043814039764114685289978085972627324015048256430017741369440400*y^8 - 51645089274871782635198316199677245683965912606485172184410266278180609152654697043388491/41946851282134915899979008175256159056458741159912343890509296060193025720070965477761600*y^7 + 11494102523729254027203707936942941813166872645673289131579978582348953683231958923443339/8389370256426983179995801635051231811291748231982468778101859212038605144014193095552320*y^6 + 8337340697620837104532094411656697908298248419577487231678367098318011306424943504579639/8389370256426983179995801635051231811291748231982468778101859212038605144014193095552320*y^5 - 3051159101252568950363451722276770922096989439819370743791505713512748311813757888661631/4194685128213491589997900817525615905645874115991234389050929606019302572007096547776160*y^4 - 7928970660022956633794814227301727956244259008115420087942563449877475070363979546465261/41946851282134915899979008175256159056458741159912343890509296060193025720070965477761600*y^3 + 92255515532116421978157267117112065867749267881433980915264411109491161188734774992437/20973425641067457949989504087628079528229370579956171945254648030096512860035482738880800*y^2 - 10781274608168810651305135761125023657784269896563991671448464611365502968483023498241/2621678205133432243748688010953509941028671322494521493156831003762064107504435342360100*y + 336968351569927976684481642487607896266608338924669920684839700433561026529857605943141/20973425641067457949989504087628079528229370579956171945254648030096512860035482738880800