# Manifold: Census Knot K8_132 # Number of Tetrahedra: 8 # Number Field x^14 - 6*x^13 - 31*x^12 + 103*x^11 + 286*x^10 - 345*x^9 - 1044*x^8 - 1662*x^7 - 4209*x^6 - 7818*x^5 - 7367*x^4 - 1906*x^3 + 2045*x^2 + 1633*x + 341 # Approximate Field Generator 0.585764953835732 - 1.50494812099591*I # Shape Parameters 488952707503763632232/1283721048841436174171*y^13 - 3311311712203400826922/1283721048841436174171*y^12 - 12595929463304220120798/1283721048841436174171*y^11 + 60056879776334091494243/1283721048841436174171*y^10 + 93364812550244959506571/1283721048841436174171*y^9 - 240187200157695738786206/1283721048841436174171*y^8 - 324460940800961757465851/1283721048841436174171*y^7 - 564629139113526643590051/1283721048841436174171*y^6 - 1623530294233797244623801/1283721048841436174171*y^5 - 2572640727109760516050132/1283721048841436174171*y^4 - 1627909842600090271947408/1283721048841436174171*y^3 + 308926810658568572359801/1283721048841436174171*y^2 + 756791362197315047154611/1283721048841436174171*y + 221943565028372033482383/1283721048841436174171 -1810665250756800705183214/679088434837119736136459*y^13 + 12323700438281787716316833/679088434837119736136459*y^12 + 46206081459545831814074588/679088434837119736136459*y^11 - 223826425554892816507850951/679088434837119736136459*y^10 - 337626943113792304838597145/679088434837119736136459*y^9 + 898292393076122833642845743/679088434837119736136459*y^8 + 1167223431327258537792486094/679088434837119736136459*y^7 + 2062551254380500386283048561/679088434837119736136459*y^6 + 5955194510883864479942866897/679088434837119736136459*y^5 + 9344605912749017473301152116/679088434837119736136459*y^4 + 5777305654005389879462230595/679088434837119736136459*y^3 - 1243938901109809957529645419/679088434837119736136459*y^2 - 2712479541211708760322233538/679088434837119736136459*y - 757897643729443511201299711/679088434837119736136459 -1/23*y^13 + 7/23*y^12 + 24/23*y^11 - 127/23*y^10 - 159/23*y^9 + 504/23*y^8 + 540/23*y^7 + 1122/23*y^6 + 3087/23*y^5 + 4731/23*y^4 + 2636/23*y^3 - 730/23*y^2 - 1315/23*y - 318/23 -1/23*y^13 + 7/23*y^12 + 24/23*y^11 - 127/23*y^10 - 159/23*y^9 + 504/23*y^8 + 540/23*y^7 + 1122/23*y^6 + 3087/23*y^5 + 4731/23*y^4 + 2636/23*y^3 - 730/23*y^2 - 1315/23*y - 318/23 104728101716108027228263/193841878375056862299821*y^13 - 756555573053677078747034/193841878375056862299821*y^12 - 2343817938344514530392061/193841878375056862299821*y^11 + 13829994315174011943715661/193841878375056862299821*y^10 + 13499503860242533366696286/193841878375056862299821*y^9 - 55850135553844244128849177/193841878375056862299821*y^8 - 43140579950665783513880091/193841878375056862299821*y^7 - 108300700189192436530787913/193841878375056862299821*y^6 - 302008932745797608863852850/193841878375056862299821*y^5 - 426620132074571566103882019/193841878375056862299821*y^4 - 188176900994634777292487728/193841878375056862299821*y^3 + 109645571599922653302510344/193841878375056862299821*y^2 + 101290831415106059586765853/193841878375056862299821*y + 17105439185802565330652513/193841878375056862299821 -321159296748109401161849/193841878375056862299821*y^13 + 2160115972043411230820564/193841878375056862299821*y^12 + 8387495918923162117909861/193841878375056862299821*y^11 - 39167294544713246772981345/193841878375056862299821*y^10 - 63410910139430623975198542/193841878375056862299821*y^9 + 156811099939438435267169322/193841878375056862299821*y^8 + 221406896714290041244787701/193841878375056862299821*y^7 + 373119831283757062310810700/193841878375056862299821*y^6 + 1081002137266687935555965055/193841878375056862299821*y^5 + 1726300880358361710355640765/193841878375056862299821*y^4 + 1113477089088288807267737154/193841878375056862299821*y^3 - 195114850329308855641200427/193841878375056862299821*y^2 - 514149467461037413744621802/193841878375056862299821*y - 150870129894285292219922447/193841878375056862299821 -321159296748109401161849/193841878375056862299821*y^13 + 2160115972043411230820564/193841878375056862299821*y^12 + 8387495918923162117909861/193841878375056862299821*y^11 - 39167294544713246772981345/193841878375056862299821*y^10 - 63410910139430623975198542/193841878375056862299821*y^9 + 156811099939438435267169322/193841878375056862299821*y^8 + 221406896714290041244787701/193841878375056862299821*y^7 + 373119831283757062310810700/193841878375056862299821*y^6 + 1081002137266687935555965055/193841878375056862299821*y^5 + 1726300880358361710355640765/193841878375056862299821*y^4 + 1113477089088288807267737154/193841878375056862299821*y^3 - 195114850329308855641200427/193841878375056862299821*y^2 - 514149467461037413744621802/193841878375056862299821*y - 150870129894285292219922447/193841878375056862299821 425781723463255265634595/193841878375056862299821*y^13 - 2876119415153849493540012/193841878375056862299821*y^12 - 11027901456798414755900110/193841878375056862299821*y^11 + 52179392717220166921019678/193841878375056862299821*y^10 + 82383467796292076609681579/193841878375056862299821*y^9 - 209060382754660385022155895/193841878375056862299821*y^8 - 286738623926062694862331726/193841878375056862299821*y^7 - 491338896221365423769160705/193841878375056862299821*y^6 - 1421009454772181340764833892/193841878375056862299821*y^5 - 2255809253894780709274142044/193841878375056862299821*y^4 - 1433486679655464437940175039/193841878375056862299821*y^3 + 271943425664478798705729179/193841878375056862299821*y^2 + 667968655180970670674481597/193841878375056862299821*y + 193381716756903767352870341/193841878375056862299821 # A Gluing Matrix {{2,0,0,2,-2,0,2,-1},{1,-1,-2,4,-4,-1,5,-3},{1,-2,0,4,-5,0,5,-3},{1,-2,-2,6,-5,-1,6,-3},{0,0,-1,1,-1,-1,1,-1},{1,-2,-1,5,-6,0,6,-4},{1,-2,-2,6,-6,-1,7,-4},{0,0,0,0,0,-1,-1,1}} # B Gluing Matrix {{2,0,0,0,0,0,2,0},{0,1,0,0,0,0,6,0},{0,0,1,0,0,0,6,0},{0,0,0,1,0,0,6,0},{0,0,0,0,1,0,2,0},{0,0,0,0,0,1,7,0},{0,0,0,0,0,0,8,0},{0,0,0,0,0,0,0,2}} # nu Gluing Vector {2, 3, 4, 4, 1, 4, 4, 0} # f Combinatorial flattening {4, -7, 1, -1, 3, -3, -1, -4} # f' Combinatorial flattening {0, 0, -2, 0, 0, 0, 0, 0} # 1 Loop Invariant -869732098103533029113949/193841878375056862299821*y^13 + 5946492144276420228912849/193841878375056862299821*y^12 + 22010348109714516841803421/193841878375056862299821*y^11 - 108202563978918556922839051/193841878375056862299821*y^10 - 158760902780513327647259714/193841878375056862299821*y^9 + 436555161923673691971729935/193841878375056862299821*y^8 + 545988836919895904595784989/193841878375056862299821*y^7 + 973334026046115188893571538/193841878375056862299821*y^6 + 2834991069571325411943660370/193841878375056862299821*y^5 + 4401711329447343061059391285/193841878375056862299821*y^4 + 2646379822863915399793367346/193841878375056862299821*y^3 - 660364706876153185201485334/193841878375056862299821*y^2 - 1263040173943763660104385201/193841878375056862299821*y - 325597614095590467257892780/193841878375056862299821 # 2 Loop Invariant 10115887022978750823329983663040520053053545834196415911/56297576033157574418820512964344925156108777899139099612*y^13 - 545602627022329123993330923501062907702065690746191901373/450380608265260595350564103714759401248870223193112796896*y^12 - 2103796768202021322149475220565451370387306984925229556717/450380608265260595350564103714759401248870223193112796896*y^11 + 4947562747551049667877632597383061489405873828597756783443/225190304132630297675282051857379700624435111596556398448*y^10 + 5266866321421877498941254719762878757930976858301734813701/150126869421753531783521367904919800416290074397704265632*y^9 - 1650867209967099478411342583443682349463097121203134155905/18765858677719191472940170988114975052036259299713033204*y^8 - 6884611673028421786853296435375362251032662211682376981349/56297576033157574418820512964344925156108777899139099612*y^7 - 7810514151522819738717328858309360224091587904324409596429/37531717355438382945880341976229950104072518599426066408*y^6 - 33891537763362226484167699131080623234925459130733403200415/56297576033157574418820512964344925156108777899139099612*y^5 - 71947883869717789287275971192230750006198536553241418686395/75063434710876765891760683952459900208145037198852132816*y^4 - 276371827744810479270816559062987658181505712396720659443765/450380608265260595350564103714759401248870223193112796896*y^3 + 8369349619982536899662094082672492377323715865505946720551/75063434710876765891760683952459900208145037198852132816*y^2 + 31995287341737210706105620531339407205700823094609392469065/112595152066315148837641025928689850312217555798278199224*y + 12418362188079450875158253303536625812466596590654792209305/150126869421753531783521367904919800416290074397704265632 # 3 Loop Invariant 82511163398616598674862951211695713475464226447912151176649528608458745/2954260855200002088160000660888718884111489470744874727742660958303224448*y^13 - 1105321029595443389807488472264503490260463664227625957107135597982381105/5908521710400004176320001321777437768222978941489749455485321916606448896*y^12 - 4344225788184947608955107403747742646728851254131058191066499492097115353/5908521710400004176320001321777437768222978941489749455485321916606448896*y^11 + 20029943928713704270739226012874317179738911490096719702249211011269264477/5908521710400004176320001321777437768222978941489749455485321916606448896*y^10 + 33217424900597264210928187698707500425019546861715693936848169906121499639/5908521710400004176320001321777437768222978941489749455485321916606448896*y^9 - 80126927949872908688184397393717358700448437787588283997618483119542354239/5908521710400004176320001321777437768222978941489749455485321916606448896*y^8 - 116371898850962305040630339162600297558284761559600489222538630044132202423/5908521710400004176320001321777437768222978941489749455485321916606448896*y^7 - 192985441973376804500819265004353461903332197064637754560604051201420503291/5908521710400004176320001321777437768222978941489749455485321916606448896*y^6 - 559854193644365428702299588914459262929530532668241500328151243615776382881/5908521710400004176320001321777437768222978941489749455485321916606448896*y^5 - 28103076465513361896500103717835138767570629707934995712446072485073073311/184641303450000130510000041305544930256968091921554670483916309893951528*y^4 - 293888868664675505528428948315532530161106125531624143341939505265249797553/2954260855200002088160000660888718884111489470744874727742660958303224448*y^3 + 96040839149015785170897768751151600549756981931475557495166278124529861273/5908521710400004176320001321777437768222978941489749455485321916606448896*y^2 + 33808982667921748798341709346286650149754172484163063780964473412772466419/738565213800000522040000165222179721027872367686218681935665239575806112*y + 80620005260517584860283884961206227636625579344731945997420524915005450117/5908521710400004176320001321777437768222978941489749455485321916606448896 # 4 Loop Invariant -15935044969670849481594321435409309848154389330186759769695040886384072748988680209635443774995899592130389/205921725288610857835516878833328107019132842973827999770112761809383548054783509169020791243198686502461440*y^13 + 5971432174199257603621978234497609636707689351263259272226615760460786326060685207106983624409633733010169/11440095849367269879750937712962672612174046831879333320561820100521308225265750509390043957955482583470080*y^12 + 82775735043759067902789758501946563572929464830347868229610633355482267781545837305206834826202598210062755/41184345057722171567103375766665621403826568594765599954022552361876709610956701833804158248639737300492288*y^11 - 194973215011266930827225373389988664079553659401933913915510648026340926241411856191331933231357525683868241/20592172528861085783551687883332810701913284297382799977011276180938354805478350916902079124319868650246144*y^10 - 776045377896948633290065788528734839127497096258818177476836470794142249974993590551025577306926736276753203/51480431322152714458879219708332026754783210743456999942528190452345887013695877292255197810799671625615360*y^9 + 781057222956027901144250591556544231548681464332803331861083895678012039743779709316678685349682599530881909/20592172528861085783551687883332810701913284297382799977011276180938354805478350916902079124319868650246144*y^8 + 360434755018392587701684726523428679282419830733387209097072635211476512205875986546317452970447497378095993/6864057509620361927850562627777603567304428099127599992337092060312784935159450305634026374773289550082048*y^7 + 6142587346505061522622289820762685819521532225652079914786609155187061598336433539567371919264434858678645067/68640575096203619278505626277776035673044280991275999923370920603127849351594503056340263747732895500820480*y^6 + 53343668970125727818810213284829762420291394107239766914151768783827224004440261518750942342002519851424872199/205921725288610857835516878833328107019132842973827999770112761809383548054783509169020791243198686502461440*y^5 + 84836316332893901317166821308707499485917332259855304673799010770078842871884285955447216285602543484216363681/205921725288610857835516878833328107019132842973827999770112761809383548054783509169020791243198686502461440*y^4 + 6021809332374025875461661408621007945951917737932208060563150524339082410309751567475129321996812540333011147/22880191698734539759501875425925345224348093663758666641123640201042616450531501018780087915910965166940160*y^3 - 1245229975722309240838347157276893721311394946138434903419262557790390573943188353549583868516980470665397653/25740215661076357229439609854166013377391605371728499971264095226172943506847938646127598905399835812807680*y^2 - 25106405218676831364656539368489480555981955848112920156538105027486682258667002676204795097072139226254227093/205921725288610857835516878833328107019132842973827999770112761809383548054783509169020791243198686502461440*y - 1821363274650731111992260157554331108072681829353035423173248601226493214782973328333419969081175833619155989/51480431322152714458879219708332026754783210743456999942528190452345887013695877292255197810799671625615360