# Manifold: Census Knot K8_271 # Number of Tetrahedra: 8 # Number Field x^18 - x^17 - 3*x^16 - 2*x^15 - 106*x^14 - 281*x^13 + 154*x^12 + 1043*x^11 + 79*x^10 - 2170*x^9 - 186*x^8 + 2157*x^7 - 535*x^6 - 571*x^5 + 364*x^4 - 44*x^3 - 42*x^2 + 13*x - 1 # Approximate Field Generator -1.89850869462544 + 0.580913886351936*I # Shape Parameters 150188586212950382759/89709276648091188121*y^17 - 126122457435807058617/89709276648091188121*y^16 - 470352551005418686446/89709276648091188121*y^15 - 34195434834913070961/8155388786190108011*y^14 - 1452845342104044979492/8155388786190108011*y^13 - 44764732864056674323999/89709276648091188121*y^12 + 15910171175038123583613/89709276648091188121*y^11 + 159074090682340804176831/89709276648091188121*y^10 + 37386643903372075267347/89709276648091188121*y^9 - 319573185484866187267973/89709276648091188121*y^8 - 79131055594421753838005/89709276648091188121*y^7 + 310612310269324754357611/89709276648091188121*y^6 - 2769848260629994865216/8155388786190108011*y^5 - 90131160934821650581402/89709276648091188121*y^4 + 2333947724938473465343/5277016273417128713*y^3 - 184047823055259590689/89709276648091188121*y^2 - 6098158688643545287075/89709276648091188121*y + 83870354436149114883/8155388786190108011 26052167028053167236184/2780987576090826831751*y^17 - 64951102594966903044770/8342962728272480495253*y^16 - 81749998487935768772658/2780987576090826831751*y^15 - 65926267721381607450181/2780987576090826831751*y^14 - 14828240180033472455013/14871591315993726373*y^13 - 7789473635663741494978848/2780987576090826831751*y^12 + 2688848297545544985257969/2780987576090826831751*y^11 + 82807684129917338868194144/8342962728272480495253*y^10 + 6712319624258901820950714/2780987576090826831751*y^9 - 166008947473293560933266372/8342962728272480495253*y^8 - 42409564026989445427131239/8342962728272480495253*y^7 + 161116518410745334965507901/8342962728272480495253*y^6 - 14899768580839808248222396/8342962728272480495253*y^5 - 46931549882978408922253162/8342962728272480495253*y^4 + 20622029631727642306017818/8342962728272480495253*y^3 - 10692772411256313422258/2780987576090826831751*y^2 - 3264227728076898342735586/8342962728272480495253*y + 485306154273855623778737/8342962728272480495253 66665238631100082208792/8163544174976298119011*y^17 - 108853149042014452956115/16327088349952596238022*y^16 - 208707738208850880048237/8163544174976298119011*y^15 - 172103873385375173413987/8163544174976298119011*y^14 - 645626738645577725728431/742140379543299829001*y^13 - 2863150354798591955020468/1166220596425185445573*y^12 + 1842020533560528939908107/2332441192850370891146*y^11 + 20075727284103670885578097/2332441192850370891146*y^10 + 3279338913492305241964299/1484280759086599658002*y^9 - 25491094115133854910714121/1484280759086599658002*y^8 - 5323649160854171710591582/1166220596425185445573*y^7 + 270108811249019494024097637/16327088349952596238022*y^6 - 12284186230536846896641738/8163544174976298119011*y^5 - 5581732019136388342827332/1166220596425185445573*y^4 + 4905398947607593885638741/2332441192850370891146*y^3 + 33831067242269733173/73878227827839801982*y^2 - 2703027377439262745821450/8163544174976298119011*y + 784830354227305641842225/16327088349952596238022 -798147849897662440122/89709276648091188121*y^17 + 669966925671481708461/89709276648091188121*y^16 + 227447725936171138522/8155388786190108011*y^15 + 1999293063580269500612/89709276648091188121*y^14 + 7720415162010178137919/8155388786190108011*y^13 + 237915327145108392642550/89709276648091188121*y^12 - 84698177111234026358234/89709276648091188121*y^11 - 846155880392192564811516/89709276648091188121*y^10 - 199326196875071313513366/89709276648091188121*y^9 + 1699794620544603216938317/89709276648091188121*y^8 + 422437825771479581825506/89709276648091188121*y^7 - 97227077331568118498939/5277016273417128713*y^6 + 159907322672756160191046/89709276648091188121*y^5 + 480149495771896277690931/89709276648091188121*y^4 - 19287513501355601456720/8155388786190108011*y^3 + 1140343429225450989476/89709276648091188121*y^2 + 33505805154828168544330/89709276648091188121*y - 4792837583211213976464/89709276648091188121 115615958964227246176/807383489832820693089*y^17 - 81628131376335001784/807383489832820693089*y^16 - 364688378461730619289/807383489832820693089*y^15 - 339523078079750406551/807383489832820693089*y^14 - 1125262031874866865785/73398499075710972099*y^13 - 36151914333670438668779/807383489832820693089*y^12 + 6505555156138421486677/807383489832820693089*y^11 + 40076431071571270678837/269127829944273564363*y^10 + 43911401430945575170856/807383489832820693089*y^9 - 25702260756886743388340/89709276648091188121*y^8 - 2549963676665367628370/24466166358570324033*y^7 + 213494486089522705043572/807383489832820693089*y^6 - 8829672212647103332120/807383489832820693089*y^5 - 59284567766448802519202/807383489832820693089*y^4 + 9191375886364300638496/269127829944273564363*y^3 + 116488458267950120806/73398499075710972099*y^2 - 4123753986516506560112/807383489832820693089*y + 197651846085755637703/269127829944273564363 -83870354436149114883/8155388786190108011*y^17 + 772385312584689880954/89709276648091188121*y^16 + 2893844153828727849756/89709276648091188121*y^15 + 2315500348600699213872/89709276648091188121*y^14 + 8924453005066719248559/8155388786190108011*y^13 + 25020414938661946261615/8155388786190108011*y^12 - 97311647550779926287803/89709276648091188121*y^11 - 978154747620976918636272/89709276648091188121*y^10 - 231957428687354385010158/89709276648091188121*y^9 + 1964598716487507296989863/89709276648091188121*y^8 + 491171930661227276318591/89709276648091188121*y^7 - 1910860844112088294990936/89709276648091188121*y^6 + 182964725587412786728844/89709276648091188121*y^5 + 50659820643671139463409/8155388786190108011*y^4 - 245685738227519405410130/89709276648091188121*y^3 + 916140223142122692541/89709276648091188121*y^2 + 38932151572556150666635/89709276648091188121*y - 5805592719077686953073/89709276648091188121 -83870354436149114883/8155388786190108011*y^17 + 772385312584689880954/89709276648091188121*y^16 + 2893844153828727849756/89709276648091188121*y^15 + 2315500348600699213872/89709276648091188121*y^14 + 8924453005066719248559/8155388786190108011*y^13 + 25020414938661946261615/8155388786190108011*y^12 - 97311647550779926287803/89709276648091188121*y^11 - 978154747620976918636272/89709276648091188121*y^10 - 231957428687354385010158/89709276648091188121*y^9 + 1964598716487507296989863/89709276648091188121*y^8 + 491171930661227276318591/89709276648091188121*y^7 - 1910860844112088294990936/89709276648091188121*y^6 + 182964725587412786728844/89709276648091188121*y^5 + 50659820643671139463409/8155388786190108011*y^4 - 245685738227519405410130/89709276648091188121*y^3 + 916140223142122692541/89709276648091188121*y^2 + 38932151572556150666635/89709276648091188121*y - 5805592719077686953073/89709276648091188121 -3271860927222848437253/89709276648091188121*y^17 + 162895517489417662406/5277016273417128713*y^16 + 10247703264433653597456/89709276648091188121*y^15 + 8112152177944540457588/89709276648091188121*y^14 + 31640288096640135105296/8155388786190108011*y^13 + 972844105855641441814346/89709276648091188121*y^12 - 355127761964586183553803/89709276648091188121*y^11 - 315370859330464037748496/8155388786190108011*y^10 - 790680616474419475646546/89709276648091188121*y^9 + 6985427825597921739626123/89709276648091188121*y^8 + 1683230216668674291248061/89709276648091188121*y^7 - 6812677653590586574950082/89709276648091188121*y^6 + 700700304407419094131901/89709276648091188121*y^5 + 1988873335060518458822627/89709276648091188121*y^4 - 886939764148053403907164/89709276648091188121*y^3 + 4726683887518815575098/89709276648091188121*y^2 + 139344180402572823273812/89709276648091188121*y - 21352449660451088706469/89709276648091188121 # A Gluing Matrix {{-1,0,0,0,2,0,0,2},{0,0,1,1,1,0,0,2},{0,1,1,0,0,0,0,0},{0,2,0,1,-2,0,0,-2},{2,1,0,-1,-3,0,1,-5},{0,0,0,0,-1,1,1,-2},{0,0,0,0,-2,1,3,-4},{2,2,0,-1,-3,-1,-1,-3}} # 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,2,0,0,0,0},{0,0,0,0,1,0,2,0},{0,0,0,0,0,1,1,0},{0,0,0,0,0,0,4,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {1, 2, 1, 0, -1, 0, 0, -1} # f Combinatorial flattening {19, 25, -24, -8, 8, 17, 17, 13} # f' Combinatorial flattening {-22, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 73901415621063591721993/89709276648091188121*y^17 - 7317991679397764240641/10554032546834257426*y^16 - 21046909392970695221940/8155388786190108011*y^15 - 184482327910680505042258/89709276648091188121*y^14 - 714804589416912351604621/8155388786190108011*y^13 - 22011070840422806410459580/89709276648091188121*y^12 + 15785521910042668684179369/179418553296182376242*y^11 + 156636691748274611418206487/179418553296182376242*y^10 + 36477805512276487380331151/179418553296182376242*y^9 - 314889791523476719451605857/179418553296182376242*y^8 - 38659816969795014773755919/89709276648091188121*y^7 + 306442978408903922739372469/179418553296182376242*y^6 - 15298546242082250607742201/89709276648091188121*y^5 - 44568317194889320054968065/89709276648091188121*y^4 + 3606652277235526471546257/16310777572380216022*y^3 - 226090213290646442561443/179418553296182376242*y^2 - 3120083314884925922689378/89709276648091188121*y + 933184601484475692220197/179418553296182376242 # 2 Loop Invariant -106959679125115295613412417742558008148597367459294181338684967474851817/106795736909616214883092399972789503078253123543189361203442572941357324*y^17 + 450648869140035216515446011044889077646028408317970363530936068286863/543489755265222467598434605459488565283730908616739751671463475528536*y^16 + 20384252703251809038804353731050776426623384153279680307468852980646607/6472468903613103932308630301381182004742613548072082497178337754021656*y^15 + 1084661390037115990047174410519171292580964151944571955676567309170760825/427182947638464859532369599891158012313012494172757444813770291765429296*y^14 + 1379884618373288890133951061467189654320075487850136895489367189999113329/12944937807226207864617260602762364009485227096144164994356675508043312*y^13 + 128062355146703582789910600758938238681495966394953643118560934966866615577/427182947638464859532369599891158012313012494172757444813770291765429296*y^12 - 7322945483428570803877779076189985646779047914414908106729881404048174765/71197157939744143255394933315193002052168749028792907468961715294238216*y^11 - 226934278950029867410400437315629200561413834872401754001139189669633382077/213591473819232429766184799945579006156506247086378722406885145882714648*y^10 - 55631964080899957596079014143880984401262949835110223525885851493491595075/213591473819232429766184799945579006156506247086378722406885145882714648*y^9 + 910082814576517842314057782212668013505900742456231444945929107015136808513/427182947638464859532369599891158012313012494172757444813770291765429296*y^8 + 234622966349181018464094054862981430287846058731454521887185046345928692955/427182947638464859532369599891158012313012494172757444813770291765429296*y^7 - 884913225919038567106469224393073032067240066317337379858044910547962405877/427182947638464859532369599891158012313012494172757444813770291765429296*y^6 + 6631708555994830934036878504614078296316716333453527591909717746744928485/35598578969872071627697466657596501026084374514396453734480857647119108*y^5 + 130409343603489592694151732120003244114722908633881425559383247622230316779/213591473819232429766184799945579006156506247086378722406885145882714648*y^4 - 10363435285062807726830619467162690172668469932574512603045666024255987965/38834813421678623593851781808287092028455681288432494983070026524129936*y^3 - 404866634548668725896768951095785795255500221712520161747026550870773077/213591473819232429766184799945579006156506247086378722406885145882714648*y^2 + 4653305692981318599551147981079043745660424312172914104874115264024234573/106795736909616214883092399972789503078253123543189361203442572941357324*y + 20727079560116180168541065412331953445263358115017305435287972146421421491/427182947638464859532369599891158012313012494172757444813770291765429296 # 3 Loop Invariant 4483302427025386472603721469271403204756013752092163544134409372719231937963544650913442714927693/11695391592473624360834881307062198652670722783488438929633193982738580367629390733331696603263328*y^17 - 455194353816504997099622043494252643286506861414420420254320194927879873465364159909430167120371/1461923949059203045104360163382774831583840347936054866204149247842322545953673841666462075407916*y^16 - 28466593801181742629973027652798007330879887546420597085141254163632459476808835577358824042315233/23390783184947248721669762614124397305341445566976877859266387965477160735258781466663393206526656*y^15 - 23037441998655778975328960084073482445013717557424107282539032754124775042747876588168557869608635/23390783184947248721669762614124397305341445566976877859266387965477160735258781466663393206526656*y^14 - 5102958549197169528234187687598474289353039850335043500248608500014494160858444483604671212996797/125084402058541437014276805423125119279900778433031432402494053291321715161811665597130444954688*y^13 - 674618774753145939231929311609343074630385319783656742983509400905830665259717324690700812844603943/5847695796236812180417440653531099326335361391744219464816596991369290183814695366665848301631664*y^12 + 895327729714586189704879973658756799769262643197435740015959769936081411671963574280538519866906441/23390783184947248721669762614124397305341445566976877859266387965477160735258781466663393206526656*y^11 + 121164302041644554560746868429278702343879398808367399113514510458572974096888475749339976911527235/296085863100598085084427374862334143105587918569327567838815037537685578927326347679283458310464*y^10 + 616483248157556907428598434840455069562888696137515478597776996794339953744486118896606361743065953/5847695796236812180417440653531099326335361391744219464816596991369290183814695366665848301631664*y^9 - 9594741094362250063531297039204174312233046409939002686884832733565384446547552670350823619743252901/11695391592473624360834881307062198652670722783488438929633193982738580367629390733331696603263328*y^8 - 5247400624806122698432069935536263092392018880709843974504634162459672377551605451405432173775379241/23390783184947248721669762614124397305341445566976877859266387965477160735258781466663393206526656*y^7 + 4692264153502816193321003179133581594873389918963441592963211159404186247228204613586788306129216493/5847695796236812180417440653531099326335361391744219464816596991369290183814695366665848301631664*y^6 - 330797151968785955666119662909585132273526173169957143937807300801495716119744906528892854746090775/5847695796236812180417440653531099326335361391744219464816596991369290183814695366665848301631664*y^5 - 5759276119279962016053162729450553759876914561801643583170152513139700540530134093352168165719422253/23390783184947248721669762614124397305341445566976877859266387965477160735258781466663393206526656*y^4 + 2370700462496193992230457536239798473119072122722566551467177063464838642550944082194613885962026585/23390783184947248721669762614124397305341445566976877859266387965477160735258781466663393206526656*y^3 + 100847866322900730678114640127506004952094507239658507277114666299706364042615212589561011988444395/23390783184947248721669762614124397305341445566976877859266387965477160735258781466663393206526656*y^2 - 426641083611129378655518818270636568074869529916662013214995227518097720836695438239156648195553539/23390783184947248721669762614124397305341445566976877859266387965477160735258781466663393206526656*y + 1437788782355097221047792726114927918124507639945428867176847582936728779116821095428694092663529/543971701975517412131854944514520867566080129464578554866660185243654900819971662015427748988992 # 4 Loop Invariant -16616677803278374311200107914782543558159001746211922547199314088178922736056401931134401321759404897508308823827847588849865658277697768583345345897/75943375204471590124915134104876850557043512651298372984369063943071179288812786501407156648427360289342646685681445319188530487608163330836085598720*y^17 + 988817026576317014008477580630759582719901648288436288593533710502094622979143515517054864867353447746526160009998918849596236285492329194903028573/6376924635489980850183713550791185924637241520338031319298165674609030321961379019202127657501534070097474149179358003901326987509082417093106424320*y^16 + 60547495435095901404971980910139570685469238580952728642532888204421611754124259527269488387298310134305148406801735229480161553664225400961962112213/83537712724918749137406647515364535612747863916428210282805970337378297217694065151547872313270096318276911354249589851107383536368979663919694158592*y^15 + 172720307849661640028490760342063734230777281312344884766111508712158110817249174058998049851741963292580674903299017278681370389292350680930931350447/278459042416395830458022158384548452042492879721427367609353234457927657392313550505159574377566987727589704514165299503691278454563265546398980528640*y^14 + 1180292603715497085724420588329220465930717031881650493719368822050173737338502007873574536562016543696198828780221567402526774409448099115125880262239/50628916802981060083276756069917900371362341767532248656246042628714119525875191000938104432284906859561764457120963546125686991738775553890723732480*y^13 + 287912876182009746329062309013049072651467266251965615300848867136976804621845639278709218815924271357536995580915227480976333906999504342678142192247/4219076400248421673606396339159825030946861813961020721353836885726176627156265916744842036023742238296813704760080295510473915978231296157560311040*y^12 - 1599348936577236097011657567908004432528591427654724282111208304607946884209552651695508682027773170573054650268723061602556448122976025873035527830877/98279662029316175455772526488664159544409251666386129744477612161621526138463606060644555662670701550914013357940693942479274748669387839905522539520*y^11 - 12474283756707740438791073269237741686940664468237902486297675066419753837644642314803105006872220731029529181885484123768935228415681040923166214173003/52211070453074218210879154697102834757967414947767631426753731460861435761058790719717420195793810198923069596405993656942114710230612289949808849120*y^10 - 68635348489483481208741410544177651144223717671925640960913554640494788333893361544338038593245004325475766340855169758117967121612399877914358298032257/835377127249187491374066475153645356127478639164282102828059703373782972176940651515478723132700963182769113542495898511073835363689796639196941585920*y^9 + 395528193545288100256150183530304944800225976918301266700554259342869517842171742148516046018060243997703748774834088839307639888282735167152480903412749/835377127249187491374066475153645356127478639164282102828059703373782972176940651515478723132700963182769113542495898511073835363689796639196941585920*y^8 + 293378438197646131329998341383734162268357355335147836118693566522443745373830202658816574325172923022580186382617636871521832257850640853265583245153131/1670754254498374982748132950307290712254957278328564205656119406747565944353881303030957446265401926365538227084991797022147670727379593278393883171840*y^7 - 86996900568280412625477063676297844517326180257557684091752681560156636291851715043473161960315150679359336525626863873053433476130339157476121089610607/185639361610930553638681438923032301361661919814284911739568822971951771594875700336773049585044658485059803009443533002460852303042177030932653685760*y^6 - 535670741352669616278791122132634566389421004850486483027327324311655625343740002479546425310643576673395274564516929238614082615052448530813968430791/41768856362459374568703323757682267806373931958214105141402985168689148608847032575773936156635048159138455677124794925553691768184489831959847079296*y^5 + 2101328625654285455525385044019790298346892921568787718168998615786452087966938324083340844304685700992352936514119402623638852667869659472320905117573/12657229200745265020819189017479475092840585441883062164061510657178529881468797750234526108071226714890441114280240886531421747934693888472680933120*y^4 - 90147761632100894791874093376900721271589600621038556324753583022019119606663060461491204231346212871263875339996096255135536489440755894701760412248747/1670754254498374982748132950307290712254957278328564205656119406747565944353881303030957446265401926365538227084991797022147670727379593278393883171840*y^3 - 6061021899827309320699119689203918317379722150161193640695512622104163221295343808666660218073445855218985883008855419731974120778504857276853973414819/556918084832791660916044316769096904084985759442854735218706468915855314784627101010319148755133975455179409028330599007382556909126531092797961057280*y^2 + 11854769246787818977274824479642444478708189417617483913944272716044648924232404656980335080928959034322486906735971928357338302469511002299431555242479/835377127249187491374066475153645356127478639164282102828059703373782972176940651515478723132700963182769113542495898511073835363689796639196941585920*y - 798223116238068354130008739491629130500742924837471186464898806751939886476539955406516728109417794292281594884793157074697613650257984437912971322837/417688563624593745687033237576822678063739319582141051414029851686891486088470325757739361566350481591384556771247949255536917681844898319598470792960