# Manifold: Census Knot K6_15 # Number of Tetrahedra: 6 # Number Field x^18 - 2*x^17 - 30*x^16 + 18*x^15 + 319*x^14 - 2*x^13 - 1714*x^12 - 575*x^11 + 5003*x^10 + 2217*x^9 - 8278*x^8 - 2256*x^7 + 7629*x^6 - 1078*x^5 - 2561*x^4 + 932*x^3 + 204*x^2 - 136*x + 16 # Approximate Field Generator 0.520221386678311 - 0.290385954450312*I # Shape Parameters 691532309847113006406231/2085026024489622297115712*y^17 - 147460392916092405962347/260628253061202787139464*y^16 - 10545085265237944799560545/1042513012244811148557856*y^15 + 3120604141979015857030517/1042513012244811148557856*y^14 + 222353342064506158276398765/2085026024489622297115712*y^13 + 16000080434401122504072649/521256506122405574278928*y^12 - 582850165520509768838528251/1042513012244811148557856*y^11 - 739921484839036926761549093/2085026024489622297115712*y^10 + 3238781269232157706555461691/2085026024489622297115712*y^9 + 2482063690661249849969396749/2085026024489622297115712*y^8 - 623480026336496340103442241/260628253061202787139464*y^7 - 94346561324678673145440319/65157063265300696784866*y^6 + 4381041720253503339593598891/2085026024489622297115712*y^5 + 134707142035290116843351681/521256506122405574278928*y^4 - 1606825748708804281992317647/2085026024489622297115712*y^3 + 85159580087747054418302811/1042513012244811148557856*y^2 + 11896692220149153443997135/130314126530601393569732*y - 4735509656299672483752131/260628253061202787139464 -214088358607733043100971/260628253061202787139464*y^17 + 81084858962982043044827/65157063265300696784866*y^16 + 3291930568249767496278423/130314126530601393569732*y^15 - 333852811428959312010189/130314126530601393569732*y^14 - 68734658431044927807573057/260628253061202787139464*y^13 - 4106614107396480839061206/32578531632650348392433*y^12 + 176115675904790152134066253/130314126530601393569732*y^11 + 294073898115286843367705377/260628253061202787139464*y^10 - 934799867765502049166708427/260628253061202787139464*y^9 - 930929754506366553311079913/260628253061202787139464*y^8 + 167279286906131981991892044/32578531632650348392433*y^7 + 285490705970849961023848577/65157063265300696784866*y^6 - 1105914571021084215274506991/260628253061202787139464*y^5 - 39378367685164668071168003/32578531632650348392433*y^4 + 416864046351390054552190511/260628253061202787139464*y^3 - 732481294985413059785245/130314126530601393569732*y^2 - 12226738419688134164037995/65157063265300696784866*y + 996014213422145361888117/32578531632650348392433 102088847402375966608537/2085026024489622297115712*y^17 - 17181116481183044269295/260628253061202787139464*y^16 - 1592220436479845381080175/1042513012244811148557856*y^15 - 93548063685835196816853/1042513012244811148557856*y^14 + 33409767378794766496280579/2085026024489622297115712*y^13 + 5313765633729870010669563/521256506122405574278928*y^12 - 85563605199083784498802005/1042513012244811148557856*y^11 - 172129334241492018948463243/2085026024489622297115712*y^10 + 450144036056861727446365221/2085026024489622297115712*y^9 + 544538327993013665754626227/2085026024489622297115712*y^8 - 78989704395220290890179837/260628253061202787139464*y^7 - 22429152019181064884883103/65157063265300696784866*y^6 + 531448546921592701461973893/2085026024489622297115712*y^5 + 74055108112115435143466907/521256506122405574278928*y^4 - 258077654523798799828551521/2085026024489622297115712*y^3 - 13057207751428664075464067/1042513012244811148557856*y^2 + 2459142912800898365998259/130314126530601393569732*y - 426566887929553306254325/260628253061202787139464 14372191544691767525969/65157063265300696784866*y^17 - 11175909136555658588140/32578531632650348392433*y^16 - 220606425253830560134059/32578531632650348392433*y^15 + 31338800761127031590479/32578531632650348392433*y^14 + 4615756610351272350138079/65157063265300696784866*y^13 + 1011015673906571595367666/32578531632650348392433*y^12 - 11884365727554680548614528/32578531632650348392433*y^11 - 18832716853872376850098011/65157063265300696784866*y^10 + 63717237204470358746427199/65157063265300696784866*y^9 + 60253525471875800028753901/65157063265300696784866*y^8 - 46376728799141848322116040/32578531632650348392433*y^7 - 36956789996285901611174665/32578531632650348392433*y^6 + 77779017560644654296300669/65157063265300696784866*y^5 + 9706580413101801771584591/32578531632650348392433*y^4 - 29118662304840733064276939/65157063265300696784866*y^3 + 221056254692052895850176/32578531632650348392433*y^2 + 1707041670950653305280442/32578531632650348392433*y - 211913305940847399929194/32578531632650348392433 14372191544691767525969/65157063265300696784866*y^17 - 11175909136555658588140/32578531632650348392433*y^16 - 220606425253830560134059/32578531632650348392433*y^15 + 31338800761127031590479/32578531632650348392433*y^14 + 4615756610351272350138079/65157063265300696784866*y^13 + 1011015673906571595367666/32578531632650348392433*y^12 - 11884365727554680548614528/32578531632650348392433*y^11 - 18832716853872376850098011/65157063265300696784866*y^10 + 63717237204470358746427199/65157063265300696784866*y^9 + 60253525471875800028753901/65157063265300696784866*y^8 - 46376728799141848322116040/32578531632650348392433*y^7 - 36956789996285901611174665/32578531632650348392433*y^6 + 77779017560644654296300669/65157063265300696784866*y^5 + 9706580413101801771584591/32578531632650348392433*y^4 - 29118662304840733064276939/65157063265300696784866*y^3 + 221056254692052895850176/32578531632650348392433*y^2 + 1707041670950653305280442/32578531632650348392433*y - 211913305940847399929194/32578531632650348392433 1083137940504897067339957/260628253061202787139464*y^17 - 1819473264356914282140087/260628253061202787139464*y^16 - 33077803573409602009984801/260628253061202787139464*y^15 + 4453611291327574169835843/130314126530601393569732*y^14 + 348406882644762073041273811/260628253061202787139464*y^13 + 109383098602930743133190113/260628253061202787139464*y^12 - 1821832905234313492616128595/260628253061202787139464*y^11 - 1206281535765355695524401067/260628253061202787139464*y^10 + 629320065896862178796892979/32578531632650348392433*y^9 + 4014766787961373611719279385/260628253061202787139464*y^8 - 3842886871078922080736215443/130314126530601393569732*y^7 - 4909189753780434084664199887/260628253061202787139464*y^6 + 6698802675113570001545110447/260628253061202787139464*y^5 + 983309435090986405406713405/260628253061202787139464*y^4 - 308152733717703210206069811/32578531632650348392433*y^3 + 218224285312220748314075851/260628253061202787139464*y^2 + 292983059795632007664583265/260628253061202787139464*y - 13291409850639847551412837/65157063265300696784866 # A Gluing Matrix {{2,1,0,0,0,0},{2,4,2,1,1,1},{0,1,2,1,1,1},{0,1,2,1,1,0},{0,1,2,1,1,0},{0,1,2,0,0,0}} # B Gluing Matrix {{1,0,0,0,0,0},{0,2,0,0,0,0},{0,0,1,0,0,0},{0,0,0,1,1,0},{0,0,0,0,2,0},{0,0,0,0,0,2}} # nu Gluing Vector {2, 4, 2, 2, 2, 2} # f Combinatorial flattening {2, -2, 2, 0, 0, 4} # f' Combinatorial flattening {0, 0, -4, 0, 0, 0} # 1 Loop Invariant 69235291268679037328747/65157063265300696784866*y^17 - 495200131626291035661859/260628253061202787139464*y^16 - 2105909188181808326714323/65157063265300696784866*y^15 + 1602232271429659278295771/130314126530601393569732*y^14 + 44690350292131788318074741/130314126530601393569732*y^13 + 18642269044714272615555863/260628253061202787139464*y^12 - 59321757439750997772240952/32578531632650348392433*y^11 - 132063480703070873840420173/130314126530601393569732*y^10 + 1349184776054336561086583021/260628253061202787139464*y^9 + 927456286421938233205844073/260628253061202787139464*y^8 - 2145459538886624592775708937/260628253061202787139464*y^7 - 144872906411791178292074401/32578531632650348392433*y^6 + 241308300158173147767118395/32578531632650348392433*y^5 + 208241995274412054297228401/260628253061202787139464*y^4 - 177279138241718073692912049/65157063265300696784866*y^3 + 84554232641450328154867695/260628253061202787139464*y^2 + 37738174611155987601788883/130314126530601393569732*y - 3211002495126109033104399/65157063265300696784866 # 2 Loop Invariant 226941219182226935257621470173218721739290963597483785806020346698990246496355/10399266441586630777978276141997946038509105042515935466402814977166926221857632*y^17 - 11715850675390477496588548922723136744128359863605255726885265536666023637462/324977076299582211811821129437435813703409532578622983325087968036466444433051*y^16 - 1155587732320290891015022688590436978721287637346700985967049548875261602084605/1733211073597771796329712690332991006418184173752655911067135829527821036976272*y^15 + 138582363432027272666243694742008942008982110400112203395526836818392309150543/866605536798885898164856345166495503209092086876327955533567914763910518488136*y^14 + 72816455206903498090240889229266691890694562164088281207765905531368591167120041/10399266441586630777978276141997946038509105042515935466402814977166926221857632*y^13 + 779450132710926843741139653403311233383012029373775175971355155782334877148871/324977076299582211811821129437435813703409532578622983325087968036466444433051*y^12 - 7889079661003145088197059287934336906377566050949858794258850222143643514022087/216651384199721474541214086291623875802273021719081988883391978690977629622034*y^11 - 87309913993150006014268397873737068988538781394825013395663479270041171210128025/3466422147195543592659425380665982012836368347505311822134271659055642073952544*y^10 + 345316649723760130106586571021586113026407820442932618028482763324671445067004035/3466422147195543592659425380665982012836368347505311822134271659055642073952544*y^9 + 859153626304542431627146517644762838603583869119995190167970190617532380803465247/10399266441586630777978276141997946038509105042515935466402814977166926221857632*y^8 - 59905560787984660283694907110638831792418753655117743823549650950473277356287493/399971786214870414537626005461459463019580963173689825630877499121804854686832*y^7 - 260006159963082624523667528993716125516517576597809652233304332743140754703133241/2599816610396657694494569035499486509627276260628983866600703744291731555464408*y^6 + 1337583941588334121933899204624201651645819916315544902142521272155016548207264353/10399266441586630777978276141997946038509105042515935466402814977166926221857632*y^5 + 104509057981375324732701445060583223584893271901135821618195427513408672824506831/5199633220793315388989138070998973019254552521257967733201407488583463110928816*y^4 - 484045408821268553896053708288421375560548073191075580429722367262923465590400533/10399266441586630777978276141997946038509105042515935466402814977166926221857632*y^3 + 17954965899971238322443647381292308583805294792108047593052837133023415536375569/5199633220793315388989138070998973019254552521257967733201407488583463110928816*y^2 + 4585792266528668850087591401236380439060718469909634025206816191060890485542299/866605536798885898164856345166495503209092086876327955533567914763910518488136*y + 1513750551180458311038309784786695419792953540491639506703789432184879855192283/2599816610396657694494569035499486509627276260628983866600703744291731555464408 # 3 Loop Invariant -100050088966674107713283865691953050808661267776504982081883013294914127067152160172643708377517147982943/12641873190145577750807103219579543508188944182708922223908908097839717230707642444521618406913072424618816*y^17 + 20928915086420607022013158504837059903292186835528333637131141035310385548505811564542325741445090257589/1580234148768197218850887902447442938523618022838615277988613512229964653838455305565202300864134053077352*y^16 + 3055629115120965324313652350151593917968586306352146044633914732399118295967722264442869197254230298620729/12641873190145577750807103219579543508188944182708922223908908097839717230707642444521618406913072424618816*y^15 - 802372572938021112331179641443402887693292227237932544676359534811071086814046696717246329353721845624837/12641873190145577750807103219579543508188944182708922223908908097839717230707642444521618406913072424618816*y^14 - 502520298229725114710001995439915262247414088888133950766777622707185945519517897518883470333657712568842/197529268596024652356360987805930367315452252854826909748576689028745581729806913195650287608016756634669*y^13 - 2575525721911006724006374239637428668730377972947951187460815524926022434481233038776778968163624488412859/3160468297536394437701775804894885877047236045677230555977227024459929307676910611130404601728268106154704*y^12 + 167951078077777871826241173885429943955979104290750120672494088655042289888885649307973662942604777306940579/12641873190145577750807103219579543508188944182708922223908908097839717230707642444521618406913072424618816*y^11 + 56140682147422994982122503335813727766977047542817720909647196956133892868759879134070575096845820573961439/6320936595072788875403551609789771754094472091354461111954454048919858615353821222260809203456536212309408*y^10 - 463035989958209418944603234522749925114252161326500852855887774571300834412667045306455555341235290297679251/12641873190145577750807103219579543508188944182708922223908908097839717230707642444521618406913072424618816*y^9 - 372280628734670737249615397133905916331375893270926833037738502813048138118365566813568381111484056267712665/12641873190145577750807103219579543508188944182708922223908908097839717230707642444521618406913072424618816*y^8 + 704488873551552987202371913892234016684251029811395308945709045787246843022217661959708235198853154618491373/12641873190145577750807103219579543508188944182708922223908908097839717230707642444521618406913072424618816*y^7 + 113410353478986898709987035060793365507443293007900739516466315692952469297898629338167925774455694687262891/3160468297536394437701775804894885877047236045677230555977227024459929307676910611130404601728268106154704*y^6 - 612199240374222782445851006943443669260939053145282487973166032139744124562780723294057722662975861828063227/12641873190145577750807103219579543508188944182708922223908908097839717230707642444521618406913072424618816*y^5 - 89851730685491815990057492447223566399664728936915272390021610345302724779803973090836169873616781396390593/12641873190145577750807103219579543508188944182708922223908908097839717230707642444521618406913072424618816*y^4 + 7018872990853362969007464689400805487837976762498759012201027522511723681851506093023531042897952079279835/395058537192049304712721975611860734630904505709653819497153378057491163459613826391300575216033513269338*y^3 - 5014994795869615674727614952868119612819688421617095458090647824331800575298944221413377656789425891011653/3160468297536394437701775804894885877047236045677230555977227024459929307676910611130404601728268106154704*y^2 - 3312574376216960164989365463935188203020492539977602469393548373399793021363896251527959942537301661764781/1580234148768197218850887902447442938523618022838615277988613512229964653838455305565202300864134053077352*y + 316173610624474252782559926409175107063584060209935713226883753984929560496666088447887792174295995519005/790117074384098609425443951223721469261809011419307638994306756114982326919227652782601150432067026538676