# Manifold: Census Knot K7_109 # Number of Tetrahedra: 7 # Number Field x^22 - 21/2*x^21 + 13/2*x^20 + 87/8*x^19 - 91/4*x^18 + 345/8*x^17 + 501/8*x^16 - 179/2*x^15 - 2911/16*x^14 + 355/4*x^13 + 4233/16*x^12 - 119/2*x^11 - 1723/8*x^10 + 1147/32*x^9 + 3463/32*x^8 - 683/32*x^7 - 267/8*x^6 + 295/32*x^5 + 181/32*x^4 - 73/32*x^3 - 5/16*x^2 + 1/4*x - 1/32 # Approximate Field Generator -0.561670973175070 - 0.187978914390066*I # Shape Parameters 106160931409539161435843072/11483829572979413613955*y^21 - 1066534997312260322355820288/11483829572979413613955*y^20 + 207290566365325524105745696/11483829572979413613955*y^19 + 1238928491541068493151504912/11483829572979413613955*y^18 - 371580683561498287389537984/2296765914595882722791*y^17 + 748902433871631188804889116/2296765914595882722791*y^16 + 8335494272254134735214436484/11483829572979413613955*y^15 - 5692258043007747839861561188/11483829572979413613955*y^14 - 21796141078135089105879923744/11483829572979413613955*y^13 - 451074001733158210675103936/11483829572979413613955*y^12 + 27676250347250386979898635942/11483829572979413613955*y^11 + 6087613524260151312138840754/11483829572979413613955*y^10 - 19932616874462117339389171586/11483829572979413613955*y^9 - 5049780903810386566711221782/11483829572979413613955*y^8 + 1826509621402922097288236970/2296765914595882722791*y^7 + 1773336814271851283680081717/11483829572979413613955*y^6 - 544808644517874844609452566/2296765914595882722791*y^5 - 45141171695566089609736696/2296765914595882722791*y^4 + 494936872343214712296257451/11483829572979413613955*y^3 - 22967758013158646020145624/11483829572979413613955*y^2 - 42898442704132706733111956/11483829572979413613955*y + 7488884124602011265475929/11483829572979413613955 358477156266844410255958688/34451488718938240841865*y^21 - 3595657191647269463968709872/34451488718938240841865*y^20 + 213280441264757785911825728/11483829572979413613955*y^19 + 1404884615397975738899837236/11483829572979413613955*y^18 - 1234847084770040655857985484/6890297743787648168373*y^17 + 2508856027815582957482117828/6890297743787648168373*y^16 + 28361594704050835814546999956/34451488718938240841865*y^15 - 18815785720631210192854576912/34451488718938240841865*y^14 - 24731955759928997742247536322/11483829572979413613955*y^13 - 3002399095565721030127680034/34451488718938240841865*y^12 + 93759154666361978900537359598/34451488718938240841865*y^11 + 7613637631470124454012946292/11483829572979413613955*y^10 - 66814805708775174750991148704/34451488718938240841865*y^9 - 6252050857669606231745876191/11483829572979413613955*y^8 + 6031981239756830811767017574/6890297743787648168373*y^7 + 6661241955059977619291834348/34451488718938240841865*y^6 - 1777822860448521930019115450/6890297743787648168373*y^5 - 61331725624237475669324418/2296765914595882722791*y^4 + 1606427731098759576170546194/34451488718938240841865*y^3 - 18094738730690753517084062/11483829572979413613955*y^2 - 139229267910861563191822204/34451488718938240841865*y + 23544400754432852712391696/34451488718938240841865 -4096438560611938368029424992/1343608060038591392832735*y^21 + 41543335840439930646669996688/1343608060038591392832735*y^20 - 3882712705939094130643029472/447869353346197130944245*y^19 - 5497510961511003351580132468/149289784448732376981415*y^18 + 15050555422005313037539091572/268721612007718278566547*y^17 - 29769236780302565725507738712/268721612007718278566547*y^16 - 310911050393447530570444462564/1343608060038591392832735*y^15 + 257437106981681191819003085428/1343608060038591392832735*y^14 + 93872675128767772256885371446/149289784448732376981415*y^13 - 4721070488698887854616460178/103354466156814722525595*y^12 - 1122246435564581727945907723772/1343608060038591392832735*y^11 - 55614170470180109226274762988/447869353346197130944245*y^10 + 839014216431094337381483871376/1343608060038591392832735*y^9 + 55461419895470662626701844389/447869353346197130944245*y^8 - 78483910521342555114533319710/268721612007718278566547*y^7 - 61141857285399938437432146527/1343608060038591392832735*y^6 + 23540352220182056419559768453/268721612007718278566547*y^5 + 472556111338615302474436300/89573870669239426188849*y^4 - 21327404194501408025713600771/1343608060038591392832735*y^3 + 405966505258122353463147728/447869353346197130944245*y^2 + 1836760484996596093303899601/1343608060038591392832735*y - 327718975540973701213592389/1343608060038591392832735 -17314003058405013826296352/11483829572979413613955*y^21 + 178046189100770131410686928/11483829572979413613955*y^20 - 72794509562608614163498416/11483829572979413613955*y^19 - 215353599234600883208482572/11483829572979413613955*y^18 + 68928522355299826259193592/2296765914595882722791*y^17 - 131960607281514076965129536/2296765914595882722791*y^16 - 1242304466920789549315802044/11483829572979413613955*y^15 + 1315763459047013279406304428/11483829572979413613955*y^14 + 3542071854406220493175180814/11483829572979413613955*y^13 - 784115069168524910556746784/11483829572979413613955*y^12 - 4995739615359840204288988572/11483829572979413613955*y^11 - 166783385410633449013182234/11483829572979413613955*y^10 + 3941936395463755900675254526/11483829572979413613955*y^9 + 410730750129967623764225117/11483829572979413613955*y^8 - 383644161112545159526852187/2296765914595882722791*y^7 - 159474856517700864104343832/11483829572979413613955*y^6 + 117602730003557920034037204/2296765914595882722791*y^5 + 1193225327623904429589223/2296765914595882722791*y^4 - 107296981007191416712890721/11483829572979413613955*y^3 + 9351984247978720287740034/11483829572979413613955*y^2 + 9217186248777273612007626/11483829572979413613955*y - 1786719540089698449175319/11483829572979413613955 -1125533595896203685649762272/103354466156814722525595*y^21 + 11366710587286854769559811088/103354466156814722525595*y^20 - 918604758946976884872583232/34451488718938240841865*y^19 - 4453883646361593870471364684/34451488718938240841865*y^18 + 4051220854804060947516654940/20670893231362944505119*y^17 - 8080564451839672357182791072/20670893231362944505119*y^16 - 86721022120997484838502323624/103354466156814722525595*y^15 + 66025102850661877289946887128/103354466156814722525595*y^14 + 25705662535345430665444943166/11483829572979413613955*y^13 - 7212875071585901612025608474/103354466156814722525595*y^12 - 300928321835884697115737499272/103354466156814722525595*y^11 - 5960993136945877938525110466/11483829572979413613955*y^10 + 221216917976440019563180351246/103354466156814722525595*y^9 + 16114408270735665175699755149/34451488718938240841865*y^8 - 20525645031745921398137732492/20670893231362944505119*y^7 - 17107645736416919991488592377/103354466156814722525595*y^6 + 6158102011245302912938523204/20670893231362944505119*y^5 + 43345098962471895411382612/2296765914595882722791*y^4 - 5605006951083724566407099326/103354466156814722525595*y^3 + 109207823883053448190275653/34451488718938240841865*y^2 + 485244067863978148420649266/103354466156814722525595*y - 87918996505979394861919594/103354466156814722525595 56002939734133307676857952/11483829572979413613955*y^21 - 582371376949281238326967248/11483829572979413613955*y^20 + 298136506695933849995165856/11483829572979413613955*y^19 + 706552320207073820375329572/11483829572979413613955*y^18 - 237081618656527210997692636/2296765914595882722791*y^17 + 444288175556779795394682692/2296765914595882722791*y^16 + 3820014720527799079795267664/11483829572979413613955*y^15 - 4833806048673209557336650188/11483829572979413613955*y^14 - 11324293700415683830717780514/11483829572979413613955*y^13 + 3903859321245535630937333394/11483829572979413613955*y^12 + 16691264808695088727589622342/11483829572979413613955*y^11 - 927981142816110012095908746/11483829572979413613955*y^10 - 13655353799719638606407390116/11483829572979413613955*y^9 - 477571102868017455105744747/11483829572979413613955*y^8 + 1362760724266331715343533848/2296765914595882722791*y^7 + 204996908412493241739355062/11483829572979413613955*y^6 - 423166073866586019414768601/2296765914595882722791*y^5 + 11862722649685067910321625/2296765914595882722791*y^4 + 387064168701120441401321006/11483829572979413613955*y^3 - 43564016307238823137987834/11483829572979413613955*y^2 - 33090014933938421569537721/11483829572979413613955*y + 6934545563332517734747924/11483829572979413613955 123326976887416120353694816/11483829572979413613955*y^21 - 1234190866757084471162352304/11483829572979413613955*y^20 + 191335125918720197473062608/11483829572979413613955*y^19 + 1458544795934751099430202356/11483829572979413613955*y^18 - 416267578237821554850740464/2296765914595882722791*y^17 + 853565465807222436252815484/2296765914595882722791*y^16 + 9855665876543165412604202772/11483829572979413613955*y^15 - 6254542779066534783529735464/11483829572979413613955*y^14 - 25740697250288282081091548482/11483829572979413613955*y^13 - 1705777514200438005320209788/11483829572979413613955*y^12 + 32297194417097967362210265126/11483829572979413613955*y^11 + 8815772402044403645721045532/11483829572979413613955*y^10 - 22737588786585607783231874868/11483829572979413613955*y^9 - 7159426755211489090661714871/11483829572979413613955*y^8 + 2019734921766514072971429943/2296765914595882722791*y^7 + 2588211358861414999403690521/11483829572979413613955*y^6 - 587027900819279746012905676/2296765914595882722791*y^5 - 78710267049469861491947511/2296765914595882722791*y^4 + 526576664602649179689862153/11483829572979413613955*y^3 - 6100573971474759715511557/11483829572979413613955*y^2 - 45577955103540092137255198/11483829572979413613955*y + 7051453209495134434961592/11483829572979413613955 # A Gluing Matrix {{3,2,1,0,1,0,-2},{2,2,0,0,2,0,-2},{1,0,-1,2,1,-1,0},{0,0,2,0,0,1,0},{1,2,1,0,0,0,0},{0,0,-1,1,0,0,0},{-2,-2,0,0,0,0,1}} # B Gluing Matrix {{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,1,0},{0,0,0,0,0,0,1}} # nu Gluing Vector {3, 2, 1, 2, 2, 0, -1} # f Combinatorial flattening {-3, 1, 3, 3, -3, -4, -5} # f' Combinatorial flattening {0, 2, 0, 0, 0, 0, 0} # 1 Loop Invariant 2337300501772971747878910032/34451488718938240841865*y^21 - 22201402590799258768056038248/34451488718938240841865*y^20 - 2569459312145671620425285768/11483829572979413613955*y^19 + 8039036513737286364311791594/11483829572979413613955*y^18 - 5436431142352782365555791240/6890297743787648168373*y^17 + 13289165253882677026657352384/6890297743787648168373*y^16 + 221158094292341279871295809064/34451488718938240841865*y^15 - 7236003278684621885555482348/34451488718938240841865*y^14 - 165010930365825393596638643943/11483829572979413613955*y^13 - 282070516197989803126748352376/34451488718938240841865*y^12 + 478472281716317115917670599612/34451488718938240841865*y^11 + 137374571272102223267983909073/11483829572979413613955*y^10 - 234239518747556698433446971796/34451488718938240841865*y^9 - 173803006262313936126121492203/22967659145958827227910*y^8 + 27114654852284897883775818529/13780595487575296336746*y^7 + 88780297981744581546454349927/34451488718938240841865*y^6 - 2819765713969346398740585401/6890297743787648168373*y^5 - 1123337642770132208428117354/2296765914595882722791*y^4 + 2352010757941209249778538386/34451488718938240841865*y^3 + 1034757905642724657678845329/22967659145958827227910*y^2 - 470721006484990098012779477/68902977437876481683730*y - 57331572894231423122842537/68902977437876481683730 # 2 Loop Invariant -4870062478396216260059051494702209107026616299160152037868351900583705515861203658905553599360/3007510468012867931142126480721011974322455261693079560978363864730001785934182991745213271*y^21 + 49031409644569275192467662067462899692065402218670204845436971868753309975267422102167690152128/3007510468012867931142126480721011974322455261693079560978363864730001785934182991745213271*y^20 - 1156697836439452215655337304692189254584759880289705064405572620784460499452469477206806604120/334167829779207547904680720080112441591383917965897728997595984970000198437131443527245919*y^19 - 6447842148804202269504000643159824925952532766869718289470330523897598630429915051364630624560/334167829779207547904680720080112441591383917965897728997595984970000198437131443527245919*y^18 + 85554394315646782833735196861198391136342390950309309420296052620484841686132238621177017206478/3007510468012867931142126480721011974322455261693079560978363864730001785934182991745213271*y^17 - 172437846647564914144476613003999974034311549752201600526651827130681343859989508896238659517149/3007510468012867931142126480721011974322455261693079560978363864730001785934182991745213271*y^16 - 760467548408950390146448723695425938005344389839068607839180741225501289553252351207457932209329/6015020936025735862284252961442023948644910523386159121956727729460003571868365983490426542*y^15 + 546646944826463611497609117175854387674909608689657196460013692014600980407062185719990310860723/6015020936025735862284252961442023948644910523386159121956727729460003571868365983490426542*y^14 + 51779407807857018890232041281521590823822493200681256889445050136137019238950625706296617887093/154231306051941945186775716960051896119100269830414336460428916140000091586368358551036578*y^13 + 7169665808170865484953525035316826026455207219199342313536114035431217196662200346899072462509/6015020936025735862284252961442023948644910523386159121956727729460003571868365983490426542*y^12 - 2598797832547822006038251780818051897538349756764782541054887479419401434159056780844808179216577/6015020936025735862284252961442023948644910523386159121956727729460003571868365983490426542*y^11 - 185422690176972703692040469789977734782419391995725171827112908098495797191157884467788057942461/2005006978675245287428084320480674649548303507795386373985575909820001190622788661163475514*y^10 + 3764440332917148973316118559046095024319879758727386975314051319193739215120211601036251075767143/12030041872051471724568505922884047897289821046772318243913455458920007143736731966980853084*y^9 + 107410255818310003197348513144967734022121240141219603936950806035535604373901389950840375227921/1336671319116830191618722880320449766365535671863590915990383939880000793748525774108983676*y^8 - 1716181678620724342064922992942055860601188463280155558618720332489419941316868558136293240872099/12030041872051471724568505922884047897289821046772318243913455458920007143736731966980853084*y^7 - 349938801939546608090560218570935268542858105877849393435259003994656116463208597253816412501535/12030041872051471724568505922884047897289821046772318243913455458920007143736731966980853084*y^6 + 126833574416614726188757892759029843940191843871157566480278460226024478544180927313319109512015/3007510468012867931142126480721011974322455261693079560978363864730001785934182991745213271*y^5 + 5305110548035937202512876813773788269859798222168941157587223277221865916577941766557947520209/1336671319116830191618722880320449766365535671863590915990383939880000793748525774108983676*y^4 - 22890335848760123354343095213039011107647521652103306230032001993737169937879827632156386238258/3007510468012867931142126480721011974322455261693079560978363864730001785934182991745213271*y^3 + 188892422447640693443651681781290497981903566228529818674057692633666038997951245536651613691/668335659558415095809361440160224883182767835931795457995191969940000396874262887054491838*y^2 + 7906243904061516640747426227851217837296616238838689328852842421977934075758055517745196834197/12030041872051471724568505922884047897289821046772318243913455458920007143736731966980853084*y - 335743487689267530149867124183307649476334132043972076591504814034841318684986280954656854413/3007510468012867931142126480721011974322455261693079560978363864730001785934182991745213271 # 3 Loop Invariant 1298046727818169888335373492529090352269125593704610487416919165599797110524828632183103144941775257844517992450751404052361680/4030775314023633809316738629030900013750361593700875297025710147417070083995184106775747660699923884916870058137934160072707*y^21 - 13119482602564470031741539833965836948682466183726182244599717331256055241761712189806588282543446470801134681479350487632957876/4030775314023633809316738629030900013750361593700875297025710147417070083995184106775747660699923884916870058137934160072707*y^20 + 3283691693525067815515886079622294791562410723030540947780712066992967913987204243061785948381716142478207354387172748967227274/4030775314023633809316738629030900013750361593700875297025710147417070083995184106775747660699923884916870058137934160072707*y^19 + 15399377976720710123950642740935129116576917822378634343935899138755517801166080682105375338141976657195680881971692639317335998/4030775314023633809316738629030900013750361593700875297025710147417070083995184106775747660699923884916870058137934160072707*y^18 - 3617458127805242967076356889227985193900463269592819553465746179866447192337763497238889390550960024504354726925775076644966465/620119279080559047587190558312446155961594091338596199542416945756472320614643708734730409338449828448749239713528332318878*y^17 + 7188988584553707650821923061474457841620373254137083489411394135734842575147537303165997875554164016422855613404815884559131523/620119279080559047587190558312446155961594091338596199542416945756472320614643708734730409338449828448749239713528332318878*y^16 + 199315481349567707700027005689319551583579313050727292690714635726900684958507510181589443289552081151482695089745837453290887431/8061550628047267618633477258061800027500723187401750594051420294834140167990368213551495321399847769833740116275868320145414*y^15 - 308077499111873796279330474605822779111036206491820274745479620219136818689077618287536053904932384861825730965008201371553513697/16123101256094535237266954516123600055001446374803501188102840589668280335980736427102990642799695539667480232551736640290828*y^14 - 1064953601855827806142480681439090264365072528948094806849971915276324409874532051144892983307408152597540317478095648515506202961/16123101256094535237266954516123600055001446374803501188102840589668280335980736427102990642799695539667480232551736640290828*y^13 + 87445246390653475562795259941828791885913128490281859717657776401199618249196775672813359809174231106710569504133030183754780753/32246202512189070474533909032247200110002892749607002376205681179336560671961472854205981285599391079334960465103473280581656*y^12 + 1390481368594837443600315121621189500396258907799551792319978561297522044119066345430072238793879749770062840747242707667934431809/16123101256094535237266954516123600055001446374803501188102840589668280335980736427102990642799695539667480232551736640290828*y^11 + 468952529690749510528748805987965409413828163505363014425319758050920876993101511502390399400425589229599567021773303759129295153/32246202512189070474533909032247200110002892749607002376205681179336560671961472854205981285599391079334960465103473280581656*y^10 - 2055575284668180016570813736853252586360711467141767444730663263379631029654727005993337131116174014034064870830817146709555884693/32246202512189070474533909032247200110002892749607002376205681179336560671961472854205981285599391079334960465103473280581656*y^9 - 33170429177406453916388363712518602104348344217821910638152039984866889741115608456896945169754607139706248877143554101830163329/2480477116322236190348762233249784623846376365354384798169667783025889282458574834938921637353799313794996958854113329275512*y^8 + 958784999801205146440203110079851006371645209035088468714304844567977223512849707708893777752293774927420613925688945538650698521/32246202512189070474533909032247200110002892749607002376205681179336560671961472854205981285599391079334960465103473280581656*y^7 + 154100311433021152121957454874764261908351457722988298614868171903911989559404259204133562985043896986208617127203783707743897681/32246202512189070474533909032247200110002892749607002376205681179336560671961472854205981285599391079334960465103473280581656*y^6 - 288234052783710962498212531366718788407209677823936895992102235209851199389636422156931697631393741781483437859812716295219310329/32246202512189070474533909032247200110002892749607002376205681179336560671961472854205981285599391079334960465103473280581656*y^5 - 8790326590009815028113042436885671442475321515706019953316273922948883805362145823016168044374742424732969757127303948790662145/16123101256094535237266954516123600055001446374803501188102840589668280335980736427102990642799695539667480232551736640290828*y^4 + 26194264493096161029255696744204722349291412479287827460952985592632313784057738305001579706087003873035432388087112756926985273/16123101256094535237266954516123600055001446374803501188102840589668280335980736427102990642799695539667480232551736640290828*y^3 - 3049008774472394569927147950638786099267019133737441039576661711367300551575291023597301660378411912559659498954448823320388165/32246202512189070474533909032247200110002892749607002376205681179336560671961472854205981285599391079334960465103473280581656*y^2 - 4521271082724136624218830343744461428022768346595100554705923801928139093919000956404368629895252932848503062720139276286798221/32246202512189070474533909032247200110002892749607002376205681179336560671961472854205981285599391079334960465103473280581656*y + 813258402997237106909101635077626898475177904184341456720619453394164861600944724734688686871929488092419670707728613841386575/32246202512189070474533909032247200110002892749607002376205681179336560671961472854205981285599391079334960465103473280581656