# Manifold: Census Knot K8_139 # Number of Tetrahedra: 8 # Number Field x^14 + x^13 - 103/4*x^12 + 43/2*x^11 + 825/4*x^10 - 86*x^9 - 1703/2*x^8 - 2307/4*x^7 + 1935/4*x^6 + 1293/4*x^5 - 1055/4*x^4 - 351/4*x^3 - 39/2*x^2 + 193/4*x - 27/4 # Approximate Field Generator -1.16771160352867 - 0.717247563901477*I # Shape Parameters 25425613041910766110530424/631583515188626050276700127*y^13 + 39583070888851479973979656/631583515188626050276700127*y^12 - 636177203800559232236387266/631583515188626050276700127*y^11 + 197332964922007963805963960/631583515188626050276700127*y^10 + 1813321171541260270231331006/210527838396208683425566709*y^9 + 553937298472327059656391664/631583515188626050276700127*y^8 - 21563815743361106708161463239/631583515188626050276700127*y^7 - 8440921075029681439696083792/210527838396208683425566709*y^6 - 400615757881110366941583323/210527838396208683425566709*y^5 + 1854434305466921737832908605/210527838396208683425566709*y^4 - 3830696303880488385330182222/631583515188626050276700127*y^3 - 612475291560050583461391334/210527838396208683425566709*y^2 - 767506725508318377484675151/210527838396208683425566709*y - 227363958558192828340444460/631583515188626050276700127 -7371131810527175628070556/210527838396208683425566709*y^13 - 9712518279252894521673300/210527838396208683425566709*y^12 + 185422118012297907839377517/210527838396208683425566709*y^11 - 101060916080272366595657412/210527838396208683425566709*y^10 - 1519147569701864979701197658/210527838396208683425566709*y^9 + 128305872512472738218845352/210527838396208683425566709*y^8 + 6044105040630168441687461296/210527838396208683425566709*y^7 + 6242048090322521342357865668/210527838396208683425566709*y^6 - 408052219469853945521481434/210527838396208683425566709*y^5 - 1748569688113400773583579456/210527838396208683425566709*y^4 + 817924204558705455028033649/210527838396208683425566709*y^3 + 823429574945361422052747751/210527838396208683425566709*y^2 + 933376996747149757989793632/210527838396208683425566709*y - 245434596721116605007495732/210527838396208683425566709 12110723815669483051753844/210527838396208683425566709*y^13 + 12938981275949878014457260/210527838396208683425566709*y^12 - 307804682762666256049864123/210527838396208683425566709*y^11 + 240290795313084721104920548/210527838396208683425566709*y^10 + 2435162995524993091734328359/210527838396208683425566709*y^9 - 752943225838336967276740174/210527838396208683425566709*y^8 - 9871248068845686645539979136/210527838396208683425566709*y^7 - 8112540423595055719087882290/210527838396208683425566709*y^6 + 3308449939533692056236323818/210527838396208683425566709*y^5 + 3002731537747783145996915242/210527838396208683425566709*y^4 - 2228661445607143260863982873/210527838396208683425566709*y^3 - 623021392902142841591745555/210527838396208683425566709*y^2 - 348897585902559588202597047/210527838396208683425566709*y + 339780678014402274331543005/210527838396208683425566709 -5557915551941366933594380/210527838396208683425566709*y^13 - 4387966908630367591130432/210527838396208683425566709*y^12 + 141621224569242276434059625/210527838396208683425566709*y^11 - 147993412838223439103207375/210527838396208683425566709*y^10 - 1054214959449895025541482535/210527838396208683425566709*y^9 + 554535534995004275146060311/210527838396208683425566709*y^8 + 4325197935713294181136496206/210527838396208683425566709*y^7 + 2970396526108055260933219174/210527838396208683425566709*y^6 - 2188678244764427976387012602/210527838396208683425566709*y^5 - 1715783861993832229384131234/210527838396208683425566709*y^4 + 906752354622625428005149611/210527838396208683425566709*y^3 + 730599004589399383213718456/210527838396208683425566709*y^2 + 48009204863068180806014901/210527838396208683425566709*y - 93447161834833613275290234/210527838396208683425566709 -4559046273651304345515344/210527838396208683425566709*y^13 + 3828904974024081539283924/210527838396208683425566709*y^12 + 115734687158915632536931468/210527838396208683425566709*y^11 - 308417322299878200026488003/210527838396208683425566709*y^10 - 508714076720209341978868459/210527838396208683425566709*y^9 + 1513965536240524744050856005/210527838396208683425566709*y^8 + 2005315666656140446864771066/210527838396208683425566709*y^7 - 1769446762291589194910351670/210527838396208683425566709*y^6 - 2650248919009552530451954570/210527838396208683425566709*y^5 + 1202631702049580282962317306/210527838396208683425566709*y^4 + 819709320684998127268328623/210527838396208683425566709*y^3 - 61678078574081615986119472/210527838396208683425566709*y^2 - 610625944361923254487638320/210527838396208683425566709*y + 273941178886127565561882626/210527838396208683425566709 -4378560066506549388068656/210527838396208683425566709*y^13 - 6164410669938450216377984/210527838396208683425566709*y^12 + 111778501432548626168163732/210527838396208683425566709*y^11 - 49863097193060558779688832/210527838396208683425566709*y^10 - 961516595822845630139813952/210527838396208683425566709*y^9 + 89508730339229878771657303/210527838396208683425566709*y^8 + 3907780585049115529195177735/210527838396208683425566709*y^7 + 3651044941159560729994512276/210527838396208683425566709*y^6 - 1120100124483731204188047414/210527838396208683425566709*y^5 - 1496097984647209857616627407/210527838396208683425566709*y^4 + 697447653975051653668753439/210527838396208683425566709*y^3 + 217748189710668098293355048/210527838396208683425566709*y^2 + 362768851003403577943852973/210527838396208683425566709*y - 41240290793150933222752030/210527838396208683425566709 -6716377789810594339941304/210527838396208683425566709*y^13 - 8146160376274241025669348/210527838396208683425566709*y^12 + 168297238630097583231805986/210527838396208683425566709*y^11 - 109040601547252711734126051/210527838396208683425566709*y^10 - 1334297039659937742917025085/210527838396208683425566709*y^9 + 169380968929758044037076305/210527838396208683425566709*y^8 + 5290014749606095222073851515/210527838396208683425566709*y^7 + 5561807554320195498109008265/210527838396208683425566709*y^6 - 188427031404107986384807667/210527838396208683425566709*y^5 - 1789285145006008471936329669/210527838396208683425566709*y^4 + 172053772633440182121727775/210527838396208683425566709*y^3 + 669120476862013353688965166/210527838396208683425566709*y^2 + 588851190437780710382646566/210527838396208683425566709*y - 2630714059814524850759004/210527838396208683425566709 -22640013635966766546942296/631583515188626050276700127*y^13 - 41172637125632178066382172/631583515188626050276700127*y^12 + 561335579906007401775292778/631583515188626050276700127*y^11 - 23860360997247533453834821/631583515188626050276700127*y^10 - 1662878732989809844644778105/210527838396208683425566709*y^9 - 1660662549868494801790654718/631583515188626050276700127*y^8 + 19725227121510724985249002127/631583515188626050276700127*y^7 + 9149884958588280836577677960/210527838396208683425566709*y^6 + 1526133359121400750670279222/210527838396208683425566709*y^5 - 2707197541874741302629755233/210527838396208683425566709*y^4 + 224246641627840942400157139/631583515188626050276700127*y^3 + 946260171746297046471714798/210527838396208683425566709*y^2 + 1072535768932576504365830000/210527838396208683425566709*y + 346806982388772228885971170/631583515188626050276700127 # A Gluing Matrix {{8,-2,4,1,-2,1,2,1},{-2,1,-1,0,0,0,0,0},{4,-1,4,0,-1,0,2,2},{2,0,1,1,-1,0,1,0},{-2,0,0,-1,1,-1,0,1},{2,0,1,0,-1,1,1,1},{2,0,2,0,-1,0,2,2},{0,0,1,-1,0,0,1,1}} # B Gluing Matrix {{1,0,0,0,0,0,1,0},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,1,0},{0,0,0,1,0,0,1,0},{0,0,0,0,2,0,1,0},{0,0,0,0,0,1,1,0},{0,0,0,0,0,0,2,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {6, -1, 4, 2, 0, 2, 2, 1} # f Combinatorial flattening {-1, -2, 1, 1, 0, 2, 0, 1} # f' Combinatorial flattening {2, 0, 0, 2, 0, 0, 0, 0} # 1 Loop Invariant -11178889174994226337518664/210527838396208683425566709*y^13 + 29773676328608557630326072/210527838396208683425566709*y^12 + 338214843696764256875007466/210527838396208683425566709*y^11 - 1263933407751428549034521736/210527838396208683425566709*y^10 - 1655682216841480485721092811/210527838396208683425566709*y^9 + 9078200756350458768740490132/210527838396208683425566709*y^8 + 8621268532432279740808185306/210527838396208683425566709*y^7 - 25789180752836910920530464796/210527838396208683425566709*y^6 - 38688908215846190596245708466/210527838396208683425566709*y^5 - 4348016392701395132769922368/210527838396208683425566709*y^4 + 9118385581819645597022627228/210527838396208683425566709*y^3 - 2660133306774039511313127942/210527838396208683425566709*y^2 - 4222871174891469679299509643/210527838396208683425566709*y - 2386148675769081093527211620/210527838396208683425566709 # 2 Loop Invariant -18280393263367480634042642263131309185865407241196738267898051/1174550284296334884406574182119719218104442021027164521224900014*y^13 - 10613830714900919282427391826572404287788230686720464614624496/587275142148167442203287091059859609052221010513582260612450007*y^12 + 1870432670427591294900112871488108179309445901947399029845345909/4698201137185339537626296728478876872417768084108658084899600056*y^11 - 426491994771111513456660255625936713301971290590716430211065081/1566067045728446512542098909492958957472589361369552694966533352*y^10 - 2552250160237888206741843404838243989295474480041892658083976093/783033522864223256271049454746479478736294680684776347483266676*y^9 + 4105150273182107127694530328959430696657634061675802894407071845/4698201137185339537626296728478876872417768084108658084899600056*y^8 + 125100979083969240822644537349939058804379145958918366152444872257/9396402274370679075252593456957753744835536168217316169799200112*y^7 + 25442820031842308116107064339321364640174303894448213458085392011/2349100568592669768813148364239438436208884042054329042449800028*y^6 - 25060559258372627934340002828959057683269931479172302454153452271/4698201137185339537626296728478876872417768084108658084899600056*y^5 - 11822453672948223737574138580085983306955103595685482654608687353/2349100568592669768813148364239438436208884042054329042449800028*y^4 + 4365261098566416798228574553369034483535409675651133309733539171/1566067045728446512542098909492958957472589361369552694966533352*y^3 + 8609730957477951151606262314701463226401900973720074047843527453/9396402274370679075252593456957753744835536168217316169799200112*y^2 + 2758426668560388069777587794278483566953064382149678810247372101/3132134091456893025084197818985917914945178722739105389933066704*y - 151669265211219698664396893565867725579080983718986774430456751/195758380716055814067762363686619869684073670171194086870816669 # 3 Loop Invariant 16285001110278752114129815621601202956510661111571588533344925878905517480988057/1510134979199423494040540761081478051535979327951991090534496081288458579995617608*y^13 + 31698817936978400101821410060528197874552607621343686116349959183722044054169065/3020269958398846988081081522162956103071958655903982181068992162576917159991235216*y^12 - 1674718656894576473011458875791189522607256129951688404514965194175552555980890675/6040539916797693976162163044325912206143917311807964362137984325153834319982470432*y^11 + 2879790049399098503230082402760448587744196214657491563030915847482554800477324151/12081079833595387952324326088651824412287834623615928724275968650307668639964940864*y^10 + 26582712278869407458272588249530042282516740598547006345674132871328866902593839491/12081079833595387952324326088651824412287834623615928724275968650307668639964940864*y^9 - 11243559286261285228140784871040032016213890076944774469597796005920657505616014091/12081079833595387952324326088651824412287834623615928724275968650307668639964940864*y^8 - 110067391920439254372173424965228833131611731458603368083446213407347858437250890635/12081079833595387952324326088651824412287834623615928724275968650307668639964940864*y^7 - 37524396940322504138211751477374349451452470944594983094374272370850198936589073111/6040539916797693976162163044325912206143917311807964362137984325153834319982470432*y^6 + 31550736442917762109931252494574221036087700715747335189014968368097231072762498805/6040539916797693976162163044325912206143917311807964362137984325153834319982470432*y^5 + 5420031310361104472552797311738729178889684026348509659479423663857330184652971383/1510134979199423494040540761081478051535979327951991090534496081288458579995617608*y^4 - 17211600995559290862157886070662698126940066797088451150312627866197885264006541091/6040539916797693976162163044325912206143917311807964362137984325153834319982470432*y^3 - 12764115789037731559910914068424240366033505482008172319516130689265211000691276057/12081079833595387952324326088651824412287834623615928724275968650307668639964940864*y^2 - 275476464383086783694882306532298799088326092068263311120442820947469530357682325/3020269958398846988081081522162956103071958655903982181068992162576917159991235216*y + 4277305379824549431534994780848547820922847173297889820249193184621219282962537305/12081079833595387952324326088651824412287834623615928724275968650307668639964940864 # 4 Loop Invariant -2975054280634566825128737383282114865277271590034736538512908678236907744094677141878405347045049991494934458054353003/202203697068098341324010704921559239441157524501081097566807525274701267790610975730897948033218037665147971399665122432*y^13 - 37414634403366519960443736340219667131289142115656907314700971605491992218017256857519293972113050768304401469726860213/2022036970680983413240107049215592394411575245010810975668075252747012677906109757308979480332180376651479713996651224320*y^12 + 1511682567488693070932832584215984819494923764303790730588165546292259779221679353678416300401485364431830958857575137727/4044073941361966826480214098431184788823150490021621951336150505494025355812219514617958960664360753302959427993302448640*y^11 - 585997111331281138774043880205536517980954348849989261704978170953285916345353978195412947916409357348263445668724291733/2696049294241311217653476065620789859215433660014414634224100336996016903874813009745305973776240502201972951995534965760*y^10 - 831855535924545897334737718541937025269720095159212650477151094363204527489175130702226725891378940183526781513948474775/269604929424131121765347606562078985921543366001441463422410033699601690387481300974530597377624050220197295199553496576*y^9 + 157564817977065887725445020167295958074655593631083516110555284993368459829613026202276304862711861718201844501163221367/404407394136196682648021409843118478882315049002162195133615050549402535581221951461795896066436075330295942799330244864*y^8 + 34426527204370135854062242701287283826740513292829140514398787452110832010804307941123864600203418907236536948408561717831/2696049294241311217653476065620789859215433660014414634224100336996016903874813009745305973776240502201972951995534965760*y^7 + 32637692967766440777373865193814640579611558049249125215225375974974330894857103088661188906056531548273542188478881706377/2696049294241311217653476065620789859215433660014414634224100336996016903874813009745305973776240502201972951995534965760*y^6 - 3165866962314023431902468866379394167174185599962097263895699711653921928268516661150948261079989161716993093791103556431/674012323560327804413369016405197464803858415003603658556025084249004225968703252436326493444060125550493237998883741440*y^5 - 6978691570112802275767182034693015282127221637552989416923487423787493126963712911973155554161420356396260128619691985899/1011018485340491706620053524607796197205787622505405487834037626373506338953054878654489740166090188325739856998325612160*y^4 + 23575910848461378616968093884980462598420181095018212783521407768315843788263060531938120399469616899586424224695520604549/8088147882723933652960428196862369577646300980043243902672301010988050711624439029235917921328721506605918855986604897280*y^3 + 3805694180518850408195258120574607010353349492112109819761131881063597850495344993575633173678218919289050654402606314907/1348024647120655608826738032810394929607716830007207317112050168498008451937406504872652986888120251100986475997767482880*y^2 + 208329657416147918929493068997947031744340492404455731049274805137229839428461870565288914027700033447562395111743742519/2696049294241311217653476065620789859215433660014414634224100336996016903874813009745305973776240502201972951995534965760*y - 100665882434245965052251089813242831055851105589748375396668611823455183178021974424552516748810505207130757701976502757/179736619616087414510231737708052657281028910667627642281606689133067793591654200649687064918416033480131530133035664384