# Manifold: Census Knot K7_20 # Number of Tetrahedra: 7 # Number Field x^12 - 9/4*x^11 - 19/4*x^10 + 45/4*x^9 + 29/2*x^8 - 61/2*x^7 - 77/4*x^6 + 153/4*x^5 + 23/4*x^4 - 73/4*x^3 - 13/4*x^2 + 1/2*x + 21/4 # Approximate Field Generator 1.75571529997267 - 0.701516014157024*I # Shape Parameters 384859440/271934983759*y^11 - 1771531860/271934983759*y^10 + 18793076470/271934983759*y^9 - 23155263658/271934983759*y^8 - 77995824399/271934983759*y^7 + 112805253188/271934983759*y^6 + 217154942784/271934983759*y^5 - 343013629644/271934983759*y^4 - 153956475477/271934983759*y^3 + 418775050554/271934983759*y^2 - 32935821257/271934983759*y + 8143279160/271934983759 88532968512/271934983759*y^11 - 177128880104/271934983759*y^10 - 350336158426/271934983759*y^9 + 603612673326/271934983759*y^8 + 1132083991334/271934983759*y^7 - 1269385057706/271934983759*y^6 - 1191264717447/271934983759*y^5 + 224725986519/271934983759*y^4 + 548194324623/271934983759*y^3 + 479768568830/271934983759*y^2 - 839845295888/271934983759*y - 242672006188/271934983759 -103376817208/271934983759*y^11 + 209578371626/271934983759*y^10 + 480119735335/271934983759*y^9 - 873956777139/271934983759*y^8 - 1540511880644/271934983759*y^7 + 2018762799771/271934983759*y^6 + 1950042418239/271934983759*y^5 - 1337215413624/271934983759*y^4 - 473345172081/271934983759*y^3 - 472516056032/271934983759*y^2 - 240353270218/271934983759*y + 691973349898/271934983759 29042177420/271934983759*y^11 - 109027732395/271934983759*y^10 - 16759860453/271934983759*y^9 + 423793783293/271934983759*y^8 - 50779890005/271934983759*y^7 - 1037830159558/271934983759*y^6 + 585328888866/271934983759*y^5 + 636000057838/271934983759*y^4 - 711150841469/271934983759*y^3 + 399101950954/271934983759*y^2 - 77719347764/271934983759*y + 439152359393/271934983759 88532968512/271934983759*y^11 - 177128880104/271934983759*y^10 - 350336158426/271934983759*y^9 + 603612673326/271934983759*y^8 + 1132083991334/271934983759*y^7 - 1269385057706/271934983759*y^6 - 1191264717447/271934983759*y^5 + 224725986519/271934983759*y^4 + 548194324623/271934983759*y^3 + 479768568830/271934983759*y^2 - 839845295888/271934983759*y - 242672006188/271934983759 -62713947360/271934983759*y^11 + 179689947764/271934983759*y^10 + 217420973657/271934983759*y^9 - 800447852239/271934983759*y^8 - 742055059321/271934983759*y^7 + 2173823103061/271934983759*y^6 + 1001566143134/271934983759*y^5 - 2226781034299/271934983759*y^4 - 996433200573/271934983759*y^3 + 668848490453/271934983759*y^2 + 554238023888/271934983759*y + 120852202233/271934983759 5577645324/271934983759*y^11 + 50826942177/271934983759*y^10 - 167945919416/271934983759*y^9 - 161460912280/271934983759*y^8 + 577425981523/271934983759*y^7 + 498092243344/271934983759*y^6 - 1174970606540/271934983759*y^5 - 286123002940/271934983759*y^4 + 365715548764/271934983759*y^3 - 217189796822/271934983759*y^2 + 356909831181/271934983759*y + 95695820638/271934983759 # A Gluing Matrix {{1,1,0,1,-1,0,0},{2,3,1,2,-2,0,0},{1,2,1,2,0,-1,0},{2,2,1,2,0,0,0},{-1,-2,0,0,1,0,0},{0,0,-1,0,0,2,-1},{0,0,0,0,0,-1,2}} # B Gluing Matrix {{1,0,0,0,0,0,0},{0,1,0,1,0,0,0},{0,0,2,1,0,0,0},{0,0,0,2,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,2,0},{0,0,0,0,0,0,2}} # nu Gluing Vector {1, 3, 4, 4, -1, 0, 0} # f Combinatorial flattening {48, -31, -72, 21, -15, -48, -24} # f' Combinatorial flattening {-52, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 1338740950376/271934983759*y^11 - 2483322819482/271934983759*y^10 - 6121732982294/271934983759*y^9 + 9644083853371/271934983759*y^8 + 19690077564462/271934983759*y^7 - 22742291606197/271934983759*y^6 - 24298091563063/271934983759*y^5 + 16391519215671/271934983759*y^4 + 11329940559739/271934983759*y^3 - 7239033432691/271934983759*y^2 - 8335044759207/271934983759*y - 2302609771858/271934983759 # 2 Loop Invariant -62721773143947910609268090012246400516359/2505181201883371093130587532698648365686772*y^11 + 602889265270266448726941992459613729495083/10020724807533484372522350130794593462747088*y^10 + 574500891218071243247097053644738371622729/5010362403766742186261175065397296731373544*y^9 - 744180761444532885232429234158597531175933/2505181201883371093130587532698648365686772*y^8 - 3528285371266683646213463460931556802646679/10020724807533484372522350130794593462747088*y^7 + 2677665277765314795416488778533449738586863/3340241602511161457507450043598197820915696*y^6 + 4461171407157685117836724769531728103327501/10020724807533484372522350130794593462747088*y^5 - 1189688118455822878322996631387155891277181/1252590600941685546565293766349324182843386*y^4 - 159833609610953226997087067426243247598661/3340241602511161457507450043598197820915696*y^3 + 1756817883913399562063912390307256613383399/5010362403766742186261175065397296731373544*y^2 - 781941902865648738181696573519280780368025/5010362403766742186261175065397296731373544*y + 3126345383560522141651271848512505166078888989/10020724807533484372522350130794593462747088 # 3 Loop Invariant -13734121774282178509909734693285819498325022495482121447/1463336796110616924846421426485977597911528970617113404344*y^11 + 110600211905321584980850117159503633497696230541832531855/5853347184442467699385685705943910391646115882468453617376*y^10 + 309577242960605232379675619175726210117932789702221334019/5853347184442467699385685705943910391646115882468453617376*y^9 - 1149995997762035268877521085224761193146632263180628937099/11706694368884935398771371411887820783292231764936907234752*y^8 - 2121466272654161088499525665455855212191003803026538982925/11706694368884935398771371411887820783292231764936907234752*y^7 + 3065643384597232444842479144697688571938769861321986233279/11706694368884935398771371411887820783292231764936907234752*y^6 + 3689814863564149156025711023817636868407373312756752584261/11706694368884935398771371411887820783292231764936907234752*y^5 - 3693360662384939073220017535809532576732611149010173691081/11706694368884935398771371411887820783292231764936907234752*y^4 - 331971686403846349047615085788771093066216223450775441579/1463336796110616924846421426485977597911528970617113404344*y^3 + 1367428446260139557964116060741321870696948507129052677027/11706694368884935398771371411887820783292231764936907234752*y^2 + 721734781491641964356565707152522846057862361749919750749/11706694368884935398771371411887820783292231764936907234752*y + 217624776052716099554851978130770079165410466415487827147/11706694368884935398771371411887820783292231764936907234752