# Manifold: Rolfsen Knot 9_23 # Number of Tetrahedra: 12 # Number Field x^5 + 5*x^4 + 5*x^3 - 10*x^2 - 8*x + 8 # Approximate Field Generator None # Shape Parameters 1/4*y^4 + 7/4*y^3 + 15/4*y^2 + y - 3 -1/2*y^4 - 5/2*y^3 - 7/2*y^2 + 2*y + 3 1/4*y^4 + 7/4*y^3 + 15/4*y^2 + y - 3 1/2*y^4 + 3*y^3 + 5*y^2 - 3/2*y - 5 -5/8*y^4 - 29/8*y^3 - 49/8*y^2 + 5/4*y + 13/2 -1/2*y^4 - 3*y^3 - 11/2*y^2 + 5 1/2*y^4 + 3*y^3 + 5*y^2 - 3/2*y - 5 -1/4*y^4 - 5/4*y^3 - 7/4*y^2 + y + 2 1/4*y^4 + 7/4*y^3 + 15/4*y^2 + y - 3 -5/4*y^4 - 29/4*y^3 - 49/4*y^2 + 5/2*y + 13 1/4*y^4 + 5/4*y^3 + 5/4*y^2 - 3/2*y -1/2*y^4 - 5/2*y^3 - 7/2*y^2 + 2*y + 4 # A Gluing Matrix {{0,-1,-1,0,1,0,0,-1,0,0,0,1},{0,-1,0,0,1,-1,0,0,0,0,0,1},{-1,-1,0,0,1,0,0,-1,0,0,0,1},{1,1,1,0,-1,-1,0,1,1,-1,-1,0},{2,2,2,0,-1,0,-1,3,1,-1,-1,0},{0,0,0,-1,0,0,1,-1,0,0,0,-1},{1,1,1,0,-1,0,0,2,0,0,0,0},{0,-1,0,0,1,-1,0,0,1,-1,-1,2},{1,0,1,0,0,-1,-1,2,1,0,0,1},{0,1,0,-1,-1,0,1,-1,1,0,-1,-1},{1,1,1,0,-1,0,0,1,1,-1,-1,0},{2,1,2,0,-1,-1,-1,3,1,-1,-1,1}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0,0,1},{0,0,1,0,0,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,1,0,1},{0,0,0,0,1,0,0,0,0,0,0,1},{0,0,0,0,0,1,0,0,0,1,0,0},{0,0,0,0,0,0,1,0,0,0,0,1},{0,0,0,0,0,0,0,1,0,0,0,1},{0,0,0,0,0,0,0,0,1,0,0,1},{0,0,0,0,0,0,0,0,0,2,0,0},{0,0,0,0,0,0,0,0,0,0,1,1},{0,0,0,0,0,0,0,0,0,0,0,2}} # nu Gluing Vector {0, 0, 0, 1, 3, 0, 2, 0, 2, 0, 1, 2} # f Combinatorial flattening {1, 3, 1, 0, 1, 0, 1, -1, 1, 0, 3, 2} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 13/2*y^4 + 157/4*y^3 + 289/4*y^2 - 27/4*y - 65 # 2 Loop Invariant -129564244386869/1207971434045400*y^4 - 172580590329697/402657144681800*y^3 - 312754612323989/1207971434045400*y^2 + 512719351633057/603985717022700*y + 88961066504089/603985717022700 # 3 Loop Invariant 833174104031983197393691/8962761816916903525962500*y^4 + 3083625686302082134711549/8962761816916903525962500*y^3 + 282905405748724731417521/8962761816916903525962500*y^2 - 1994002606353537634145774/2240690454229225881490625*y + 1114335557551694394646152/2240690454229225881490625 # 4 Loop Invariant -10772775205844471115763086306081006147629/54133801224942333987923023876518487500000*y^4 - 114810025088408646820515218052089068593293/162401403674827001963769071629555462500000*y^3 + 3411662377405001092182532647153862549601/54133801224942333987923023876518487500000*y^2 + 27760115624962808769022033794524187030331/13533450306235583496980755969129621875000*y - 51082703046794645949079933664054841320039/40600350918706750490942267907388865625000