# Manifold: H T Link Exterior K9n1 # Number of Tetrahedra: 8 # Number Field x^10 + 5*x^9 + 53/4*x^8 + 63/2*x^7 + 60*x^6 + 149/2*x^5 + 245/4*x^4 + 27*x^3 + 39/4*x^2 + 7/4*x + 1/4 # Approximate Field Generator -0.730835478881665 - 0.956954934046861*I # Shape Parameters 130563924/18483583*y^9 + 631619556/18483583*y^8 + 1618074369/18483583*y^7 + 3807196822/18483583*y^6 + 7110213878/18483583*y^5 + 8324731254/18483583*y^4 + 6195537887/18483583*y^3 + 2029259707/18483583*y^2 + 612138159/18483583*y + 73857582/18483583 22279828/18483583*y^9 + 110614720/18483583*y^8 + 290731197/18483583*y^7 + 690114581/18483583*y^6 + 1309011104/18483583*y^5 + 1604873085/18483583*y^4 + 1292364074/18483583*y^3 + 545432406/18483583*y^2 + 180789459/18483583*y + 33144925/18483583 72854352/18483583*y^9 + 355764568/18483583*y^8 + 915972472/18483583*y^7 + 2153571910/18483583*y^6 + 4035730191/18483583*y^5 + 4755674264/18483583*y^4 + 3550028081/18483583*y^3 + 1162533255/18483583*y^2 + 299085562/18483583*y + 35849606/18483583 -284306376/203319413*y^9 - 1388980940/203319413*y^8 - 3565393610/203319413*y^7 - 8339870177/203319413*y^6 - 15583416065/203319413*y^5 - 18190593829/203319413*y^4 - 13114169513/203319413*y^3 - 332582980/18483583*y^2 - 770479141/203319413*y + 29737584/203319413 1265118256/1423235891*y^9 + 6375438780/1423235891*y^8 + 2412452104/203319413*y^7 + 5697306881/203319413*y^6 + 75820371926/1423235891*y^5 + 93300152520/1423235891*y^4 + 73752899851/1423235891*y^3 + 2554584462/129385081*y^2 + 5962976699/1423235891*y + 954622579/1423235891 -131194896/18483583*y^9 - 606563172/18483583*y^8 - 1491018236/18483583*y^7 - 3480762781/18483583*y^6 - 6332013155/18483583*y^5 - 6854930196/18483583*y^4 - 4464401792/18483583*y^3 - 730522169/18483583*y^2 - 213952609/18483583*y + 62121639/18483583 -450933328/129385081*y^9 - 2118000452/129385081*y^8 - 756787520/18483583*y^7 - 1775327867/18483583*y^6 - 22853711212/129385081*y^5 - 25659084383/129385081*y^4 - 17990402131/129385081*y^3 - 4613008438/129385081*y^2 - 1521705369/129385081*y + 153677963/129385081 1259112/18483583*y^9 - 2822720/18483583*y^8 - 26359250/18483583*y^7 - 68402874/18483583*y^6 - 176626763/18483583*y^5 - 374201106/18483583*y^4 - 452058488/18483583*y^3 - 334740375/18483583*y^2 - 95262173/18483583*y - 23287199/18483583 # A Gluing Matrix {{-2,-1,1,-3,-2,-3,-1,0},{-1,0,0,-1,0,0,0,0},{1,0,1,0,1,0,1,0},{-3,-1,0,-2,-2,-2,-1,0},{-2,0,1,-2,-1,-2,-1,0},{-3,0,0,-2,-2,-2,-1,-1},{-1,0,1,-1,-1,-1,0,0},{0,0,0,0,0,-1,0,0}} # B Gluing Matrix {{1,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,0,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {-2, 0, 1, -2, -1, -2, 0, 0} # f Combinatorial flattening {-6, 1, 3, 6, 3, 0, 1, 1} # f' Combinatorial flattening {9, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 370007946/18483583*y^9 + 1729519640/18483583*y^8 + 8545507661/36967166*y^7 + 19873092393/36967166*y^6 + 18143693184/18483583*y^5 + 39549751993/36967166*y^4 + 25429829417/36967166*y^3 + 3882157641/36967166*y^2 + 563655510/18483583*y - 343448/18483583 # 2 Loop Invariant 1174142777697341960207196796/4084414822498281582638135767*y^9 + 5614210243714185625007874765/4084414822498281582638135767*y^8 + 2037716885804821693555474220/583487831785468797519733681*y^7 + 19188790618891446029974087543/2333951327141875190078934724*y^6 + 374535451330269283621234203635/24506488934989689495828814602*y^5 + 865553324133259811635148875955/49012977869979378991657629204*y^4 + 636841848282644041314130599787/49012977869979378991657629204*y^3 + 203881456196833180334029450817/49012977869979378991657629204*y^2 + 61302151000734254184980307131/49012977869979378991657629204*y + 326560107931811408361057356095/49012977869979378991657629204 # 3 Loop Invariant -2035566229137004962352721819013176540/60715794779782273825967102756912306069*y^9 - 9092835832186543249574736509146457786/60715794779782273825967102756912306069*y^8 - 448922204450857358078151041620277617/1239097852648617833183002097079842981*y^7 - 14680318244361677739973085718360938179/17347369937080649664562029359117801734*y^6 - 183802129254334607611489935461868431561/121431589559564547651934205513824612138*y^5 - 95897799405955182978186477399048705994/60715794779782273825967102756912306069*y^4 - 118795110658949862415377900822387090261/121431589559564547651934205513824612138*y^3 - 12896455105533261518580136136272315517/121431589559564547651934205513824612138*y^2 - 1930884938541500586968333647556711236/60715794779782273825967102756912306069*y + 2282548498793834294429057447593356154/60715794779782273825967102756912306069 # 4 Loop Invariant -13571510019061313565420049811223671197750646746334668050013/603751023117314042184029932523879843844478826129900282669145*y^9 - 266172016821691161798278679272362346162709320729823884197903/2415004092469256168736119730095519375377915304519601130676580*y^8 - 32969831491145897647621276536913819020692462591458234417961/115000194879488388987434272861691398827519776405695291936980*y^7 - 936014920875840180108317635573536160667321625782492709168737/1380002338553860667849211274340296785930237316868343503243760*y^6 - 12335421520752909192396236023140619273115589178874344463841821/9660016369877024674944478920382077501511661218078404522706320*y^5 - 333011349225229910136372925242318298779923258181441949201883/214667030441711659443210642675157277811370249290631211615696*y^4 - 3915583042321233270339466098515796313325671597353598680538519/3220005456625674891648159640127359167170553739359468174235440*y^3 - 230066093142782626838593404005155552177062675614771450621135/483000818493851233747223946019103875075583060903920226135316*y^2 - 1423694101777508218001905824393033568515901502508827539075561/9660016369877024674944478920382077501511661218078404522706320*y - 11680430250518296268765324607755049865027947913723706939977/603751023117314042184029932523879843844478826129900282669145