# Manifold: Census Knot K6_36 # Number of Tetrahedra: 6 # Number Field x^18 - 4*x^17 - 13*x^16 - 3*x^15 - 68*x^14 + 58*x^13 + 650*x^12 - 380*x^11 - 1540*x^10 + 1368*x^9 + 800*x^8 - 1151*x^7 + 59*x^6 + 375*x^5 - 132*x^4 - 50*x^3 + 27*x^2 + 3*x - 1 # Approximate Field Generator 0.347383862123591 + 0.479753547385836*I # Shape Parameters 1236926845296886993/4871706827795194769*y^17 - 4953927892189384272/4871706827795194769*y^16 - 16276433167696624136/4871706827795194769*y^15 - 3079878651880600093/4871706827795194769*y^14 - 80228298645780399032/4871706827795194769*y^13 + 78299810120961762154/4871706827795194769*y^12 + 825227211631156185045/4871706827795194769*y^11 - 458445061891392503097/4871706827795194769*y^10 - 2037552164370978088615/4871706827795194769*y^9 + 1569640431282961194620/4871706827795194769*y^8 + 1217738370140801879603/4871706827795194769*y^7 - 1282521915219193811955/4871706827795194769*y^6 - 61377242397263266433/4871706827795194769*y^5 + 418257897968721077637/4871706827795194769*y^4 - 104784575509893204671/4871706827795194769*y^3 - 64959616888115965067/4871706827795194769*y^2 + 15690199312314511319/4871706827795194769*y + 6062538695012532501/4871706827795194769 13016608464228503286/4871706827795194769*y^17 - 39753115758177480633/4871706827795194769*y^16 - 210372927517577250649/4871706827795194769*y^15 - 224877721060219336411/4871706827795194769*y^14 - 1048850111477571193836/4871706827795194769*y^13 - 208488575100430601859/4871706827795194769*y^12 + 8526249174946572183762/4871706827795194769*y^11 + 2993665373226710457275/4871706827795194769*y^10 - 19490570161532386967765/4871706827795194769*y^9 + 2479328210980623723/4871706827795194769*y^8 + 15429675521327753667667/4871706827795194769*y^7 - 3484605971490786744473/4871706827795194769*y^6 - 4844708664722825860222/4871706827795194769*y^5 + 2610189638522929630405/4871706827795194769*y^4 + 654290373067766075530/4871706827795194769*y^3 - 649593514836905373932/4871706827795194769*y^2 - 76898399270617238230/4871706827795194769*y + 27115145482675724099/4871706827795194769 -26301983200269702934/14615120483385584307*y^17 + 96593456427640800809/14615120483385584307*y^16 + 376413270379578496264/14615120483385584307*y^15 + 201966029277041965753/14615120483385584307*y^14 + 1789498100271657186407/14615120483385584307*y^13 - 1135650713222140306847/14615120483385584307*y^12 - 17976149637984477431272/14615120483385584307*y^11 + 3064185857243594254627/14615120483385584307*y^10 + 42287224525218018453839/14615120483385584307*y^9 - 17388152357996286086485/14615120483385584307*y^8 - 26309056223060202466406/14615120483385584307*y^7 + 5167869954659433129011/4871706827795194769*y^6 + 4235153098974284895854/14615120483385584307*y^5 - 5939444888817933976094/14615120483385584307*y^4 + 353794898620605701095/14615120483385584307*y^3 + 1056276152261469635786/14615120483385584307*y^2 + 24853699364894545418/14615120483385584307*y - 8538030506290792310/4871706827795194769 51478025508488435498/4871706827795194769*y^17 - 171205221105369838797/4871706827795194769*y^16 - 781243075243288835000/4871706827795194769*y^15 - 693469342888954528699/4871706827795194769*y^14 - 4015738518125052654758/4871706827795194769*y^13 + 246156714716306966092/4871706827795194769*y^12 + 33366859616869353383704/4871706827795194769*y^11 + 3020223612008307721207/4871706827795194769*y^10 - 75088796137971265578577/4871706827795194769*y^9 + 19327488015352350321057/4871706827795194769*y^8 + 49517412520239182251257/4871706827795194769*y^7 - 23041245840103958736298/4871706827795194769*y^6 - 10263826569108799753339/4871706827795194769*y^5 + 10073267258531936907602/4871706827795194769*y^4 + 138478845830439186698/4871706827795194769*y^3 - 1852793725714423425524/4871706827795194769*y^2 - 75091448172931521370/4871706827795194769*y + 55635110769769206336/4871706827795194769 -12051994393536900002/4871706827795194769*y^17 + 37180696383128349633/4871706827795194769*y^16 + 191841684609158838199/4871706827795194769*y^15 + 206720126929137070083/4871706827795194769*y^14 + 995105355870402635529/4871706827795194769*y^13 + 212732197808644997238/4871706827795194769*y^12 - 7710558787547651227833/4871706827795194769*y^11 - 2365292152217703381708/4871706827795194769*y^10 + 17158273220507733702088/4871706827795194769*y^9 - 1373834072126879195446/4871706827795194769*y^8 - 12567335552297840220262/4871706827795194769*y^7 + 4045377586467322871356/4871706827795194769*y^6 + 3355502913748949750425/4871706827795194769*y^5 - 2354941658028187112480/4871706827795194769*y^4 - 279395607638351257519/4871706827795194769*y^3 + 488351008390438479209/4871706827795194769*y^2 + 26354753484692842384/4871706827795194769*y - 11104872252637339015/4871706827795194769 71803664848427909062/4871706827795194769*y^17 - 202040448821473368531/4871706827795194769*y^16 - 1168322968763716527538/4871706827795194769*y^15 - 1615841795068046703401/4871706827795194769*y^14 - 6873108502230433515171/4871706827795194769*y^13 - 4081577809763842865211/4871706827795194769*y^12 + 41379577183799048095038/4871706827795194769*y^11 + 21606120338531063840989/4871706827795194769*y^10 - 82239231886073324210950/4871706827795194769*y^9 + 1421666513058576724662/4871706827795194769*y^8 + 53915334656005942808963/4871706827795194769*y^7 - 17088609372305691639822/4871706827795194769*y^6 - 13522890014199306005385/4871706827795194769*y^5 + 9151526364224349074324/4871706827795194769*y^4 + 1187118320090236177741/4871706827795194769*y^3 - 1628675310822425093605/4871706827795194769*y^2 - 92589755083919523429/4871706827795194769*y + 51612958050103309120/4871706827795194769 # A Gluing Matrix {{1,0,2,0,2,-2},{0,0,-2,0,-2,2},{1,-2,-4,1,-4,4},{0,0,1,1,0,0},{1,-2,-4,0,0,2},{-1,2,4,0,2,-3}} # B Gluing Matrix {{2,0,0,0,0,0},{0,1,0,0,0,0},{0,0,1,0,0,0},{0,0,0,1,0,0},{0,0,0,0,1,0},{0,0,0,0,0,1}} # nu Gluing Vector {2, 0, 0, 1, 0, 1} # f Combinatorial flattening {2, 3, -3, 4, 0, -3} # f' Combinatorial flattening {0, 0, 0, 0, -2, 0} # 1 Loop Invariant 1297454264921042442958/4871706827795194769*y^17 - 4272894945940700722981/4871706827795194769*y^16 - 19844730021742794996330/4871706827795194769*y^15 - 18064630203235898621999/4871706827795194769*y^14 - 101585434899566475989667/4871706827795194769*y^13 + 2985711869108065464401/4871706827795194769*y^12 + 842070532548024998638122/4871706827795194769*y^11 + 102596208918022188084729/4871706827795194769*y^10 - 1899960608710008358437533/4871706827795194769*y^9 + 428141918874975502462675/4871706827795194769*y^8 + 1286959942848782034208702/4871706827795194769*y^7 - 551742312179145174563253/4871706827795194769*y^6 - 290778749971560133067866/4871706827795194769*y^5 + 256763891860213819384268/4871706827795194769*y^4 + 12762587188654164234825/4871706827795194769*y^3 - 50313898890306089979734/4871706827795194769*y^2 - 2670134678779947005772/4871706827795194769*y + 1754995801870552376978/4871706827795194769 # 2 Loop Invariant -64625795069251443102358228982665814017631535539213315807023135640570545/297074118378812653154365758460215502295334842459195075154202740361609008*y^17 + 109557525769151733478230662701043441250780073672084890046094202115135709/148537059189406326577182879230107751147667421229597537577101370180804504*y^16 + 320905943724082949789155532186014430645817434659765895944612330918443495/99024706126270884384788586153405167431778280819731691718067580120536336*y^15 + 411973532791438976734110644773456656654072708607932395270874057239086271/148537059189406326577182879230107751147667421229597537577101370180804504*y^14 + 5036852777654352359844488226438933841001280770576614406904974404644272227/297074118378812653154365758460215502295334842459195075154202740361609008*y^13 - 620830970805873323191212148781429222829278397364991944421371421838954091/297074118378812653154365758460215502295334842459195075154202740361609008*y^12 - 41577910201441430994163654505249406213368883939767978775626656686866321605/297074118378812653154365758460215502295334842459195075154202740361609008*y^11 - 225332074578322002024158456181205860381345608756843387093652562019708697/49512353063135442192394293076702583715889140409865845859033790060268168*y^10 + 45941701282542775338833837308234788683649055334544895674611651352920763361/148537059189406326577182879230107751147667421229597537577101370180804504*y^9 - 28797963144348461882193044878531685887372549594460789246595267342957453487/297074118378812653154365758460215502295334842459195075154202740361609008*y^8 - 6877628354377167182398660844879167962690721431777319204531883836030741357/37134264797351581644295719807526937786916855307399384394275342545201126*y^7 + 13959735645064477427491420269008077304646666296440074304053820269173058559/148537059189406326577182879230107751147667421229597537577101370180804504*y^6 + 604473094698492539791137218329786784921802446114215530812122789824359197/18567132398675790822147859903763468893458427653699692197137671272600563*y^5 - 2747854960781681260812051149554934008219173126474457105795858180007747167/74268529594703163288591439615053875573833710614798768788550685090402252*y^4 + 13382979871896340396774175315777890746393025429437058511422884014427209/99024706126270884384788586153405167431778280819731691718067580120536336*y^3 + 329843253946472043734126282809123205018412280991362994241862163620671669/49512353063135442192394293076702583715889140409865845859033790060268168*y^2 + 14582355338820725200423485793330604338673628736582038568959044660878881/24756176531567721096197146538351291857944570204932922929516895030134084*y - 19507127295876231123672316130055796958108189268470488846200279328397593/297074118378812653154365758460215502295334842459195075154202740361609008 # 3 Loop Invariant 778638946317885039038791869867830711137149962378308689588322213133569417441628755534979623033491/7059025895592359749031110302244767339861585955303774551328842777566836062766449235825077485553184*y^17 - 310631026019972643478821536986002764378835721255281219419833647435579295881288569157682274578539/882378236949044968628888787780595917482698244412971818916105347195854507845806154478134685694148*y^16 - 24314380899297519971461088576389152949039840736252124112787602213816382504858775007014293526682581/14118051791184719498062220604489534679723171910607549102657685555133672125532898471650154971106368*y^15 - 24234319821786734226584101877770662026415576943187393464089543246797012654195949612109647535536415/14118051791184719498062220604489534679723171910607549102657685555133672125532898471650154971106368*y^14 - 62213998761634562413527280119141643429335752114480622593579960035638216117018342304324440691281261/7059025895592359749031110302244767339861585955303774551328842777566836062766449235825077485553184*y^13 - 132866098220267443701657052415823167500021490272401945395660899236777833433132950709939300038753/220594559237261242157222196945148979370674561103242954729026336798963626961451538619533671423537*y^12 + 1010119057870036944760954166705586888810106946717931929359930399233706589671888164042931978395444487/14118051791184719498062220604489534679723171910607549102657685555133672125532898471650154971106368*y^11 + 28810487673437586868780212397233158938966343867719393232293480004191532653662892202552087694580221/1764756473898089937257777575561191834965396488825943637832210694391709015691612308956269371388296*y^10 - 561820579074086062230163978935998252974721257232788484651079443473797302222497384329656145446709433/3529512947796179874515555151122383669930792977651887275664421388783418031383224617912538742776592*y^9 + 261896248828134094082098658386041829455619652770541076724624501416298526523989108401884844107748221/14118051791184719498062220604489534679723171910607549102657685555133672125532898471650154971106368*y^8 + 771207915595329787802637278360590466296261783728311405996001605181204075313460984490309476591149157/7059025895592359749031110302244767339861585955303774551328842777566836062766449235825077485553184*y^7 - 28710296539071460469846906099856905111269230582019428749575875270187129648975383096569353114062301/882378236949044968628888787780595917482698244412971818916105347195854507845806154478134685694148*y^6 - 194154316775682208774647074013038993053495851657261395661729740428891132614924418522670809444411473/7059025895592359749031110302244767339861585955303774551328842777566836062766449235825077485553184*y^5 + 244197525781786481260350932333106149030132673547714982735918138335484368076407255276049631073078979/14118051791184719498062220604489534679723171910607549102657685555133672125532898471650154971106368*y^4 + 46991590362152926730316884946128858569059614186892720632553644958503453785250510818067034860401355/14118051791184719498062220604489534679723171910607549102657685555133672125532898471650154971106368*y^3 - 6483231501543163367310608917447375044441273616334477698549507557298829435902409984765311916975623/1764756473898089937257777575561191834965396488825943637832210694391709015691612308956269371388296*y^2 - 5523863619503544273505492274623396706813881076896869285635658478225497963262918955199501937164631/7059025895592359749031110302244767339861585955303774551328842777566836062766449235825077485553184*y + 522359822648978108016053175333085866166903200120343535242443888069177048423264802955385459719833/14118051791184719498062220604489534679723171910607549102657685555133672125532898471650154971106368