# Manifold: Census Knot K7_27 # Number of Tetrahedra: 7 # Number Field x^15 + 123/17*x^14 + 287/17*x^13 + 3/17*x^12 - 1294/17*x^11 - 1775/17*x^10 + 3588/17*x^9 + 12513/17*x^8 + 8987/17*x^7 - 12045/17*x^6 - 28507/17*x^5 - 23723/17*x^4 - 9210/17*x^3 - 809/17*x^2 + 564/17*x + 144/17 # Approximate Field Generator -0.503939136366875 + 0.390585026326778*I # Shape Parameters -722226398282801801395/86179300867913954292*y^14 - 176557445900272579167/3191825958070887196*y^13 - 9157499291438000929681/86179300867913954292*y^12 + 1913778432173036406581/28726433622637984764*y^11 + 25706625495317718599851/43089650433956977146*y^10 + 42644615660069043847165/86179300867913954292*y^9 - 15007573047949871713355/7181608405659496191*y^8 - 139154603831263869039569/28726433622637984764*y^7 - 114340299199639096334761/86179300867913954292*y^6 + 65353867480704817666211/9575477874212661588*y^5 + 836675129547378147532013/86179300867913954292*y^4 + 469612462567641709316509/86179300867913954292*y^3 + 14483401257278924012267/14363216811318992382*y^2 - 22666668083444838456425/86179300867913954292*y - 784693988591178784277/7181608405659496191 -410235163311470779243/86179300867913954292*y^14 - 121487529590029484147/3191825958070887196*y^13 - 8412622556281982015113/86179300867913954292*y^12 - 272423725246798703635/28726433622637984764*y^11 + 18892370922160434675337/43089650433956977146*y^10 + 56461886492071075681753/86179300867913954292*y^9 - 8366751814243096554470/7181608405659496191*y^8 - 127215688827306195942749/28726433622637984764*y^7 - 252686357522472307117333/86179300867913954292*y^6 + 47667748585456406008403/9575477874212661588*y^5 + 847091175970182616913225/86179300867913954292*y^4 + 562055058238255606853005/86179300867913954292*y^3 + 21634722820570682536349/14363216811318992382*y^2 - 23385561902163500532281/86179300867913954292*y - 1074271750928687569625/7181608405659496191 -2275496841880103140361/517075805207483725752*y^14 - 551160990958091391995/19150955748425323176*y^13 - 28025724572149854437201/517075805207483725752*y^12 + 6443571799745023775833/172358601735827908584*y^11 + 40030748064275925218743/129268951301870931438*y^10 + 125695037510421481895123/517075805207483725752*y^9 - 95029940760140850424619/86179300867913954292*y^8 - 426392692738520339945419/172358601735827908584*y^7 - 302927216203046700293633/517075805207483725752*y^6 + 204389028989673815170123/57452867245275969528*y^5 + 2533113089731970133566329/517075805207483725752*y^4 + 1384737544880417894540957/517075805207483725752*y^3 + 20113940840535400107947/43089650433956977146*y^2 - 70898678976329681672275/517075805207483725752*y - 4460085922180422672293/86179300867913954292 -6655837578616463269538837855/278651067003443725223827959*y^14 - 4817345871588278859507510851/30961229667049302802647551*y^13 - 81163631451405724972390249940/278651067003443725223827959*y^12 + 18995168221662707654677783120/92883689001147908407942653*y^11 + 465073704199974902444352481648/278651067003443725223827959*y^10 + 360583699896803680098596101442/278651067003443725223827959*y^9 - 553695191605569412046271191935/92883689001147908407942653*y^8 - 1233727579519482150227325580534/92883689001147908407942653*y^7 - 866401072996696344084333627269/278651067003443725223827959*y^6 + 591129628773755303984204425485/30961229667049302802647551*y^5 + 7337207264920180532669524964410/278651067003443725223827959*y^4 + 4038580654678667027328887453660/278651067003443725223827959*y^3 + 241287476142251208853825528658/92883689001147908407942653*y^2 - 198015559447564891116828026017/278651067003443725223827959*y - 26326673716616284795455264151/92883689001147908407942653 449732478365271671225701530755/40125753648495896432231226096*y^14 + 35934277629311262385724976125/495379674672788844842360816*y^13 + 5371644814574111630427271132145/40125753648495896432231226096*y^12 - 1338601059568755877612925448865/13375251216165298810743742032*y^11 - 15579649254000143305219209057011/20062876824247948216115613048*y^10 - 23185548406713650145240615376277/40125753648495896432231226096*y^9 + 4690022656940001208342118981987/1671906402020662351342967754*y^8 + 81696956724881510545031545551841/13375251216165298810743742032*y^7 + 50909358761157377607679836580733/40125753648495896432231226096*y^6 - 39679080957884844440873965134427/4458417072055099603581247344*y^5 - 481703333318008494647681193365485/40125753648495896432231226096*y^4 - 260705072386521540758860016432885/40125753648495896432231226096*y^3 - 7542075912979403219505244636627/6687625608082649405371871016*y^2 + 13166939268594006813319263356653/40125753648495896432231226096*y + 106145940062762245447420899091/835953201010331175671483877 -1241930615071680268308713517/61922459334098605605295102*y^14 - 48381472717583066812673852869/371534756004591633631770612*y^13 - 29969763485816086585726545889/123844918668197211210590204*y^12 + 65269628706918003568827921485/371534756004591633631770612*y^11 + 172853617508970517960642840629/123844918668197211210590204*y^10 + 98394145901567302152044246498/92883689001147908407942653*y^9 - 1863247015110916793734503957779/371534756004591633631770612*y^8 - 683640629498191932924185856837/61922459334098605605295102*y^7 - 300686749293193993693744628923/123844918668197211210590204*y^6 + 5941342347377327879077352809757/371534756004591633631770612*y^5 + 2697792780815839941692314858523/123844918668197211210590204*y^4 + 4409351354743158361150700503679/371534756004591633631770612*y^3 + 772815443599362616593328930981/371534756004591633631770612*y^2 - 18458565949594229294516030810/30961229667049302802647551*y - 86129651545281877435368655037/371534756004591633631770612 -31982187433062312303293297381/3343812804041324702685935508*y^14 - 7714872854446946934426493993/123844918668197211210590204*y^13 - 390943607576898246496589293403/3343812804041324702685935508*y^12 + 89531730024763107068559523951/1114604268013774900895311836*y^11 + 1115147691526553565437322942161/1671906402020662351342967754*y^10 + 1750674589894531212224928542339/3343812804041324702685935508*y^9 - 661099156938955849102145746204/278651067003443725223827959*y^8 - 5936294336469847131296902380223/1114604268013774900895311836*y^7 - 4413075974275478524827848920523/3343812804041324702685935508*y^6 + 2820166742640644725224110383873/371534756004591633631770612*y^5 + 35557709914212139365130412732095/3343812804041324702685935508*y^4 + 19888532275497024871957066054607/3343812804041324702685935508*y^3 + 613150632906173125111108075795/557302134006887450447655918*y^2 - 959825108471203441621037482303/3343812804041324702685935508*y - 33331588822150136217961579588/278651067003443725223827959 # A Gluing Matrix {{2,2,-2,0,0,2,2},{2,0,0,0,0,0,0},{-2,0,2,0,0,-2,-2},{0,0,0,1,-1,2,2},{0,0,0,-1,2,-2,-2},{2,0,-2,2,-2,4,4},{2,0,-2,2,-2,4,6}} # 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 {4, 2, -2, 1, 0, 4, 4} # f Combinatorial flattening {0, 0, 1, 0, 1, 1, 0} # f' Combinatorial flattening {4, 2, -2, 0, 0, 4, 4} # 1 Loop Invariant -344351366757934530119799562177/3343812804041324702685935508*y^14 - 84165526400056853629933682177/123844918668197211210590204*y^13 - 4379977595076407495398415573107/3343812804041324702685935508*y^12 + 886631809844573741586564722663/1114604268013774900895311836*y^11 + 12221377687079202625342877270743/1671906402020662351342967754*y^10 + 20594513212318166014120561573687/3343812804041324702685935508*y^9 - 7094634970737330968635582930460/278651067003443725223827959*y^8 - 66453408586018992063422220505751/1114604268013774900895311836*y^7 - 58231304869248087471488727238159/3343812804041324702685935508*y^6 + 30835042697234489732469902606681/371534756004591633631770612*y^5 + 403335403817863834239189749098955/3343812804041324702685935508*y^4 + 231295747218192795149754834143647/3343812804041324702685935508*y^3 + 7407068584998136355806801922729/557302134006887450447655918*y^2 - 10982309201546101133219499688679/3343812804041324702685935508*y - 399355933091174865587992376027/278651067003443725223827959 # 2 Loop Invariant -39246936883589054103980868467167574945494856918820769534698258015971/27480165363319835176487382975402308213762547208627291739575436487024*y^14 - 3164863635291757667217020262242002741675904038089745311192940501435/339261300781726360203547937967929731034105521094164095550314030704*y^13 - 30153610717939682948765921064902651190833446033115637121748282373680/1717510335207489698530461435962644263360159200539205733723464780439*y^12 + 55231878235431952981571563672275035514676676803253430049163561749337/4580027560553305862747897162567051368960424534771215289929239414504*y^11 + 688337043410346145083343847388911515353649285708967560440600083708647/6870041340829958794121845743850577053440636802156822934893859121756*y^10 + 1082306790463299975181088809281741085175206059501183175283000850239359/13740082681659917588243691487701154106881273604313645869787718243512*y^9 - 3265419298617251244387111830297692746811212453137927361126381213784969/9160055121106611725495794325134102737920849069542430579858478829008*y^8 - 3666913690559784776221817388649413317075170808290435214808945367328375/4580027560553305862747897162567051368960424534771215289929239414504*y^7 - 5320995906147009461171496601282136833182460550958124401123530433842219/27480165363319835176487382975402308213762547208627291739575436487024*y^6 + 3501078440940948827589168181736923356701367775889876732478978702182887/3053351707035537241831931441711367579306949689847476859952826276336*y^5 + 5462782559849780748645818616879094387069529997903023419729157991028343/3435020670414979397060922871925288526720318401078411467446929560878*y^4 + 1508053166807660271470253891985317716434735363235532064033904047526921/1717510335207489698530461435962644263360159200539205733723464780439*y^3 + 180891994572592201177021922980836352833609756759680951058068403459793/1145006890138326465686974290641762842240106133692803822482309853626*y^2 - 1179705353487931696931234706210260232706130778332758383675717250008679/27480165363319835176487382975402308213762547208627291739575436487024*y - 41659613986220199783462293078087315514904400556796015913668799460625/2290013780276652931373948581283525684480212267385607644964619707252 # 3 Loop Invariant 278066390533687428351992044812419149668201723164364009348169934556309878931724647420199/479431044491419242470919173707798229706315633893881447358532131203555064445837391807008*y^14 + 134007296232720723426752439923820882170604672588482365503668305765515172192518995193933/35513410703068092034882901756133202200467824732880107211743120829892967736728695689408*y^13 + 6754678194349105488143944632543050071149676010942823494855121863919557890570262099541071/958862088982838484941838347415596459412631267787762894717064262407110128891674783614016*y^12 - 14164223557410276843667031989855298696283133292380675224162864884438919327912883035905/2828501737412502905433151467302644423046109934477176680581310508575546102925294346944*y^11 - 9698467356328630677187460804464868058591384295083579474140762340434753534954500127305249/239715522245709621235459586853899114853157816946940723679266065601777532222918695903504*y^10 - 14920107898517783535547247079941780835410153646772857239431928687451730536281920689589975/479431044491419242470919173707798229706315633893881447358532131203555064445837391807008*y^9 + 46290399302957796844451639646567003829645455316506447541603368658390433261510793146399143/319620696327612828313946115805198819804210422595920964905688087469036709630558261204672*y^8 + 102674654345810737655489097255597351064348200976624560171831440286893547766409375512728307/319620696327612828313946115805198819804210422595920964905688087469036709630558261204672*y^7 + 35261631079463160656738552475408066433613234630175641126815324761189815097665089184134003/479431044491419242470919173707798229706315633893881447358532131203555064445837391807008*y^6 - 12328462395689601167604570862054524116875175765620585655210347525994757368320800582495577/26635058027301069026162176317099901650350868549660080408807340622419725802546521767056*y^5 - 609506862581776518630442296838631505217515610671646167847250561341158653915804661229595815/958862088982838484941838347415596459412631267787762894717064262407110128891674783614016*y^4 - 334651532744695676285200692893712533018423176589757422795623906060432475079266133482707253/958862088982838484941838347415596459412631267787762894717064262407110128891674783614016*y^3 - 4991796720678269668015107966786821689867116745487673938949205840827349032527013008819237/79905174081903207078486528951299704951052605648980241226422021867259177407639565301168*y^2 + 16363755039397796888152303061213366353322483620981481403515641135648070379416593457989051/958862088982838484941838347415596459412631267787762894717064262407110128891674783614016*y + 544461071595147095868781422940746163882258943143379262205936001605916576420440057513255/79905174081903207078486528951299704951052605648980241226422021867259177407639565301168