# Manifold: Census Knot K4_2 # Number of Tetrahedra: 4 # Number Field x^5 + x^4 + 4*x^3 + 3*x^2 + 3*x + 1 # Approximate Field Generator -0.0581813773847662 + 1.69127914951419*I # Shape Parameters y^4 + y^3 + 4*y^2 + 3*y + 3 y + 1 -1/3*y^4 - 4/3*y^2 + 1/3*y - 1/3 -y^3 - y^2 - 2*y - 1 # A Gluing Matrix {{0,-1,0,0},{-1,2,1,-2},{0,1,1,0},{0,-2,0,2}} # B Gluing Matrix {{1,0,0,0},{0,1,0,0},{0,0,1,0},{0,0,0,1}} # nu Gluing Vector {0, 0, 1, 0} # f Combinatorial flattening {1, 0, 1, 0} # f' Combinatorial flattening {0, 0, 0, 0} # 1 Loop Invariant 2*y^4 + 3/2*y^3 + 8*y^2 + 11/2*y + 11/2 # 2 Loop Invariant 27614335/233271372*y^4 + 15017107/116635686*y^3 + 113802187/233271372*y^2 + 93527485/233271372*y + 182396291/466542744 # 3 Loop Invariant 2841602896/85707789929*y^4 + 2571893291/171415579858*y^3 + 9910485132/85707789929*y^2 + 2571893291/85707789929*y + 4569728707/85707789929 # 4 Loop Invariant -1950135815394982817/599795212434768377640*y^4 - 3679041968056846951/1199590424869536755280*y^3 - 518466799304955109/66643912492752041960*y^2 - 599850882787528931/74974401554346047205*y + 3425811855243702209/599795212434768377640 # 5 Loop Invariant -577729967249872272709/88149903054163125900492*y^4 - 364753773393682103471/176299806108326251800984*y^3 - 189364238184582536987/7345825254513593825041*y^2 - 416716407927290342879/88149903054163125900492*y - 814817564572373301533/44074951527081562950246 # 6 Loop Invariant -10248690202644410769502015599697/431819825369344076502946590615504*y^4 - 66314287491115701856143192108169/4318198253693440765029465906155040*y^3 - 62408897805324934029129873143333/719699708948906794171577651025840*y^2 - 10106044588386161107608178234877/269887390855840047814341619134690*y - 106840632314490716174834855552599/2159099126846720382514732953077520