# Manifold: Census Knot K7_90 # Number of Tetrahedra: 7 # Number Field x^12 + 21/2*x^11 + 95/2*x^10 + 989/8*x^9 + 1647/8*x^8 + 226*x^7 + 637/4*x^6 + 993/16*x^5 + 2*x^4 - 169/16*x^3 - 11/2*x^2 - 5/4*x - 1/16 # Approximate Field Generator -1.02099266878281 - 0.999742346135014*I # Shape Parameters 16/5*y^11 + 152/5*y^10 + 608/5*y^9 + 274*y^8 + 1924/5*y^7 + 1692/5*y^6 + 856/5*y^5 + 137/5*y^4 - 21*y^3 - 64/5*y^2 - 24/5*y + 4/5 -1172893456/2531126491*y^11 - 15928638296/2531126491*y^10 - 91014762096/2531126491*y^9 - 290794173794/2531126491*y^8 - 581034194524/2531126491*y^7 - 757809718186/2531126491*y^6 - 634741606464/2531126491*y^5 - 306043263881/2531126491*y^4 - 40251432729/2531126491*y^3 + 40708719299/2531126491*y^2 + 19201563863/2531126491*y + 5138020638/2531126491 593180162656/63278162275*y^11 + 6001275744512/63278162275*y^10 + 25821965786808/63278162275*y^9 + 12590416214276/12655632455*y^8 + 96217457605774/63278162275*y^7 + 93528573565102/63278162275*y^6 + 54006289880076/63278162275*y^5 + 12647126282592/63278162275*y^4 - 998369291219/12655632455*y^3 - 4244197558084/63278162275*y^2 - 1393691482369/63278162275*y - 68718496096/63278162275 -5610063024/2531126491*y^11 - 52122705272/2531126491*y^10 - 198426650072/2531126491*y^9 - 404102629174/2531126491*y^8 - 460074922098/2531126491*y^7 - 226765126802/2531126491*y^6 + 91172308416/2531126491*y^5 + 195394761621/2531126491*y^4 + 99428376212/2531126491*y^3 + 79347208/2531126491*y^2 - 14994972857/2531126491*y - 4787391699/2531126491 -1172893456/2531126491*y^11 - 15928638296/2531126491*y^10 - 91014762096/2531126491*y^9 - 290794173794/2531126491*y^8 - 581034194524/2531126491*y^7 - 757809718186/2531126491*y^6 - 634741606464/2531126491*y^5 - 306043263881/2531126491*y^4 - 40251432729/2531126491*y^3 + 40708719299/2531126491*y^2 + 19201563863/2531126491*y + 2606894147/2531126491 12788843184/2531126491*y^11 + 133458235208/2531126491*y^10 + 592047536032/2531126491*y^9 + 1479721237150/2531126491*y^8 + 2293198795420/2531126491*y^7 + 2215763415992/2531126491*y^6 + 1202233073310/2531126491*y^5 + 177890953413/2531126491*y^4 - 189025606705/2531126491*y^3 - 101505515195/2531126491*y^2 - 14944152048/2531126491*y + 415789059/2531126491 -24217764752/12655632455*y^11 - 246733042744/12655632455*y^10 - 1061463419056/12655632455*y^9 - 512527956098/2531126491*y^8 - 3842235775648/12655632455*y^7 - 3626413118804/12655632455*y^6 - 2007245534692/12655632455*y^5 - 468242138479/12655632455*y^4 + 27717257431/2531126491*y^3 + 119806065758/12655632455*y^2 + 70741126653/12655632455*y + 19737948122/12655632455 # A Gluing Matrix {{-1,2,-1,-1,-2,1,0},{2,-1,0,1,0,-1,0},{0,-1,1,1,0,0,-1},{-1,1,0,0,0,1,0},{-2,0,0,0,-1,0,0},{2,-2,0,2,0,-1,0},{0,0,-1,0,0,-1,2}} # B Gluing Matrix {{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,1,0},{0,0,0,1,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,2,1},{0,0,0,0,0,0,2}} # nu Gluing Vector {-1, 1, 1, 0, -1, 2, 0} # f Combinatorial flattening {2, -2, 4, -1, -3, 4, 4} # f' Combinatorial flattening {-2, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 59840452960/2531126491*y^11 + 585764055104/2531126491*y^10 + 2420411847416/2531126491*y^9 + 5629877924244/2531126491*y^8 + 8150209788670/2531126491*y^7 + 7405913403338/2531126491*y^6 + 3921042579866/2531126491*y^5 + 838744001958/2531126491*y^4 - 220712078815/2531126491*y^3 - 74186915110/2531126491*y^2 + 22779636298/2531126491*y + 15394394175/2531126491 # 2 Loop Invariant 310088952085600857059085327690505073299/318842942157306719763004430592054954393*y^11 + 6356594159736019061227042160697600356189/637685884314613439526008861184109908786*y^10 + 13969971664645670376596092192472872164881/318842942157306719763004430592054954393*y^9 + 93871352889743316065863082329399133846405/850247845752817919368011814912146545048*y^8 + 113134912429345631217402184173494807253799/637685884314613439526008861184109908786*y^7 + 238337993428133658017363275185251579634383/1275371768629226879052017722368219817572*y^6 + 319073674526043594251716265890957342307491/2550743537258453758104035444736439635144*y^5 + 228179148411177404145253449275305558235147/5101487074516907516208070889472879270288*y^4 - 5586288527158544016782002825763113637021/5101487074516907516208070889472879270288*y^3 - 22702625616717874257485312820501536318593/2550743537258453758104035444736439635144*y^2 - 2957329540324525509376707277137814089007/637685884314613439526008861184109908786*y - 349324885201709501940182303270285093317/1700495691505635838736023629824293090096 # 3 Loop Invariant -154851953801424305756312643509105643344208224242802377/87113687279516729869166911059114098181777257459983204*y^11 - 3256421032361418900131442895554049655049889725371099017/174227374559033459738333822118228196363554514919966408*y^10 - 14739210055844436442038909630136247751114657614894906227/174227374559033459738333822118228196363554514919966408*y^9 - 153231977595246861400497533087797782378438934668446219097/696909498236133838953335288472912785454218059679865632*y^8 - 253957048085340050067045870126718808098778058381971395265/696909498236133838953335288472912785454218059679865632*y^7 - 275671298507507649033279477977883158853409386808279435249/696909498236133838953335288472912785454218059679865632*y^6 - 189280122083849615919914867921515339268123596267557850759/696909498236133838953335288472912785454218059679865632*y^5 - 136665835130584584829991361526281669776291466326806985899/1393818996472267677906670576945825570908436119359731264*y^4 + 1295494752327133045410098510576978433599148656948903433/348454749118066919476667644236456392727109029839932816*y^3 + 7062220565382574426257638840944701513531442531517830581/348454749118066919476667644236456392727109029839932816*y^2 + 776532447925703248148606582788942084235739238222031539/87113687279516729869166911059114098181777257459983204*y + 1181170866597789108705475000650344715342644481490702465/696909498236133838953335288472912785454218059679865632