# Manifold: Census Knot K8_64 # Number of Tetrahedra: 8 # Number Field x^14 + 35*x^12 - 270*x^11 + 626*x^10 + 659*x^9 - 3583*x^8 + 1910*x^7 + 5286*x^6 - 5954*x^5 - 1803*x^4 + 4929*x^3 - 1042*x^2 - 1262*x + 571 # Approximate Field Generator 0.664868658531327 - 0.341491109713821*I # Shape Parameters -15528411483318106933006517/784235543924391363652769849*y^13 - 10806064639986346152837143/784235543924391363652769849*y^12 - 553707519890680672524815910/784235543924391363652769849*y^11 + 3809119709762547386779618555/784235543924391363652769849*y^10 - 7163069760029004720110172566/784235543924391363652769849*y^9 - 627273092500749587031207059/34097197561930059289250863*y^8 + 43482257158878914871759969265/784235543924391363652769849*y^7 - 350587120430620636551266887/784235543924391363652769849*y^6 - 71033064757595096425372780715/784235543924391363652769849*y^5 + 32507582146742588438782817075/784235543924391363652769849*y^4 + 38358569311850865079784440523/784235543924391363652769849*y^3 - 26571012873077754391467276054/784235543924391363652769849*y^2 - 5920879584463729374137727791/784235543924391363652769849*y + 5277054786234156841166740941/784235543924391363652769849 164546679118132901172690270/18037417510261001364013706527*y^13 + 286357916380047385329183380/18037417510261001364013706527*y^12 + 5930920518500699079026598429/18037417510261001364013706527*y^11 - 34141693432738908586280414834/18037417510261001364013706527*y^10 + 31727534928349982480329243803/18037417510261001364013706527*y^9 + 10898463509655453337617531153/784235543924391363652769849*y^8 - 363740163404164352416091540216/18037417510261001364013706527*y^7 - 435915285037062234655251556351/18037417510261001364013706527*y^6 + 947740679586400472429779495285/18037417510261001364013706527*y^5 + 68947095564722959830185732200/18037417510261001364013706527*y^4 - 722249148729821348640022108954/18037417510261001364013706527*y^3 + 200000422188671104932238762394/18037417510261001364013706527*y^2 + 177780134394575706633426371485/18037417510261001364013706527*y - 61335389468837346702717233723/18037417510261001364013706527 -5573663616853076069217590447/1605602935993724561871533887807*y^13 - 1860491619144557751674446931/1605602935993724561871533887807*y^12 - 196266212199925747989777301981/1605602935993724561871533887807*y^11 + 1439035123654934705909979401428/1605602935993724561871533887807*y^10 - 3029200175278189161362769799126/1605602935993724561871533887807*y^9 - 4543780294374068158939719035945/1605602935993724561871533887807*y^8 + 18169761743659624014239601739253/1605602935993724561871533887807*y^7 - 5032837386152193627742131839141/1605602935993724561871533887807*y^6 - 29507881878227496522097284263723/1605602935993724561871533887807*y^5 + 730971612704650614164054196322/51793643096571760060372060897*y^4 + 15398882298678559043586214448589/1605602935993724561871533887807*y^3 - 19090661352679183377490985375375/1605602935993724561871533887807*y^2 - 155440845958446856244461497393/229371847999103508838790555401*y + 4570356063278687848776345959617/1605602935993724561871533887807 131018714931756008540488/34097197561930059289250863*y^13 + 14015644103420740771672/34097197561930059289250863*y^12 + 4677259395020567938853845/34097197561930059289250863*y^11 - 34867249309377072845611532/34097197561930059289250863*y^10 + 81448607914401057602209283/34097197561930059289250863*y^9 + 70989320071272216950581655/34097197561930059289250863*y^8 - 407206131715933161451675037/34097197561930059289250863*y^7 + 268890110113100169905688006/34097197561930059289250863*y^6 + 407120777751129215409958541/34097197561930059289250863*y^5 - 584732867473642210485996046/34097197561930059289250863*y^4 + 168041211765233807528883992/34097197561930059289250863*y^3 + 169042810054432545580728603/34097197561930059289250863*y^2 - 284785333357620443571892545/34097197561930059289250863*y + 243030387563313716271834252/34097197561930059289250863 -57120932181411610578902/34097197561930059289250863*y^13 - 47642785559740137020472/34097197561930059289250863*y^12 - 2039612285848537054658734/34097197561930059289250863*y^11 + 13712619546252872053721861/34097197561930059289250863*y^10 - 24343524092269635777233171/34097197561930059289250863*y^9 - 58109972927446657897281561/34097197561930059289250863*y^8 + 158175685799596763271021062/34097197561930059289250863*y^7 + 16006628312232125883384414/34097197561930059289250863*y^6 - 284856603769898726259615564/34097197561930059289250863*y^5 + 109401309685543032572853279/34097197561930059289250863*y^4 + 192130931245177695475456762/34097197561930059289250863*y^3 - 149694614468396372124318574/34097197561930059289250863*y^2 - 32266610182674949124487866/34097197561930059289250863*y + 43941129940759894257434887/34097197561930059289250863 -89570414249943445744992/34097197561930059289250863*y^13 - 72314235672619912433284/34097197561930059289250863*y^12 - 3198315493694011647079544/34097197561930059289250863*y^11 + 21593070626753405086328237/34097197561930059289250863*y^10 - 38824731401418225570090026/34097197561930059289250863*y^9 - 89356498393730183256111187/34097197561930059289250863*y^8 + 247578732589983196132669597/34097197561930059289250863*y^7 + 22800756570546651125525041/34097197561930059289250863*y^6 - 447172065930240406306323517/34097197561930059289250863*y^5 + 180064384312024532938845528/34097197561930059289250863*y^4 + 289375582473802126486778062/34097197561930059289250863*y^3 - 214751831567636523193840722/34097197561930059289250863*y^2 - 83091647236420997936218512/34097197561930059289250863*y + 103450803182318169924283247/34097197561930059289250863 -89570414249943445744992/34097197561930059289250863*y^13 - 72314235672619912433284/34097197561930059289250863*y^12 - 3198315493694011647079544/34097197561930059289250863*y^11 + 21593070626753405086328237/34097197561930059289250863*y^10 - 38824731401418225570090026/34097197561930059289250863*y^9 - 89356498393730183256111187/34097197561930059289250863*y^8 + 247578732589983196132669597/34097197561930059289250863*y^7 + 22800756570546651125525041/34097197561930059289250863*y^6 - 447172065930240406306323517/34097197561930059289250863*y^5 + 180064384312024532938845528/34097197561930059289250863*y^4 + 289375582473802126486778062/34097197561930059289250863*y^3 - 214751831567636523193840722/34097197561930059289250863*y^2 - 83091647236420997936218512/34097197561930059289250863*y + 103450803182318169924283247/34097197561930059289250863 -89570414249943445744992/34097197561930059289250863*y^13 - 72314235672619912433284/34097197561930059289250863*y^12 - 3198315493694011647079544/34097197561930059289250863*y^11 + 21593070626753405086328237/34097197561930059289250863*y^10 - 38824731401418225570090026/34097197561930059289250863*y^9 - 89356498393730183256111187/34097197561930059289250863*y^8 + 247578732589983196132669597/34097197561930059289250863*y^7 + 22800756570546651125525041/34097197561930059289250863*y^6 - 447172065930240406306323517/34097197561930059289250863*y^5 + 180064384312024532938845528/34097197561930059289250863*y^4 + 289375582473802126486778062/34097197561930059289250863*y^3 - 214751831567636523193840722/34097197561930059289250863*y^2 - 83091647236420997936218512/34097197561930059289250863*y + 103450803182318169924283247/34097197561930059289250863 # A Gluing Matrix {{4,-2,0,2,1,1,1,1},{-2,1,0,0,0,0,0,0},{0,0,1,2,1,1,1,1},{0,0,0,1,0,1,1,1},{2,0,2,3,1,1,1,1},{2,0,2,4,1,1,1,1},{2,0,2,4,1,1,1,1},{2,0,2,4,1,1,1,1}} # B Gluing Matrix {{1,0,0,0,0,0,0,5},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,5},{0,0,0,1,0,0,0,3},{0,0,0,0,1,0,0,6},{0,0,0,0,0,1,0,6},{0,0,0,0,0,0,1,6},{0,0,0,0,0,0,0,7}} # nu Gluing Vector {7, -1, 4, 2, 7, 7, 7, 7} # f Combinatorial flattening {2, 3, -1, 0, 3, 2, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 9337576154193977187947995/68194395123860118578501726*y^13 + 3960182398085402147482080/34097197561930059289250863*y^12 + 328128968407175402342187115/68194395123860118578501726*y^11 - 2243041747199105418762305089/68194395123860118578501726*y^10 + 1875569270731563304759721092/34097197561930059289250863*y^9 + 10787406260878132196929062509/68194395123860118578501726*y^8 - 13857286019422153664851496407/34097197561930059289250863*y^7 - 4346398492934527195586507636/34097197561930059289250863*y^6 + 29733207055806567419283725568/34097197561930059289250863*y^5 - 15646324426814516662288318271/68194395123860118578501726*y^4 - 25231522415839860009372558228/34097197561930059289250863*y^3 + 27157448520163731633486086701/68194395123860118578501726*y^2 + 15557485721199209510975904859/68194395123860118578501726*y - 10723289104790530947143567775/68194395123860118578501726 # 2 Loop Invariant -3720772919767036270243063455942596035080268264453040188394/7101777266655594722163368947846248882398025435261182267422149*y^13 - 999650346000724940804788014795938203239462571641213481427/2367259088885198240721122982615416294132675145087060755807383*y^12 - 265762130042341255125498485611986422977636834154970385964489/14203554533311189444326737895692497764796050870522364534844298*y^11 + 1196244063157089285460854071663863397282897532391649080811293/9469036355540792962884491930461665176530700580348243023229532*y^10 - 538338040338311283010430561351778791262227389635976831971170/2367259088885198240721122982615416294132675145087060755807383*y^9 - 14806374809261182831553415049216726213771127468824821475147655/28407109066622378888653475791384995529592101741044729069688596*y^8 + 41050468894962296387904326380999700100959991194191795670069377/28407109066622378888653475791384995529592101741044729069688596*y^7 + 3851640281757767799270269628536944976720033704556068513010353/28407109066622378888653475791384995529592101741044729069688596*y^6 - 24773422340928954110958662930456335344072235702693674298632169/9469036355540792962884491930461665176530700580348243023229532*y^5 + 7513607633783953281694451578404869631571187716513439395951367/7101777266655594722163368947846248882398025435261182267422149*y^4 + 23882839997036008140197779942453440992260244686826879061961195/14203554533311189444326737895692497764796050870522364534844298*y^3 - 2967582310925587695187276810865622772321541770829519176150942/2367259088885198240721122982615416294132675145087060755807383*y^2 - 4287173037497632375508914178556272071056862394543965571438553/9469036355540792962884491930461665176530700580348243023229532*y + 45596126553846578726596288472062816877862539867377174667802431/56814218133244757777306951582769991059184203482089458139377192 # 3 Loop Invariant 25243667500796544709039682991916061712694266188962275819016661434776705205/623748258417745186476016043670601044642335795010067167714229831507043532108557*y^13 + 44922317725400292689940150213677219418282805285308397213192123001763123617/1247496516835490372952032087341202089284671590020134335428459663014087064217114*y^12 + 903490969132650936376708576025590732221629096298633133748133276881084138369/623748258417745186476016043670601044642335795010067167714229831507043532108557*y^11 - 6010539207607621643435947228949386621991267666290657701089592470996094901245/623748258417745186476016043670601044642335795010067167714229831507043532108557*y^10 + 20922620505410173183548374938696229212457422185503777480003112005212662842391/1247496516835490372952032087341202089284671590020134335428459663014087064217114*y^9 + 257358177137765506612666744571536201083251642603010720933898977584368356940/6175725330868764222534812313570307372696394010000665026873562688188549822857*y^8 - 67404675426954419464756315764577081106358420562322479529349934529519363142604/623748258417745186476016043670601044642335795010067167714229831507043532108557*y^7 - 26264194605186890517383534346624855239028392706631511937729793832274414479535/1247496516835490372952032087341202089284671590020134335428459663014087064217114*y^6 + 259201669192828345609041587490628510439687541345303791268390658773161822232031/1247496516835490372952032087341202089284671590020134335428459663014087064217114*y^5 - 45367750439031919516911888267148101959439409317027746924482459502684016834997/623748258417745186476016043670601044642335795010067167714229831507043532108557*y^4 - 177257659482521238641652156659104700093420404297017177548584226005884638277019/1247496516835490372952032087341202089284671590020134335428459663014087064217114*y^3 + 135942657419924025484595670776550743438477135053005732455457635983421541805043/1247496516835490372952032087341202089284671590020134335428459663014087064217114*y^2 + 35143955463232302877714125831160841189646007305681064653022028084374390299597/1247496516835490372952032087341202089284671590020134335428459663014087064217114*y - 188534555793952201392271820287640447689945146951147433168937067740354423826/6175725330868764222534812313570307372696394010000665026873562688188549822857 # 4 Loop Invariant -3361712363717578871627347191368059978755366663106119524289348411914352806324194720447379539935413633802614959/7794871458925410692332530879507995518041260347899003124527270000549405730706513059931451263205977599201093453590660*y^13 - 56171456840332664242704106834555245002418396557872319195224308140992415061326878027488790599419714156075846645/3117948583570164276933012351803198207216504139159601249810908000219762292282605223972580505282391039680437381436264*y^12 - 30946974549717642648165192067224634513609899787068750850913283489639988528298005066719547446936531888761272571/3897435729462705346166265439753997759020630173949501562263635000274702865353256529965725631602988799600546726795330*y^11 - 8546574012422761693234628335675217443734629972837214082701952644856148843761944244394055624959695895113245730439/15589742917850821384665061759015991036082520695798006249054540001098811461413026119862902526411955198402186907181320*y^10 + 15186523502538450904060530837897839884579553073011614087489916682328031658997222231893766815102766385642178069985/3117948583570164276933012351803198207216504139159601249810908000219762292282605223972580505282391039680437381436264*y^9 - 46037574971547109128946575887776054458297168889758430073414139868220429274069894816254134873457713355589239587919/3117948583570164276933012351803198207216504139159601249810908000219762292282605223972580505282391039680437381436264*y^8 + 67818326818024641094528826647427269907213122618938400971512043439258890789811754006366300026486947122498319919913/15589742917850821384665061759015991036082520695798006249054540001098811461413026119862902526411955198402186907181320*y^7 + 144704980944822927318765950160949108386150078789001668499775148998338619929910350754136545592652157495090299565813/3897435729462705346166265439753997759020630173949501562263635000274702865353256529965725631602988799600546726795330*y^6 - 348651952804093145035941023667921473244616256576527388466010397223124363223532719137661171705972574821428650935189/7794871458925410692332530879507995518041260347899003124527270000549405730706513059931451263205977599201093453590660*y^5 - 49068087559543813729819698938349820849929226330585242137175993013404109593827636332751352773909608173845829867895/3117948583570164276933012351803198207216504139159601249810908000219762292282605223972580505282391039680437381436264*y^4 + 221608766230334118034411655333533721169666519746738435493053182524432682553746891769711984563366536813855419876881/5196580972616940461555020586338663678694173565266002083018180000366270487137675373287634175470651732800728969060440*y^3 - 135949644611031095673818023926209603633835833638947623925471242878924574528118003862425190734662307185799003303919/10393161945233880923110041172677327357388347130532004166036360000732540974275350746575268350941303465601457938120880*y^2 - 57431362048834175863803098206450720516312822751839282190282504346094849141123607185889558653896121734050814757813/7794871458925410692332530879507995518041260347899003124527270000549405730706513059931451263205977599201093453590660*y + 23896029685556844434445523858317296227852264497967897978939257731175953453355124829777513817878169966857065098097/3897435729462705346166265439753997759020630173949501562263635000274702865353256529965725631602988799600546726795330