# Manifold: Census Knot K7_72 # Number of Tetrahedra: 7 # Number Field x^10 + 2*x^9 - 8*x^8 - 204*x^7 - 1051*x^6 - 3981*x^5 - 5067*x^4 - 2794*x^3 - 70*x^2 + 625*x + 275 # Approximate Field Generator -0.392137341280385 + 0.524907176335547*I # Shape Parameters -127472842963/540473775617520*y^9 - 396276147481/540473775617520*y^8 + 70679174071/60052641735280*y^7 + 8903509201649/180157925205840*y^6 + 40778707281577/135118443904380*y^5 + 678679649147003/540473775617520*y^4 + 340088503418359/135118443904380*y^3 + 286149434806927/90078962602920*y^2 + 88847857291919/27023688780876*y + 290431176617381/108094755123504 882795328918/60803299756971*y^9 + 1027760947615/60803299756971*y^8 - 98144371557/750658021691*y^7 - 57812035174883/20267766585657*y^6 - 782614600165492/60803299756971*y^5 - 2855191900452830/60803299756971*y^4 - 2069459620593712/60803299756971*y^3 - 224075835751925/20267766585657*y^2 + 479157708634814/60803299756971*y + 282205540518935/60803299756971 1901809192429/720631700823360*y^9 + 1346290541913/240210566941120*y^8 - 5136656929943/240210566941120*y^7 - 130137614862303/240210566941120*y^6 - 510175667658697/180157925205840*y^5 - 7688864986944757/720631700823360*y^4 - 52161821940964/3753290108455*y^3 - 151315050940461/24021056694112*y^2 + 5121236795591/18015792520584*y + 120950063480455/48042113388224 1901809192429/720631700823360*y^9 + 1346290541913/240210566941120*y^8 - 5136656929943/240210566941120*y^7 - 130137614862303/240210566941120*y^6 - 510175667658697/180157925205840*y^5 - 7688864986944757/720631700823360*y^4 - 52161821940964/3753290108455*y^3 - 151315050940461/24021056694112*y^2 + 5121236795591/18015792520584*y + 120950063480455/48042113388224 9903020332141/2161895102470080*y^9 + 15632850380011/2161895102470080*y^8 - 1927069145273/48042113388224*y^7 - 661848340944959/720631700823360*y^6 - 2390963151230809/540473775617520*y^5 - 35207389223348021/2161895102470080*y^4 - 1074035130534719/67559221952190*y^3 - 1593460952638321/360315850411680*y^2 + 189094669023395/54047377561752*y + 944585850826357/432379020494016 362903590028/304016498784855*y^9 + 5324784608543/1216065995139420*y^8 - 28067778922/3753290108455*y^7 - 106296148529257/405355331713140*y^6 - 999566537500651/608032997569710*y^5 - 3930396655772261/608032997569710*y^4 - 2957337269172241/243213199027884*y^3 - 554144722242059/81071066342628*y^2 - 11010743635543/243213199027884*y + 500994875523065/243213199027884 9903020332141/2161895102470080*y^9 + 15632850380011/2161895102470080*y^8 - 1927069145273/48042113388224*y^7 - 661848340944959/720631700823360*y^6 - 2390963151230809/540473775617520*y^5 - 35207389223348021/2161895102470080*y^4 - 1074035130534719/67559221952190*y^3 - 1593460952638321/360315850411680*y^2 + 189094669023395/54047377561752*y + 944585850826357/432379020494016 # A Gluing Matrix {{0,2,-1,-1,1,0,1},{1,-1,1,1,-1,0,-1},{0,0,1,0,-2,0,1},{0,0,1,0,-1,0,0},{1,-2,2,2,-3,-2,-3},{0,0,1,1,-1,-1,-1},{1,-2,3,1,-5,-2,-1}} # B Gluing Matrix {{2,0,0,0,0,0,0},{0,1,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,0},{0,0,0,0,0,0,2}} # nu Gluing Vector {2, -1, 0, 0, -4, -1, -4} # f Combinatorial flattening {-4, 7, -13, 7, -13, 11, -3} # f' Combinatorial flattening {-1, 0, -10, 0, 0, 0, 0} # 1 Loop Invariant -845592013961/22519740650730*y^9 - 2977316795301/30026320867640*y^8 + 4224541157683/15013160433820*y^7 + 47451754107567/6005264173528*y^6 + 397437031938299/9007896260292*y^5 + 7605688495967233/45039481301460*y^4 + 7724589466882799/30026320867640*y^3 + 729410597690389/6005264173528*y^2 - 634701351788981/18015792520584*y - 262793482939485/6005264173528 # 2 Loop Invariant 41209275928930471394289475224977/35450243824850359710681085264742400*y^9 + 12567243970077213774491790484867/7090048764970071942136217052948480*y^8 - 13366706048438780031250564585947/1312971993512976285580780935731200*y^7 - 2744610660989728158259033513992787/11816747941616786570227028421580800*y^6 - 9846983996733835257127958851291409/8862560956212589927670271316185600*y^5 - 145100556494243677330785550220028553/35450243824850359710681085264742400*y^4 - 3477097941928235160599670487284299/886256095621258992767027131618560*y^3 - 1562453877366629475458083044933037/1181674794161678657022702842158080*y^2 + 1005634924541801919894036794851441/2215640239053147481917567829046400*y - 115977174105903966102439160763780511/7090048764970071942136217052948480 # 3 Loop Invariant 20018460018984336404744616448319773824369/97070471586909421627498085245083187589120000*y^9 + 91415473666674677585887042553499202296529/291211414760728264882494255735249562767360000*y^8 - 179419804468086414114941466488350769216817/97070471586909421627498085245083187589120000*y^7 - 4002976778088730418366904397247013959221741/97070471586909421627498085245083187589120000*y^6 - 4772030783427043433475646950178274202833991/24267617896727355406874521311270796897280000*y^5 - 208889486229518462328404677625018457486767107/291211414760728264882494255735249562767360000*y^4 - 48030553702771223234148224835688272970548721/72802853690182066220623563933812390691840000*y^3 - 4923642333713496761452523493763110036885673/48535235793454710813749042622541593794560000*y^2 + 138419394402042245311410055581220690679173/970704715869094216274980852450831875891200*y + 1390888038793475095366695261223666588918523/11648456590429130595299770229409982510694400