# Manifold: Census Knot K8_250 # Number of Tetrahedra: 8 # Number Field x^15 - 5*x^14 + 15*x^13 + 35*x^12 - 82*x^11 + 138*x^10 + 1077*x^9 + 1207*x^8 + 1237*x^7 + 8647*x^6 + 27292*x^5 + 44937*x^4 + 45013*x^3 + 28281*x^2 + 10416*x + 1728 # Approximate Field Generator -0.858932484280422 + 0.657682044043761*I # Shape Parameters 1/1728*y^14 - 5/1728*y^13 + 5/576*y^12 + 35/1728*y^11 - 41/864*y^10 + 23/288*y^9 + 359/576*y^8 + 1207/1728*y^7 + 1237/1728*y^6 + 8647/1728*y^5 + 6823/432*y^4 + 4993/192*y^3 + 45013/1728*y^2 + 9427/576*y + 217/36 -179862762385925216585/2211569652327907107456*y^14 + 1076612182781117381077/2211569652327907107456*y^13 - 418477420384255421911/245729961369767456384*y^12 - 2531691438910371634723/2211569652327907107456*y^11 + 8518403349953278829869/1105784826163953553728*y^10 - 2304465309508704961933/122864980684883728192*y^9 - 50751811715634945438767/737189884109302369152*y^8 - 69389301659257069690535/2211569652327907107456*y^7 - 157351465710768283737125/2211569652327907107456*y^6 - 1398394297990687035597047/2211569652327907107456*y^5 - 884582495666480103148697/552892413081976776864*y^4 - 1547007845576004005295995/737189884109302369152*y^3 - 3603339068505795629811605/2211569652327907107456*y^2 - 536960642653012465191827/737189884109302369152*y - 13502357027968969896851/92148735513662796144 -130849165862718559/1919765323201308253*y^14 + 874953817981143361/1919765323201308253*y^13 - 3375761145017266818/1919765323201308253*y^12 + 672740376732456090/1919765323201308253*y^11 + 11370776679358656415/1919765323201308253*y^10 - 38194094542946257402/1919765323201308253*y^9 - 81553628851116668875/1919765323201308253*y^8 - 248338563872796681/1919765323201308253*y^7 - 129675894716439209212/1919765323201308253*y^6 - 922687758502101840884/1919765323201308253*y^5 - 1946081158613827144994/1919765323201308253*y^4 - 2178807358155843758500/1919765323201308253*y^3 - 1424858487076494409673/1919765323201308253*y^2 - 497070021569266980027/1919765323201308253*y - 59710840882936039067/1919765323201308253 -263782471556048096/12042164300080933587*y^14 + 986591270134789537/12042164300080933587*y^13 - 476508893364238663/4014054766693644529*y^12 - 19880674739719589668/12042164300080933587*y^11 + 31396785502653612956/12042164300080933587*y^10 - 3211644328010979020/4014054766693644529*y^9 - 272655439278883802637/8028109533387289058*y^8 - 431611683158670602237/12042164300080933587*y^7 - 288583049329554180679/24084328600161867174*y^6 - 5296654415629755401125/24084328600161867174*y^5 - 18503361545489297554063/24084328600161867174*y^4 - 4885247148278688785542/4014054766693644529*y^3 - 26354239340608429312387/24084328600161867174*y^2 - 2260334972512026678443/4014054766693644529*y - 533129712263540883662/4014054766693644529 861324631814723575016/3046667567920476197511*y^14 - 4931324036918508852982/3046667567920476197511*y^13 + 5495655363445652506657/1015555855973492065837*y^12 + 18252827999671586859262/3046667567920476197511*y^11 - 84114335635982807688668/3046667567920476197511*y^10 + 59972560610282290764908/1015555855973492065837*y^9 + 266020371156633159246652/1015555855973492065837*y^8 + 457811777430054287761436/3046667567920476197511*y^7 + 727743838110390642623180/3046667567920476197511*y^6 + 6921046842076255875027110/3046667567920476197511*y^5 + 18478103804562177931381727/3046667567920476197511*y^4 + 8412202158903610434661716/1015555855973492065837*y^3 + 20332825673840568233926382/3046667567920476197511*y^2 + 3157118451194816437959110/1015555855973492065837*y + 673304230057701200117535/1015555855973492065837 2747801051548255132877/25433051001770931735744*y^14 - 15584816171585247388081/25433051001770931735744*y^13 + 17150595702615933303953/8477683667256977245248*y^12 + 63251582429725851347575/25433051001770931735744*y^11 - 137189992125193474609213/12716525500885465867872*y^10 + 94475268789152991034331/4238841833628488622624*y^9 + 865910589853502153834779/8477683667256977245248*y^8 + 1497197010695158208604827/25433051001770931735744*y^7 + 16582084911197982704377/185642708042123589312*y^6 + 22270029875999282303901611/25433051001770931735744*y^5 + 14947106167674949555578263/6358262750442732933936*y^4 + 27248563596542192094509479/8477683667256977245248*y^3 + 65780162791904770574106977/25433051001770931735744*y^2 + 3394349704941577222045517/2825894555752325748416*y + 33711501821355967650056/132463807300890269457 -263782471556048096/12042164300080933587*y^14 + 986591270134789537/12042164300080933587*y^13 - 476508893364238663/4014054766693644529*y^12 - 19880674739719589668/12042164300080933587*y^11 + 31396785502653612956/12042164300080933587*y^10 - 3211644328010979020/4014054766693644529*y^9 - 272655439278883802637/8028109533387289058*y^8 - 431611683158670602237/12042164300080933587*y^7 - 288583049329554180679/24084328600161867174*y^6 - 5296654415629755401125/24084328600161867174*y^5 - 18503361545489297554063/24084328600161867174*y^4 - 4885247148278688785542/4014054766693644529*y^3 - 26354239340608429312387/24084328600161867174*y^2 - 2260334972512026678443/4014054766693644529*y - 533129712263540883662/4014054766693644529 23296833334153633/2094289443492336276*y^14 - 161145678813436043/2094289443492336276*y^13 + 107576226151488823/349048240582056046*y^12 - 323842331289933499/2094289443492336276*y^11 - 1711083231898569343/2094289443492336276*y^10 + 2312245619107618255/698096481164112092*y^9 + 1045689003814935757/174524120291028023*y^8 - 106894508707845530/523572360873084069*y^7 + 6388485065246222749/523572360873084069*y^6 + 39152660379245463838/523572360873084069*y^5 + 319227544646102972521/2094289443492336276*y^4 + 29803681861421150438/174524120291028023*y^3 + 242353867239147786565/2094289443492336276*y^2 + 7874097909644555335/174524120291028023*y + 1458265157119683549/174524120291028023 # A Gluing Matrix {{4,-4,1,-4,3,0,-2,3},{0,0,1,-2,2,0,-2,2},{4,-5,2,-7,5,2,-5,6},{4,-6,2,-8,6,2,-6,7},{6,-8,2,-11,8,2,-7,9},{4,-8,2,-10,6,4,-6,8},{4,-6,1,-8,5,2,-4,6},{8,-12,3,-16,11,4,-10,13}} # B Gluing Matrix {{1,0,0,0,0,0,0,4},{0,1,0,0,0,0,0,4},{0,0,1,0,0,0,0,9},{0,0,0,1,0,0,0,12},{0,0,0,0,1,0,0,13},{0,0,0,0,0,1,0,12},{0,0,0,0,0,0,1,10},{0,0,0,0,0,0,0,20}} # nu Gluing Vector {4, 4, 8, 10, 11, 10, 8, 16} # f Combinatorial flattening {0, -4, 12, -8, 4, -8, 0, -16} # f' Combinatorial flattening {-20, 0, 0, 2, -5, 10, 0, 0} # 1 Loop Invariant -9503670015161521394/5759295969603924759*y^14 + 59844567798269254540/5759295969603924759*y^13 - 73437234058744033669/1919765323201308253*y^12 - 94818446798692002887/11518591939207849518*y^11 + 1696954774130014898239/11518591939207849518*y^10 - 819969994768772915297/1919765323201308253*y^9 - 4653399736082105848131/3839530646402616506*y^8 - 2358430229609154992909/5759295969603924759*y^7 - 9350254662335359196834/5759295969603924759*y^6 - 140792202785716465746613/11518591939207849518*y^5 - 335006565720958899245167/11518591939207849518*y^4 - 70941795495590148903542/1919765323201308253*y^3 - 162196903567093624672028/5759295969603924759*y^2 - 23989338600739103624690/1919765323201308253*y - 4867139845522735472312/1919765323201308253 # 2 Loop Invariant -1893289399856387444928452163272233435788958186745028949661/58802084385225590452076066665006199202466548129998568607488*y^14 + 5347283713992919560818554641504112158774709323064782694237/27494489968518450143120891239269110207296645371364518427392*y^13 - 1840231245710061923701119228225376826534930837274037983620593/2685295186925301963978140377701949763579305697936601299741952*y^12 - 3332872804477105181909415265869481355962709632745425048237655/8055885560775905891934421133105849290737917093809803899225856*y^11 + 12360207598201999482063940284214281887390797443579162877183001/4027942780387952945967210566552924645368958546904901949612928*y^10 - 10239510364401285480731143271929774713382548361254269104916179/1342647593462650981989070188850974881789652848968300649870976*y^9 - 7983424738318243085776581218382342328216665962113752288012395/298366131880589107108682264189105529286589521992955699971328*y^8 - 88871836266912247679081040160192153638109154178993787942163035/8055885560775905891934421133105849290737917093809803899225856*y^7 - 227638442391338332647804521905474534102687717511029928506061425/8055885560775905891934421133105849290737917093809803899225856*y^6 - 2005903124630222402701397341507971983660904775897323521558712283/8055885560775905891934421133105849290737917093809803899225856*y^5 - 1248239368468873867215540113976871859306299435290744830667690277/2013971390193976472983605283276462322684479273452450974806464*y^4 - 2152718684381601515745489825126607504677097159725864696369170111/2685295186925301963978140377701949763579305697936601299741952*y^3 - 4946803138046893461208972931014966826700817589015647458901346209/8055885560775905891934421133105849290737917093809803899225856*y^2 - 725663001694133976771213487463120587502169341322030805110190039/2685295186925301963978140377701949763579305697936601299741952*y - 4520654585211881739115981120353702638613235064691385587878495/111887299455220915165755849070914573482471070747358387489248 # 3 Loop Invariant 75687562750259117931382216412179899280653867035033633413823166691754899111729621/9527637684240552005005472648878681927440512340567404313567948687704970836438151168*y^14 - 480705089920972312964019196342135884169187363446263262838773101292507814210186609/9527637684240552005005472648878681927440512340567404313567948687704970836438151168*y^13 + 593202492810271960610188940546066543892995273303587544722046758582688378713236769/3175879228080184001668490882959560642480170780189134771189316229234990278812717056*y^12 + 282048910876109221313405784513333946206823147694078047969986278230990166661966695/9527637684240552005005472648878681927440512340567404313567948687704970836438151168*y^11 - 3371063490742772560858792947818010395597357467409562409051342945862473380988333481/4763818842120276002502736324439340963720256170283702156783974343852485418219075584*y^10 + 3277995801579142204761188721702902675935178996242617416553750238259898165278083963/1587939614040092000834245441479780321240085390094567385594658114617495139406358528*y^9 + 6143997005644574972985960713223471717420888959985546147651328326177065684980290241/1058626409360061333889496960986520214160056926729711590396438743078330092937572352*y^8 + 15009265291952961256125719876048739437591619265114700496565634126387537168696054875/9527637684240552005005472648878681927440512340567404313567948687704970836438151168*y^7 + 70910424220364733178152563133857259323699518375627782975616083669193970292236561857/9527637684240552005005472648878681927440512340567404313567948687704970836438151168*y^6 + 559489461411949898458645283165675482297157367191811010835066015115337316838052275691/9527637684240552005005472648878681927440512340567404313567948687704970836438151168*y^5 + 326039769363776823421069846204783171862266441038892028221975923622714070810477621317/2381909421060138001251368162219670481860128085141851078391987171926242709109537792*y^4 + 535111057061780290946156809711471556007305323386092949091438344609396074709081899999/3175879228080184001668490882959560642480170780189134771189316229234990278812717056*y^3 + 1175294777725967712469703757099077296324126050174588472005242250813709127348711170225/9527637684240552005005472648878681927440512340567404313567948687704970836438151168*y^2 + 164137570373263978868535741100561949329930725360890940352503471781595007533187274135/3175879228080184001668490882959560642480170780189134771189316229234990278812717056*y + 424580243948483621366896682920281352256267253682227748208145599733714788974401527/44109433723335888912062373374438342256669038613737982933184947628263753872398848 # 4 Loop Invariant -937290549299253106765187872212171268990277985991500384376056926834856742884471714138757906702971041214377805607127580875197/16658624433842108054758753828762613037453895489157703139105589382459657347014336587770351535911789054869638739980234636656640*y^14 + 19249793035994461180301317315740476450420948848238520167651967945045912170925889292332915917816535514135530707933416609941/56855373494341665715900183715913355076634455594394891259746038847985178658752002006042155412668222030271804573311381012480*y^13 - 2197912819533126059350351155277007450792662406309453452227205114986897232682131451125963880713624056487116315438158931718003/1850958270426900894973194869862512559717099498795300348789509931384406371890481843085594615101309894985515415553359404072960*y^12 - 2560470014158128803204578380326438604853914255096814014625196169974353256097578015151173652328323717367029043934587288140259/3331724886768421610951750765752522607490779097831540627821117876491931469402867317554070307182357810973927747996046927331328*y^11 + 9040467271107300828942432894576307439134038680024852280752919506799593450265367146667842043818097438417797596100427657046677/1665862443384210805475875382876261303745389548915770313910558938245965734701433658777035153591178905486963873998023463665664*y^10 - 89919120382238065302892291514211473350773386301934702504568358230593952083979720780350126085748221216894788919988039462361/6755322154842703996252536021396031239843428827720074265655145734979585298870371690093411004019379178779253341435618263040*y^9 - 87223824502987725025972652449234775212598549335058876150388334278292128369712891904668466165971875697156215333651922740086761/1850958270426900894973194869862512559717099498795300348789509931384406371890481843085594615101309894985515415553359404072960*y^8 - 65387491874912987631844372605492844068223619866149597691140890221906005347326718948816889611732736322173032158793739585318599/3331724886768421610951750765752522607490779097831540627821117876491931469402867317554070307182357810973927747996046927331328*y^7 - 819172767361399218150297241607736200895966290578277041435275756047563641033743866973345135479895039748598931211054658897168537/16658624433842108054758753828762613037453895489157703139105589382459657347014336587770351535911789054869638739980234636656640*y^6 - 7274679853056177959029789784007245301869355456206756855143796500794652494077665965518929077449772769787868192314107746985120627/16658624433842108054758753828762613037453895489157703139105589382459657347014336587770351535911789054869638739980234636656640*y^5 - 4539669383073289875491418014617349685427738003131754303517325983553907153928791342933639500202555612678812056332509627913051777/4164656108460527013689688457190653259363473872289425784776397345614914336753584146942587883977947263717409684995058659164160*y^4 - 7843800368942504158692358442731979697573547067754693083294719173481365720203559326652621732637068558244609425295077786588972439/5552874811280702684919584609587537679151298496385901046368529794153219115671445529256783845303929684956546246660078212218880*y^3 - 18047924781238858747888241483787234868829665106104891011739755287116714213593890657527624048998018534397809801407518135379908009/16658624433842108054758753828762613037453895489157703139105589382459657347014336587770351535911789054869638739980234636656640*y^2 - 176766231872688338685175386943182448451381866986067799402480803799484139465161227039871737129841202830123980892476061898663921/370191654085380178994638973972502511943419899759060069757901986276881274378096368617118923020261978997103083110671880814592*y - 2420336338879155199403357789700427909000405021788987426039258039453947198896719273687413954468401188820977018488313843523523/25707753755929179096849928748090452218293048594379171510965415713672310720701136709522147431962637430354380771574436167680