# Manifold: Census Knot K8_10 # Number of Tetrahedra: 8 # Number Field x^16 - 16*x^15 + 182*x^14 - 287*x^13 + 76*x^12 + 2015*x^11 - 233*x^10 + 66*x^9 - 176*x^8 + 1945*x^7 + 3261*x^6 + 2726*x^5 + 1338*x^4 + 443*x^3 + 100*x^2 + 14*x + 1 # Approximate Field Generator -0.166992614618885 - 0.155116077806134*I # Shape Parameters -2960768368785242098811412873/2515937261473724109050848022*y^15 + 48271935327226835284794786939/2515937261473724109050848022*y^14 - 553492068457691236753555113323/2515937261473724109050848022*y^13 + 508662463858984806335818999520/1257968630736862054525424011*y^12 - 263599996939534356891846656687/1257968630736862054525424011*y^11 - 5821604862232126437354672811705/2515937261473724109050848022*y^10 + 1236312404993724571891460501452/1257968630736862054525424011*y^9 - 440988983098112448684846930100/1257968630736862054525424011*y^8 + 360904211082464919041670573374/1257968630736862054525424011*y^7 - 5940823817731780578362733843275/2515937261473724109050848022*y^6 - 3932761135737762159283096866431/1257968630736862054525424011*y^5 - 2803209479514400796931605794104/1257968630736862054525424011*y^4 - 1101332260097652306918082811888/1257968630736862054525424011*y^3 - 617359565640206843975400625601/2515937261473724109050848022*y^2 - 102212008586782153381009481851/2515937261473724109050848022*y - 3525969016043094238154640631/2515937261473724109050848022 168271465217701508617763632965/80509992367159171489627136704*y^15 - 2743843884196790861615049173419/80509992367159171489627136704*y^14 + 31464004904368551357862551542467/80509992367159171489627136704*y^13 - 7237978946152027166247024613319/10063749045894896436203392088*y^12 + 7569846129141969717811006787873/20127498091789792872406784176*y^11 + 330343081957799476729346535269919/80509992367159171489627136704*y^10 - 70412412897936384779091908276711/40254996183579585744813568352*y^9 + 13033053670979433453491400065647/20127498091789792872406784176*y^8 - 10798561819863840975608657535069/20127498091789792872406784176*y^7 + 338941743170956605702945809810441/80509992367159171489627136704*y^6 + 222864085945208773728297185423213/40254996183579585744813568352*y^5 + 39981984952417065012625899922371/10063749045894896436203392088*y^4 + 62868957441686733736863971705277/40254996183579585744813568352*y^3 + 35313329263211446195409586278817/80509992367159171489627136704*y^2 + 5743240144503713617826864794229/80509992367159171489627136704*y + 446500492642931128648984948955/80509992367159171489627136704 -8320437948962055363617976817/23901403984000379035983056209*y^15 + 139300481937927117802588032029/23901403984000379035983056209*y^14 - 1615065230624526549593825010228/23901403984000379035983056209*y^13 + 3542779250821050208592728955086/23901403984000379035983056209*y^12 - 2757450599615313325775281888551/23901403984000379035983056209*y^11 - 15794564550318646687645176784772/23901403984000379035983056209*y^10 + 14457461362745461431461668374659/23901403984000379035983056209*y^9 - 6297106781871726443201543166356/23901403984000379035983056209*y^8 + 2013585853002100562099890486104/23901403984000379035983056209*y^7 - 15876821873726140145733240551916/23901403984000379035983056209*y^6 - 15991528103241135141869284161888/23901403984000379035983056209*y^5 - 5776642541573066414008020028928/23901403984000379035983056209*y^4 - 1559310552278962225158127132796/23901403984000379035983056209*y^3 - 74435380933982943844673366248/23901403984000379035983056209*y^2 - 763707725073685784814630515/23901403984000379035983056209*y + 41005717081026197377325610674/23901403984000379035983056209 -668365713662519160977106885/1257968630736862054525424011*y^15 + 10830862581565523405855042745/1257968630736862054525424011*y^14 - 123888275179611830849953881303/1257968630736862054525424011*y^13 + 217627572402747813852478009062/1257968630736862054525424011*y^12 - 100084703499882077588516191627/1257968630736862054525424011*y^11 - 1318449516530729473264240454797/1257968630736862054525424011*y^10 + 423936828561455314572152974898/1257968630736862054525424011*y^9 - 183745485309284169346254778387/1257968630736862054525424011*y^8 + 168721357548185285489289717639/1257968630736862054525424011*y^7 - 1329965076944939975466166183399/1257968630736862054525424011*y^6 - 1909432964206243340352310175618/1257968630736862054525424011*y^5 - 1477454306611385108501099043528/1257968630736862054525424011*y^4 - 669659546822912712856364979846/1257968630736862054525424011*y^3 - 210448429781065360203694242757/1257968630736862054525424011*y^2 - 43840801762058686381179158706/1257968630736862054525424011*y - 5120718190099692801582217208/1257968630736862054525424011 -24406638488773086493916936153/40254996183579585744813568352*y^15 + 395007356674533162978378384839/40254996183579585744813568352*y^14 - 4514668104508047971800582148783/40254996183579585744813568352*y^13 + 979283038458064424997023969933/5031874522947448218101696044*y^12 - 816224731018769216694599677177/10063749045894896436203392088*y^11 - 48637230826473149833083408052395/40254996183579585744813568352*y^10 + 7339290287601131006352807712291/20127498091789792872406784176*y^9 - 984519803310429542474553390275/10063749045894896436203392088*y^8 + 1228513499752407478684586778177/10063749045894896436203392088*y^7 - 48384430539856126084594479298509/40254996183579585744813568352*y^6 - 35347344256940274615064634832841/20127498091789792872406784176*y^5 - 6635912714297178946855998951953/5031874522947448218101696044*y^4 - 11161387100268603884435654480137/20127498091789792872406784176*y^3 - 6273382055764489050628449781941/40254996183579585744813568352*y^2 - 1175045214846417017773450539017/40254996183579585744813568352*y - 70503350326332054491018889591/40254996183579585744813568352 -30097022774795874992540117857/47802807968000758071966112418*y^15 + 489500672502371686749520054209/47802807968000758071966112418*y^14 - 5606629147212651908681042624209/47802807968000758071966112418*y^13 + 5056775028674608091518665973171/23901403984000379035983056209*y^12 - 2450684537587081660967150624800/23901403984000379035983056209*y^11 - 59461449317556813802706321620083/47802807968000758071966112418*y^10 + 11388285157377737823563167297319/23901403984000379035983056209*y^9 - 3702172264671093795676435399259/23901403984000379035983056209*y^8 + 3457570441756239427613513459042/23901403984000379035983056209*y^7 - 60310595646942153921584426612359/47802807968000758071966112418*y^6 - 41133199724057372999888434363688/23901403984000379035983056209*y^5 - 29862934873837871909100407513008/23901403984000379035983056209*y^4 - 11885355554105328106270145792134/23901403984000379035983056209*y^3 - 6629834838572617646813767917979/47802807968000758071966112418*y^2 - 1201696893118438681301022269337/47802807968000758071966112418*y - 104331992914566788072101363893/47802807968000758071966112418 5083176586828175865917819497/10063749045894896436203392088*y^15 - 84213903346504540645963808583/10063749045894896436203392088*y^14 + 972012938969787810897212638455/10063749045894896436203392088*y^13 - 249453653440980860476935110762/1257968630736862054525424011*y^12 + 337804479596995405058455766869/2515937261473724109050848022*y^11 + 9789319792927757290371721868179/10063749045894896436203392088*y^10 - 3450400469418278080318700226251/5031874522947448218101696044*y^9 + 622303461955422024646948117503/2515937261473724109050848022*y^8 - 366342103860829307216471426681/2515937261473724109050848022*y^7 + 10514058145787250429964455691533/10063749045894896436203392088*y^6 + 5389681085621677397651158878793/5031874522947448218101696044*y^5 + 745930173178304155577794711400/1257968630736862054525424011*y^4 + 569907795830157835858307667381/5031874522947448218101696044*y^3 + 127554302366528958240851926805/10063749045894896436203392088*y^2 - 23183758561376012867340232607/10063749045894896436203392088*y + 3789718050353271416148965855/10063749045894896436203392088 5083176586828175865917819497/10063749045894896436203392088*y^15 - 84213903346504540645963808583/10063749045894896436203392088*y^14 + 972012938969787810897212638455/10063749045894896436203392088*y^13 - 249453653440980860476935110762/1257968630736862054525424011*y^12 + 337804479596995405058455766869/2515937261473724109050848022*y^11 + 9789319792927757290371721868179/10063749045894896436203392088*y^10 - 3450400469418278080318700226251/5031874522947448218101696044*y^9 + 622303461955422024646948117503/2515937261473724109050848022*y^8 - 366342103860829307216471426681/2515937261473724109050848022*y^7 + 10514058145787250429964455691533/10063749045894896436203392088*y^6 + 5389681085621677397651158878793/5031874522947448218101696044*y^5 + 745930173178304155577794711400/1257968630736862054525424011*y^4 + 569907795830157835858307667381/5031874522947448218101696044*y^3 + 127554302366528958240851926805/10063749045894896436203392088*y^2 - 23183758561376012867340232607/10063749045894896436203392088*y + 3789718050353271416148965855/10063749045894896436203392088 # A Gluing Matrix {{2,0,2,2,0,2,-1,1},{0,0,2,2,0,2,-1,1},{1,2,0,0,0,0,0,0},{1,2,0,2,0,2,-1,1},{0,0,0,0,0,-1,1,-1},{1,2,0,2,-1,2,-1,0},{0,0,0,0,0,-1,1,0},{1,2,0,2,-2,0,1,-1}} # B Gluing Matrix {{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,0,0},{0,0,0,0,0,0,1,1},{0,0,0,0,0,0,0,2}} # nu Gluing Vector {2, 2, 2, 4, 0, 4, 1, 4} # f Combinatorial flattening {-6, 6, 1, -5, 1, 10, 11, 1} # f' Combinatorial flattening {6, 0, -4, -2, 0, 0, 0, 0} # 1 Loop Invariant 201398294574143036359675749123/5031874522947448218101696044*y^15 - 3227706148153053715557496491663/5031874522947448218101696044*y^14 + 36731173556703211393334913355749/5031874522947448218101696044*y^13 - 29315304516142023288206719064541/2515937261473724109050848022*y^12 + 7607244862828232337536416829891/2515937261473724109050848022*y^11 + 408443203644630094613814301124711/5031874522947448218101696044*y^10 - 29634358189526547851198413287137/2515937261473724109050848022*y^9 - 630139669280211266782846679392/1257968630736862054525424011*y^8 - 6969336625868594278584858032195/1257968630736862054525424011*y^7 + 390512944134379019646083665127363/5031874522947448218101696044*y^6 + 162086527307653243094523613003648/1257968630736862054525424011*y^5 + 257011571679313746801851687035849/2515937261473724109050848022*y^4 + 58193275312736866519071054694127/1257968630736862054525424011*y^3 + 67140801486806907889320032858957/5031874522947448218101696044*y^2 + 13000906882430094358711713337115/5031874522947448218101696044*y + 1232825003341028060475729441563/5031874522947448218101696044 # 2 Loop Invariant -250159123425292130551176403647102874676085439672688582379637061883025612/3753762006674609269826836204035009556124982593128065948866378891199338793*y^15 + 65006504882387035411338767325169754622740405641337096534251731809258996459/60060192106793748317229379264560152897999721490049055181862062259189420688*y^14 - 31007820371769750289188849773291519608360460888004405748269216962398750477/2502508004449739513217890802690006370749988395418710632577585927466225862*y^13 + 55370837396979899810171778268379266580417086834816088369231548827476513791/2502508004449739513217890802690006370749988395418710632577585927466225862*y^12 - 26317854471165135051280479350534118424039201398673088107778437668351315971/2502508004449739513217890802690006370749988395418710632577585927466225862*y^11 - 3952557756757375877167456093796491368392013704640730677937507066556708123773/30030096053396874158614689632280076448999860745024527590931031129594710344*y^10 + 2844879470178866083636919088167488580019610600209966153884636337391287160775/60060192106793748317229379264560152897999721490049055181862062259189420688*y^9 - 86282988245498895128377047750877590539612387706903782594419497684439465981/5005016008899479026435781605380012741499976790837421265155171854932451724*y^8 + 77399375936063498059111485389974460743796421344560425942298105605606975611/5005016008899479026435781605380012741499976790837421265155171854932451724*y^7 - 2660099545170573750997436751026487783819808508273894643161679100104007969663/20020064035597916105743126421520050965999907163349685060620687419729806896*y^6 - 1855825916735623059396444835738133069662128566800224321851595459129790133267/10010032017798958052871563210760025482999953581674842530310343709864903448*y^5 - 8294513884332000288294579783994587582048124763813013201545771145670797183673/60060192106793748317229379264560152897999721490049055181862062259189420688*y^4 - 439203736932282737603034166292196147757964877660785653127769269737309070905/7507524013349218539653672408070019112249965186256131897732757782398677586*y^3 - 176308236300495568338320158087720712294793954035359873654685095261460212481/10010032017798958052871563210760025482999953581674842530310343709864903448*y^2 - 72496627655921774575484110583526581695369514791163008978157354912826528485/20020064035597916105743126421520050965999907163349685060620687419729806896*y + 96954680958700612670094506311747440320774006040032771196939514129504950717/20020064035597916105743126421520050965999907163349685060620687419729806896 # 3 Loop Invariant -13556198415604675626159323585200227754273212673821439275635635362959850721446295746680132795107/2525592549160518581007221489318880511988008816395155812858570751142427566735338684456508792781376*y^15 + 226843944120106082441451119019189235453759818723066763790939466364090736189289655880205586038075/2525592549160518581007221489318880511988008816395155812858570751142427566735338684456508792781376*y^14 - 2630699267079433028648681369767514155077862129623333780283366472904278927721763845997676754032015/2525592549160518581007221489318880511988008816395155812858570751142427566735338684456508792781376*y^13 + 5771261473330185942788392547132805927961491350376180512781907369703977610687410327418771158580379/2525592549160518581007221489318880511988008816395155812858570751142427566735338684456508792781376*y^12 - 2346598553974117209412969584895059831723042397891025387432448763263935680994236390387551238993755/1262796274580259290503610744659440255994004408197577906429285375571213783367669342228254396390688*y^11 - 12562765469366626719908053919085526313162150507692493106506086959564722794839626825401019007632279/1262796274580259290503610744659440255994004408197577906429285375571213783367669342228254396390688*y^10 + 22562828021064122123528298849094153237674054440183127655465020441005213033123174619583105716979283/2525592549160518581007221489318880511988008816395155812858570751142427566735338684456508792781376*y^9 - 11894944316910220043585806537073426015566222973168522708124875319399870057561024638362888901443675/2525592549160518581007221489318880511988008816395155812858570751142427566735338684456508792781376*y^8 + 6094969204374370715405292044842246786657424243966754208890815403890375885332650561898930173089433/2525592549160518581007221489318880511988008816395155812858570751142427566735338684456508792781376*y^7 - 7201554878713719727919770004135728322804757208383678234992283621585656208336585392710013561193747/631398137290129645251805372329720127997002204098788953214642687785606891683834671114127198195344*y^6 - 24128171767186755055226694796262750826565596137828007163220860594979167902072855105702127194095825/2525592549160518581007221489318880511988008816395155812858570751142427566735338684456508792781376*y^5 - 6557712208089316621243639135648997000313324826080518813631118143963432858328235301116449280158363/1262796274580259290503610744659440255994004408197577906429285375571213783367669342228254396390688*y^4 - 3170905752286810074026736031205712615105446289097393414763903815854785441912987757850821815694045/2525592549160518581007221489318880511988008816395155812858570751142427566735338684456508792781376*y^3 - 770777612089742931731739738073267644135040096438555360343265060171525550693006924173973089374001/1262796274580259290503610744659440255994004408197577906429285375571213783367669342228254396390688*y^2 - 203256955398272204866373003101749055582001378654723193115113200183323105496077926235159172119773/1262796274580259290503610744659440255994004408197577906429285375571213783367669342228254396390688*y - 49883551614777528232438843823201243032929915253020024922506706877907442637244542414735532075173/2525592549160518581007221489318880511988008816395155812858570751142427566735338684456508792781376 # 4 Loop Invariant 29759138495191778036726915750815394065337429376216601357176867904749484866374386271856937380865039882095341537626408207265531243118703438218437/904360231923365895290414075850418839448533169531467062139072904316622987277976756499042993380641510332229846980845822119142596689662253235714560*y^15 - 965892440925580907826574013372799100181735218008929992210795265517933690980514471822808198135355803426757714330027360877515857543443821167401781/1808720463846731790580828151700837678897066339062934124278145808633245974555953512998085986761283020664459693961691644238285193379324506471429120*y^14 + 736978230434178119733683744054626741278606758756531320284626781095054573068728505199745324338675728352921651346798203027199847468939700881384415/120581364256448786038721876780055845259804422604195608285209720575549731637063567533205732450752201377630646264112776282552346225288300431428608*y^13 - 19634867114186457253756188886964143102400792850887805920997627208818563190027731223282977913549506838886414656368238685106620119482088548634610339/1808720463846731790580828151700837678897066339062934124278145808633245974555953512998085986761283020664459693961691644238285193379324506471429120*y^12 + 3107570899535528489803997319315583615352533372190449574432171017460658997645375811425838183265623157819806351228336281340267936767666536749167183/602906821282243930193609383900279226299022113020978041426048602877748658185317837666028662253761006888153231320563881412761731126441502157143040*y^11 + 117164022149860822959014229023634121651196163625506028576700742759757371201387698719843764551976674635658141865866813434852856073646587114241351469/1808720463846731790580828151700837678897066339062934124278145808633245974555953512998085986761283020664459693961691644238285193379324506471429120*y^10 - 2681428746116195723541248414294582120528377807768884316888461568758242551908353263831106519017335315799850756682233284673802940049594604835395577/120581364256448786038721876780055845259804422604195608285209720575549731637063567533205732450752201377630646264112776282552346225288300431428608*y^9 + 1358094913843863167541263381122218644881399658021864438519418813005819378207348052252445713353211250925709020027472779395040282203558623617545987/150726705320560982548402345975069806574755528255244510356512150719437164546329459416507165563440251722038307830140970353190432781610375539285760*y^8 - 5456867884354869757544721784220342166153132236754396842158387330484071853644948756787280015262946051493693461605910160273313394860795312140216991/602906821282243930193609383900279226299022113020978041426048602877748658185317837666028662253761006888153231320563881412761731126441502157143040*y^7 + 15037248059793621149368580860005855097189205480503657064486862141997511669983438425188150637007234599222434215987680399725456749418638813092251587/226090057980841473822603518962604709862133292382866765534768226079155746819494189124760748345160377583057461745211455529785649172415563308928640*y^6 + 72154052498798294840201857871797976128610373732372943840074394950996978086999931557310692237640613111645454985187073761176958937335987526736323/785034923544588450772928885286821909243518376329398491440167451663735232012132601127641487309584644385616186615317553922866837404220705933780*y^5 + 42480676942548602203322897781752064944970418185070802887135063309754551919801213465596825258908357523508365043054339899002030082366099088744488939/602906821282243930193609383900279226299022113020978041426048602877748658185317837666028662253761006888153231320563881412761731126441502157143040*y^4 + 54174169028852827655241868268187292623860882577010306968878722243308949920371182326203278460020860328241493652866028797224601641433021849546040549/1808720463846731790580828151700837678897066339062934124278145808633245974555953512998085986761283020664459693961691644238285193379324506471429120*y^3 + 16115766230347420842829338404936718550289182661612793110976972931058285456986477677227207817220104642249989514908067304394561616532146980793571403/1808720463846731790580828151700837678897066339062934124278145808633245974555953512998085986761283020664459693961691644238285193379324506471429120*y^2 + 548638359520744330580974185883453281378328592537785311691431513860153478125073380783823309304143205766585177707405385673649222541364539739637483/361744092769346358116165630340167535779413267812586824855629161726649194911190702599617197352256604132891938792338328847657038675864901294285824*y + 254828034362505528161486327371519030662649311457748963050146824114458131904738694379478917589762855265078257966860299492815955903851954350107731/1808720463846731790580828151700837678897066339062934124278145808633245974555953512998085986761283020664459693961691644238285193379324506471429120