# Manifold: Census Knot K8_160 # Number of Tetrahedra: 8 # Number Field x^16 - 14*x^15 + 88*x^14 - 341*x^13 + 919*x^12 - 1805*x^11 + 2618*x^10 - 2782*x^9 + 2084*x^8 - 977*x^7 + 142*x^6 + 159*x^5 - 147*x^4 + 94*x^3 - 50*x^2 + 11*x + 1 # Approximate Field Generator 0.964498836179297 + 0.915924274057564*I # Shape Parameters 23680683400/71430728693*y^15 - 313116516507/71430728693*y^14 + 1845701381960/71430728693*y^13 - 6710867919413/71430728693*y^12 + 16975096371461/71430728693*y^11 - 31171446736193/71430728693*y^10 + 42044497013289/71430728693*y^9 - 41401345587671/71430728693*y^8 + 28728394835852/71430728693*y^7 - 188047547209/1066130279*y^6 + 1832057322753/71430728693*y^5 + 1818931983678/71430728693*y^4 - 6193725883/225333529*y^3 + 1531564802302/71430728693*y^2 - 599142965590/71430728693*y + 219355219623/71430728693 3569761582884/26279045247071*y^15 - 47276442220700/26279045247071*y^14 + 279777981270608/26279045247071*y^13 - 1022943953243411/26279045247071*y^12 + 2601842889821132/26279045247071*y^11 - 4799941388301117/26279045247071*y^10 + 6485494770691072/26279045247071*y^9 - 6339612527573822/26279045247071*y^8 + 4260186581687726/26279045247071*y^7 - 1664025423013622/26279045247071*y^6 + 40438555194857/26279045247071*y^5 + 358245075591030/26279045247071*y^4 - 758570032274/82899196363*y^3 + 143492339190082/26279045247071*y^2 - 51219054202784/26279045247071*y + 18601595644118/26279045247071 55800316851/71430728693*y^15 - 738311542563/71430728693*y^14 + 4354371979630/71430728693*y^13 - 15824694925291/71430728693*y^12 + 39918400851298/71430728693*y^11 - 72802828745311/71430728693*y^10 + 96759261520613/71430728693*y^9 - 92312959158691/71430728693*y^8 + 59652849589129/71430728693*y^7 - 319985562583/1066130279*y^6 - 865502310034/71430728693*y^5 + 5538432430265/71430728693*y^4 - 12120026300/225333529*y^3 + 2751209930105/71430728693*y^2 - 1157246853788/71430728693*y + 148993231431/71430728693 3365499749697/24357878484313*y^15 - 46980662407473/24357878484313*y^14 + 291477450017170/24357878484313*y^13 - 1102566479359767/24357878484313*y^12 + 2873126889331786/24357878484313*y^11 - 5388080977094498/24357878484313*y^10 + 7310264994901711/24357878484313*y^9 - 7025782957943901/24357878484313*y^8 + 4442427276749360/24357878484313*y^7 - 20727470718170/363550425139*y^6 - 312616131856273/24357878484313*y^5 + 564186769245116/24357878484313*y^4 - 1065287823046/76838733389*y^3 + 241784736206821/24357878484313*y^2 - 98161398667503/24357878484313*y + 9304537072862/24357878484313 -18562752945883/24357878484313*y^15 + 248047700910930/24357878484313*y^14 - 1474470532191526/24357878484313*y^13 + 5379955135483529/24357878484313*y^12 - 13584710808841085/24357878484313*y^11 + 24725934091924757/24357878484313*y^10 - 32628740216099262/24357878484313*y^9 + 30635508050593075/24357878484313*y^8 - 19094889364710107/24357878484313*y^7 + 90852147235546/363550425139*y^6 + 1075847170191791/24357878484313*y^5 - 2218524653933065/24357878484313*y^4 + 4332713568077/76838733389*y^3 - 923933491006070/24357878484313*y^2 + 337869133600707/24357878484313*y + 24828500825511/24357878484313 -12709837298/60742839113*y^15 + 168680439858/60742839113*y^14 - 994734562332/60742839113*y^13 + 3598456833369/60742839113*y^12 - 8996566043250/60742839113*y^11 + 16165376771506/60742839113*y^10 - 20936420872211/60742839113*y^9 + 19050217740943/60742839113*y^8 - 11095459254367/60742839113*y^7 + 39738326208/906609539*y^6 + 1529576160163/60742839113*y^5 - 1735570385783/60742839113*y^4 + 2806840397/191617789*y^3 - 501952888577/60742839113*y^2 + 121786406261/60742839113*y + 93793055720/60742839113 -12709837298/60742839113*y^15 + 168680439858/60742839113*y^14 - 994734562332/60742839113*y^13 + 3598456833369/60742839113*y^12 - 8996566043250/60742839113*y^11 + 16165376771506/60742839113*y^10 - 20936420872211/60742839113*y^9 + 19050217740943/60742839113*y^8 - 11095459254367/60742839113*y^7 + 39738326208/906609539*y^6 + 1529576160163/60742839113*y^5 - 1735570385783/60742839113*y^4 + 2806840397/191617789*y^3 - 501952888577/60742839113*y^2 + 121786406261/60742839113*y + 93793055720/60742839113 y^15 - 13*y^14 + 75*y^13 - 266*y^12 + 653*y^11 - 1152*y^10 + 1466*y^9 - 1316*y^8 + 768*y^7 - 209*y^6 - 67*y^5 + 92*y^4 - 55*y^3 + 39*y^2 - 11*y # A Gluing Matrix {{2,0,0,-2,-4,2,4,1},{1,-1,0,-2,-2,0,2,0},{0,0,0,-1,0,-1,1,0},{1,-2,-1,-3,-4,0,4,0},{1,-2,0,-4,-4,1,5,0},{1,-2,-1,-4,-5,1,5,1},{0,0,1,0,-1,1,1,1},{1,-2,0,-4,-6,2,6,1}} # B Gluing Matrix {{2,0,0,0,0,0,0,5},{0,1,0,0,0,0,0,2},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,4},{0,0,0,0,1,0,0,6},{0,0,0,0,0,1,0,5},{0,0,0,0,0,0,1,1},{0,0,0,0,0,0,0,7}} # nu Gluing Vector {3, 1, 0, 1, 2, 2, 2, 3} # f Combinatorial flattening {-38, -23, 17, -22, -16, -8, -30, 7} # f' Combinatorial flattening {50, 0, 0, 0, 0, -6, 0, 0} # 1 Loop Invariant 243416921268/71430728693*y^15 - 3134581715723/71430728693*y^14 + 18010006504998/71430728693*y^13 - 64133268724809/71430728693*y^12 + 159027216613143/71430728693*y^11 - 285077640830306/71430728693*y^10 + 372238623523491/71430728693*y^9 - 347757666578422/71430728693*y^8 + 217657238887357/71430728693*y^7 - 1109655741207/1066130279*y^6 - 3595644014453/71430728693*y^5 + 16627041056478/71430728693*y^4 - 34895246748/225333529*y^3 + 10145265290548/71430728693*y^2 - 5205582925436/71430728693*y + 576169733378/71430728693 # 2 Loop Invariant 74636193551428445783398615489314012999288507303971/51608430250295074201717987776715671545931345028464*y^15 - 1001802103453670166628754543946094752795058521230497/51608430250295074201717987776715671545931345028464*y^14 + 249537641926710002580820073208456955964238072532763/2150351260428961425071582824029819647747139376186*y^13 - 21994965687477783041884390791090038396537095484990369/51608430250295074201717987776715671545931345028464*y^12 + 13989791386009676855646105855699847925993365273368359/12902107562573768550429496944178917886482836257116*y^11 - 34274468576168254331312682504807888562213430733254709/17202810083431691400572662592238557181977115009488*y^10 + 137452099502665410859954953043773795556356480451349555/51608430250295074201717987776715671545931345028464*y^9 - 32887187659943452220432301182226777733610843457326527/12902107562573768550429496944178917886482836257116*y^8 + 28278576133980689604717341630470508369554049742761859/17202810083431691400572662592238557181977115009488*y^7 - 74204701794582863753194392789236701603902943622937/128379179727102174631139273076407143149082947832*y^6 - 722832262628056165861163696970185653804855614635781/17202810083431691400572662592238557181977115009488*y^5 + 8658307353910301596883784905584110092883781455509459/51608430250295074201717987776715671545931345028464*y^4 - 9214792733208740644701416692496190893248516033495/81401309543052167510596195231412731145002121496*y^3 + 677539685715450158737462766846044277885922655931619/8601405041715845700286331296119278590988557504744*y^2 - 830986287557621682816512090729500396734321695723045/25804215125147537100858993888357835772965672514232*y + 3917853456524605093007349567258889124714383353825255/17202810083431691400572662592238557181977115009488 # 3 Loop Invariant 2358118517201693109190273190819676183377974441456609667343211707564265/266966367304019109549538925432290972519035763875779602653549290781248*y^15 - 16084373936040248333115156173028408065589688401655475790888103189811595/133483183652009554774769462716145486259517881937889801326774645390624*y^14 + 196001129216631162888179838313344095494863617290799639074628130135831735/266966367304019109549538925432290972519035763875779602653549290781248*y^13 - 367054855764090575399324221298034665349690609048419468203213221322788019/133483183652009554774769462716145486259517881937889801326774645390624*y^12 + 476461014535533167070752669048964958592080971341427834766308444761634925/66741591826004777387384731358072743129758940968944900663387322695312*y^11 - 447771792414805936892705023700624151195869910697164548166734809335957421/33370795913002388693692365679036371564879470484472450331693661347656*y^10 + 4918194500493656481263505787418031879584425557772292936373881288838949029/266966367304019109549538925432290972519035763875779602653549290781248*y^9 - 2431635579122424830493259743973631463407735401324371121960398607632226549/133483183652009554774769462716145486259517881937889801326774645390624*y^8 + 3281362511351065011621186481599295474255539307098085738681043259854757849/266966367304019109549538925432290972519035763875779602653549290781248*y^7 - 9401944725470879010582761823017056519538685588925743079888458967168967/1992286323164321713056260637554410242679371372207310467563800677472*y^6 - 7542313056319215111427073548481529846198380099604966932178673500844579/266966367304019109549538925432290972519035763875779602653549290781248*y^5 + 19855235876731245568996569524959467072610218697457284152984064333473813/16685397956501194346846182839518185782439735242236225165846830673828*y^4 - 64541950956065014949930450977135575370990256769111479294615314817877/76560472412967912116300236717032111419281836500080184299842067904*y^3 + 150450386913379394487677384381190361194899081338510298856330050171203525/266966367304019109549538925432290972519035763875779602653549290781248*y^2 - 1116397308458796545979623079147431615948713476444430883066903166541649/4171349489125298586711545709879546445609933810559056291461707668457*y + 972518159574696251357531836842845666999530011409507633704098874076925/66741591826004777387384731358072743129758940968944900663387322695312 # 4 Loop Invariant -4757446925775211759995995556717112692237630209911209801192402173559935488063925080735290504496914832138999217/29224573738826462795827566246979342911771709577241720640036596647223682946313159841716173176058716708797440*y^15 + 25204308683622948492187764652567875544940867912738301945350562153395487215762838543401801592166660547375458783/11955507438610825689202186191946094827542972099780703898196789537500597568946292662520252662933111380871680*y^14 - 3168320594246337602089328580740478101996542860077295282993807133757514465819567132157349256474524970753934309267/263021163649438165162448096222814086205945386195175485760329369825013146516818438575445558584528450379176960*y^13 + 306985061094947605500469337255681894320398238105076627299368883387077141163707547467598846966001557537758258661/7306143434706615698956891561744835727942927394310430160009149161805920736578289960429043294014679177199360*y^12 - 8827993288176735173995709014986812565046027345429698590399791281634579186473275300967855386306815333938803177869/87673721216479388387482698740938028735315128731725161920109789941671048838939479525148519528176150126392320*y^11 + 15022679459083027202877949462006414551630180198414902421558568104331211965406796409423582748190605948612897864923/87673721216479388387482698740938028735315128731725161920109789941671048838939479525148519528176150126392320*y^10 - 49666464447631300314038542601778828062166649317253454591745311652763953976863044286421178272205910176508087119/241525402800218700791963357413052420758443880803650583801955344191931264019117023485257629554204270320640*y^9 + 43700328332837536881722625605213749134397014222827605551373497120616585682172128770022469830457082145090980981807/263021163649438165162448096222814086205945386195175485760329369825013146516818438575445558584528450379176960*y^8 - 4975275693184153419408443160426279482425574827401601925251239973796630698526370636991047306054505092992429646817/65755290912359541290612024055703521551486346548793871440082342456253286629204609643861389646132112594794240*y^7 + 607221169114713494638098247098692749611730044396165813957979454711667201207326936965353261887756832397441657/1962844504846553471361552956886672285118995419366981237017383356903083182961331631160041481974092913277440*y^6 + 6130030860005553308000801142398302877936554433446168764780568941758353308958747038296270287758471299017463863201/263021163649438165162448096222814086205945386195175485760329369825013146516818438575445558584528450379176960*y^5 - 748662231948050713332408727506166102535298511599906826621053825472577721761646279985803530952522500886515993879/52604232729887633032489619244562817241189077239035097152065873965002629303363687715089111716905690075835392*y^4 + 1125974065128955089600928958844436631723719108821649468544171766366073872751120230406071324691046083027586053/207429939786623158645463798282976408679767654728056376782594140240546645517995614018490188158145465598720*y^3 - 1138546101066047646835824480849058145971996152927496082215841114986307920204083493821133630162672166239029880193/263021163649438165162448096222814086205945386195175485760329369825013146516818438575445558584528450379176960*y^2 + 2582178075873355303285343328837238143477650883754129692837693204438936275952004875398734612789771034130051179/11955507438610825689202186191946094827542972099780703898196789537500597568946292662520252662933111380871680*y + 69977588598042383148201106604764882111109618746041329784291422076677385252378403576481848328890203909873734563/87673721216479388387482698740938028735315128731725161920109789941671048838939479525148519528176150126392320