# Manifold: Census Knot K5_16 # Number of Tetrahedra: 5 # Number Field x^11 - 10*x^10 + 41*x^9 - 92*x^8 + 131*x^7 - 129*x^6 + 81*x^5 - 21*x^4 - 8*x^3 + 14*x^2 - 5*x + 1 # Approximate Field Generator 0.274401969244444 + 1.04481075298184*I # Shape Parameters y^10 - 10*y^9 + 41*y^8 - 92*y^7 + 131*y^6 - 129*y^5 + 81*y^4 - 21*y^3 - 8*y^2 + 14*y - 4 -41/64*y^10 + 381/64*y^9 - 89/4*y^8 + 715/16*y^7 - 3615/64*y^6 + 1551/32*y^5 - 1475/64*y^4 + 15/32*y^3 + 191/32*y^2 - 37/8*y + 69/64 y y -y^6 + 6*y^5 - 13*y^4 + 14*y^3 - 10*y^2 + 4*y # A Gluing Matrix {{1,0,-1,2,0},{0,-1,0,2,-2},{-1,0,2,-2,0},{2,1,-2,4,0},{0,-1,0,0,-1}} # B Gluing Matrix {{1,0,0,0,0},{0,2,0,0,0},{0,0,1,0,0},{0,0,0,1,0},{0,0,0,0,1}} # nu Gluing Vector {1, 0, 0, 2, -1} # f Combinatorial flattening {-2, -2, 1, 2, 3} # f' Combinatorial flattening {0, 0, 0, 2, 0} # 1 Loop Invariant 3/2*y^10 - 29/2*y^9 + 65*y^8 - 177*y^7 + 615/2*y^6 - 338*y^5 + 459/2*y^4 - 65*y^3 - 55*y^2 + 49*y - 17/2 # 2 Loop Invariant 286635409270316364402443993/3541277313088090516805994456*y^10 - 5821066887174337019663114449/7082554626176181033611988912*y^9 + 24223839052467511067084568947/7082554626176181033611988912*y^8 - 3447165362424464540169405545/442659664136011314600749307*y^7 + 13276024835839355520544792369/1180425771029363505601998152*y^6 - 26440299460962837778151097139/2360851542058727011203996304*y^5 + 3122871455919760893590819483/442659664136011314600749307*y^4 - 12768486211776069845546062153/7082554626176181033611988912*y^3 - 2734550249072064541184131819/3541277313088090516805994456*y^2 + 4540337305495845968545003603/3541277313088090516805994456*y - 1345995200386403056995295019/1180425771029363505601998152 # 3 Loop Invariant 51669013320208164496574254037901236983/28677614724342689453157737965577481330352*y^10 - 1728506958016111544131308000936707266473/114710458897370757812630951862309925321408*y^9 + 1410859206786475093200328921481680061257/28677614724342689453157737965577481330352*y^8 - 9636066264808159034840918547286698379039/114710458897370757812630951862309925321408*y^7 + 340189710409568053380151059194255085409/3584701840542836181644717245697185166294*y^6 - 9962688004182560040617716363603892527259/114710458897370757812630951862309925321408*y^5 + 4979020873084084788540929204641832620403/114710458897370757812630951862309925321408*y^4 + 929567925708325918863849551385165051575/114710458897370757812630951862309925321408*y^3 - 1577677839760421964018936252791631881829/114710458897370757812630951862309925321408*y^2 + 840047910405827221311959738366094523821/28677614724342689453157737965577481330352*y + 691251493936854679586951649554543814281/57355229448685378906315475931154962660704 # 4 Loop Invariant -36386025867102869910927782451978590399336203289299949181481385583553/2031107728335914817994048348435578169780238299326064858646784330570240*y^10 + 1991457501535137986533926292017047344927442422226907827956964602947011/12186646370015488907964290090613469018681429795956389151880705983421440*y^9 - 7100400506057191846094054075716227092419607773867711466431265513341711/12186646370015488907964290090613469018681429795956389151880705983421440*y^8 + 12836252478941633498587423400192691156033018703405677413441728146659269/12186646370015488907964290090613469018681429795956389151880705983421440*y^7 - 295882572677383294859359993782016609395303039530080516925459075443973/270814363778121975732539779791410422637365106576808647819571244076032*y^6 + 2721857683250937234729732709403283159541433755916197385572621792494973/4062215456671829635988096696871156339560476598652129717293568661140480*y^5 - 9213013835058005020925090151531722162089512177057665588946363165163/677035909445304939331349449478526056593412766442021619548928110190080*y^4 - 247241326405901716281502846431616855362489744761006682807485092625123/761665398125968056747768130663341813667589362247274321992544123963840*y^3 + 705250143019521422567551722105038040849537996203417085271904908905553/6093323185007744453982145045306734509340714897978194575940352991710720*y^2 - 136696196704148229077537152011975629595933702647335928204988390804343/4062215456671829635988096696871156339560476598652129717293568661140480*y - 141979964269950965966543359928453761751110647874014442909950258823309/1523330796251936113495536261326683627335178724494548643985088247927680 # 5 Loop Invariant -1266319669368065384003470848156671959624782902605241199675923894144604031576421971/19737734070668079081393339485127905208181974904413902424959902058742362778154653696*y^10 + 8429968426354703256331874966316949449127414622826356586468385414091465578598743081/13158489380445386054262226323418603472121316602942601616639934705828241852103102464*y^9 - 103148481306833848820832896625547548616148656159246787450105422816723102055500104485/39475468141336158162786678970255810416363949808827804849919804117484725556309307392*y^8 + 228604299468810186866530037373443334270718563578147286047090678673002253069355022147/39475468141336158162786678970255810416363949808827804849919804117484725556309307392*y^7 - 317988033024060405035309009293635353297442967234994460871099727803778696959271590663/39475468141336158162786678970255810416363949808827804849919804117484725556309307392*y^6 + 301823228780591967301502394781912683036194554203051206376746843141461316055795254137/39475468141336158162786678970255810416363949808827804849919804117484725556309307392*y^5 - 44094420739490348332614832972021046332354002498006851933508918966536026423495568443/9868867035334039540696669742563952604090987452206951212479951029371181389077326848*y^4 + 3943668627304062143140476975738643484103907492316694339930645671423156923433833261/4934433517667019770348334871281976302045493726103475606239975514685590694538663424*y^3 + 4586589861929644602384792016559238032109353764552876377297749102729435578269083641/6579244690222693027131113161709301736060658301471300808319967352914120926051551232*y^2 - 10770337417878820016040519512725837897538203214571730198765952129112759384764945183/13158489380445386054262226323418603472121316602942601616639934705828241852103102464*y + 4137391575595635913027013719238332958092502895930155753896733689613390092456028135/19737734070668079081393339485127905208181974904413902424959902058742362778154653696