# Manifold: Census Knot K5_17 # Number of Tetrahedra: 5 # Number Field x^11 + 4*x^10 - 12*x^9 - 17*x^8 + 37*x^7 + 10*x^6 - 49*x^5 + 19*x^4 + 23*x^3 - 18*x^2 + 1 # Approximate Field Generator 0.925983549008961 + 0.140505216873218*I # Shape Parameters -271/26449*y^10 - 7309/26449*y^9 - 25172/26449*y^8 + 56095/26449*y^7 + 99716/26449*y^6 - 76980/26449*y^5 - 23799/26449*y^4 + 28005/26449*y^3 - 20461/26449*y^2 + 20428/26449*y - 26263/26449 -380/26449*y^10 - 9468/26449*y^9 - 32271/26449*y^8 + 78462/26449*y^7 + 165101/26449*y^6 - 188851/26449*y^5 - 160834/26449*y^4 + 259840/26449*y^3 + 10934/26449*y^2 - 119997/26449*y + 44863/26449 -19040/26449*y^10 - 87406/26449*y^9 + 180193/26449*y^8 + 435915/26449*y^7 - 510031/26449*y^6 - 441928/26449*y^5 + 799001/26449*y^4 - 61767/26449*y^3 - 455819/26449*y^2 + 183545/26449*y + 41469/26449 -24989/26449*y^10 - 97260/26449*y^9 + 293819/26449*y^8 + 340277/26449*y^7 - 728995/26449*y^6 - 105470/26449*y^5 + 693112/26449*y^4 - 241056/26449*y^3 - 264738/26449*y^2 + 114420/26449*y + 75417/26449 -3665/26449*y^10 - 28674/26449*y^9 - 12302/26449*y^8 + 218717/26449*y^7 + 66318/26449*y^6 - 414401/26449*y^5 + 131094/26449*y^4 + 299685/26449*y^3 - 279447/26449*y^2 - 60054/26449*y + 119828/26449 # A Gluing Matrix {{6,-2,2,-4,2},{-2,1,-1,2,-1},{2,-1,2,-2,1},{-4,2,-2,4,-2},{4,-2,2,-4,3}} # B Gluing Matrix {{1,0,0,0,0},{0,1,0,0,0},{0,0,1,0,0},{0,0,0,1,0},{0,0,0,0,2}} # nu Gluing Vector {4, -1, 2, -2, 4} # f Combinatorial flattening {0, 6, 2, 0, 4} # f' Combinatorial flattening {4, -1, 0, -2, 0} # 1 Loop Invariant -202791/26449*y^10 - 1173604/26449*y^9 + 1224957/26449*y^8 + 8429539/26449*y^7 - 5155394/26449*y^6 - 14382559/26449*y^5 + 14714838/26449*y^4 + 4459949/26449*y^3 - 12589190/26449*y^2 + 3311445/26449*y + 1618865/26449 # 2 Loop Invariant -383269319046662813624929471981/25190279173319202962539263311628*y^10 - 4957372980836222159081103271973/50380558346638405925078526623256*y^9 + 1299093004720398687541704710353/100761116693276811850157053246512*y^8 + 5084856010379717296889407140491/8396759724439734320846421103876*y^7 + 20132213645295766757264862571859/100761116693276811850157053246512*y^6 - 97072643460750157310727795068033/100761116693276811850157053246512*y^5 + 399789130016130284041431297497/6297569793329800740634815827907*y^4 + 41000652299171994886165587073331/50380558346638405925078526623256*y^3 - 14336947614243249994601521067005/50380558346638405925078526623256*y^2 - 29914636409823910208825156038291/100761116693276811850157053246512*y + 109832195697754637722614199708429/100761116693276811850157053246512 # 3 Loop Invariant -45556121042726231565687645878846253104871/29192352251426170899048859288699653263588416*y^10 - 888897311535496472955002756629218828621501/299221610577118251715250807709171445951781264*y^9 + 4599296150795294025035176924071369841448171/149610805288559125857625403854585722975890632*y^8 - 17275967917516610707366569604674770169076679/1196886442308473006861003230836685783807125056*y^7 - 55048053550796685213736861949415743831354615/598443221154236503430501615418342891903562528*y^6 + 106940355957196339260458600196710366426824765/1196886442308473006861003230836685783807125056*y^5 + 18140348388949699437894419614276833826009989/299221610577118251715250807709171445951781264*y^4 - 36672892872545254759443351445107734498470723/299221610577118251715250807709171445951781264*y^3 + 4019739603924630166300778044058498660972303/299221610577118251715250807709171445951781264*y^2 + 45576606866844334858859380982879301981259069/1196886442308473006861003230836685783807125056*y + 129721139037173341169842927340854129406923/149610805288559125857625403854585722975890632 # 4 Loop Invariant -9197587098713890079983169022779140522964388621570846787116728472092935/1519901376007221108516836651146991222884804927973039088942871941589246976*y^10 - 895388341955636821241750541525361143559655343641260695198094606359887999/34197780960162474941628824650807302514908110879393379501214618685758056960*y^9 + 4272917725105783793546507523869091193039042837485680636154056037246306539/68395561920324949883257649301614605029816221758786759002429237371516113920*y^8 + 4009556001191387797160850585200462646897677251060176868830601232133263279/34197780960162474941628824650807302514908110879393379501214618685758056960*y^7 - 5633406052857351140159301222867238675367086906240109734613902102620045647/34197780960162474941628824650807302514908110879393379501214618685758056960*y^6 - 1218148175566219355029015654806269633802268297358798036372656616948830009/13679112384064989976651529860322921005963244351757351800485847474303222784*y^5 + 6755944507588299921663253334124811078029423491930989524709258227178755997/34197780960162474941628824650807302514908110879393379501214618685758056960*y^4 - 143952930159964279226345309201045352159080864226305564722691033634745559/2137361310010154683851801540675456407181756929962086218825913667859878560*y^3 - 2341769324082698887748278059823071961269264429111438916708133572967810923/34197780960162474941628824650807302514908110879393379501214618685758056960*y^2 + 2615364527762503206544915984701364786031049757334167821329109773928702101/34197780960162474941628824650807302514908110879393379501214618685758056960*y - 379353961579222971637209086898611699527180724418305285720567373139602589/22798520640108316627752549767204868343272073919595586334143079123838704640 # 5 Loop Invariant -299621860240671940824962478523348399055758728369652097282818418678666864716935722379/54162242647428397420128212294420190102874117213425562777063500067480999983667002609664*y^10 - 9087779515520115390262767681433166671120978869616344581290291364041740469762861713/423142520683034354844751658550157735178704040729887209195808594277195312372398457888*y^9 + 11574557373777071096270107605009793960963210015692003176039883718800933068862007507655/162486727942285192260384636883260570308622351640276688331190500202442999951001007828992*y^8 + 7879415790585937559590740383221331995617373845740509488314455120147319122335396042493/81243363971142596130192318441630285154311175820138344165595250101221499975500503914496*y^7 - 19072612387384394674819559573582888719193245715360501505971157649688849170106313226849/81243363971142596130192318441630285154311175820138344165595250101221499975500503914496*y^6 - 14409128610914767302982045285361887151794036775174480859263281924917486743393231523877/162486727942285192260384636883260570308622351640276688331190500202442999951001007828992*y^5 + 8451106425812735370622639068418769397424835326698598358775599752935177633279697606873/27081121323714198710064106147210095051437058606712781388531750033740499991833501304832*y^4 - 523617359107906054961422966507293303770324824062993197780488820238688137915499970621/10155420496392824516274039805203785644288896977517293020699406262652687496937562989312*y^3 - 709817926990568559195164411780846318860725459799813517302236899680038289829778370639/5077710248196412258137019902601892822144448488758646510349703131326343748468781494656*y^2 + 2853789067276757571414976080584226744193916491897497109071073113546725873284504542785/40621681985571298065096159220815142577155587910069172082797625050610749987750251957248*y - 1476069484307694572878574182956108811351465351518363141941717649201468022950677082431/162486727942285192260384636883260570308622351640276688331190500202442999951001007828992