# Manifold: Census Knot K5_7 # Number of Tetrahedra: 5 # Number Field x^9 + 2*x^8 - 28*x^7 + 39*x^6 + 29*x^5 - 53*x^4 - 16*x^3 + 28*x^2 + 15*x + 2 # Approximate Field Generator 1.05143007831636 - 0.550204025335410*I # Shape Parameters 6235/9904*y^8 + 3079/2476*y^7 - 44223/2476*y^6 + 245045/9904*y^5 + 232201/9904*y^4 - 460485/9904*y^3 - 18357/4952*y^2 + 14823/619*y + 48453/9904 4214/619*y^8 + 6373/619*y^7 - 121053/619*y^6 + 223269/619*y^5 + 11505/619*y^4 - 222067/619*y^3 + 35477/619*y^2 + 96681/619*y + 20470/619 4214/619*y^8 + 6373/619*y^7 - 121053/619*y^6 + 223269/619*y^5 + 11505/619*y^4 - 222067/619*y^3 + 35477/619*y^2 + 96681/619*y + 20470/619 33789/4952*y^8 + 13035/1238*y^7 - 242341/1238*y^6 + 1760459/4952*y^5 + 157055/4952*y^4 - 1808059/4952*y^3 + 126261/2476*y^2 + 100117/619*y + 169995/4952 204/619*y^8 + 659/619*y^7 - 5505/619*y^6 + 591/619*y^5 + 24403/619*y^4 - 21929/619*y^3 - 12182/619*y^2 + 15186/619*y + 5232/619 # A Gluing Matrix {{-1,-1,-1,0,0},{-2,1,1,4,2},{-2,1,1,4,2},{0,2,2,4,2},{0,1,1,2,2}} # B Gluing Matrix {{1,0,0,0,0},{0,1,1,0,0},{0,0,2,0,0},{0,0,0,1,0},{0,0,0,0,1}} # nu Gluing Vector {-1, 2, 2, 4, 2} # f Combinatorial flattening {-3, 4, 0, -3, 2} # f' Combinatorial flattening {0, 0, 0, 4, 0} # 1 Loop Invariant -18447/1238*y^8 - 17502/619*y^7 + 261866/619*y^6 - 764227/1238*y^5 - 546947/1238*y^4 + 1160393/1238*y^3 + 86747/619*y^2 - 310593/619*y - 184985/1238 # 2 Loop Invariant 1056796279831434413013407/1135585544778735095161488*y^8 + 517444676941482224890869/378528514926245031720496*y^7 - 30391986940283712753383581/1135585544778735095161488*y^6 + 9563692324812388776517843/189264257463122515860248*y^5 - 29512653830850959856947/70974096548670943447593*y^4 - 4520162547036157142570659/94632128731561257930124*y^3 + 3681307823412435037636873/378528514926245031720496*y^2 + 22829228479039838695525295/1135585544778735095161488*y + 472832721419305371338609/94632128731561257930124 # 3 Loop Invariant 2455461793712098299387730050802499/9360576067026323798710628127013312*y^8 + 3350509759003214074241938375418279/9360576067026323798710628127013312*y^7 - 35440718977684226284290093118413219/4680288033513161899355314063506656*y^6 + 140756140679166600286636594119350155/9360576067026323798710628127013312*y^5 - 18418484045141770071815804785627891/9360576067026323798710628127013312*y^4 - 58592794407055911785491914835690089/4680288033513161899355314063506656*y^3 + 17057072865035463726765893191828415/4680288033513161899355314063506656*y^2 + 46243474628305830564608960778693209/9360576067026323798710628127013312*y + 4128791131954206886130453805894235/4680288033513161899355314063506656 # 4 Loop Invariant -1942517390281865072739461485984734251460384398947169987/85862155674611288106632039410321016578087992742809093120*y^8 - 7518359799194542182700695627741997471652959527403112723/128793233511916932159948059115481524867131989114213639680*y^7 + 161616604467878431462727365640351050848406210291432558817/257586467023833864319896118230963049734263978228427279360*y^6 - 25247314313837096688682224404293121539946397337797108079/51517293404766772863979223646192609946852795645685455872*y^5 - 450734922139012078415100073773704488681036831345778529857/257586467023833864319896118230963049734263978228427279360*y^4 + 267641133597474395157919624461168878164977211287298154483/128793233511916932159948059115481524867131989114213639680*y^3 + 38626291321610971396328271343231295259853899865187733389/64396616755958466079974029557740762433565994557106819840*y^2 - 3803865919854191497050797185664637501934122564568923031/3219830837797923303998701477887038121678299727855340992*y - 4996645128747021250762117394395391375611962827419144711/16099154188989616519993507389435190608391498639276704960 # 5 Loop Invariant 21833639823601835730697678055770902584651114519024815977366598217/424654528141773830352538716401749176069063169006625524518191075328*y^8 + 6667592053507546026127095386609308514313578681871024677699559007/53081816017721728794067339550218647008632896125828190564773884416*y^7 - 201970388141713074685348568285532506509213341680580012902980180289/141551509380591276784179572133916392023021056335541841506063691776*y^6 + 563626444168937055240041708095539058476376713223320856644642543073/424654528141773830352538716401749176069063169006625524518191075328*y^5 + 1413008324138916440041696511148993057036691648942708682187596378669/424654528141773830352538716401749176069063169006625524518191075328*y^4 - 289426298880733906105185645423669911696047064412561731327864879925/70775754690295638392089786066958196011510528167770920753031845888*y^3 - 75523164378476297375661510808448880462190632788039390388152450863/53081816017721728794067339550218647008632896125828190564773884416*y^2 + 532029265926368389523736724353551954552788533538154282720212135207/212327264070886915176269358200874588034531584503312762259095537664*y + 73035335805742370549279164588843682786575901846128230075146119889/106163632035443457588134679100437294017265792251656381129547768832