# Manifold: Census Knot K8_1 # Number of Tetrahedra: 8 # Number Field x^12 + 9*x^11 + 9*x^10 - 265*x^9 + 161*x^8 + 1218*x^7 - 861*x^6 - 2090*x^5 + 1577*x^4 + 1545*x^3 - 1207*x^2 - 457*x + 377 # Approximate Field Generator 0.770560464837645 - 0.247489588010864*I # Shape Parameters -1644695926104/227155891430933*y^11 - 20034261991252/227155891430933*y^10 - 3315510764222/11955573233207*y^9 + 375642697006212/227155891430933*y^8 + 1082531050839962/227155891430933*y^7 - 2586956204060731/227155891430933*y^6 - 4295917076928454/227155891430933*y^5 + 6267698085831833/227155891430933*y^4 + 5289611589333774/227155891430933*y^3 - 6353634729727689/227155891430933*y^2 - 1746254397094123/227155891430933*y + 2080983885405973/227155891430933 13630155627097/227155891430933*y^11 + 114565074924871/227155891430933*y^10 + 3126013348485/11955573233207*y^9 - 3603175129588442/227155891430933*y^8 + 4388386968808712/227155891430933*y^7 + 12739030448755147/227155891430933*y^6 - 18609370426513220/227155891430933*y^5 - 12347302850361058/227155891430933*y^4 + 25980692074308647/227155891430933*y^3 - 1806571399816822/227155891430933*y^2 - 11088229465856103/227155891430933*y + 4388820915544501/227155891430933 7460357085978/227155891430933*y^11 + 74417676610396/227155891430933*y^10 + 7327037449254/11955573233207*y^9 - 1846802035548200/227155891430933*y^8 - 614471889386595/227155891430933*y^7 + 8605403969101621/227155891430933*y^6 + 2186904644719831/227155891430933*y^5 - 14107133421000811/227155891430933*y^4 - 2871130651976863/227155891430933*y^3 + 9735826302292346/227155891430933*y^2 + 1453289712521223/227155891430933*y - 2278961358714102/227155891430933 29031238169183/3861650154325861*y^11 + 318272212435598/3861650154325861*y^10 + 48428200516291/203244744964519*y^9 - 5702232328180260/3861650154325861*y^8 - 436125225414553/227155891430933*y^7 + 9542891393738139/3861650154325861*y^6 + 1677955929359059/227155891430933*y^5 + 40880553333295251/3861650154325861*y^4 - 19888051533044319/3861650154325861*y^3 - 64958185580330742/3861650154325861*y^2 + 8012900354836090/3861650154325861*y + 24431949262119550/3861650154325861 -11641092102682/227155891430933*y^11 - 116519275509532/227155891430933*y^10 - 11277174923252/11955573233207*y^9 + 2939947821239074/227155891430933*y^8 + 1154954556603821/227155891430933*y^7 - 15146050045129033/227155891430933*y^6 - 3514700820280226/227155891430933*y^5 + 29390650239962494/227155891430933*y^4 + 3694855018266728/227155891430933*y^3 - 26285236925756716/227155891430933*y^2 - 1531289235307649/227155891430933*y + 9486410754144259/227155891430933 -13324383467813489/838432395271573703*y^11 - 136786567553568890/838432395271573703*y^10 - 14704555163972404/44128020803767037*y^9 + 3296616834551753329/838432395271573703*y^8 + 2125906547866839290/838432395271573703*y^7 - 17122312443347907466/838432395271573703*y^6 - 6957438799255159061/838432395271573703*y^5 + 32498386910304351248/838432395271573703*y^4 + 7368533292297543562/838432395271573703*y^3 - 28759395844889138294/838432395271573703*y^2 - 2931357139000695938/838432395271573703*y + 10099685883233086442/838432395271573703 -1554524414989674970/316089013017383286031*y^11 - 16245715765264922832/316089013017383286031*y^10 - 1866642915315454226/16636263843020172949*y^9 + 378784948354246492576/316089013017383286031*y^8 + 315179432116237930880/316089013017383286031*y^7 - 68235685200032552778/10899621138530458139*y^6 - 1048628227209299098514/316089013017383286031*y^5 + 3666083847248272242217/316089013017383286031*y^4 + 1104899156903007283557/316089013017383286031*y^3 - 3105525636496679559520/316089013017383286031*y^2 - 432112740697830756116/316089013017383286031*y + 1132083065637396383024/316089013017383286031 -4531666837502676/838432395271573703*y^11 - 48405306706790827/838432395271573703*y^10 - 5971841583863254/44128020803767037*y^9 + 1085972650003296705/838432395271573703*y^8 + 1160803556787643736/838432395271573703*y^7 - 5828597352945335526/838432395271573703*y^6 - 3803395242166993266/838432395271573703*y^5 + 10860321673619815372/838432395271573703*y^4 + 3927649849717499252/838432395271573703*y^3 - 9408634125596943611/838432395271573703*y^2 - 1505994239635209908/838432395271573703*y + 4103906831046455251/838432395271573703 # A Gluing Matrix {{4,-2,1,0,0,0,0,0},{-2,1,0,0,0,0,0,0},{2,0,3,2,-2,0,-2,0},{0,0,1,2,-2,0,-2,0},{0,0,-1,-2,1,0,0,0},{0,0,0,0,0,1,1,0},{0,0,-1,-2,0,1,-1,-1},{0,0,0,0,0,0,-1,0}} # B Gluing Matrix {{1,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,2,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,0,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {4, -1, 2, 0, -1, 1, -1, 0} # f Combinatorial flattening {0, -1, 0, 0, -1, 1, 0, 2} # f' Combinatorial flattening {2, 0, 0, -2, 0, 0, 0, 0} # 1 Loop Invariant 177743726024818585/838432395271573703*y^11 + 3453725012444099329/1676864790543147406*y^10 + 146334002847004258/44128020803767037*y^9 - 91210057242148346049/1676864790543147406*y^8 - 4526545141886976550/838432395271573703*y^7 + 227535393145024344226/838432395271573703*y^6 + 626612706182165819/838432395271573703*y^5 - 427636764974531323416/838432395271573703*y^4 + 9094367046674447523/838432395271573703*y^3 + 358231751491575097307/838432395271573703*y^2 - 2519024558087994495/838432395271573703*y - 118174136168290648937/838432395271573703 # 2 Loop Invariant -444747701061050501512704645190356003308189089/487905143233600456104646454136509959440066735402*y^11 - 3163956320273213021249393312583289632452687473/325270095489066970736430969424339972960044490268*y^10 - 194554417504799721324164260414761400851413669/8559739354975446598327130774324736130527486586*y^9 + 71116678482665835142772508431582189032805965227/325270095489066970736430969424339972960044490268*y^8 + 56447941300006971379333788980794870107243922568/243952571616800228052323227068254979720033367701*y^7 - 1143852788791088026985270941875193547081929419101/975810286467200912209292908273019918880133470804*y^6 - 740587272299067915013462797414933630738547120561/975810286467200912209292908273019918880133470804*y^5 + 532723882400480339124891395951089785420969111119/243952571616800228052323227068254979720033367701*y^4 + 191365138822629441352981829196674667403417618093/243952571616800228052323227068254979720033367701*y^3 - 460410069054797398627279694682658089989988343042/243952571616800228052323227068254979720033367701*y^2 - 24477457579279311009049323920001375306008466379/81317523872266742684107742356084993240011122567*y + 36609645762843867632432863281239499778849068658/81317523872266742684107742356084993240011122567 # 3 Loop Invariant 1695315491279568804467025427836607304337812783065521293395/50649153261807991566219015594349635169589486818176409353968078*y^11 + 18558436527470147017577668572648563231311001228915648322275/50649153261807991566219015594349635169589486818176409353968078*y^10 + 2461537741704600699967787749737827520410254831135709114025/2665744908516210082432579768123665008925762464114547860735162*y^9 - 199241063307786909155339675419484525812040135854176264261240/25324576630903995783109507797174817584794743409088204676984039*y^8 - 269045880715493563386372999702090017046998524546866233559440/25324576630903995783109507797174817584794743409088204676984039*y^7 + 1104663661012795368775687474459956883356417271219103365162380/25324576630903995783109507797174817584794743409088204676984039*y^6 + 1738231099570630048155030674886214504161767193112379782873545/50649153261807991566219015594349635169589486818176409353968078*y^5 - 2075652906934924390440372559153078971069339725044384543050560/25324576630903995783109507797174817584794743409088204676984039*y^4 - 1765683169067405531022614013125448605575018723459633783141785/50649153261807991566219015594349635169589486818176409353968078*y^3 + 3541702522370811653163592741991412593199327647716848579704335/50649153261807991566219015594349635169589486818176409353968078*y^2 + 666534646790473135100899127514933858329380623714300032467285/50649153261807991566219015594349635169589486818176409353968078*y - 1228033815238190080538753204112072882693529827756394063019707/50649153261807991566219015594349635169589486818176409353968078 # 4 Loop Invariant 15389005005776058262110812285732827776022018843604029326028945371884246987064070605736249/1768441857654508075385670927216021656780982881945607966780190778469281451976633592677894899120*y^11 + 1948854142418541539128904931346016437757305726368177717306893439332224800494930496466981/24561692467423723269245429544666967455291428915911221760835983034295575721897688787192984710*y^10 + 8037352403573834419318542397747203460676835882733453188698098092698268675685318708182139/93075887244974109230824785642948508251630677997137261409483725182593760630349136456731310480*y^9 - 4121622351471376641828703203195707594395574460778225432739262736528808512403590695476623351/1768441857654508075385670927216021656780982881945607966780190778469281451976633592677894899120*y^8 + 10745112486004189034122168226604624218644975389475296792347897874433208877888031320726796/12280846233711861634622714772333483727645714457955610880417991517147787860948844393596492355*y^7 + 18452549847054459238604257204267061036652262460174532523749614420784539511161785474353974731/1768441857654508075385670927216021656780982881945607966780190778469281451976633592677894899120*y^6 - 217553421552976606440495798191262119094641954826362032508863713779256027466439085870383591/110527616103406754711604432951001353548811430121600497923761923654330090748539599542368431195*y^5 - 8125410656850409264482031353393913801945988928819169359610991858637587729608746419805503287/442110464413627018846417731804005414195245720486401991695047694617320362994158398169473724780*y^4 + 1950761471946843952399919605589037537933624845697990302831313677158928899068777686335569011/1768441857654508075385670927216021656780982881945607966780190778469281451976633592677894899120*y^3 + 29592651512739152135918491055476272074296764382496237253983204743005677563039214763531726143/1768441857654508075385670927216021656780982881945607966780190778469281451976633592677894899120*y^2 - 20372325522151410305861526056939663398406097511605412184839717847741457778191321240374663/196493539739389786153963436357335739642331431327289774086687864274364605775181510297543877680*y - 10552620953024213902160066576166774211840264597998519679049575076353951368097153469824475657/1768441857654508075385670927216021656780982881945607966780190778469281451976633592677894899120