# Manifold: Rolfsen Knot 8_2 # Number of Tetrahedra: 6 # Number Field x^8 + 7*x^7 + 14*x^6 + 7*x^5 + 15*x^4 + 7*x^3 - 4*x^2 + 3*x - 1 # Approximate Field Generator 0.125975219507103 - 0.439440404751933*I # Shape Parameters y^7 + 7*y^6 + 14*y^5 + 7*y^4 + 15*y^3 + 7*y^2 - 4*y + 3 2584/26509*y^7 + 16199/26509*y^6 + 21246/26509*y^5 - 20362/26509*y^4 + 1920/26509*y^3 - 17211/26509*y^2 - 25566/26509*y + 26216/26509 83035/1086869*y^7 + 573469/1086869*y^6 + 1077385/1086869*y^5 + 288331/1086869*y^4 + 953976/1086869*y^3 + 637513/1086869*y^2 - 360859/1086869*y + 945596/1086869 -104/3787*y^7 - 1672/3787*y^6 - 8476/3787*y^5 - 17072/3787*y^4 - 15237/3787*y^3 - 18723/3787*y^2 - 9312/3787*y - 1231/3787 1304/3787*y^7 + 9312/3787*y^6 + 19175/3787*y^5 + 8976/3787*y^4 + 15390/3787*y^3 + 10742/3787*y^2 - 6465/3787*y + 6113/3787 -104/3787*y^7 - 1672/3787*y^6 - 8476/3787*y^5 - 17072/3787*y^4 - 15237/3787*y^3 - 18723/3787*y^2 - 9312/3787*y - 1231/3787 # A Gluing Matrix {{2,0,2,-2,2,-2},{0,1,-1,1,-1,1},{2,-1,1,-1,1,-1},{-2,1,-1,3,-2,2},{2,-1,1,-2,2,-2},{-2,1,-1,2,-2,3}} # B Gluing Matrix {{1,0,0,0,0,0},{0,1,0,0,0,0},{0,0,1,0,0,0},{0,0,0,1,0,0},{0,0,0,0,1,0},{0,0,0,0,0,1}} # nu Gluing Vector {0, 1, 1, 1, 0, 1} # f Combinatorial flattening {1, 0, 0, 1, 1, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0} # 1 Loop Invariant 19623/7574*y^7 + 71366/3787*y^6 + 309801/7574*y^5 + 97252/3787*y^4 + 148570/3787*y^3 + 209213/7574*y^2 - 65699/7574*y + 12811/3787 # 2 Loop Invariant 288578658958933450/5159169917872010481*y^7 + 691695010216952920/1719723305957336827*y^6 + 17288537285010292925/20636679671488041924*y^5 + 1357845912428785457/3439446611914673654*y^4 + 2138600059162908605/3439446611914673654*y^3 + 9880093727908986241/20636679671488041924*y^2 - 3317176218144705281/10318339835744020962*y + 401771440679259898/5159169917872010481 # 3 Loop Invariant -17008286647042489126987/36647150594576617580392397*y^7 - 179856727330182708767816/36647150594576617580392397*y^6 - 482414806258500922564087/36647150594576617580392397*y^5 + 390846566239049485853867/73294301189153235160784794*y^4 + 2806900844368955378759725/73294301189153235160784794*y^3 - 582506561555762515274929/73294301189153235160784794*y^2 + 1618216462820707334683786/36647150594576617580392397*y - 162564463559988894770367/36647150594576617580392397 # 4 Loop Invariant -23026016860182354964366311811771821061711/5991091954262425609388855852512872857989320*y^7 - 36013537037793614169445063121460704255051/1497772988565606402347213963128218214497330*y^6 - 110837786858595486302317772574704720451791/2995545977131212804694427926256436428994660*y^5 - 17419914167006272854216242842126352048845/2396436781704970243755542341005149143195728*y^4 - 419243902835586874347343491410785903237307/5991091954262425609388855852512872857989320*y^3 + 7410498490981669444559955173737846638251/1331353767613872357641967967225082857330960*y^2 - 14726055161605136957298721313928693064339/998515325710404268231475975418812142998220*y + 30300167701068704719260623427402904413203/11982183908524851218777711705025745715978640