# Manifold: Census Knot K7_55 # Number of Tetrahedra: 7 # Number Field x^20 - 15*x^19 + 87*x^18 - 168*x^17 - 558*x^16 + 3058*x^15 - 1713*x^14 - 12446*x^13 + 17040*x^12 + 20060*x^11 - 44769*x^10 - 8271*x^9 + 55999*x^8 - 14319*x^7 - 34055*x^6 + 18183*x^5 + 7811*x^4 - 5948*x^3 - 552*x^2 + 512*x + 64 # Approximate Field Generator 0.743567386430516 - 0.493291941406805*I # Shape Parameters -10207494811847914887795900421363853/2529430414912889601529770402982149994*y^19 + 323768739721627210899836770549635763/5058860829825779203059540805964299988*y^18 - 2026823105880070292959713271269323333/5058860829825779203059540805964299988*y^17 + 4783246276445306632313716540829726331/5058860829825779203059540805964299988*y^16 + 2333165574712171185133924827238879704/1264715207456444800764885201491074997*y^15 - 36645739363175633374800223565545582847/2529430414912889601529770402982149994*y^14 + 20075459713268975105271272154800668737/1264715207456444800764885201491074997*y^13 + 253265228759674218527448262168564498451/5058860829825779203059540805964299988*y^12 - 277160687206359272641985933558669371267/2529430414912889601529770402982149994*y^11 - 64451491339661121836375846243240200584/1264715207456444800764885201491074997*y^10 + 659866023227659660459187159162128985727/2529430414912889601529770402982149994*y^9 - 291887245848240761647475802765484347363/5058860829825779203059540805964299988*y^8 - 1509362074660400331770602890426915839953/5058860829825779203059540805964299988*y^7 + 909201768453893504394245378062212907749/5058860829825779203059540805964299988*y^6 + 775184097376351993087949410934686039387/5058860829825779203059540805964299988*y^5 - 768426308795950052753431295110002123909/5058860829825779203059540805964299988*y^4 - 79841638422183590585382547401654691435/5058860829825779203059540805964299988*y^3 + 213360538684609577425813642798446487567/5058860829825779203059540805964299988*y^2 - 4927809735328138104704339294366234961/1264715207456444800764885201491074997*y - 1676004350779665005565219625972878486/1264715207456444800764885201491074997 -3504078600825731679144130671067215/5058860829825779203059540805964299988*y^19 + 43655381918075067064189895076177821/5058860829825779203059540805964299988*y^18 - 179468371236496537527375209814019433/5058860829825779203059540805964299988*y^17 - 17949007971162365960614128468151756/1264715207456444800764885201491074997*y^16 + 1430066213303012953093435506881784859/2529430414912889601529770402982149994*y^15 - 2505743673310621952242267524230426985/2529430414912889601529770402982149994*y^14 - 15767509471388551584482775390071137053/5058860829825779203059540805964299988*y^13 + 19635509128224286240549733577770994479/2529430414912889601529770402982149994*y^12 + 11061531124579160276554662487403812949/1264715207456444800764885201491074997*y^11 - 31021371158096757648748624664591387851/1264715207456444800764885201491074997*y^10 - 63261481725019608002273376810387257813/5058860829825779203059540805964299988*y^9 + 214853955328763663922150202444533848061/5058860829825779203059540805964299988*y^8 + 38584592443329232706056128417573695935/5058860829825779203059540805964299988*y^7 - 217857527811963762474023580299785230235/5058860829825779203059540805964299988*y^6 + 9435775095319889850434157962332032909/5058860829825779203059540805964299988*y^5 + 128058827985444164541742147492195152567/5058860829825779203059540805964299988*y^4 - 21219806773882496038079960437997412917/5058860829825779203059540805964299988*y^3 - 9993257939606326964399614203875640002/1264715207456444800764885201491074997*y^2 + 1367977046772048913824350563561979554/1264715207456444800764885201491074997*y + 1608706199154240365849840031829596473/1264715207456444800764885201491074997 2940719558236109806330104827463953483/80941773277212467248952652895428799808*y^19 - 44437433207520780371361041225442945541/80941773277212467248952652895428799808*y^18 + 261022901402087588525116508318158125229/80941773277212467248952652895428799808*y^17 - 65808756934718446518851627919281669809/10117721659651558406119081611928599976*y^16 - 782194786536312182907589514535805211109/40470886638606233624476326447714399904*y^15 + 4571021502933801371803015875664029026035/40470886638606233624476326447714399904*y^14 - 6210116262880076366237076723543210967483/80941773277212467248952652895428799808*y^13 - 17657683100078704121423561632354561125125/40470886638606233624476326447714399904*y^12 + 1692565779140565581134504951708837478923/2529430414912889601529770402982149994*y^11 + 12530423086903216497609588241262371747109/20235443319303116812238163223857199952*y^10 - 135777969348410711717120517180301106317803/80941773277212467248952652895428799808*y^9 - 3206978722885755073462307934766231714629/80941773277212467248952652895428799808*y^8 + 160007158608092060858319927388906181536709/80941773277212467248952652895428799808*y^7 - 66257956548949261625170417271287003362325/80941773277212467248952652895428799808*y^6 - 85598976260468423384263793850289529339581/80941773277212467248952652895428799808*y^5 + 65874049285428816497907486652732042811581/80941773277212467248952652895428799808*y^4 + 10675139528647052853189548085560906673169/80941773277212467248952652895428799808*y^3 - 4692216536785829644354396068045517594961/20235443319303116812238163223857199952*y^2 + 223811427850927578214850052501880184807/10117721659651558406119081611928599976*y + 18597946730560740345936499325345392903/1264715207456444800764885201491074997 -136065952513366464465954531844998125/5058860829825779203059540805964299988*y^19 + 1972984546060852890415398698310970919/5058860829825779203059540805964299988*y^18 - 10852451263133793058336615389309680903/5058860829825779203059540805964299988*y^17 + 4362229296934124956163585316466499222/1264715207456444800764885201491074997*y^16 + 42275730486710945953646925619622534685/2529430414912889601529770402982149994*y^15 - 186789380157223776187632778431088273549/2529430414912889601529770402982149994*y^14 + 46729345551955863423865574212508944829/5058860829825779203059540805964299988*y^13 + 856509631168203632054423559587663288951/2529430414912889601529770402982149994*y^12 - 364282803308649080717382823540087443846/1264715207456444800764885201491074997*y^11 - 861017760995519862723989737355259776363/1264715207456444800764885201491074997*y^10 + 4334648507644383366172547873740990591129/5058860829825779203059540805964299988*y^9 + 3277575930201835489438295829281050339751/5058860829825779203059540805964299988*y^8 - 5898524608069604399129037174995879568267/5058860829825779203059540805964299988*y^7 - 1011935735181114637763798846946270875921/5058860829825779203059540805964299988*y^6 + 4034302693624170549001876318649075812647/5058860829825779203059540805964299988*y^5 - 421961438015639906904499750549514283427/5058860829825779203059540805964299988*y^4 - 1219404002751156157066211173216379079323/5058860829825779203059540805964299988*y^3 + 43239849552525540938702198664586721184/1264715207456444800764885201491074997*y^2 + 36085784886781766071092015886739627679/1264715207456444800764885201491074997*y + 3245377765408367309504405651804176080/1264715207456444800764885201491074997 640686725128685057892040203711645469/20235443319303116812238163223857199952*y^19 - 9269101387686653595441968684985255189/20235443319303116812238163223857199952*y^18 + 50795124645842196581137413555075637001/20235443319303116812238163223857199952*y^17 - 40250648574440448820695685765578871875/10117721659651558406119081611928599976*y^16 - 200267378744894928748216622235730621595/10117721659651558406119081611928599976*y^15 + 872296927838314939658540283483370338475/10117721659651558406119081611928599976*y^14 - 161757361799082818439379200185456759809/20235443319303116812238163223857199952*y^13 - 2013542046810389583964001541171736837297/5058860829825779203059540805964299988*y^12 + 1637929184928717945983545998343153739719/5058860829825779203059540805964299988*y^11 + 4089025143842550178625207360271720596359/5058860829825779203059540805964299988*y^10 - 19582390426026514994526999857091315202421/20235443319303116812238163223857199952*y^9 - 15935119222477044850806299236320674268065/20235443319303116812238163223857199952*y^8 + 26483239603991825548642951722174743940833/20235443319303116812238163223857199952*y^7 + 5604148420562176375901093812113940824735/20235443319303116812238163223857199952*y^6 - 17804700851036320597254731158364582531501/20235443319303116812238163223857199952*y^5 + 1216580281226895652485219675460803298601/20235443319303116812238163223857199952*y^4 + 5175799236063911019372058443929380219049/20235443319303116812238163223857199952*y^3 - 221016357110431030086844793019054913785/10117721659651558406119081611928599976*y^2 - 35884872870817105789426012105188484115/1264715207456444800764885201491074997*y - 3117268308388936561077483964341834577/1264715207456444800764885201491074997 -2041317495710912653441564960668595699/5058860829825779203059540805964299988*y^19 + 29358709560147718326752812449142666205/5058860829825779203059540805964299988*y^18 - 159443881147712191501693378944372775985/5058860829825779203059540805964299988*y^17 + 61061762626659746052054758077041580105/1264715207456444800764885201491074997*y^16 + 645479404412666854311774211792913880701/2529430414912889601529770402982149994*y^15 - 2723067261360026966230283407847642026937/2529430414912889601529770402982149994*y^14 + 123101505986404099428596671511613214335/5058860829825779203059540805964299988*y^13 + 12757930793367287202703906536583803510841/2529430414912889601529770402982149994*y^12 - 4752499037841772442065867250264869114381/1264715207456444800764885201491074997*y^11 - 13214960332681042538582919370347525019785/1264715207456444800764885201491074997*y^10 + 58801149762645296120093421172251078529139/5058860829825779203059540805964299988*y^9 + 53580233483381156922362671751056611682313/5058860829825779203059540805964299988*y^8 - 81475554252989077433537667617591066711541/5058860829825779203059540805964299988*y^7 - 21522154497504455192218697357019581067899/5058860829825779203059540805964299988*y^6 + 56607246521548133792602638495051986824465/5058860829825779203059540805964299988*y^5 - 1920575490026509928567811002551735595445/5058860829825779203059540805964299988*y^4 - 17394666794989496377095877233812228979525/5058860829825779203059540805964299988*y^3 + 336675049862208664666306596968385509755/1264715207456444800764885201491074997*y^2 + 507214869287764042870632732662882882872/1264715207456444800764885201491074997*y + 54897019682250467932926939228674685473/1264715207456444800764885201491074997 -202836110338022956844025353237761005/5058860829825779203059540805964299988*y^19 + 1453237851278488944097212883360708475/2529430414912889601529770402982149994*y^18 - 3918439263336786088753701758343559129/1264715207456444800764885201491074997*y^17 + 23224015273654063691459643954634167937/5058860829825779203059540805964299988*y^16 + 65315733378176654871810244186268318839/2529430414912889601529770402982149994*y^15 - 133930341110063077530433919740457020980/1264715207456444800764885201491074997*y^14 - 26120503305414227301450126765891945533/5058860829825779203059540805964299988*y^13 + 2571227574818989584304605120609682413059/5058860829825779203059540805964299988*y^12 - 871654028911751960256672449998060473649/2529430414912889601529770402982149994*y^11 - 1381505896653834209290169970027458883921/1264715207456444800764885201491074997*y^10 + 5636698779740870304054212089680283327393/5058860829825779203059540805964299988*y^9 + 1503076494062542810557370392592627965871/1264715207456444800764885201491074997*y^8 - 2020260853154278017717569981670082044811/1264715207456444800764885201491074997*y^7 - 748528586034863420019859535496094934418/1264715207456444800764885201491074997*y^6 + 2947824001190128578779742278782840074677/2529430414912889601529770402982149994*y^5 + 86533424836974781176740830181716864683/1264715207456444800764885201491074997*y^4 - 1003157147932968611406590892344832746741/2529430414912889601529770402982149994*y^3 - 12934818460595609757948372158176621583/5058860829825779203059540805964299988*y^2 + 71231232779172708983177697411397739874/1264715207456444800764885201491074997*y + 11387477970971272395821655873797294036/1264715207456444800764885201491074997 # A Gluing Matrix {{2,-1,0,0,0,0,0},{-1,2,0,-2,0,1,0},{0,0,1,1,0,0,0},{0,-1,1,2,0,-1,0},{0,0,0,0,1,1,0},{0,1,0,-2,1,2,-1},{0,0,0,0,0,-1,2}} # B Gluing Matrix {{2,0,0,0,0,0,0},{0,2,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,2,0,0},{0,0,0,0,0,2,0},{0,0,0,0,0,0,2}} # nu Gluing Vector {0, 2, 1, 0, 2, 2, 0} # f Combinatorial flattening {4, 8, -2, 3, 6, -4, -2} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -12143016542579653807368804560823881807/5058860829825779203059540805964299988*y^19 + 174630367482338895312199306970918331419/5058860829825779203059540805964299988*y^18 - 948290768747651433893882748649870357645/5058860829825779203059540805964299988*y^17 + 363003488061317022066831540045165173759/1264715207456444800764885201491074997*y^16 + 1920179756575874215972026775434877575876/1264715207456444800764885201491074997*y^15 - 16195040692267448301464814826226509802927/2529430414912889601529770402982149994*y^14 + 706436296379516869404293961974597623683/5058860829825779203059540805964299988*y^13 + 37946050219077787286434925919818463943394/1264715207456444800764885201491074997*y^12 - 56497179728433597771302811802626221509913/2529430414912889601529770402982149994*y^11 - 78629295418890640233180297081785025221731/1264715207456444800764885201491074997*y^10 + 349680756428366442217624862781425072588987/5058860829825779203059540805964299988*y^9 + 318997165752307015097483156533758636720071/5058860829825779203059540805964299988*y^8 - 484535570847580233884295885416849224852529/5058860829825779203059540805964299988*y^7 - 128431997575707254670834212589999537240015/5058860829825779203059540805964299988*y^6 + 336491155928238897568927591020892754284217/5058860829825779203059540805964299988*y^5 - 11075282964812436355878144647830744951245/5058860829825779203059540805964299988*y^4 - 103169043295912692828364392590339174509233/5058860829825779203059540805964299988*y^3 + 1968023678150187778302438181695513106246/1264715207456444800764885201491074997*y^2 + 5979645653133235757233985852286583853419/2529430414912889601529770402982149994*y + 329402053339338611183865163054104665546/1264715207456444800764885201491074997 # 2 Loop Invariant 1618489065573337930942746455001569413540063413131330782501636286410963728023197702674954453413/3541911680751425661087227287173582372624760093217856214323360596736873589998101509019711887960576*y^19 - 77104819975765431283035121295822252776191051151389125584563024236793376804667796860942969913035/10625735042254276983261681861520747117874280279653568642970081790210620769994304527059135663881728*y^18 + 481438655679629484149629890708588325536261906150644208752846281026793406145391547631062743998935/10625735042254276983261681861520747117874280279653568642970081790210620769994304527059135663881728*y^17 - 186591397088403206214499055050264265258332398600570062606929320187358657409396039897605463304873/1770955840375712830543613643586791186312380046608928107161680298368436794999050754509855943980288*y^16 - 1158114079997048749795268120186295213395777448985379170758043695917678200152173869958514280132501/5312867521127138491630840930760373558937140139826784321485040895105310384997152263529567831940864*y^15 + 8731107249188849981383544269715138033653319574515927336155046364702258526420663380757021949081501/5312867521127138491630840930760373558937140139826784321485040895105310384997152263529567831940864*y^14 - 17647478338822297792456872081639815404681697300814990080634679047297546488459787319137137713576931/10625735042254276983261681861520747117874280279653568642970081790210620769994304527059135663881728*y^13 - 7939929294904791362682159639345548800037173471343844728695991539897195337209867812881825424235553/1328216880281784622907710232690093389734285034956696080371260223776327596249288065882391957985216*y^12 + 31084482018145567618727439709855464411638017064528799085226735649851724771053340740881675479266893/2656433760563569245815420465380186779468570069913392160742520447552655192498576131764783915970432*y^11 + 21378016404244462411747025486723722639582893593716432939753392417114938059692411077077951121509069/2656433760563569245815420465380186779468570069913392160742520447552655192498576131764783915970432*y^10 - 98955758051682924961536658851074686755946902132637180028511304651895069937230982111753213241985357/3541911680751425661087227287173582372624760093217856214323360596736873589998101509019711887960576*y^9 - 520854907415223913661340624248724019168484281836895713537938852895431495577351139541444673608061/3541911680751425661087227287173582372624760093217856214323360596736873589998101509019711887960576*y^8 + 345127254387240902855097861565102531697581409900570254254115974430578531351383130136438877843143103/10625735042254276983261681861520747117874280279653568642970081790210620769994304527059135663881728*y^7 - 109279235929931746185517708950072130047128804824515109021216672913196365281740086492167858283517775/10625735042254276983261681861520747117874280279653568642970081790210620769994304527059135663881728*y^6 - 64349322520264857342689350237905338876882128089973402589005398713691437202601819053628928239279369/3541911680751425661087227287173582372624760093217856214323360596736873589998101509019711887960576*y^5 + 97425893826547278588189910775318277482089702824692459304190896692145453493013362122147855403466903/10625735042254276983261681861520747117874280279653568642970081790210620769994304527059135663881728*y^4 + 41681649007121076180757901679432266109566114042848379351936196229173517795615629249085770150377519/10625735042254276983261681861520747117874280279653568642970081790210620769994304527059135663881728*y^3 - 3421587948825182633282610528062389708379013643036256969646547080136107932525644479358939072676759/1770955840375712830543613643586791186312380046608928107161680298368436794999050754509855943980288*y^2 - 715357120681531644943872100138094819196538377431553855914484974824923537902191682290040036315273/1328216880281784622907710232690093389734285034956696080371260223776327596249288065882391957985216*y + 144678588382477566013143890091620508383754541499869737165173848334820504500321476714394622987237/221369480046964103817951705448348898289047505826116013395210037296054599374881344313731992997536 # 3 Loop Invariant 136952261262009406472233660226414689838262447504104405477945249325192276483535260603376436514994719418738519097634347459979/523908248718338787579620909041427774332148428123826183737376059417550207646494809053807298966657929609239294111672339386553344*y^19 - 1977282579553074005695415279486329606855236144300845918745764174838687630672511851007628064813529106106340768786190512098139/523908248718338787579620909041427774332148428123826183737376059417550207646494809053807298966657929609239294111672339386553344*y^18 + 10829369972978684888293933702080500485062138253880248167264251411871543678619645117336567169938894388872896601231024132483221/523908248718338787579620909041427774332148428123826183737376059417550207646494809053807298966657929609239294111672339386553344*y^17 - 4321054041754132984945092460623330996973614192255451898110311661741721263352231068522415235130343024891892197256292076906379/130977062179584696894905227260356943583037107030956545934344014854387551911623702263451824741664482402309823527918084846638336*y^16 - 329233495323900466585278230259660663476423415492476333301854384726958806399835145446317757071806717802799131583927245536393/2046516596556010888982894175943077243484954797358696030224125232099805498619120347866434761588507537536090992623720075728724*y^15 + 184760545339781699111230033716458339544827895397434944119301145342375302590499291182356474767049333401246720099000786593831009/261954124359169393789810454520713887166074214061913091868688029708775103823247404526903649483328964804619647055836169693276672*y^14 - 46726071648576136036081147680805073521101147035880307175112285724432669285646386661007569348984326046273601386179560139115675/523908248718338787579620909041427774332148428123826183737376059417550207646494809053807298966657929609239294111672339386553344*y^13 - 207958352989407263592955343942480772909546973802916143713834195205366372394278863407890644552768700163666352345345180893988489/65488531089792348447452613630178471791518553515478272967172007427193775955811851131725912370832241201154911763959042423319168*y^12 + 716545663154434984809529574364090110915495112606136445241365107679710843088571645786579586723324973831894591847915193437069571/261954124359169393789810454520713887166074214061913091868688029708775103823247404526903649483328964804619647055836169693276672*y^11 + 396429114468386108242569126878304904660346317988928950925265462283484401707810794927991256564384299807135853307453465912271845/65488531089792348447452613630178471791518553515478272967172007427193775955811851131725912370832241201154911763959042423319168*y^10 - 4170671061172089534893022098579345567055751096880558576263589585850101144781704281393372174071140457344123398385179076837791587/523908248718338787579620909041427774332148428123826183737376059417550207646494809053807298966657929609239294111672339386553344*y^9 - 63388910553016167291447951638461055629796051207561367802114064425632552534508936802717463427976834210665129888193975273253695/12778249968739970428771241683937262788588986051800638627740879497989029454792556318385543877235559258761934002723715594793984*y^8 + 5441285510506966854382660476812053685391208719640122797306227404928421108679083640318167345671583372135147776532841880372464465/523908248718338787579620909041427774332148428123826183737376059417550207646494809053807298966657929609239294111672339386553344*y^7 + 140199212717321050521930859410159731380863742144359377855162252363856298474821980317326674157986458534432677636407919963964999/523908248718338787579620909041427774332148428123826183737376059417550207646494809053807298966657929609239294111672339386553344*y^6 - 3390474040300699876747329837628986491803887841705435268248605410784813178185736780756011282230171195473864446241662010406974489/523908248718338787579620909041427774332148428123826183737376059417550207646494809053807298966657929609239294111672339386553344*y^5 + 990645984069991984940350670863659095124316398407461359365813786722656364715396828624091894289568202506029470276570350838152269/523908248718338787579620909041427774332148428123826183737376059417550207646494809053807298966657929609239294111672339386553344*y^4 + 755263556540003862865828166409257844931304320513519718863102682734509899320413188497791614570653984649159488087678673928294493/523908248718338787579620909041427774332148428123826183737376059417550207646494809053807298966657929609239294111672339386553344*y^3 - 85871084523782965045165054332347055514462491900989837474431219231331127662865575419737038860614156974509451051122588770880771/130977062179584696894905227260356943583037107030956545934344014854387551911623702263451824741664482402309823527918084846638336*y^2 - 7844064695367556429005300465282701050318289634912754167689443553410705598828929395091195474070130996913043933875179341966439/261954124359169393789810454520713887166074214061913091868688029708775103823247404526903649483328964804619647055836169693276672*y + 634764959810884828759554133986319875849774282018947524471991401070174959235709817826113816118662727408420979168286541107073/16372132772448087111863153407544617947879638378869568241793001856798443988952962782931478092708060300288727940989760605829792