# Manifold: Census Knot K7_21 # Number of Tetrahedra: 7 # Number Field x^17 - 28/5*x^16 - 4/5*x^15 + 343/5*x^14 - 155*x^13 + 33/5*x^12 + 1481/5*x^11 - 1032/5*x^10 - 249*x^9 + 1056/5*x^8 + 698/5*x^7 - 65*x^6 - 229/5*x^5 - 9/5*x^4 + 3*x^3 + 8/5*x^2 + 2/5*x - 1/5 # Approximate Field Generator 1.07552400057520 - 0.980686699918359*I # Shape Parameters -1020927687362864609505/51741941807368820731*y^16 + 6759545516725384290023/51741941807368820731*y^15 - 5718783001108553600993/51741941807368820731*y^14 - 66384776105593393799032/51741941807368820731*y^13 + 226680640977288198381026/51741941807368820731*y^12 - 214019712044403406279957/51741941807368820731*y^11 - 149692922367463935467338/51741941807368820731*y^10 + 398830432506744692921472/51741941807368820731*y^9 - 77977333667349234480223/51741941807368820731*y^8 - 231560678019440350602943/51741941807368820731*y^7 + 63127481998085939938198/51741941807368820731*y^6 + 64812889415250590392975/51741941807368820731*y^5 - 4403695954261592470118/51741941807368820731*y^4 - 7340314504172031487614/51741941807368820731*y^3 - 1416228098237259522416/51741941807368820731*y^2 - 848774006824037723080/51741941807368820731*y + 529317817472025314124/51741941807368820731 -747945473118085680490/51741941807368820731*y^16 + 4233669122941252182614/51741941807368820731*y^15 + 139610204712869553305/51741941807368820731*y^14 - 50123646834539421473236/51741941807368820731*y^13 + 118700963780487210112901/51741941807368820731*y^12 - 25471452326972326608895/51741941807368820731*y^11 - 184816129013464220712758/51741941807368820731*y^10 + 148715018121133044351812/51741941807368820731*y^9 + 135732632510956938600815/51741941807368820731*y^8 - 117745691197453895318118/51741941807368820731*y^7 - 77882719855764604917097/51741941807368820731*y^6 + 22868790522576554060026/51741941807368820731*y^5 + 22543270456013559036781/51741941807368820731*y^4 + 5271528922755025614495/51741941807368820731*y^3 + 1094783753061618940543/51741941807368820731*y^2 - 409850031982624105751/51741941807368820731*y - 220764753103541465087/51741941807368820731 239458029679999660720/51741941807368820731*y^16 - 1837270890838317774662/51741941807368820731*y^15 + 2885480846976073089617/51741941807368820731*y^14 + 14925231651916397160057/51741941807368820731*y^13 - 69928934659540953103537/51741941807368820731*y^12 + 98007736267936277463269/51741941807368820731*y^11 + 6276574623190793880215/51741941807368820731*y^10 - 147044761772734689245865/51741941807368820731*y^9 + 94123461466327279168962/51741941807368820731*y^8 + 70879438704100329197558/51741941807368820731*y^7 - 66419338431070606287749/51741941807368820731*y^6 - 22112772621804877907486/51741941807368820731*y^5 + 13463749524284796715882/51741941807368820731*y^4 + 5783345131614950487350/51741941807368820731*y^3 + 873457484724710949506/51741941807368820731*y^2 + 172713837250802306416/51741941807368820731*y - 340194858886991395219/51741941807368820731 757990846546771604170/51741941807368820731*y^16 - 4715657734931108034967/51741941807368820731*y^15 + 2413007335471120422578/51741941807368820731*y^14 + 49945553508042450528017/51741941807368820731*y^13 - 148271073922684103496131/51741941807368820731*y^12 + 103090836717348029905830/51741941807368820731*y^11 + 143265861519164661434464/51741941807368820731*y^10 - 234765897138376783961818/51741941807368820731*y^9 - 24249804611487069960834/51741941807368820731*y^8 + 148637101644802085410886/51741941807368820731*y^7 + 7172978779460961762319/51741941807368820731*y^6 - 35677580466667661920948/51741941807368820731*y^5 - 8900301522747767805693/51741941807368820731*y^4 - 298112702250721346480/51741941807368820731*y^3 + 359106235104906902660/51741941807368820731*y^2 + 726843682291089740512/51741941807368820731*y - 56822469232594993598/51741941807368820731 1845401190966086998605/51741941807368820731*y^16 - 10016147498469876372848/51741941807368820731*y^15 - 2967296459256850409098/51741941807368820731*y^14 + 124677181479520941618252/51741941807368820731*y^13 - 264189685481112603951738/51741941807368820731*y^12 - 17508826507980182804230/51741941807368820731*y^11 + 501360903294705201234119/51741941807368820731*y^10 - 275496941346381292496039/51741941807368820731*y^9 - 450057858595523643257717/51741941807368820731*y^8 + 246642853445595083974308/51741941807368820731*y^7 + 272593046332673423946754/51741941807368820731*y^6 - 23884254970078915115838/51741941807368820731*y^5 - 75671720444939515125918/51741941807368820731*y^4 - 28038885309818721334535/51741941807368820731*y^3 - 4584423152662280065632/51741941807368820731*y^2 + 1146815452740212110352/51741941807368820731*y + 900312983697728342539/51741941807368820731 494874662184017053580/51741941807368820731*y^16 - 4154940069963772419373/51741941807368820731*y^15 + 8138848534862152468016/51741941807368820731*y^14 + 29973749295094382232782/51741941807368820731*y^13 - 167942548245175863058761/51741941807368820731*y^12 + 268947221096369155218096/51741941807368820731*y^11 - 28829208069524523166344/51741941807368820731*y^10 - 368148843076488565523340/51741941807368820731*y^9 + 285363702122593239129695/51741941807368820731*y^8 + 170935867074083536864469/51741941807368820731*y^7 - 193073510492453062242047/51741941807368820731*y^6 - 62916167567719663304679/51741941807368820731*y^5 + 40050652281540395217208/51741941807368820731*y^4 + 20256615451170346133555/51741941807368820731*y^3 + 2774190611433027918139/51741941807368820731*y^2 - 160789326059267377300/51741941807368820731*y - 1074720123528963154220/51741941807368820731 -1486055248998353781790/51741941807368820731*y^16 + 11386927410647617656939/51741941807368820731*y^15 - 17779286253855884501367/51741941807368820731*y^14 - 92760438649329770157501/51741941807368820731*y^13 + 432312409762400005820039/51741941807368820731*y^12 - 602545335960763416061241/51741941807368820731*y^11 - 39962208307733712940569/51741941807368820731*y^10 + 890046197009624325734922/51741941807368820731*y^9 - 550421501409502077405896/51741941807368820731*y^8 - 441719413522565632653199/51741941807368820731*y^7 + 379599020292301224523408/51741941807368820731*y^6 + 150263262419068107786216/51741941807368820731*y^5 - 73886934978041840557770/51741941807368820731*y^4 - 40358147506655980299764/51741941807368820731*y^3 - 5758800233103252987014/51741941807368820731*y^2 - 114399418640456504907/51741941807368820731*y + 2300815736608663882046/51741941807368820731 # A Gluing Matrix {{0,-4,0,6,4,-2,1},{-2,-4,0,6,4,-2,1},{0,0,0,-1,0,0,0},{3,6,-1,-5,-4,2,-1},{2,4,0,-4,-3,2,-1},{-1,-2,0,2,2,0,0},{1,2,0,-2,-2,0,0}} # B Gluing Matrix {{2,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,1,0},{0,0,0,0,0,0,2}} # nu Gluing Vector {0, 0, 0, 1, 1, 0, 2} # f Combinatorial flattening {-2, 3, 3, 0, 1, -4, -4} # f' Combinatorial flattening {2, 0, 0, 0, 0, 2, 0} # 1 Loop Invariant 76962328658305751901880/51741941807368820731*y^16 - 488322367658761179479003/51741941807368820731*y^15 + 303249664647984169780816/51741941807368820731*y^14 + 5045775883796569448077677/51741941807368820731*y^13 - 15677490774767321336553230/51741941807368820731*y^12 + 12260410966629425172846732/51741941807368820731*y^11 + 13367190348797668652374799/51741941807368820731*y^10 - 25533385774739022943182342/51741941807368820731*y^9 + 94642539186871344316172/51741941807368820731*y^8 + 15588177332745324426731482/51741941807368820731*y^7 - 817993104370566674787609/51741941807368820731*y^6 - 3937131518979058584498515/51741941807368820731*y^5 - 577844321852817893349871/51741941807368820731*y^4 + 135551514592925901212417/51741941807368820731*y^3 + 60294550734195856660961/51741941807368820731*y^2 + 64540702572865149165657/51741941807368820731*y - 17648290186859226492094/51741941807368820731 # 2 Loop Invariant 20936701754670380786563206257323833034606826656712519271077082457685/6095323685026624600611774315580106710495825509640320028340109214674*y^16 - 90490704560632764903219002155344633874752691909213555547920358389729/4063549123351083067074516210386737806997217006426880018893406143116*y^15 + 266826282294424954558705385052956757939868197032057639146571008890589/16254196493404332268298064841546951227988868025707520075573624572464*y^14 + 10932094476523904946291049652079176441465256694684598927019630385104371/48762589480212996804894194524640853683966604077122560226720873717392*y^13 - 11890961093639098082619695953709880783475686853960650262735111534616623/16254196493404332268298064841546951227988868025707520075573624572464*y^12 + 30989182879354829065991131147267962981441468425448116557804136463982615/48762589480212996804894194524640853683966604077122560226720873717392*y^11 + 8934217586340347058700642893388508346077645593351286023474506152694119/16254196493404332268298064841546951227988868025707520075573624572464*y^10 - 60950507334999651691593858899215562816548580662230690739136850216516235/48762589480212996804894194524640853683966604077122560226720873717392*y^9 + 897470307423266764202984520945696312831576547251120293410975269658561/6095323685026624600611774315580106710495825509640320028340109214674*y^8 + 748658754481836078484378945659437746404998030376446341707372616927212/1015887280837770766768629052596684451749304251606720004723351535779*y^7 - 2249332408367623614417982688773432934115169612358406606796789226970725/16254196493404332268298064841546951227988868025707520075573624572464*y^6 - 786001327079746152715057081792340239303080603186940980695396566740663/4063549123351083067074516210386737806997217006426880018893406143116*y^5 - 4400270390778922970795737004580367144652147808754560925627310306149/6095323685026624600611774315580106710495825509640320028340109214674*y^4 + 121776375072180534672940248610268174417087381576571226543728993530073/8127098246702166134149032420773475613994434012853760037786812286232*y^3 + 30945347346067998192175244708770961357857675462185512119336551207597/8127098246702166134149032420773475613994434012853760037786812286232*y^2 + 36926232567339001017375113708681055904515019896082401110109173057851/12190647370053249201223548631160213420991651019280640056680218429348*y - 7966466743030920042111396910858623106055125610319739111155754153787/24381294740106498402447097262320426841983302038561280113360436858696 # 3 Loop Invariant 3075543020044075106573881260392192184687089464479571833002236689787137060389785244736067715/4555089358258192796916483081188682771518493558930980067040157847291141005783947412664643616*y^16 - 38422705334718069673356375037274449867973176236035177946983874797052434933964585499488665063/9110178716516385593832966162377365543036987117861960134080315694582282011567894825329287232*y^15 + 20355598535010018162120421662051042258951747599567530000463733068875169169664400261101325919/9110178716516385593832966162377365543036987117861960134080315694582282011567894825329287232*y^14 + 203149003725335666067355298361173894346205753344072263898538461660210508481295641915591536875/4555089358258192796916483081188682771518493558930980067040157847291141005783947412664643616*y^13 - 151990233550053883601602566934187933947781132886491826249676390635308321288429087847736990953/1138772339564548199229120770297170692879623389732745016760039461822785251445986853166160904*y^12 + 427878428651070647598000194458184391629250104402579599126824393966812820128959674211186824773/4555089358258192796916483081188682771518493558930980067040157847291141005783947412664643616*y^11 + 1196695348986153987321650292074642101300656475231155108211125358279399012319814989505993015971/9110178716516385593832966162377365543036987117861960134080315694582282011567894825329287232*y^10 - 1009909047314642127920738353217117072800849032240423375441637633188706171252123596751396062083/4555089358258192796916483081188682771518493558930980067040157847291141005783947412664643616*y^9 - 1910852910235778000513049282983070526440253700804561442473327368855451100560883064745086356/142346542445568524903640096287146336609952923716593127095004932727848156430748356645770113*y^8 + 1275242815763366592334831312864018905398278061902515163575198851088388010885839737076121236905/9110178716516385593832966162377365543036987117861960134080315694582282011567894825329287232*y^7 - 11821688027970883038769370063365701423894614813542814617976052806232697180912019984694780203/4555089358258192796916483081188682771518493558930980067040157847291141005783947412664643616*y^6 - 310771616584189416517657632929029452491733580491620871007448601291824516089828328190056004007/9110178716516385593832966162377365543036987117861960134080315694582282011567894825329287232*y^5 - 13578108663139295322697140712603374200583451363795630207832048376501005754642921098717699353/2277544679129096398458241540594341385759246779465490033520078923645570502891973706332321808*y^4 + 4124353329000441444946520166098822924406031416822076787460090589452862732664976834362115219/4555089358258192796916483081188682771518493558930980067040157847291141005783947412664643616*y^3 + 5393109071820554703760702561111399267893769491943187963540573756261100725032284240060125069/9110178716516385593832966162377365543036987117861960134080315694582282011567894825329287232*y^2 + 1607540951806401004720537559898065278253671018996823618066574487019143434102240688085609505/2277544679129096398458241540594341385759246779465490033520078923645570502891973706332321808*y - 166397708350071174315928964230092910905747893098186606218352510201872950514737917134199255/1138772339564548199229120770297170692879623389732745016760039461822785251445986853166160904