# Manifold: Census Knot K5_15 # Number of Tetrahedra: 5 # Number Field x^9 - 3*x^8 - 5*x^7 + 19*x^6 - 36*x^5 + 42*x^4 - 14*x^3 - 8*x^2 + 6*x - 1 # Approximate Field Generator 0.254175292646001 - 1.40380946729740*I # Shape Parameters -123/94*y^8 + 419/94*y^7 + 268/47*y^6 - 2749/94*y^5 + 2451/47*y^4 - 5947/94*y^3 + 2039/94*y^2 + 20*y - 785/94 -1562/47*y^8 + 4081/47*y^7 + 9391/47*y^6 - 26037/47*y^5 + 46135/47*y^4 - 47755/47*y^3 + 3420/47*y^2 + 291*y - 3920/47 -1562/47*y^8 + 4081/47*y^7 + 9391/47*y^6 - 26037/47*y^5 + 46135/47*y^4 - 47755/47*y^3 + 3420/47*y^2 + 291*y - 3873/47 -4*y^8 + 11*y^7 + 23*y^6 - 71*y^5 + 125*y^4 - 132*y^3 + 14*y^2 + 46*y - 16 128*y^8 - 320*y^7 - 800*y^6 + 2032*y^5 - 3592*y^4 + 3580*y^3 - 2*y^2 - 1025*y + 256 # A Gluing Matrix {{0,1,0,-2,-1},{1,-1,0,2,1},{0,0,2,-2,-1},{-2,2,-1,-3,-2},{-2,2,-1,-4,-2}} # B Gluing Matrix {{1,0,0,0,0},{0,1,0,0,0},{0,0,2,0,0},{0,0,0,1,0},{0,0,0,0,2}} # nu Gluing Vector {0, 1, 0, -1, 0} # f Combinatorial flattening {1, -4, -2, -1, -2} # f' Combinatorial flattening {0, 0, 0, 0, 0} # 1 Loop Invariant -8151/47*y^8 + 41019/94*y^7 + 50671/47*y^6 - 130342/47*y^5 + 460877/94*y^4 - 461897/94*y^3 + 2189/47*y^2 + 2833/2*y - 33845/94 # 2 Loop Invariant -2536795991547584062267441/795088210637537078107344*y^8 + 3325471774997501658325655/397544105318768539053672*y^7 + 5067556536159524239236263/265029403545845692702448*y^6 - 2653186980251496644054927/49693013164846067381709*y^5 + 75234631845051526817074511/795088210637537078107344*y^4 - 13012546737772241594318023/132514701772922846351224*y^3 + 1992384989682883911767913/265029403545845692702448*y^2 + 477239184097690399631243/16916770439096533576752*y - 6956281898374148147033899/795088210637537078107344 # 3 Loop Invariant 691349804782650485616804885524501/1243861933625168966520461009146684*y^8 - 28716543435303629998374550570096471/19901790938002703464327376146346944*y^7 - 33446655292636710405616214514187019/9950895469001351732163688073173472*y^6 + 45779834526015820161171620214465673/4975447734500675866081844036586736*y^5 - 81082539489701572449005376272195885/4975447734500675866081844036586736*y^4 + 5214538483533933412864599938077656/310965483406292241630115252286671*y^3 - 10264275357512145138983336312327867/9950895469001351732163688073173472*y^2 - 2050230914269437480484842346019125/423442360383036243921859066943552*y + 1702552012734065797057154724379919/1243861933625168966520461009146684 # 4 Loop Invariant -83992009082347292082712008782976330597564446187016767347/280561690520902838942026824882844052630388810585870538240*y^8 + 970024551420272884923543839927880727042831743592935171529/1262527607344062775239120711972798236836749647636417422080*y^7 + 578886664630331957237545883615150232705310484177937896059/315631901836015693809780177993199559209187411909104355520*y^6 - 12387862659711234856240644377046217601494954510941192540023/2525055214688125550478241423945596473673499295272834844160*y^5 + 43596236421588468782201426629142196462383379198339284110537/5050110429376251100956482847891192947346998590545669688320*y^4 - 4419265755927870468869284051036416127219733529627413819869/505011042937625110095648284789119294734699859054566968832*y^3 + 1181473305482490182771784460894197604339489936269666322747/5050110429376251100956482847891192947346998590545669688320*y^2 + 3233289594834175869277285029698703439954647249915456157/1193879534131501442306497127161038521831441747173917184*y - 3726485137485001912015591216690122231295176689054616144619/5050110429376251100956482847891192947346998590545669688320 # 5 Loop Invariant 1985634316078572273060550255669045504450381475053187058726538864877/12640891995956378534288411777173063187289776633949734288148383557632*y^8 - 164678559600674173394413771875048849211008218893378004002929597521/395027874873636829196512868036658224602805519810929196504636986176*y^7 - 11696428547932739237780852824419660310026898002515004032933988107317/12640891995956378534288411777173063187289776633949734288148383557632*y^6 + 8372693063464118106114509854697879257360977645761854333047625965241/3160222998989094633572102944293265796822444158487433572037095889408*y^5 - 120214214281269676431845263373544929103007095728184836734315199439835/25281783991912757068576823554346126374579553267899468576296767115264*y^4 + 21248596858383731132400380689303218135490191418173670643031481894621/4213630665318792844762803925724354395763258877983244762716127852544*y^3 - 16172371457690663933799562926249108745609187490960032961803332199837/25281783991912757068576823554346126374579553267899468576296767115264*y^2 - 5148427925775788066586110304816463290987787586223054301556252053/4202424200783370523367158170602747070242611912882225494730180704*y + 9338338938695435514410833016244907176028195566176881709228264612521/25281783991912757068576823554346126374579553267899468576296767115264