# Manifold: Census Knot K7_46 # Number of Tetrahedra: 7 # Number Field x^12 - 10*x^11 + 29*x^10 + 14*x^9 - 45*x^8 - 206*x^7 - 83*x^6 - 18*x^5 - 49*x^4 - 5*x^3 + 3*x + 1 # Approximate Field Generator -0.147707323413045 - 0.374008168851109*I # Shape Parameters 41104383273627/481812742343056*y^11 - 449903829698967/481812742343056*y^10 + 403897599028375/120453185585764*y^9 - 462728724406733/240906371171528*y^8 - 1118663744101713/481812742343056*y^7 - 7125629765549695/481812742343056*y^6 + 835050282556805/120453185585764*y^5 - 1954778534580705/240906371171528*y^4 + 324257301620683/481812742343056*y^3 - 11843660892852/30113296396441*y^2 - 12927417184930/30113296396441*y + 136168930105825/481812742343056 727929134739/910799134864*y^11 - 6831221353807/910799134864*y^10 + 4229911853383/227699783716*y^9 + 10192935925795/455399567432*y^8 - 19113679129081/910799134864*y^7 - 163004249396839/910799134864*y^6 - 41043207693619/227699783716*y^5 - 57761160805473/455399567432*y^4 - 89790768032733/910799134864*y^3 - 2359983707836/56924945929*y^2 - 791402925515/56924945929*y - 1543997896311/910799134864 -40489333439/910799134864*y^11 + 393783360427/910799134864*y^10 - 261531534395/227699783716*y^9 - 529731356447/455399567432*y^8 + 2159681128237/910799134864*y^7 + 9116695125091/910799134864*y^6 + 1182788074743/227699783716*y^5 - 1023838236971/455399567432*y^4 + 1266542058929/910799134864*y^3 + 148743985109/56924945929*y^2 - 20256390526/56924945929*y + 140224368387/910799134864 -744775353577/910799134864*y^11 + 7587977904157/910799134864*y^10 - 5740059901041/227699783716*y^9 - 3377065813641/455399567432*y^8 + 36524158205963/910799134864*y^7 + 148173088972341/910799134864*y^6 + 7692613332733/227699783716*y^5 - 3674680668413/455399567432*y^4 + 29238801395335/910799134864*y^3 - 68715050571/56924945929*y^2 - 122978993804/56924945929*y - 3703430687611/910799134864 -173682057305/910799134864*y^11 + 1783144614205/910799134864*y^10 - 1368204130909/227699783716*y^9 - 682851713569/455399567432*y^8 + 9308848149115/910799134864*y^7 + 33902476406773/910799134864*y^6 + 914377876485/227699783716*y^5 - 3147657860229/455399567432*y^4 + 6535668087463/910799134864*y^3 - 68902815346/56924945929*y^2 - 50933226685/56924945929*y - 443977518171/910799134864 -173682057305/910799134864*y^11 + 1783144614205/910799134864*y^10 - 1368204130909/227699783716*y^9 - 682851713569/455399567432*y^8 + 9308848149115/910799134864*y^7 + 33902476406773/910799134864*y^6 + 914377876485/227699783716*y^5 - 3147657860229/455399567432*y^4 + 6535668087463/910799134864*y^3 - 68902815346/56924945929*y^2 - 50933226685/56924945929*y - 443977518171/910799134864 -173682057305/910799134864*y^11 + 1783144614205/910799134864*y^10 - 1368204130909/227699783716*y^9 - 682851713569/455399567432*y^8 + 9308848149115/910799134864*y^7 + 33902476406773/910799134864*y^6 + 914377876485/227699783716*y^5 - 3147657860229/455399567432*y^4 + 6535668087463/910799134864*y^3 - 68902815346/56924945929*y^2 - 50933226685/56924945929*y - 443977518171/910799134864 # A Gluing Matrix {{-3,-2,0,-4,0,0,0},{-2,-1,0,-2,0,0,0},{0,0,1,-1,-1,-1,-1},{-4,-2,-1,-5,0,0,0},{0,0,-1,0,1,1,1},{0,0,-1,0,1,1,1},{0,0,-1,0,1,1,1}} # B Gluing Matrix {{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,1,0},{0,0,0,0,0,0,1}} # nu Gluing Vector {-3, -1, -1, -5, 1, 1, 1} # f Combinatorial flattening {-1, 3, 3, 0, 4, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 4624345009725/910799134864*y^11 - 47206188634721/910799134864*y^10 + 35873757904525/227699783716*y^9 + 19634629693977/455399567432*y^8 - 229103625752431/910799134864*y^7 - 910997335827785/910799134864*y^6 - 43330438879941/227699783716*y^5 + 21874164310997/455399567432*y^4 - 203767959018651/910799134864*y^3 + 1102385318315/56924945929*y^2 + 842061603027/56924945929*y + 13583935301343/910799134864 # 2 Loop Invariant -9946492203431975004819126687313948507389/306374587366514225253294947102655898498624*y^11 + 101876911133130571430279833799456796126545/306374587366514225253294947102655898498624*y^10 - 77717853800708130522370165222383537804561/76593646841628556313323736775663974624656*y^9 - 129902816788084112103285312909744418809583/459561881049771337879942420653983847747936*y^8 + 533844527742353998898309686163435798425319/306374587366514225253294947102655898498624*y^7 + 5863569397238940639040267478492274235833211/919123762099542675759884841307967695495872*y^6 + 62708507939512158773634903013879633539789/76593646841628556313323736775663974624656*y^5 - 554549631194627636399593141335024688391339/459561881049771337879942420653983847747936*y^4 + 1119337519657120950699058433440883158637609/919123762099542675759884841307967695495872*y^3 - 3377924695843950849581061595889278575863/28722617565610708617496401290873990484246*y^2 - 9145556767849396313943511224360828882265/57445235131221417234992802581747980968492*y + 258980599101560974995987366154920867298859/919123762099542675759884841307967695495872 # 3 Loop Invariant 28823351639449514118459806835025837810949301104823347/22211496355536482945834474469381288205120173753279785488*y^11 - 306148696932054214070664765257139255465592558526189119/22211496355536482945834474469381288205120173753279785488*y^10 + 252888525891138945130077592525662470768773552289736423/5552874088884120736458618617345322051280043438319946372*y^9 - 40028930274365983583913915620219487462002046051835125/11105748177768241472917237234690644102560086876639892744*y^8 - 1663765187143709344569038644417705871894412870527034721/22211496355536482945834474469381288205120173753279785488*y^7 - 5111100153349376919820994007118178489955164330388492823/22211496355536482945834474469381288205120173753279785488*y^6 + 336684336383704798929075271159456436785386550354096925/5552874088884120736458618617345322051280043438319946372*y^5 + 856237036518610572949240515315611431450175202400251807/11105748177768241472917237234690644102560086876639892744*y^4 - 990982704106792589841276713357979622963873049481829821/22211496355536482945834474469381288205120173753279785488*y^3 + 78920593334710358336377935436410710456054436889372153/1388218522221030184114654654336330512820010859579986593*y^2 + 6070513542621718115302493521426842049984426846040667/1388218522221030184114654654336330512820010859579986593*y + 249385712076965875854988635269236913029794015093237049/22211496355536482945834474469381288205120173753279785488