# Manifold: Census Knot K7_9 # Number of Tetrahedra: 7 # Number Field x^24 + 8*x^23 + 34/3*x^22 - 232/3*x^21 - 971/3*x^20 - 158*x^19 + 1528*x^18 + 3450*x^17 - 646/3*x^16 - 11043*x^15 - 42838/3*x^14 + 7079*x^13 + 35531*x^12 + 26080*x^11 - 25064*x^10 - 55376*x^9 - 20400*x^8 + 104704/3*x^7 + 41728*x^6 + 14080/3*x^5 - 61696/3*x^4 - 40960/3*x^3 + 2048/3*x^2 + 4096*x + 4096/3 # Approximate Field Generator -0.604849645681121 + 0.787579113188346*I # Shape Parameters -1939881/1048576*y^23 - 8795067/524288*y^22 - 20215619/524288*y^21 + 27316385/262144*y^20 + 747100161/1048576*y^19 + 270368811/262144*y^18 - 473181889/262144*y^17 - 4374763293/524288*y^16 - 4292740629/524288*y^15 + 13038289751/1048576*y^14 + 10452583627/262144*y^13 + 29060092845/1048576*y^12 - 41139633541/1048576*y^11 - 47583465837/524288*y^10 - 6011925925/131072*y^9 + 3940309211/65536*y^8 + 3375352775/32768*y^7 + 634714247/16384*y^6 - 176877427/4096*y^5 - 226983781/4096*y^4 - 66744209/4096*y^3 + 23607183/2048*y^2 + 5662663/512*y + 744713/256 -16773/65536*y^23 - 105153/65536*y^22 + 33289/65536*y^21 + 1573447/65536*y^20 + 3224447/65536*y^19 - 5872299/65536*y^18 - 28664169/65536*y^17 - 17488561/65536*y^16 + 43694085/32768*y^15 + 171711255/65536*y^14 - 24571879/65536*y^13 - 53766999/8192*y^12 - 415717771/65536*y^11 + 77627441/16384*y^10 + 56637627/4096*y^9 + 413873823/65536*y^8 - 79428019/8192*y^7 - 54316317/4096*y^6 - 4006763/2048*y^5 + 15044521/2048*y^4 + 2768997/512*y^3 - 42541/256*y^2 - 231729/128*y - 177817/256 -232227/4194304*y^23 - 1057977/2097152*y^22 - 2532231/2097152*y^21 + 2920257/1048576*y^20 + 87122115/4194304*y^19 + 34747181/1048576*y^18 - 1371635/32768*y^17 - 488726663/2097152*y^16 - 564205775/2097152*y^15 + 1065361445/4194304*y^14 + 1104143795/1048576*y^13 + 3817917187/4194304*y^12 - 3073259079/4194304*y^11 - 4698419025/2097152*y^10 - 1516849437/1048576*y^9 + 564469067/524288*y^8 + 310328405/131072*y^7 + 73417471/65536*y^6 - 24947549/32768*y^5 - 9672765/8192*y^4 - 6629043/16384*y^3 + 1649691/8192*y^2 + 884695/4096*y + 117107/2048 -83667/4194304*y^23 - 384459/2097152*y^22 - 935087/2097152*y^21 + 1049423/1048576*y^20 + 32045427/4194304*y^19 + 6482863/524288*y^18 - 8075991/524288*y^17 - 182891615/2097152*y^16 - 212527971/2097152*y^15 + 406287005/4194304*y^14 + 210728107/524288*y^13 + 1454094027/4194304*y^12 - 1209345187/4194304*y^11 - 1828785503/2097152*y^10 - 585729069/1048576*y^9 + 226259133/524288*y^8 + 122671385/131072*y^7 + 28694137/65536*y^6 - 10133301/32768*y^5 - 484167/1024*y^4 - 2627967/16384*y^3 + 671221/8192*y^2 + 357511/4096*y + 47069/2048 y + 1 -3*y^23 - 21*y^22 - 13*y^21 + 245*y^20 + 726*y^19 - 252*y^18 - 4332*y^17 - 6018*y^16 + 6664*y^15 + 26465*y^14 + 16373*y^13 - 37610*y^12 - 68983*y^11 - 9257*y^10 + 84449*y^9 + 81679*y^8 - 20479*y^7 - 84225*y^6 - 40959*y^5 + 26879*y^4 + 34817*y^3 + 6143*y^2 - 8191*y - 4096 -3/16777216*y^23 - 9/8388608*y^22 + 1/8388608*y^21 + 57/4194304*y^20 + 515/16777216*y^19 - 139/4194304*y^18 - 217/1048576*y^17 - 1703/8388608*y^16 + 3729/8388608*y^15 + 18213/16777216*y^14 + 1603/4194304*y^13 - 34061/16777216*y^12 - 38471/16777216*y^11 - 649/8388608*y^10 + 19447/4194304*y^9 + 1319/2097152*y^8 + 1253/524288*y^7 - 2889/262144*y^6 + 1911/131072*y^5 - 983/32768*y^4 + 4173/65536*y^3 - 4093/32768*y^2 + 4091/16384*y + 4095/8192 # A Gluing Matrix {{0,1,1,0,0,0,0},{1,1,0,0,0,0,0},{1,0,1,-2,1,-2,-1},{0,0,-2,4,-1,2,1},{0,0,0,0,1,-1,0},{0,0,-1,2,-1,1,0},{0,0,-1,2,0,0,0}} # B Gluing Matrix {{2,0,0,0,0,0,0},{0,2,0,0,0,0,0},{0,0,2,0,0,0,1},{0,0,0,1,0,0,1},{0,0,0,0,1,0,1},{0,0,0,0,0,1,0},{0,0,0,0,0,0,2}} # nu Gluing Vector {2, 2, 1, 3, 1, 1, 2} # f Combinatorial flattening {4, -2, 4, 3, 3, 2, 0} # f' Combinatorial flattening {0, 0, 0, -2, 0, 0, 0} # 1 Loop Invariant 55065999/4194304*y^23 + 252203073/2097152*y^22 + 582490451/2097152*y^21 - 806221265/1048576*y^20 - 21832236079/4194304*y^19 - 7655620195/1048576*y^18 + 3727019875/262144*y^17 + 129399437427/2097152*y^16 + 115744547699/2097152*y^15 - 432592298409/4194304*y^14 - 309029514501/1048576*y^13 - 723217322207/4194304*y^12 + 1402628080219/4194304*y^11 + 1389627912337/2097152*y^10 + 272032359537/1048576*y^9 - 269354249251/524288*y^8 - 96836471161/131072*y^7 - 13511782295/65536*y^6 + 11869910041/32768*y^5 + 3219929183/8192*y^4 + 1513736487/16384*y^3 - 765851211/8192*y^2 - 325427267/4096*y - 41908267/2048 # 2 Loop Invariant -1757930833566693308014926397124656640655118913968730937770001954848718864431484832858503/249669729521106558375118722528756858447897835011930868449192296297377099997972156932685824*y^23 - 6042843466490257488607177514312282376383646730285118899929227083016987440291244476089253/124834864760553279187559361264378429223948917505965434224596148148688549998986078466342912*y^22 - 2730379490362930728413194097144025005342519048185722183039704012433716733351821093230355/124834864760553279187559361264378429223948917505965434224596148148688549998986078466342912*y^21 + 111852657977977361271503772541522622320391981318488180352434917077747389959793362233266015/187252297140829918781339041896567643835923376258948151336894222223032824998479117699514368*y^20 + 1237514002719801440788708595030249542381771584296327666588204388832446734595955671513820309/749009188563319675125356167586270575343693505035792605347576888892131299993916470798057472*y^19 - 185533769695023173606714797337060768920273039478339491784621350591455057908197745831821237/187252297140829918781339041896567643835923376258948151336894222223032824998479117699514368*y^18 - 168007934082896285547525054817781825957277146774333300626886699976164798574462539737033841/15604358095069159898444920158047303652993614688245679278074518518586068749873259808292864*y^17 - 4872973528588321920427197016150372279675409596697697001687184703595363888264300739695576273/374504594281659837562678083793135287671846752517896302673788444446065649996958235399028736*y^16 + 7722209373212278341887569397483019620084845841226872210031325507071924373507364977538851351/374504594281659837562678083793135287671846752517896302673788444446065649996958235399028736*y^15 + 49685074370531252438134798034451539664234312078973911641115003611773370106154015229132085059/749009188563319675125356167586270575343693505035792605347576888892131299993916470798057472*y^14 + 5457778542365397674629774611253479533462880497399525556623682409607342143474943000585644829/187252297140829918781339041896567643835923376258948151336894222223032824998479117699514368*y^13 - 84101260238797950030338606003127024868158435722807876512327873245044965720292458842182806427/749009188563319675125356167586270575343693505035792605347576888892131299993916470798057472*y^12 - 42971599762020769421690287078024245914588497002115566376911128503646279249274100554542155995/249669729521106558375118722528756858447897835011930868449192296297377099997972156932685824*y^11 + 4175609180639002095107058268570188280649798361793601555377241419682218452649434974805227377/374504594281659837562678083793135287671846752517896302673788444446065649996958235399028736*y^10 + 46736935089631387605800080467576172858614369940931129938026479443093179131617135294001033857/187252297140829918781339041896567643835923376258948151336894222223032824998479117699514368*y^9 + 6197684560252970410187277019190732383616090678519605319060314462935698738405690697967282731/31208716190138319796889840316094607305987229376491358556149037037172137499746519616585728*y^8 - 2347461411902899363630158616312744891935543003024694366887648021832626636441951302014351229/23406537142603739847667380237070955479490422032368518917111777777879103124809889712439296*y^7 - 2901726159790736015463842183324712905682451714872616398385818746415592420840258354040551535/11703268571301869923833690118535477739745211016184259458555888888939551562404944856219648*y^6 - 542971394984551701306101475265747434406732558412310505954107687748841767974354173310843103/5851634285650934961916845059267738869872605508092129729277944444469775781202472428109824*y^5 + 144722325364218586309290437666542872057589324970511973206380922060288938713561930539843527/1462908571412733740479211264816934717468151377023032432319486111117443945300618107027456*y^4 + 100070720786421931305859694560283071507049134117786779265082136124875473009467545889827177/975272380941822493652807509877956478312100918015354954879657407411629296867078738018304*y^3 + 16073427829311337063217516508616790495181840996912563919253584501020547326543260733846725/1462908571412733740479211264816934717468151377023032432319486111117443945300618107027456*y^2 - 6705036084984368896335393647916102905387890401013687333244210868375032350024183775698017/243818095235455623413201877469489119578025229503838738719914351852907324216769684504576*y - 3981177070704309573315384946368633264889497509985552104260785944723454489586453904069015/365727142853183435119802816204233679367037844255758108079871527779360986325154526756864 # 3 Loop Invariant 66931103407648989708439200622869267044385942083118164540838955587940909437033172605781777112270938066415587341715669609538760123/30457123771433957180779797318318451142691050873146705575638748733970331245705013633362954226559683780503931766288734603691889262592*y^23 + 118555339634769222503607692337490700871716402729087827235832069731496539958348748273179286074717045936770277558659198161557784245/7614280942858489295194949329579612785672762718286676393909687183492582811426253408340738556639920945125982941572183650922972315648*y^22 + 164130234891062437181677527543061910704439330013331063318394449713838197972070361010217008997716782147390165301794096275724150987/15228561885716978590389898659159225571345525436573352787819374366985165622852506816681477113279841890251965883144367301845944631296*y^21 - 170548534890567806985383012495872280908755953889525244568547206412169636753823006376368855314712535408368768713581472933892600561/951785117857311161899368666197451598209095339785834549238710897936572851428281676042592319579990118140747867696522956365371539456*y^20 - 16696275869127726020011728969062769892568201665476352033681000500905178397870617717747660885504310698499527962604904873705393901339/30457123771433957180779797318318451142691050873146705575638748733970331245705013633362954226559683780503931766288734603691889262592*y^19 + 2196172012913636886128833131096770456407586723711135199460443260554102344961155488970348536701242806837840374069028198176428637485/15228561885716978590389898659159225571345525436573352787819374366985165622852506816681477113279841890251965883144367301845944631296*y^18 + 24474138477667596488359050943039028219467342519233936753802969167887748992469503887052994906637224041564392414061988313393045639063/7614280942858489295194949329579612785672762718286676393909687183492582811426253408340738556639920945125982941572183650922972315648*y^17 + 71497279340568494028947665552045605706024727464950028545484816021519242018729626195309372233470463426432442801334091334959242347587/15228561885716978590389898659159225571345525436573352787819374366985165622852506816681477113279841890251965883144367301845944631296*y^16 - 70504074315078995173728406683783241328426352599886813302634989402205496302680583754454358552127403180076446233535619585165048823415/15228561885716978590389898659159225571345525436573352787819374366985165622852506816681477113279841890251965883144367301845944631296*y^15 - 611570022988634429254142451282300849601457507097773170949663485819930981810938980289270384167244781769884026046166367402118779571585/30457123771433957180779797318318451142691050873146705575638748733970331245705013633362954226559683780503931766288734603691889262592*y^14 - 206684345434340164625540019083299267284742875703833865198321687404077664878389184006927670902849101826957932571686327535945951009025/15228561885716978590389898659159225571345525436573352787819374366985165622852506816681477113279841890251965883144367301845944631296*y^13 + 837576405195868032390502960115800722705861923789874463266411435481482700954741016039606511145277941215866259705941703631055528935257/30457123771433957180779797318318451142691050873146705575638748733970331245705013633362954226559683780503931766288734603691889262592*y^12 + 1638921749962309443014921793714614111789574611634872675682833951242383811989757563387502981657366175094527173701105854778559396075461/30457123771433957180779797318318451142691050873146705575638748733970331245705013633362954226559683780503931766288734603691889262592*y^11 + 2367328978773057562753231245174773067824153802805064054052123917327614194373249321558268237692648825045197598878589834694262785095/237946279464327790474842166549362899552273834946458637309677724484143212857070419010648079894997529535186966924130739091342884864*y^10 - 488065119498536617081115624533486956743504522837167482898374832580549868283509685501341451667239388822383120527658364548827375536987/7614280942858489295194949329579612785672762718286676393909687183492582811426253408340738556639920945125982941572183650922972315648*y^9 - 31306150600368222558000767609208294160944794589886660352205478404509885323502132685524786497208833225350640852908950855185759885501/475892558928655580949684333098725799104547669892917274619355448968286425714140838021296159789995059070373933848261478182685769728*y^8 + 12478004141398840160063090490438459177874836975947955803947372616743795709922706627268297527298159500801921719554219109456877118769/951785117857311161899368666197451598209095339785834549238710897936572851428281676042592319579990118140747867696522956365371539456*y^7 + 7858412356228803493723013300519059863065116312632517502999703129967890681688509212375946423836443403757697351250469908997808699993/118973139732163895237421083274681449776136917473229318654838862242071606428535209505324039947498764767593483462065369545671442432*y^6 + 8147296622011305246611876343314332641533719815257672132629077715333515960908985814352708693356492843232642370913854381518100322945/237946279464327790474842166549362899552273834946458637309677724484143212857070419010648079894997529535186966924130739091342884864*y^5 - 2407881810299066927228385181429415209922021219801525391083938978999405607659007951273978013682397015016320046801234518306819832615/118973139732163895237421083274681449776136917473229318654838862242071606428535209505324039947498764767593483462065369545671442432*y^4 - 3343197132610241680451760103663191246396731762833828644159026190639059614607664584272506857787076925869922121099849321081444002503/118973139732163895237421083274681449776136917473229318654838862242071606428535209505324039947498764767593483462065369545671442432*y^3 - 20121196669543381301281597813888258965351511967420089991514683228922454296424563616231519283687333114220059651139580061721451413/3717910616630121726169408852333795305504278671038416207963714445064737700891725297041376248359336398987296358189542798302232576*y^2 + 194286541784465638246599111485484750902006090636459426233716943958013084706727240569589959068384824974793441099645607199720524769/29743284933040973809355270818670362444034229368307329663709715560517901607133802376331009986874691191898370865516342386417860608*y + 12571205157225558811387599169427076870893083920664971801923217266225339460360136519860382395948746991294433734217582461713867429/3717910616630121726169408852333795305504278671038416207963714445064737700891725297041376248359336398987296358189542798302232576