# Manifold: Census Knot K6_3 # Number of Tetrahedra: 6 # Number Field x^14 + 10*x^13 + 16*x^12 - 21*x^11 - 142*x^10 - 44*x^9 + 312*x^8 + 215*x^7 - 230*x^6 - 269*x^5 - 9*x^4 + 98*x^3 + 54*x^2 + 12*x + 1 # Approximate Field Generator 1.16868289157226 + 0.0507164682571026*I # Shape Parameters y^2 - y -1429*y^13 - 13367*y^12 - 14229*y^11 + 39210*y^10 + 177599*y^9 - 51869*y^8 - 412470*y^7 - 40716*y^6 + 355230*y^5 + 154848*y^4 - 87360*y^3 - 83619*y^2 - 23092*y - 2208 1/4*y^13 + 11/4*y^12 + 27/4*y^11 + 3/2*y^10 - 34*y^9 - 45*y^8 + 33*y^7 + 347/4*y^6 + 117/4*y^5 - 38*y^4 - 161/4*y^3 - 63/4*y^2 - 9/4*y + 3/4 -908*y^13 - 8666*y^12 - 10585*y^11 + 23822*y^10 + 118038*y^9 - 13589*y^8 - 276186*y^7 - 70161*y^6 + 238589*y^5 + 136372*y^4 - 51918*y^3 - 65217*y^2 - 20033*y - 2077 -548*y^13 - 5236*y^12 - 6437*y^11 + 14370*y^10 + 71406*y^9 - 7690*y^8 - 167509*y^7 - 43155*y^6 + 145243*y^5 + 82623*y^4 - 31929*y^3 - 39459*y^2 - 11970*y - 1222 -548*y^13 - 5236*y^12 - 6437*y^11 + 14370*y^10 + 71406*y^9 - 7690*y^8 - 167509*y^7 - 43155*y^6 + 145243*y^5 + 82623*y^4 - 31929*y^3 - 39459*y^2 - 11970*y - 1222 # A Gluing Matrix {{-1,1,-2,0,0,0},{1,1,0,-2,-1,-1},{-1,0,-1,0,0,0},{0,-1,0,2,1,1},{0,-1,0,2,1,1},{0,-1,0,2,1,1}} # B Gluing Matrix {{2,0,0,0,0,0},{0,2,0,0,0,0},{0,0,1,0,0,0},{0,0,0,1,0,0},{0,0,0,0,1,1},{0,0,0,0,0,2}} # nu Gluing Vector {0, 0, -1, 2, 2, 2} # f Combinatorial flattening {2, 0, -1, 1, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0} # 1 Loop Invariant 31693/2*y^13 + 305109/2*y^12 + 393183/2*y^11 - 406543*y^10 - 2098604*y^9 + 87944*y^8 + 4917569*y^7 + 3129807/2*y^6 - 8496869/2*y^5 - 2670472*y^4 + 1753667/2*y^3 + 2457573/2*y^2 + 776131/2*y + 81227/2 # 2 Loop Invariant 49676420672296992526683479527233829185403/620449938720625949109381553729721535376*y^13 + 1441309555687397358743527303118270543765459/1861349816161877847328144661189164606128*y^12 + 954945803746789400791247495084010927858395/930674908080938923664072330594582303064*y^11 - 470650281612389740138618001868360505416943/232668727020234730916018082648645575766*y^10 - 9966220608767700656016051956295644941584949/930674908080938923664072330594582303064*y^9 + 8682081925903421482228060155275652683591/930674908080938923664072330594582303064*y^8 + 46592557580739333612105268457719886642525257/1861349816161877847328144661189164606128*y^7 + 2781116410944614056734530559080854466576759/310224969360312974554690776864860767688*y^6 - 4999415118158371348974136082503125268152463/232668727020234730916018082648645575766*y^5 - 26931253331198660138860532652659136971318075/1861349816161877847328144661189164606128*y^4 + 3857661051180601423687291552842522977812151/930674908080938923664072330594582303064*y^3 + 6058356263133271899644806545263959797472657/930674908080938923664072330594582303064*y^2 + 4003439019356401496912433925665377012295497/1861349816161877847328144661189164606128*y + 439601771157857506725917790341869874717177/1861349816161877847328144661189164606128 # 3 Loop Invariant -86094046592278548194305320054339966118114428816694360184977/3863670906430332017120653044606383845624133570596701156656*y^13 - 1655109076598929167756622498740383475192064117875226529775771/7727341812860664034241306089212767691248267141193402313312*y^12 - 528470115875675084545346456501468106775726982463172388297203/1931835453215166008560326522303191922812066785298350578328*y^11 + 4429294905211970953619742162320994503329203829573113312876637/7727341812860664034241306089212767691248267141193402313312*y^10 + 2840913918964845586420206061935943789807710899001500176172823/965917726607583004280163261151595961406033392649175289164*y^9 - 2434608554980718539930124586826360413446624638266500284816049/15454683625721328068482612178425535382496534282386804626624*y^8 - 106338116838525939726474931680164631459777727206770796811580721/15454683625721328068482612178425535382496534282386804626624*y^7 - 16443181424965241260989345735612410723523013780308713100216143/7727341812860664034241306089212767691248267141193402313312*y^6 + 45792254545935656153693660087887899698824667815912287652394645/7727341812860664034241306089212767691248267141193402313312*y^5 + 57171173226045942527185479976654973816842274211235180536582571/15454683625721328068482612178425535382496534282386804626624*y^4 - 18748443897692209071823608106856981744175173111838595387572315/15454683625721328068482612178425535382496534282386804626624*y^3 - 13210901830498083205463056834840381571525886701301828065328519/7727341812860664034241306089212767691248267141193402313312*y^2 - 8447059054027416581982343820109440611080828459335813541853199/15454683625721328068482612178425535382496534282386804626624*y - 903790469497933921749623555559144919227404247660805850606401/15454683625721328068482612178425535382496534282386804626624