# Manifold: Census Knot K5_10 # Number of Tetrahedra: 5 # Number Field x^9 + 4*x^8 - 5*x^7 - 47*x^6 - 81*x^5 - 49*x^4 - x^3 + 13*x^2 + 7*x + 1 # Approximate Field Generator -0.328532723069827 + 0.437667969213127*I # Shape Parameters y^8 + 3*y^7 - 7*y^6 - 38*y^5 - 52*y^4 - 26*y^3 + 2*y^2 + 8*y + 4 -y^8 - 2*y^7 + 9*y^6 + 29*y^5 + 23*y^4 + 3*y^3 - 5*y^2 - 3*y 99/146*y^8 + 177/73*y^7 - 306/73*y^6 - 4327/146*y^5 - 6493/146*y^4 - 3083/146*y^3 + 563/146*y^2 + 638/73*y + 541/146 -80/73*y^8 - 275/73*y^7 + 541/73*y^6 + 3442/73*y^5 + 4699/73*y^4 + 1546/73*y^3 - 890/73*y^2 - 804/73*y - 199/73 -47/146*y^8 - 157/146*y^7 + 337/146*y^6 + 3975/292*y^5 + 5045/292*y^4 + 320/73*y^3 - 991/292*y^2 - 733/292*y - 13/292 # A Gluing Matrix {{0,0,-2,-3,-1},{-2,1,-2,-4,-2},{-4,2,-4,-10,-5},{-4,2,-6,-11,-5},{0,0,-1,-1,0}} # B Gluing Matrix {{1,0,0,1,0},{0,1,0,2,0},{0,0,1,4,0},{0,0,0,5,0},{0,0,0,0,1}} # nu Gluing Vector {-1, -1, -4, -5, 0} # f Combinatorial flattening {0, 5, 1, -1, 4} # f' Combinatorial flattening {2, 0, 0, 0, 0} # 1 Loop Invariant 1500/73*y^8 + 11225/146*y^7 - 8848/73*y^6 - 68224/73*y^5 - 210267/146*y^4 - 94475/146*y^3 + 27389/146*y^2 + 37085/146*y + 6122/73 # 2 Loop Invariant -650126187085825985124301/8421017635454155454762544*y^8 - 1086624517550050576502657/4210508817727077727381272*y^7 + 2327250020890160859044675/4210508817727077727381272*y^6 + 13727895314822723396596021/4210508817727077727381272*y^5 + 8732181803006338207203191/2105254408863538863690636*y^4 + 9305303307355650483496811/8421017635454155454762544*y^3 - 242377864420684148346815/350875734810589810615106*y^2 - 1363447118299040237696751/2807005878484718484920848*y + 2057281411999058158785503/4210508817727077727381272 # 3 Loop Invariant 2566231554263149681655602706958237/275215923309749798580919407594917024*y^8 + 17899996677137838674796531383502865/550431846619499597161838815189834048*y^7 - 33119460834178579764223732221397087/550431846619499597161838815189834048*y^6 - 111342478530988050706005226570484689/275215923309749798580919407594917024*y^5 - 4034806959600688434461537432393511/6967491729360754394453655888478912*y^4 - 118971341739636104994707988438095511/550431846619499597161838815189834048*y^3 + 52986344871841963373635525569197731/550431846619499597161838815189834048*y^2 + 11903430296006996150955484572317797/137607961654874899290459703797458512*y + 7239079399536527951749366133329027/275215923309749798580919407594917024 # 4 Loop Invariant -1823732810813539404721751935716607489295689705295023319653/952437593321589630450514996970870570617186618303605741020160*y^8 - 1132923298063432509369237343237416135882372321681454279439/158739598886931605075085832828478428436197769717267623503360*y^7 + 2165329041995054004837715305424424613767184648694522325167/190487518664317926090102999394174114123437323660721148204032*y^6 + 649763895481436259214073001217795971882837561931750649593/7440918697824918987894648413834926332946770455496919851720*y^5 + 128083438188104514262695780350635218854624380159199955327001/952437593321589630450514996970870570617186618303605741020160*y^4 + 13299163147719292269380963442798529806308772386656506246529/238109398330397407612628749242717642654296654575901435255040*y^3 - 8353735736309402682709807506162049239623806166102667249487/238109398330397407612628749242717642654296654575901435255040*y^2 - 13439205561562821898168181335992096197797434593609499178387/317479197773863210150171665656956856872395539434535247006720*y - 2802801605450470409606056086272529805253361134809762784237/317479197773863210150171665656956856872395539434535247006720 # 5 Loop Invariant 18006288837628975507884866695485409659386667361268083388914243829169/4150345448944552467231155486061191254149265213257624271040865832603648*y^8 + 21305492856842226400935093378458671655781041529516901363571620787969/1556379543354207175211683307272946720305974454971609101640324687226368*y^7 - 401008848631934141770259833669651785876875821089431564729471716935505/12451036346833657401693466458183573762447795639772872813122597497810944*y^6 - 1081213078806973527660289474858431435206565035174747892621781808892631/6225518173416828700846733229091786881223897819886436406561298748905472*y^5 - 878271803653976943576421087078248321520009851701510865446057971848351/4150345448944552467231155486061191254149265213257624271040865832603648*y^4 - 77689693173676697078241664083886531744994788092034234466511835962011/1037586362236138116807788871515297813537316303314406067760216458150912*y^3 - 15043559362568347100836056634004754376701531949802099173523110272575/3112759086708414350423366614545893440611948909943218203280649374452736*y^2 + 308881250642682234259658515171878258334999361367871829002320854317993/12451036346833657401693466458183573762447795639772872813122597497810944*y + 74127302662453573881493929103151526692213288308218263811009339909281/12451036346833657401693466458183573762447795639772872813122597497810944