# Manifold: Census Knot K5_6 # Number of Tetrahedra: 5 # Number Field x^10 + 3/2*x^9 - 8*x^8 - 107/8*x^7 + 39/8*x^6 + 29/2*x^5 + 3/4*x^4 - 11/2*x^3 + 7/4*x^2 + 1/4*x - 1/8 # Approximate Field Generator -0.889871463985847 + 0.581013311180267*I # Shape Parameters 86401056/86026289*y^9 + 196727024/86026289*y^8 - 529783456/86026289*y^7 - 1585977308/86026289*y^6 - 910485484/86026289*y^5 + 684899932/86026289*y^4 + 913257690/86026289*y^3 + 170095793/86026289*y^2 + 115064992/86026289*y + 143385505/86026289 -472293080/86026289*y^9 - 794743380/86026289*y^8 + 3634542416/86026289*y^7 + 6971176421/86026289*y^6 - 1043571871/86026289*y^5 - 6958598877/86026289*y^4 - 1577045111/86026289*y^3 + 2235674833/86026289*y^2 - 451007335/86026289*y - 126421411/86026289 56851008/86026289*y^9 + 28352856/86026289*y^8 - 530657036/86026289*y^7 - 286421528/86026289*y^6 + 951269059/86026289*y^5 + 382714297/86026289*y^4 - 671726356/86026289*y^3 - 178550002/86026289*y^2 + 431884360/86026289*y - 69662741/86026289 1173777024/86026289*y^9 + 1503168128/86026289*y^8 - 9680652864/86026289*y^7 - 13516094448/86026289*y^6 + 8394310664/86026289*y^5 + 14664988592/86026289*y^4 - 2317480110/86026289*y^3 - 5548924057/86026289*y^2 + 3384194460/86026289*y - 486377416/86026289 -2174946528/86026289*y^9 - 2718731808/86026289*y^8 + 18052792776/86026289*y^7 + 24514475108/86026289*y^6 - 16567922894/86026289*y^5 - 26884326582/86026289*y^4 + 5358834434/86026289*y^3 + 10346837004/86026289*y^2 - 6665666349/86026289*y + 1176854391/86026289 # A Gluing Matrix {{0,0,2,0,0},{0,1,1,0,0},{0,1,2,-2,1},{0,0,0,0,0},{-2,0,4,-2,1}} # B Gluing Matrix {{1,0,0,0,2},{0,1,0,0,0},{0,0,1,0,2},{0,0,0,1,2},{0,0,0,0,6}} # nu Gluing Vector {2, 1, 2, 2, 4} # f Combinatorial flattening {9, -6, 7, 5, 4} # f' Combinatorial flattening {-12, 0, 0, 2, 0} # 1 Loop Invariant -4275415752/86026289*y^9 - 8532350916/86026289*y^8 + 30513145700/86026289*y^7 + 73494825687/86026289*y^6 + 11410450950/86026289*y^5 - 66614953180/86026289*y^4 - 35174655500/86026289*y^3 + 16047016547/86026289*y^2 + 2435995103/86026289*y - 3197903175/86026289 # 2 Loop Invariant -910261029229168376100349957918/218665723793470963752422616187649*y^9 + 6197016842910876258473101866159/218665723793470963752422616187649*y^8 + 88452345970471769876592322961390/655997171380412891257267848562947*y^7 - 315144386048121961499889809825005/2623988685521651565029071394251788*y^6 - 2173447305421474905410519596846181/2623988685521651565029071394251788*y^5 - 636783196391339400839294708368097/874662895173883855009690464750596*y^4 + 1586238874558414781221009600991639/5247977371043303130058142788503576*y^3 + 2020196290814513013536017903105551/3498651580695535420038761859002384*y^2 + 80250263695719977764290874872275/437331447586941927504845232375298*y + 69919453279278095594772306217825069/5247977371043303130058142788503576 # 3 Loop Invariant 6531297192840381094048857694676075879889810/348622548749000754106656689039436238413014729*y^9 + 20467923267485741724045782111385846105988596/348622548749000754106656689039436238413014729*y^8 - 255666660566307415013174016921748039985099429/2788980389992006032853253512315489907304117832*y^7 - 2629228504981909740546009182042463376612766933/5577960779984012065706507024630979814608235664*y^6 - 2297435129441723118421176250750381237919987399/5577960779984012065706507024630979814608235664*y^5 + 4621521616993611320547049027984213653902723051/22311843119936048262826028098523919258432942656*y^4 + 5218519931892403603371653535760701265944581137/11155921559968024131413014049261959629216471328*y^3 + 3584553904868267060451340006544032190231020825/22311843119936048262826028098523919258432942656*y^2 - 70497243697761356156917620371529818512614527/2788980389992006032853253512315489907304117832*y + 391111657336688834432282371970454998843161/2788980389992006032853253512315489907304117832 # 4 Loop Invariant 281684706640617829487050126698333886986482861636127503672612078510332843/5104197616252483277013189757441001205367992024624071397126774449212928640*y^9 + 1083644510490717890364090526003930930568157639791355829331146735757258207/10208395232504966554026379514882002410735984049248142794253548898425857280*y^8 - 4040551090939644176950477406511036834462158701864611737610974977014115297/10208395232504966554026379514882002410735984049248142794253548898425857280*y^7 - 37241323834914338556208324563380985684080447986728035667825460686076173317/40833580930019866216105518059528009642943936196992571177014195593703429120*y^6 - 431009163273804154100392353463254394696898953595515446564644194823860957/3402798410834988851342126504960667470245328016416047598084516299475285760*y^5 + 1807228421011724236520839275678694750606276680157819133563398351065288133/2268532273889992567561417669973778313496885344277365065389677532983523840*y^4 + 8594795876910677992584410368583558929752357804324453797715383276350780567/20416790465009933108052759029764004821471968098496285588507097796851714560*y^3 - 6725039302207343881901705482260881322030617752592159170458511642327941227/40833580930019866216105518059528009642943936196992571177014195593703429120*y^2 - 143119630255809512009415171049386170527311386329027251173877232379895707/5104197616252483277013189757441001205367992024624071397126774449212928640*y + 58200487754733138062442592346155235867416680957141811326754468102923829/6805596821669977702684253009921334940490656032832095196169032598950571520 # 5 Loop Invariant 26620891818421849526215500010717333834448346462320460566616999652259587810747872231/723352054929158882097439166820625537071308152439468793403899602275524202157499171328*y^9 + 89260075981847888877371449218929186072372865895293342500733476221059292621666543539/1446704109858317764194878333641251074142616304878937586807799204551048404314998342656*y^8 - 1261341920189227770159336202442319374683499144745652615405931850921533521021095532603/4340112329574953292584635000923753222427848914636812760423397613653145212944995027968*y^7 - 9607417274434843709179151681846177281616736538501527171522596489301969599391975210875/17360449318299813170338540003695012889711395658547251041693590454612580851779980111872*y^6 + 290439369258928291468034537615406634154476588874105013098195773084331500118650127381/2170056164787476646292317500461876611213924457318406380211698806826572606472497513984*y^5 + 5580170438986243592357391294387643177174529802924953767205260680827998088129015594869/8680224659149906585169270001847506444855697829273625520846795227306290425889990055936*y^4 + 1235608983737667376581714795290273724398420638413274949001099305208554180504592486175/8680224659149906585169270001847506444855697829273625520846795227306290425889990055936*y^3 - 4248231787399993919073819404077983673725203918597534906958333398753440258263337506041/17360449318299813170338540003695012889711395658547251041693590454612580851779980111872*y^2 - 9341186969204109157964933894683180504791502094395023321329326239589580294013643931/2170056164787476646292317500461876611213924457318406380211698806826572606472497513984*y + 114694258072582122277987738419569880493943385350248694913113506048112636981995063585/8680224659149906585169270001847506444855697829273625520846795227306290425889990055936