# Manifold: Census Knot K8_137 # Number of Tetrahedra: 8 # Number Field x^12 - x^11 - 12*x^10 + 12*x^9 + 53*x^8 - 51*x^7 - 109*x^6 + 94*x^5 + 116*x^4 - 78*x^3 - 64*x^2 + 24*x + 16 # Approximate Field Generator 0.978736821994910 - 0.222090111140781*I # Shape Parameters 3/32*y^11 - 5/32*y^10 - 17/16*y^9 + 15/8*y^8 + 135/32*y^7 - 259/32*y^6 - 225/32*y^5 + 125/8*y^4 + 5*y^3 - 233/16*y^2 - 9/8*y + 25/4 13/148*y^11 - 1/148*y^10 - 25/37*y^9 - 4/37*y^8 + 105/148*y^7 + 265/148*y^6 + 615/148*y^5 - 477/74*y^4 - 290/37*y^3 + 449/74*y^2 + 133/37*y - 7/37 31/592*y^11 - 139/592*y^10 - 71/148*y^9 + 203/74*y^8 + 683/592*y^7 - 6825/592*y^6 + 237/592*y^5 + 6365/296*y^4 - 249/74*y^3 - 5373/296*y^2 + 197/74*y + 210/37 1/4*y^9 - 1/4*y^8 - 5/2*y^7 + 5/2*y^6 + 33/4*y^5 - 31/4*y^4 - 39/4*y^3 + 8*y^2 + 7/2*y - 3/2 -291/488*y^11 - 15/488*y^10 + 1679/244*y^9 + 3/61*y^8 - 13891/488*y^7 + 239/488*y^6 + 25005/488*y^5 - 99/122*y^4 - 5029/122*y^3 - 333/244*y^2 + 1485/122*y + 148/61 63/488*y^11 - 159/488*y^10 - 86/61*y^9 + 227/61*y^8 + 2547/488*y^7 - 7373/488*y^6 - 3591/488*y^5 + 6551/244*y^4 + 168/61*y^3 - 5433/244*y^2 + 93/61*y + 422/61 3/8*y^11 - 3/8*y^10 - 4*y^9 + 9/2*y^8 + 115/8*y^7 - 153/8*y^6 - 155/8*y^5 + 141/4*y^4 + 15/2*y^3 - 115/4*y^2 + 2*y + 9 -1/4*y^10 + 1/4*y^9 + 5/2*y^8 - 5/2*y^7 - 33/4*y^6 + 31/4*y^5 + 43/4*y^4 - 8*y^3 - 17/2*y^2 + 7/2*y + 4 # A Gluing Matrix {{3,-4,-2,-4,-2,-2,4,0},{1,-1,-1,0,0,0,1,-1},{2,-5,-1,-3,-1,-1,4,-1},{1,-2,-1,-1,-1,-1,2,-1},{2,-4,-1,-3,-1,-2,3,-1},{2,-4,-1,-3,-2,-1,4,-1},{2,-4,-1,-3,-2,-1,4,0},{3,-6,-2,-4,-2,-2,5,-1}} # B Gluing Matrix {{2,0,0,0,0,0,0,6},{0,1,0,0,0,0,0,1},{0,0,1,0,0,0,0,5},{0,0,0,1,0,0,0,3},{0,0,0,0,1,0,0,5},{0,0,0,0,0,1,0,5},{0,0,0,0,0,0,1,5},{0,0,0,0,0,0,0,7}} # nu Gluing Vector {0, 0, 0, 0, 0, 0, 0, -1} # f Combinatorial flattening {0, 2, 1, 0, 2, -1, 3, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -35/16*y^11 + 115/16*y^10 + 18*y^9 - 147/2*y^8 - 615/16*y^7 + 4169/16*y^6 - 109/16*y^5 - 3099/8*y^4 + 60*y^3 + 2045/8*y^2 - 24*y - 61 # 2 Loop Invariant 10721218726624859074610569813/363901717409238565315255526448*y^11 - 10020647259302916088425785855/121300572469746188438418508816*y^10 - 14040443482854444753799502463/60650286234873094219209254408*y^9 + 174068678530163027616782926241/181950858704619282657627763224*y^8 + 99699310425937280443315088185/363901717409238565315255526448*y^7 - 1406035598665484367742899314443/363901717409238565315255526448*y^6 + 514400138768529714655299055109/363901717409238565315255526448*y^5 + 801720032052410412576823081841/121300572469746188438418508816*y^4 - 575012736844678801816489540409/181950858704619282657627763224*y^3 - 78377505769564245100271907217/15162571558718273554802313602*y^2 + 103849905775324543700350660783/60650286234873094219209254408*y + 40141953602488023636575699104/22743857338077410332203470403 # 3 Loop Invariant 1250639937818187994768560698423952937223833/42246844456673890943683751132552983652812864*y^11 - 423553736786058758653961741401992345819861/21123422228336945471841875566276491826406432*y^10 - 1785638997525899887549198405291393426926509/5280855557084236367960468891569122956601608*y^9 + 582221541293472877204694452584998007698175/2640427778542118183980234445784561478300804*y^8 + 57309918647705436049340936653315172184798763/42246844456673890943683751132552983652812864*y^7 - 2176632334136314797552464222810602887139705/2640427778542118183980234445784561478300804*y^6 - 97416466726596486341848462474213613818959119/42246844456673890943683751132552983652812864*y^5 + 52633411861901591158888183245963277703334585/42246844456673890943683751132552983652812864*y^4 + 74469322030924744934079289944746958883363779/42246844456673890943683751132552983652812864*y^3 - 8027040746498848408510086190141101170661217/10561711114168472735920937783138245913203216*y^2 - 5511430197482876500212734372818906526978673/10561711114168472735920937783138245913203216*y + 627443785888807189469580862426958844005107/5280855557084236367960468891569122956601608 # 4 Loop Invariant -1924663017933775351132462933561520703661885760357414008969571587805848787/115302744396784492785174347511388931164066510421621173264656131222599703040*y^11 - 796320721990466536795341641491031465480477340628020996760973464580050961/38434248132261497595058115837129643721355503473873724421552043740866567680*y^10 + 40329183074855817187388391357174557539143908725190360574026967632401527671/230605488793568985570348695022777862328133020843242346529312262445199406080*y^9 + 15819435129082989713568389383467577565313828914920205514171956222307978403/76868496264522995190116231674259287442711006947747448843104087481733135360*y^8 - 23948036403659029790257407576620550439642588764439358027048743106543216149/38434248132261497595058115837129643721355503473873724421552043740866567680*y^7 - 157449142697886423939646941393650515599551108488748325918321888649298011879/230605488793568985570348695022777862328133020843242346529312262445199406080*y^6 + 9859010573518003145478542951649374564436521619861924719365890038394012065/11530274439678449278517434751138893116406651042162117326465613122259970304*y^5 + 30794873181192153114220804371139276868138817122384579907815354985968471243/38434248132261497595058115837129643721355503473873724421552043740866567680*y^4 - 18480527585929374587670652210157829820254063948559865801625150499149958099/38434248132261497595058115837129643721355503473873724421552043740866567680*y^3 - 3185606507244894483407426490880381859519101023965140740464969254997901997/9608562033065374398764528959282410930338875868468431105388010935216641920*y^2 + 524657148898889843057998136060740144920203436783041514028888256774728073/9608562033065374398764528959282410930338875868468431105388010935216641920*y + 3731047291648686841121303315216564634414636179043406711892097758206901/960856203306537439876452895928241093033887586846843110538801093521664192