# Manifold: Census Knot K7_108 # Number of Tetrahedra: 7 # Number Field x^15 + 14*x^14 + 77*x^13 + 195*x^12 + 199*x^11 + 104*x^10 + 439*x^9 + 518*x^8 - 215*x^7 + 326*x^6 - 35*x^5 + 77*x^4 - 5*x^3 - 8*x^2 - 5*x - 1 # Approximate Field Generator -0.0845738372825972 + 0.534185476047654*I # Shape Parameters 1/1681*y^14 + 15/1681*y^13 + 92/1681*y^12 + 7/41*y^11 + 486/1681*y^10 + 590/1681*y^9 + 1029/1681*y^8 + 1547/1681*y^7 + 1332/1681*y^6 + 1658/1681*y^5 + 1623/1681*y^4 + 1700/1681*y^3 + 1695/1681*y^2 + 1687/1681*y + 1682/1681 -445233401922547/16529028537297229*y^14 - 6428097584960112/16529028537297229*y^13 - 37017579762860751/16529028537297229*y^12 - 101878515183656448/16529028537297229*y^11 - 126503223476682132/16529028537297229*y^10 - 82649791171101248/16529028537297229*y^9 - 206143673153272354/16529028537297229*y^8 - 303042917512597988/16529028537297229*y^7 - 2746877552004405/16529028537297229*y^6 - 91089844162608760/16529028537297229*y^5 - 7260619585492173/16529028537297229*y^4 - 29725707240306240/16529028537297229*y^3 - 37893651970339270/16529028537297229*y^2 + 11915719784278236/16529028537297229*y + 15820284787952224/16529028537297229 -24514383589892048/677690170029186389*y^14 - 349461184369556293/677690170029186389*y^13 - 1973516719807879397/677690170029186389*y^12 - 127709774379500926/16529028537297229*y^11 - 5937443961418141150/677690170029186389*y^10 - 3300307692222946730/677690170029186389*y^9 - 10673480650170404634/677690170029186389*y^8 - 14920040750450318984/677690170029186389*y^7 + 2775311339392988844/677690170029186389*y^6 - 5103755731279638199/677690170029186389*y^5 - 511068694966457359/677690170029186389*y^4 - 2100990828382965962/677690170029186389*y^3 - 759664913580949882/677690170029186389*y^2 + 312399715892910183/677690170029186389*y - 53572877313037253/677690170029186389 -9222143716155521/677690170029186389*y^14 - 153768425909949490/677690170029186389*y^13 - 1048944911381455082/677690170029186389*y^12 - 3609863894439272588/677690170029186389*y^11 - 6180184570725973473/677690170029186389*y^10 - 4756923866667114525/677690170029186389*y^9 - 5609021927073772615/677690170029186389*y^8 - 15061330799939340112/677690170029186389*y^7 - 8173951730658844176/677690170029186389*y^6 + 4345617805831477643/677690170029186389*y^5 - 9519252080673874721/677690170029186389*y^4 + 3025942053638940298/677690170029186389*y^3 - 4912267386717923817/677690170029186389*y^2 + 1432849767167533632/677690170029186389*y - 110088291841172929/677690170029186389 -4731865168074928/16529028537297229*y^14 - 65731621624188496/16529028537297229*y^13 - 356831499023691443/16529028537297229*y^12 - 878500889036121461/16529028537297229*y^11 - 814933620202670704/16529028537297229*y^10 - 317529230215343812/16529028537297229*y^9 - 1935195748693440890/16529028537297229*y^8 - 2168448969379185914/16529028537297229*y^7 + 1429605913055355318/16529028537297229*y^6 - 1440379469114602686/16529028537297229*y^5 + 330786431816520881/16529028537297229*y^4 - 319189722414021189/16529028537297229*y^3 + 67611670835947374/16529028537297229*y^2 + 56818916524000098/16529028537297229*y + 36380014891493121/16529028537297229 -4731865168074928/16529028537297229*y^14 - 65731621624188496/16529028537297229*y^13 - 356831499023691443/16529028537297229*y^12 - 878500889036121461/16529028537297229*y^11 - 814933620202670704/16529028537297229*y^10 - 317529230215343812/16529028537297229*y^9 - 1935195748693440890/16529028537297229*y^8 - 2168448969379185914/16529028537297229*y^7 + 1429605913055355318/16529028537297229*y^6 - 1440379469114602686/16529028537297229*y^5 + 330786431816520881/16529028537297229*y^4 - 319189722414021189/16529028537297229*y^3 + 67611670835947374/16529028537297229*y^2 + 56818916524000098/16529028537297229*y + 36380014891493121/16529028537297229 -1797783774653360/16529028537297229*y^14 - 23220458583380416/16529028537297229*y^13 - 112008661567358800/16529028537297229*y^12 - 212063340372012560/16529028537297229*y^11 - 37135381009089200/16529028537297229*y^10 + 70028970918259112/16529028537297229*y^9 - 667445266467310624/16529028537297229*y^8 - 80750835321173120/16529028537297229*y^7 + 1061618858749754357/16529028537297229*y^6 - 1223624874031305818/16529028537297229*y^5 + 1129260171118440173/16529028537297229*y^4 - 614575838986352772/16529028537297229*y^3 + 404397245354553516/16529028537297229*y^2 - 57763247347740552/16529028537297229*y + 58378902898376812/16529028537297229 # A Gluing Matrix {{1,0,-2,0,0,0,0},{0,0,-1,0,0,0,0},{-1,-1,1,0,0,0,0},{0,0,0,1,0,0,0},{0,-1,-1,-1,1,1,-1},{0,-1,-1,-1,1,1,-1},{0,1,1,1,-1,-1,2}} # B Gluing Matrix {{2,0,0,0,0,0,0},{0,1,0,0,0,1,0},{0,0,1,0,0,1,0},{0,0,0,1,0,1,0},{0,0,0,0,1,1,0},{0,0,0,0,0,2,0},{0,0,0,0,0,0,2}} # nu Gluing Vector {0, 0, 1, 1, 0, 0, 2} # f Combinatorial flattening {0, -1, 0, 1, 2, 0, 2} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 133086578457222487/33058057074594458*y^14 + 1853386940205640717/33058057074594458*y^13 + 5054283245452517538/16529028537297229*y^12 + 12585190702561538923/16529028537297229*y^11 + 24402432288756403435/33058057074594458*y^10 + 11323767632646728229/33058057074594458*y^9 + 28214704061932580021/16529028537297229*y^8 + 63805003443368185453/33058057074594458*y^7 - 17297423308776271894/16529028537297229*y^6 + 43381069176731673923/33058057074594458*y^5 - 4712623059793736096/16529028537297229*y^4 + 5517003341678038310/16529028537297229*y^3 - 1766523432386192751/33058057074594458*y^2 - 1433501487821281531/33058057074594458*y - 339277406184517389/16529028537297229 # 2 Loop Invariant -31389431822444114318346225053588132190663225946892038256/629029466459121996987183332261328829917912822469726385367*y^14 - 436982318067432426642280900211923085101384149689203568992/629029466459121996987183332261328829917912822469726385367*y^13 - 3173637166172097156336190989417205644641351071866511302385/838705955278829329316244443015105106557217096626301847156*y^12 - 23596690994977049670427768475285041674254395850960338864055/2516117865836487987948733329045315319671651289878905541468*y^11 - 11164314554010181666355457340182730128524157691391307078077/1258058932918243993974366664522657659835825644939452770734*y^10 - 9066249996785250310672038234514835434576623022271119464929/2516117865836487987948733329045315319671651289878905541468*y^9 - 12886747549660375256453963446063654843348340314978147903114/629029466459121996987183332261328829917912822469726385367*y^8 - 9842169979661398680740560578306719324265214099258659253397/419352977639414664658122221507552553278608548313150923578*y^7 + 12030278235179174058086320540791694445337886010045985796027/838705955278829329316244443015105106557217096626301847156*y^6 - 37006789878363536530669016880665561778799439598585209613487/2516117865836487987948733329045315319671651289878905541468*y^5 + 3926047925516405042761458402703242734152910222263047175573/1258058932918243993974366664522657659835825644939452770734*y^4 - 4282509261417246216734657129496845751048631346616941305169/1258058932918243993974366664522657659835825644939452770734*y^3 + 1545135084628994227369224494587377206386842378717258209371/2516117865836487987948733329045315319671651289878905541468*y^2 + 263295816342031713320694456976555942788073274175779356617/419352977639414664658122221507552553278608548313150923578*y + 614286923633052617869661627341034183336684381438612911213/1677411910557658658632488886030210213114434193252603694312 # 3 Loop Invariant -114396033296776343996560743556207148878659348934389080502817668094154836483/23615706267260477476644036876188896937240965290662958645742725422851564162469*y^14 - 1561481061740863953040549933131389718957999835736266587953501040010678139579/23615706267260477476644036876188896937240965290662958645742725422851564162469*y^13 - 8246013442371862239822435733527696341310547497505803283109747017763099587005/23615706267260477476644036876188896937240965290662958645742725422851564162469*y^12 - 38394302664121091750404258037086424834574157924689730928172825442251151613351/47231412534520954953288073752377793874481930581325917291485450845703128324938*y^11 - 14786714951409849438128974152111009037256674429657144437204382453163287241148/23615706267260477476644036876188896937240965290662958645742725422851564162469*y^10 - 3355960998475246631014954082929527148968088138643576837834334537173805444937/23615706267260477476644036876188896937240965290662958645742725422851564162469*y^9 - 89968861630852169126657577712810631386838185748745652894182068515062018508837/47231412534520954953288073752377793874481930581325917291485450845703128324938*y^8 - 80941625704993721594677943889817454098781609897593613452881237780198554784179/47231412534520954953288073752377793874481930581325917291485450845703128324938*y^7 + 93594436590570113359529622310799463687578369061736484249517672582338505806577/47231412534520954953288073752377793874481930581325917291485450845703128324938*y^6 - 43563327797415415414288667660729969036172050463794474427082592975243794867444/23615706267260477476644036876188896937240965290662958645742725422851564162469*y^5 + 38318133159654466102074833474210037557117124557379205471028869099799792823025/47231412534520954953288073752377793874481930581325917291485450845703128324938*y^4 - 18565890027256977860930783355247506212599386520931540353772044623620132137153/47231412534520954953288073752377793874481930581325917291485450845703128324938*y^3 + 8650361865046601098855221485909722284525756729401827932978672031330760029995/47231412534520954953288073752377793874481930581325917291485450845703128324938*y^2 + 976562574653479712986103944575217080180805019153171862829220848162879075964/23615706267260477476644036876188896937240965290662958645742725422851564162469*y + 583453868937401310170490467387220581266283927894244477569266487451999751651/23615706267260477476644036876188896937240965290662958645742725422851564162469