# Manifold: Rolfsen Knot 9_4 # Number of Tetrahedra: 6 # Number Field x^10 - 31/8*x^9 + 4*x^8 + 9/4*x^7 + 3/4*x^6 - 39/8*x^5 + 23/4*x^4 + 11/2*x^3 + 27/8*x^2 + 9/8*x + 1/8 # Approximate Field Generator 0.925161174564340 + 0.888946982181262*I # Shape Parameters -9775126192/946677439*y^9 + 40689835538/946677439*y^8 - 50813898851/946677439*y^7 - 7408383725/946677439*y^6 - 4886202791/946677439*y^5 + 48279902953/946677439*y^4 - 69621457057/946677439*y^3 - 33131924602/946677439*y^2 - 23838534340/946677439*y - 4534260657/946677439 -18801362432/10413451829*y^9 + 71044379624/10413451829*y^8 - 68257859883/10413451829*y^7 - 48611611324/10413451829*y^6 - 1839397963/946677439*y^5 + 90069362272/10413451829*y^4 - 96219250432/10413451829*y^3 - 109020115927/10413451829*y^2 - 75411049250/10413451829*y - 22354232276/10413451829 5736798784/946677439*y^9 - 24057942568/946677439*y^8 + 30432386266/946677439*y^7 + 4136909533/946677439*y^6 + 1474166899/946677439*y^5 - 28174802998/946677439*y^4 + 42310900628/946677439*y^3 + 18785923500/946677439*y^2 + 12472745648/946677439*y + 2838863653/946677439 -158295720/946677439*y^9 + 546594227/946677439*y^8 - 386428603/946677439*y^7 - 536659185/946677439*y^6 - 422520601/946677439*y^5 + 644412023/946677439*y^4 - 328738219/946677439*y^3 - 586553318/946677439*y^2 - 1454871268/946677439*y + 193073439/946677439 8*y^9 - 31*y^8 + 32*y^7 + 18*y^6 + 6*y^5 - 39*y^4 + 46*y^3 + 44*y^2 + 27*y + 10 -1164984304/946677439*y^9 + 5132929506/946677439*y^8 - 7445144868/946677439*y^7 + 1654374255/946677439*y^6 - 2264981066/946677439*y^5 + 6943050580/946677439*y^4 - 10293117839/946677439*y^3 - 146195070/946677439*y^2 - 4232598740/946677439*y + 916800924/946677439 # A Gluing Matrix {{1,0,-1,1,0,0},{0,1,0,1,0,0},{-1,0,0,1,0,0},{1,1,1,-1,1,-1},{0,0,0,2,1,0},{0,0,0,-1,0,0}} # 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,2,0},{0,0,0,0,0,1}} # nu Gluing Vector {1, 1, 0, 1, 2, 0} # f Combinatorial flattening {0, 1, -1, 0, 2, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0} # 1 Loop Invariant 11609467828/946677439*y^9 - 100420684467/1893354878*y^8 + 69315017536/946677439*y^7 - 6685829249/946677439*y^6 + 28265870065/1893354878*y^5 - 125008789713/1893354878*y^4 + 93602957360/946677439*y^3 + 33321159463/1893354878*y^2 + 32817447181/946677439*y + 134883808/946677439 # 2 Loop Invariant 11966243145604421835545769228226/31713962156920471127447457435477*y^9 - 194065726921075105339945072160111/126855848627681884509789829741908*y^8 + 37090944745170510919879233681563/21142641437946980751631638290318*y^7 + 87288106994689704953257191273911/126855848627681884509789829741908*y^6 - 14302803217151329545330455436959/126855848627681884509789829741908*y^5 - 215099970811522982710332566709575/126855848627681884509789829741908*y^4 + 309423992873375943249778697901895/126855848627681884509789829741908*y^3 + 60826148396060468460354525332986/31713962156920471127447457435477*y^2 + 6285876169752824617131158521010/10571320718973490375815819145159*y + 17145705133099692755715647261739/42285282875893961503263276580636 # 3 Loop Invariant -191370388943997423918767989683024993640132/1117102078185268977403394497808284026318131*y^9 + 1641783121294543984254147916435072006979399/2234204156370537954806788995616568052636262*y^8 - 2210914900693292011801844373181178318393429/2234204156370537954806788995616568052636262*y^7 + 25284824985903474980589678656935049222536/1117102078185268977403394497808284026318131*y^6 - 146601355478183977826912983140668930278988/1117102078185268977403394497808284026318131*y^5 + 1960320393255570612254799131006912407247753/2234204156370537954806788995616568052636262*y^4 - 1491370113033129088014428321292642461785909/1117102078185268977403394497808284026318131*y^3 - 900229629647275078142246870882828176045877/2234204156370537954806788995616568052636262*y^2 - 887756979967645813710155230185042959218287/2234204156370537954806788995616568052636262*y - 46035134780749741952122362294523837960159/1117102078185268977403394497808284026318131 # 4 Loop Invariant -233814795238091412338639988579637486780182051986849425827993163553/1122697074213833685185134042185513377075971722068114399303625060990*y^9 + 7740979197375026280499651387895914269726446291729099615767043029847/8981576593710669481481072337484107016607773776544915194429000487920*y^8 - 9517955449723572666464862981716929124490839008934353348051729496141/8981576593710669481481072337484107016607773776544915194429000487920*y^7 - 570843423682447458595889474076526129451923238692583840749483855463/2993858864570223160493690779161369005535924592181638398143000162640*y^6 - 469152316322121347861509650433539344722697292605642101126071207649/4490788296855334740740536168742053508303886888272457597214500243960*y^5 + 3115734577691484189270596902434855113457927842990644190693642679287/2993858864570223160493690779161369005535924592181638398143000162640*y^4 - 2194108294720169071147642710100094580863148625905845533163095194601/1496929432285111580246845389580684502767962296090819199071500081320*y^3 - 190065197963323425462879555478863809054296947762520314624866843887/249488238714185263374474231596780750461327049348469866511916680220*y^2 - 2262653824907822566551079978103909420212061577433976538463801512701/4490788296855334740740536168742053508303886888272457597214500243960*y - 287494841813494654051414463217179083525976838297650455097257573661/2993858864570223160493690779161369005535924592181638398143000162640