# Manifold: Census Knot K8_156 # Number of Tetrahedra: 8 # Number Field x^14 + 16/29*x^13 - 1290/29*x^12 - 5038/29*x^11 - 4190/29*x^10 + 5102/29*x^9 - 1632/29*x^8 - 21896/29*x^7 - 9290/29*x^6 + 6399/29*x^5 - 6732/29*x^4 - 2708/29*x^3 + 4544/29*x^2 - 1167/29*x + 72/29 # Approximate Field Generator -1.19690628392476 + 0.165379593893603*I # Shape Parameters 579933947199698772389573646044816/8279200158014657355134350543357851*y^13 + 340351822426499082112071453977650/8279200158014657355134350543357851*y^12 - 8512671042894559218547326587777975/2759733386004885785044783514452617*y^11 - 101643098434576990639407324381340567/8279200158014657355134350543357851*y^10 - 98119307562089491628782964417276270/8279200158014657355134350543357851*y^9 + 61362357524325790738342293186139169/8279200158014657355134350543357851*y^8 - 6268891363125666537021271006074926/919911128668295261681594504817539*y^7 - 414542165301972569119505517925655801/8279200158014657355134350543357851*y^6 - 240538243213871537427476581752824483/8279200158014657355134350543357851*y^5 - 3383535939411040600438574993062918/2759733386004885785044783514452617*y^4 - 20997258371846545359145429635625295/919911128668295261681594504817539*y^3 - 97933812532612446559215822132645158/8279200158014657355134350543357851*y^2 + 39722003176384196262397084995990830/8279200158014657355134350543357851*y - 2704678322292837814317947110832068/2759733386004885785044783514452617 378153720707344070074475592329411/2759733386004885785044783514452617*y^13 + 536686712846193561212401622180411/5519466772009771570089567028905234*y^12 - 11095655707769574133803394219779477/1839822257336590523363189009635078*y^11 - 136759248696022192788332102849957795/5519466772009771570089567028905234*y^10 - 71340314563371437173920819176657288/2759733386004885785044783514452617*y^9 + 74936440850387680716321994896200623/5519466772009771570089567028905234*y^8 - 6776682961251533403355604882252494/919911128668295261681594504817539*y^7 - 268499594323241520736242329350315139/2759733386004885785044783514452617*y^6 - 387576893309539620744972998094046249/5519466772009771570089567028905234*y^5 - 7306373353046226059597074936994751/1839822257336590523363189009635078*y^4 - 27912912799993261077089315997898305/919911128668295261681594504817539*y^3 - 106855528611400232816186122398454963/5519466772009771570089567028905234*y^2 + 24235460731647382856276710772960630/2759733386004885785044783514452617*y + 100783155744266738062485031923727/919911128668295261681594504817539 327311539761770175832248914627947/3679644514673181046726378019270156*y^13 + 74058535731858891286642083037037/919911128668295261681594504817539*y^12 - 3614972586274559695725649593116523/919911128668295261681594504817539*y^11 - 15474759626894329227723848198390731/919911128668295261681594504817539*y^10 - 17292800196609702767455138234134993/919911128668295261681594504817539*y^9 + 15614593600545516718406278827471943/1839822257336590523363189009635078*y^8 - 4576574703807090210217347846468293/1839822257336590523363189009635078*y^7 - 61090650920759498735899373832944802/919911128668295261681594504817539*y^6 - 96510301976605991007366585308444367/1839822257336590523363189009635078*y^5 - 9729602994354017029795757773956909/3679644514673181046726378019270156*y^4 - 35425879244177076029154659600260765/1839822257336590523363189009635078*y^3 - 12802851591306876252026587422347804/919911128668295261681594504817539*y^2 + 12766476939194427942135467172576071/1839822257336590523363189009635078*y + 2749688088339772319245520940234663/3679644514673181046726378019270156 -97663423920541090875930733529127/919911128668295261681594504817539*y^13 - 89501174540064546313111686885873/919911128668295261681594504817539*y^12 + 4309835883171928439446683648734762/919911128668295261681594504817539*y^11 + 18570492025413426680085194842521828/919911128668295261681594504817539*y^10 + 20888347926599952485428296649090404/919911128668295261681594504817539*y^9 - 10539499829957187046412986982789986/919911128668295261681594504817539*y^8 + 31978919919049451293701306036766/919911128668295261681594504817539*y^7 + 75842106945536681670799142002257004/919911128668295261681594504817539*y^6 + 59918095751525563655216102878512097/919911128668295261681594504817539*y^5 - 6784299090805599337838526515065259/919911128668295261681594504817539*y^4 + 19525604614556201765289309790113050/919911128668295261681594504817539*y^3 + 18795019249536003846314706797247322/919911128668295261681594504817539*y^2 - 11357134636117313746025760368889500/919911128668295261681594504817539*y + 1599540420566315246266479453942623/919911128668295261681594504817539 -53068197514642454948787600686561273/66233601264117258841074804346862808*y^13 - 4906298833070100712668443615252870/8279200158014657355134350543357851*y^12 + 392325197823730366342251402482433607/11038933544019543140179134057810468*y^11 + 4830256499548781450549372285793028115/33116800632058629420537402173431404*y^10 + 4725823585571111747754755726126230339/33116800632058629420537402173431404*y^9 - 3810480254353159205319411981318275035/33116800632058629420537402173431404*y^8 + 22797749480738223432359706883176179/919911128668295261681594504817539*y^7 + 5067804893134180255156853008682937073/8279200158014657355134350543357851*y^6 + 12165646494372508156727439825765999961/33116800632058629420537402173431404*y^5 - 2450741103474478777189123531790387465/22077867088039086280358268115620936*y^4 + 316541315471411975705609167912172563/1839822257336590523363189009635078*y^3 + 1785975350372878962885327987633972185/16558400316029314710268701086715702*y^2 - 889050422918380631073705824145485869/8279200158014657355134350543357851*y + 352013194276145801395411868220250873/22077867088039086280358268115620936 -245279069413938126296205459700925/5519466772009771570089567028905234*y^13 - 286564730261880796937183707349527/5519466772009771570089567028905234*y^12 + 3605259779365267442250692770526295/1839822257336590523363189009635078*y^11 + 49311829098271290416795981305095889/5519466772009771570089567028905234*y^10 + 31085565434325061781253618857323207/2759733386004885785044783514452617*y^9 - 18305305852660281919293784376598059/5519466772009771570089567028905234*y^8 - 1009124306503694191802379967629464/919911128668295261681594504817539*y^7 + 98194757196032079734081685681011467/2759733386004885785044783514452617*y^6 + 185900890737143112664136007298694225/5519466772009771570089567028905234*y^5 + 822126618071815646780063638004543/919911128668295261681594504817539*y^4 + 8888197606668115034564181593783836/919911128668295261681594504817539*y^3 + 55932550902467845771139684421582911/5519466772009771570089567028905234*y^2 - 13974995213700350680184732849442940/2759733386004885785044783514452617*y + 894476955590653457222197700862551/1839822257336590523363189009635078 -112776565567506629393972824204798/2759733386004885785044783514452617*y^13 - 137572747227773752763693128806470/2759733386004885785044783514452617*y^12 + 1650118859417326353899853956334198/919911128668295261681594504817539*y^11 + 22914522206240724588712040467767836/2759733386004885785044783514452617*y^10 + 30472686038915376816629320813364560/2759733386004885785044783514452617*y^9 - 3973744167753249104637770053255216/2759733386004885785044783514452617*y^8 - 181904411521596949477043919887319/919911128668295261681594504817539*y^7 + 87752187528193451122765919787712618/2759733386004885785044783514452617*y^6 + 91867547881022733526862396880706576/2759733386004885785044783514452617*y^5 + 5978026024493887946299323975437057/919911128668295261681594504817539*y^4 + 10173649891113254790055898492357009/919911128668295261681594504817539*y^3 + 28826796268805033835117017278052701/2759733386004885785044783514452617*y^2 - 10373335764710949847789726036301035/2759733386004885785044783514452617*y + 696856576481075290962404605096904/919911128668295261681594504817539 1186513584117654915701390743145588/8279200158014657355134350543357851*y^13 + 515587317364799254616561794765540/8279200158014657355134350543357851*y^12 - 17458387387470920782156948314469838/2759733386004885785044783514452617*y^11 - 200568487608345151749984221844071899/8279200158014657355134350543357851*y^10 - 167704213410064404923340069596065592/8279200158014657355134350543357851*y^9 + 183254157042879778661265432264353804/8279200158014657355134350543357851*y^8 - 7493849836741158448751499813550310/919911128668295261681594504817539*y^7 - 820183071831306239032394169160204505/8279200158014657355134350543357851*y^6 - 416611360224537742279370518284255431/8279200158014657355134350543357851*y^5 + 59202107989717510842566705071110791/2759733386004885785044783514452617*y^4 - 20395699124719511089740191906128529/919911128668295261681594504817539*y^3 - 98499544045235478384483650259537953/8279200158014657355134350543357851*y^2 + 137433378695916083880317840849798726/8279200158014657355134350543357851*y + 23789740027677610237332886880210/2759733386004885785044783514452617 # A Gluing Matrix {{2,1,1,0,0,0,0,0},{2,0,1,-3,2,0,1,-2},{2,-1,3,-2,2,0,2,0},{0,-2,-1,-1,2,1,1,-1},{0,1,1,2,0,0,0,2},{0,0,0,1,0,1,0,1},{0,0,1,1,0,0,1,2},{0,-2,0,-1,2,1,2,0}} # B Gluing Matrix {{1,0,0,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,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 {2, 1, 2, -1, 2, 1, 1, 0} # f Combinatorial flattening {0, 1, 1, 1, 0, 1, 1, -1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -3494865277940717351398546534508008/2759733386004885785044783514452617*y^13 - 3499579889896631527203240309598274/2759733386004885785044783514452617*y^12 + 51706542611833243505812137431016076/919911128668295261681594504817539*y^11 + 1352285325278377571952966189763442695/5519466772009771570089567028905234*y^10 + 1509391546053305894674102869308171171/5519466772009771570089567028905234*y^9 - 850424496581179104455509453267259417/5519466772009771570089567028905234*y^8 + 3545541944623302317100357223671325/919911128668295261681594504817539*y^7 + 5693564441844187091710690789615334825/5519466772009771570089567028905234*y^6 + 2057121401095033098076398363333850930/2759733386004885785044783514452617*y^5 - 108485205561741589824235032254255050/919911128668295261681594504817539*y^4 + 586068683636720447612692606182592087/1839822257336590523363189009635078*y^3 + 1269063121375062843193989535717654487/5519466772009771570089567028905234*y^2 - 427374661589248754323529311211687917/2759733386004885785044783514452617*y + 42707224572457092808354783922049541/1839822257336590523363189009635078 # 2 Loop Invariant -219014571565649534554497813995565536193113735709035675640215386506379913/5810722303401769372024990128338689369620260262215575230231403170842448408*y^13 - 442220974870751063406307735531957657327941717318876683322666485273541155/11621444606803538744049980256677378739240520524431150460462806341684896816*y^12 + 3220880194156651585880243246816285651789462624332067152359829190608220729/1936907434467256457341663376112896456540086754071858410077134390280816136*y^11 + 42484450386435559576293384744866809706463763101315639735758277264585210445/5810722303401769372024990128338689369620260262215575230231403170842448408*y^10 + 100273831681005021566421400206111717156994369828992487331173351454786278549/11621444606803538744049980256677378739240520524431150460462806341684896816*y^9 - 19313275981156947502562558356506568381150867566123705440471850783760152527/5810722303401769372024990128338689369620260262215575230231403170842448408*y^8 + 8845741987195529648866453441743526050260318215283680469222719357965439/143474624775352330173456546378733070854821241042359882227935880761541936*y^7 + 337339524885159344261889476237545544195849252242310403941065963370696621221/11621444606803538744049980256677378739240520524431150460462806341684896816*y^6 + 289242940353383599887940723767311416940904664188505260302597640628322740291/11621444606803538744049980256677378739240520524431150460462806341684896816*y^5 + 1854783373462098090781701918643350906841404327314412648298797175744596761/3873814868934512914683326752225792913080173508143716820154268780561632272*y^4 + 872303551906390640081608489672729430915284088230092552199543727413888943/107605968581514247630092409784049803141115930781769911670951910571156452*y^3 + 81385398472391750196967631906130256698947151232924334505752559536989996147/11621444606803538744049980256677378739240520524431150460462806341684896816*y^2 - 2800254444384731053690996287712344757374733310042260930292703476090087608/726340287925221171503123766042336171202532532776946903778925396355306051*y - 384363207692953145619261437580431542194886179244801788832810894982425577/1936907434467256457341663376112896456540086754071858410077134390280816136 # 3 Loop Invariant 524393008500933982978577871017262145324904243515077309805234426153716741546971938637752187/72567929707132167863631107773669191987394281214248543640782883536107363514410741631938614944*y^13 + 433873958019354035738893674236283338381326627905811485502175695999215792580874144840018399/36283964853566083931815553886834595993697140607124271820391441768053681757205370815969307472*y^12 - 15369373884819232678507859845690248720919313349492586494529667935538060579802123596718350399/48378619804754778575754071849112794658262854142832362427188589024071575676273827754625743296*y^11 - 233082449327788345385639558550710518083432520200960275579173518476970959203678180979591728745/145135859414264335727262215547338383974788562428497087281565767072214727028821483263877229888*y^10 - 174502198961531254927980613992642469186659237212982862423356685194337166762186899885124914925/72567929707132167863631107773669191987394281214248543640782883536107363514410741631938614944*y^9 + 6855312114335544593823788946056710109911704451979767855579405910694367693615068955087057201/145135859414264335727262215547338383974788562428497087281565767072214727028821483263877229888*y^8 + 30502281874780571923167743647823844577219272948947558810445472275615840153115108615596889033/48378619804754778575754071849112794658262854142832362427188589024071575676273827754625743296*y^7 - 54053641221453625651567675028816975132231543508382940688435562342979423416902717616697055409/9070991213391520982953888471708648998424285151781067955097860442013420439301342703992326868*y^6 - 1128983014326891477070633025218764905798732116036880363825122056150659569956049846975418503801/145135859414264335727262215547338383974788562428497087281565767072214727028821483263877229888*y^5 - 13094073616284324548090897758731349771527738411880204283375308552260522103443668067078835583/8063103300792463095959011974852132443043809023805393737864764837345262612712304625770957216*y^4 - 4235728851342753495797268834090145365706987600758615782086095607869093802237295019163396435/4031551650396231547979505987426066221521904511902696868932382418672631306356152312885478608*y^3 - 155043512946110027803011975928191614679222361555817411655770947029211678912794635001293304077/72567929707132167863631107773669191987394281214248543640782883536107363514410741631938614944*y^2 + 25929967062093944934972268262421618549919658262562469117966372992236685647542271457604330329/145135859414264335727262215547338383974788562428497087281565767072214727028821483263877229888*y + 2480043173064406350096009704960873023881431560771633798440079006604898217750218996145460887/6047327475594347321969258981139099332282856767854045303398573628008946959534228469328217912 # 4 Loop Invariant 214581853736706484440378216913929208181436126340090907405115731419489200897443815782589511824993846856899818031313815991221097670311/9167670104640568995094583978809434708597708260234485395652443363748679820838435966412269167483609759848383769780224711643029299471360*y^13 + 18618481839378879574498987820237583515705019568380402293489068440105587762828833037125662957931155659050240503130279652412675797389/2291917526160142248773645994702358677149427065058621348913110840937169955209608991603067291870902439962095942445056177910757324867840*y^12 - 3185131769525038475188554214547711122662245047520496483028407826859636379121017767199330992568563999555092582566023894477751669904421/3055890034880189665031527992936478236199236086744828465217481121249559940279478655470756389161203253282794589926741570547676433157120*y^11 - 35373506569470003208997980150927043797687741039475679736159233249077586576939204254051183700029952073449771757818194446360102175053711/9167670104640568995094583978809434708597708260234485395652443363748679820838435966412269167483609759848383769780224711643029299471360*y^10 - 11973682104904160789065834880685808871971135721208851564031313117653457422986597900425307146558101225677950397382721039912287683617297/4583835052320284497547291989404717354298854130117242697826221681874339910419217983206134583741804879924191884890112355821514649735680*y^9 + 11020007264666291366653805197674857094479080206542507413361926999035076273833078699473273308957504198338115308779327798057701540339979/2291917526160142248773645994702358677149427065058621348913110840937169955209608991603067291870902439962095942445056177910757324867840*y^8 - 7154414700258620925742913879858276973395884931650319474677155223351191741076024880967391076043951361139465420454877745111532568385/4244291715111374534766011101300664216943383453812261757246501557291055472610387021487161651612782296226103597120474403538439490496*y^7 - 39214000156452716513333203269762204571059695340788295658112841392533789078552127032674488344150461951674331626968893371726504890022909/2291917526160142248773645994702358677149427065058621348913110840937169955209608991603067291870902439962095942445056177910757324867840*y^6 - 4328486729996530381320911660637362880687504233960421688842786847904927019782170644252788849907756817924668740717543384489935105911989/916767010464056899509458397880943470859770826023448539565244336374867982083843596641226916748360975984838376978022471164302929947136*y^5 + 10705771821352100445831703319395023165286274125935587545564886717223552819077958518576830414480376276510144106071820955857667165024519/1527945017440094832515763996468239118099618043372414232608740560624779970139739327735378194580601626641397294963370785273838216578560*y^4 - 4601461964230351265037336314691463492215950007222490097003704283219342173142811117379689885008021279589336549481079545220643424813/943175936691416563281335800289036492654085211958280390499222568286901216135641560330480367025062732494689688248994311897430997888*y^3 - 10143658776386560326493226447380481469168618035867855516000238038522047164335080540653370114387584162328223921888155586038741447428869/9167670104640568995094583978809434708597708260234485395652443363748679820838435966412269167483609759848383769780224711643029299471360*y^2 + 18941559293882208882359474128482874587818606965294080562741005903274358642999470081847107286297491097327913814201039475328000545740837/4583835052320284497547291989404717354298854130117242697826221681874339910419217983206134583741804879924191884890112355821514649735680*y - 223361571758890294424985882793627491333948792053066929703512842696617873459397433525768551844772344471701765330233417057287725405493/190993127180011854064470499558529889762452255421551779076092570078097496267467415966922274322575203330174661870421348159229777072320