# Manifold: Census Knot K7_113 # Number of Tetrahedra: 7 # Number Field x^12 - 5*x^11 + 2*x^10 - 24*x^9 + 34*x^8 + 63*x^7 - 32*x^6 - 67*x^5 - 32*x^4 + 52*x^3 + 9*x^2 - 7*x + 1 # Approximate Field Generator -0.579878294879177 - 0.760309856710584*I # Shape Parameters -19107533478/4639573949*y^11 + 90525911626/4639573949*y^10 - 14106577030/4639573949*y^9 + 453140976162/4639573949*y^8 - 530483812199/4639573949*y^7 - 1351561233595/4639573949*y^6 + 267687609628/4639573949*y^5 + 1376460205670/4639573949*y^4 + 968071437111/4639573949*y^3 - 767106551465/4639573949*y^2 - 396706150655/4639573949*y + 43641078418/4639573949 1563675256/4639573949*y^11 - 12670285291/9279147898*y^10 - 6555346623/9279147898*y^9 - 77488779281/9279147898*y^8 + 16034985112/4639573949*y^7 + 123094480777/4639573949*y^6 + 55539057468/4639573949*y^5 - 79730409522/4639573949*y^4 - 236255506347/9279147898*y^3 - 4971221922/4639573949*y^2 + 50040534525/9279147898*y + 306911951/4639573949 1563675256/4639573949*y^11 - 12670285291/9279147898*y^10 - 6555346623/9279147898*y^9 - 77488779281/9279147898*y^8 + 16034985112/4639573949*y^7 + 123094480777/4639573949*y^6 + 55539057468/4639573949*y^5 - 79730409522/4639573949*y^4 - 236255506347/9279147898*y^3 - 4971221922/4639573949*y^2 + 50040534525/9279147898*y + 306911951/4639573949 -2966467269/9279147898*y^11 + 12810047647/9279147898*y^10 + 2432366993/9279147898*y^9 + 37129973592/4639573949*y^8 - 24582939649/4639573949*y^7 - 105576665660/4639573949*y^6 - 25035832630/4639573949*y^5 + 136180289963/9279147898*y^4 + 86282335234/4639573949*y^3 - 21894379917/9279147898*y^2 - 11252638743/4639573949*y + 6203249205/4639573949 -4917010626/4639573949*y^11 + 24018840851/4639573949*y^10 - 6900325224/4639573949*y^9 + 116336810218/4639573949*y^8 - 153327861702/4639573949*y^7 - 331334761665/4639573949*y^6 + 126131057696/4639573949*y^5 + 355775920122/4639573949*y^4 + 192380414209/4639573949*y^3 - 244151698155/4639573949*y^2 - 83766873438/4639573949*y + 35837858383/4639573949 956040748/4639573949*y^11 - 4509889872/4639573949*y^10 + 748891804/4639573949*y^9 - 23206308383/4639573949*y^8 + 25973699292/4639573949*y^7 + 64049154043/4639573949*y^6 - 10785539912/4639573949*y^5 - 64048398770/4639573949*y^4 - 44403020483/4639573949*y^3 + 36717900590/4639573949*y^2 + 15189758508/4639573949*y - 932283771/4639573949 -14269027712/4639573949*y^11 + 60131212932/4639573949*y^10 + 18832398888/4639573949*y^9 + 356918752521/4639573949*y^8 - 205276520547/4639573949*y^7 - 1063713486937/4639573949*y^6 - 381498577182/4639573949*y^5 + 662814917661/4639573949*y^4 + 989955501629/4639573949*y^3 + 36966812933/4639573949*y^2 - 107891951560/4639573949*y + 19013050543/4639573949 # A Gluing Matrix {{-1,1,1,0,0,0,-1},{1,0,0,-1,-1,0,0},{1,0,2,-1,1,2,1},{0,-1,-1,1,-1,-2,-1},{0,-1,1,-1,0,0,0},{0,0,2,-2,0,1,0},{-1,0,1,-1,0,0,0}} # 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 {1, 0, 2, -1, 0, 1, 0} # f Combinatorial flattening {0, 0, 1, 1, -1, 1, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 9990290463/9279147898*y^11 - 20106339928/4639573949*y^10 - 25094608829/9279147898*y^9 - 116793790566/4639573949*y^8 + 93966238525/9279147898*y^7 + 431365664817/4639573949*y^6 + 301895030413/9279147898*y^5 - 363960245133/4639573949*y^4 - 703944895243/9279147898*y^3 + 22275589567/9279147898*y^2 + 252902590763/9279147898*y - 18729891825/9279147898 # 2 Loop Invariant 12052721228834880139410639916232144249959/218413189707631207746673949509512110848976*y^11 - 175130897779122042653373981083611485082679/655239569122893623240021848528536332546928*y^10 + 39055053065761467101778810370587717826805/655239569122893623240021848528536332546928*y^9 - 104459147921907586348947730966811695997203/81904946140361702905002731066067041568366*y^8 + 45866570037700739135410892057563629400149/27301648713453900968334243688689013856122*y^7 + 9319221664225800713741885181765712486711/2356976867348538213093603771685382491176*y^6 - 429066009198742158016334034705085514393437/327619784561446811620010924264268166273464*y^5 - 2980620216008767325826258481597075840595567/655239569122893623240021848528536332546928*y^4 - 264775160264141695398644269505708643335943/109206594853815603873336974754756055424488*y^3 + 1919958029739683545040675145853116783564839/655239569122893623240021848528536332546928*y^2 + 416432122292062354509817265642548115196493/327619784561446811620010924264268166273464*y - 6677784398640152360130350209903640076747/13650824356726950484167121844344506928061 # 3 Loop Invariant 10534433672258523304281287982447879511900934218263842721/374644404062901277884276007153559921884807274078065337392*y^11 - 209195598688923864337762927127295837165366291579566407013/1498577616251605111537104028614239687539229096312261349568*y^10 + 41529157397080605067531327703179699849403601117538477355/749288808125802555768552014307119843769614548156130674784*y^9 - 518959099259641108948820041479308369891782923592723948091/749288808125802555768552014307119843769614548156130674784*y^8 + 1405083831125744957947769951758093313905928996409706384609/1498577616251605111537104028614239687539229096312261349568*y^7 + 1271967665992439825787913484901592493566107420872270527533/749288808125802555768552014307119843769614548156130674784*y^6 - 273190752641810779174780698509646094800039630060507097083/374644404062901277884276007153559921884807274078065337392*y^5 - 630606870946955094050505814115151195228185251139578669583/374644404062901277884276007153559921884807274078065337392*y^4 - 1546057234545400361680249929797315967247362252711867736875/1498577616251605111537104028614239687539229096312261349568*y^3 + 1969281493842346198572961515842738440929194496047082833185/1498577616251605111537104028614239687539229096312261349568*y^2 + 284565081676851080596626896663893943853896298867257430731/1498577616251605111537104028614239687539229096312261349568*y - 37777462487136092864912487197964987441542112233008026051/1498577616251605111537104028614239687539229096312261349568