# Manifold: Census Knot K7_28 # Number of Tetrahedra: 7 # Number Field x^16 + 8*x^15 + 11*x^14 + 29*x^13 + 23*x^12 - 231*x^11 - 225*x^10 + 481*x^9 + 447*x^8 - 445*x^7 - 396*x^6 + 107*x^5 + 196*x^4 + 66*x^3 - 69*x^2 - 8*x + 3 # Approximate Field Generator 0.987167090473945 + 0.363967587217650*I # Shape Parameters 671874423983157847/7497453026423329001*y^15 + 5068982697677966808/7497453026423329001*y^14 + 4713565188554745060/7497453026423329001*y^13 + 13828903141296207057/7497453026423329001*y^12 - 12355696717946425/7497453026423329001*y^11 - 177801018519685909702/7497453026423329001*y^10 - 108895196317677127348/7497453026423329001*y^9 + 410534962156802841973/7497453026423329001*y^8 + 270343507202111116610/7497453026423329001*y^7 - 394182645696814157085/7497453026423329001*y^6 - 274971066435484617642/7497453026423329001*y^5 + 97768477937976528842/7497453026423329001*y^4 + 159587298311993246172/7497453026423329001*y^3 + 55061262065240509567/7497453026423329001*y^2 - 47190457815403487855/7497453026423329001*y + 4631561556120192351/7497453026423329001 115379544359481739/7497453026423329001*y^15 + 1191119754542166920/7497453026423329001*y^14 + 3747079335842933456/7497453026423329001*y^13 + 9384877385905259886/7497453026423329001*y^12 + 17979293373984563532/7497453026423329001*y^11 - 1606924506343088282/7497453026423329001*y^10 - 56899106561759322069/7497453026423329001*y^9 - 44237083823831446089/7497453026423329001*y^8 + 52665122327049161481/7497453026423329001*y^7 + 74910533761308758697/7497453026423329001*y^6 + 2142175985883716027/7497453026423329001*y^5 - 42786052188925888317/7497453026423329001*y^4 - 25717015158389735972/7497453026423329001*y^3 + 3969214182677434868/7497453026423329001*y^2 + 6607998998935177450/7497453026423329001*y + 4433696930209643978/7497453026423329001 415190835775336344/7497453026423329001*y^15 + 3524218854742227733/7497453026423329001*y^14 + 6367357191929071184/7497453026423329001*y^13 + 15780750833779718258/7497453026423329001*y^12 + 17999652507824345115/7497453026423329001*y^11 - 85355579117283752647/7497453026423329001*y^10 - 133304498341402867009/7497453026423329001*y^9 + 113530916083309897122/7497453026423329001*y^8 + 226287912390504880538/7497453026423329001*y^7 - 20433440937019774836/7497453026423329001*y^6 - 161371517812897926379/7497453026423329001*y^5 - 85771404020306820771/7497453026423329001*y^4 + 43910033477778970579/7497453026423329001*y^3 + 63793370207722087597/7497453026423329001*y^2 - 2454170390573418782/7497453026423329001*y + 171267803431340100/7497453026423329001 415190835775336344/7497453026423329001*y^15 + 3524218854742227733/7497453026423329001*y^14 + 6367357191929071184/7497453026423329001*y^13 + 15780750833779718258/7497453026423329001*y^12 + 17999652507824345115/7497453026423329001*y^11 - 85355579117283752647/7497453026423329001*y^10 - 133304498341402867009/7497453026423329001*y^9 + 113530916083309897122/7497453026423329001*y^8 + 226287912390504880538/7497453026423329001*y^7 - 20433440937019774836/7497453026423329001*y^6 - 161371517812897926379/7497453026423329001*y^5 - 85771404020306820771/7497453026423329001*y^4 + 43910033477778970579/7497453026423329001*y^3 + 63793370207722087597/7497453026423329001*y^2 - 2454170390573418782/7497453026423329001*y + 171267803431340100/7497453026423329001 2865891470303136650/22492359079269987003*y^15 + 24942755034374566741/22492359079269987003*y^14 + 46731754266368403574/22492359079269987003*y^13 + 97251548204455198030/22492359079269987003*y^12 + 107402213240860764121/22492359079269987003*y^11 - 220685998910059468475/7497453026423329001*y^10 - 392742878792421158452/7497453026423329001*y^9 + 1051808208262777346606/22492359079269987003*y^8 + 837552791231970202823/7497453026423329001*y^7 - 464291182678562459420/22492359079269987003*y^6 - 772480319776828194885/7497453026423329001*y^5 - 518262811984018231376/22492359079269987003*y^4 + 855020161993344369926/22492359079269987003*y^3 + 222636910658662252472/7497453026423329001*y^2 - 10854241751731633383/7497453026423329001*y - 164498505208635556765/22492359079269987003 -39921040028459905/7497453026423329001*y^15 - 403241260738584517/7497453026423329001*y^14 - 1192441649398580366/7497453026423329001*y^13 - 2804138597843785565/7497453026423329001*y^12 - 4982217641670702473/7497453026423329001*y^11 + 2588389918951877198/7497453026423329001*y^10 + 22197200295212185882/7497453026423329001*y^9 + 8502065909082209622/7497453026423329001*y^8 - 32291058987061609009/7497453026423329001*y^7 - 12496491820112576961/7497453026423329001*y^6 + 10934028076661078970/7497453026423329001*y^5 + 3274305509966614255/7497453026423329001*y^4 + 9345084669878192012/7497453026423329001*y^3 + 14563186807222085951/7497453026423329001*y^2 - 1224348563660226616/7497453026423329001*y + 22694118265845105/7497453026423329001 -455111875803796249/7497453026423329001*y^15 - 3927460115480812250/7497453026423329001*y^14 - 7559798841327651550/7497453026423329001*y^13 - 18584889431623503823/7497453026423329001*y^12 - 22981870149495047588/7497453026423329001*y^11 + 87943969036235629845/7497453026423329001*y^10 + 155501698636615052891/7497453026423329001*y^9 - 105028850174227687500/7497453026423329001*y^8 - 258578971377566489547/7497453026423329001*y^7 + 7936949116907197875/7497453026423329001*y^6 + 172305545889559005349/7497453026423329001*y^5 + 89045709530273435026/7497453026423329001*y^4 - 34564948807900778567/7497453026423329001*y^3 - 49230183400500001646/7497453026423329001*y^2 + 1229821826913192166/7497453026423329001*y + 7348879341257834006/7497453026423329001 # A Gluing Matrix {{0,0,1,1,2,3,-1},{-2,1,1,1,4,4,-1},{0,0,1,1,2,1,0},{0,0,1,1,2,1,0},{-2,1,2,2,6,5,-1},{-2,1,2,2,6,7,-2},{0,0,0,0,0,-1,2}} # B Gluing Matrix {{1,0,0,0,0,2,0},{0,2,0,0,0,2,0},{0,0,1,1,0,0,0},{0,0,0,2,0,0,0},{0,0,0,0,1,2,0},{0,0,0,0,0,4,0},{0,0,0,0,0,0,2}} # nu Gluing Vector {2, 4, 2, 2, 4, 4, 0} # f Combinatorial flattening {0, -16, -2, 0, 0, 4, 2} # f' Combinatorial flattening {-6, 4, 0, 0, 6, 0, 0} # 1 Loop Invariant -18406066934939682777/14994906052846658002*y^15 - 194831868451822820907/14994906052846658002*y^14 - 315916224890656105312/7497453026423329001*y^13 - 1490057770219450591787/14994906052846658002*y^12 - 1369258653073815956694/7497453026423329001*y^11 + 801130140618207719063/14994906052846658002*y^10 + 5896967590131503534861/7497453026423329001*y^9 + 9674979860231891998697/14994906052846658002*y^8 - 6721322658593670535312/7497453026423329001*y^7 - 17562760108178623971741/14994906052846658002*y^6 + 4490095084942533854287/14994906052846658002*y^5 + 5855917134004737871342/7497453026423329001*y^4 + 1677875993510909132148/7497453026423329001*y^3 - 770181859785559292594/7497453026423329001*y^2 - 1909914553808283731267/14994906052846658002*y + 534180021000463961371/14994906052846658002 # 2 Loop Invariant 688460631298113142790457450537301197993330203136407902357825533/56577597694565581297463784106289245082419530818891236331929279376*y^15 + 8562297616232674688875958564588593153835256324698122322655895099/84866396541848371946195676159433867623629296228336854497893919064*y^14 + 2346142625220121995720272138317882503647884318825176521872008343/14144399423641395324365946026572311270604882704722809082982319844*y^13 + 23877554551820042128175258127133778213106598149420735822160009709/56577597694565581297463784106289245082419530818891236331929279376*y^12 + 24368472229318107612068483134958584942957124659111627777310152409/56577597694565581297463784106289245082419530818891236331929279376*y^11 - 221004073863801055399922865566659373694984667765668291536776317313/84866396541848371946195676159433867623629296228336854497893919064*y^10 - 581523798752546171263263858878148839251010614441880684188208795473/169732793083696743892391352318867735247258592456673708995787838128*y^9 + 2908600769079283741893273045374658676101372933515460242779836679/681657803548982907198358844654087290149632901432424534119629872*y^8 + 525431301792741680053401042915560371059576074746627774473285883097/84866396541848371946195676159433867623629296228336854497893919064*y^7 - 141166044553820655983279785251982246359438660652919614287631831947/56577597694565581297463784106289245082419530818891236331929279376*y^6 - 208454218370824828538486608479375374768901548074449291860733316945/42433198270924185973097838079716933811814648114168427248946959532*y^5 - 164166695290944179019335782603954420269499721366349661673708153035/169732793083696743892391352318867735247258592456673708995787838128*y^4 + 319447926114498004540398439713830142208009036484841592998378725195/169732793083696743892391352318867735247258592456673708995787838128*y^3 + 242649256340214704281444846165539235429321390666860117469783635613/169732793083696743892391352318867735247258592456673708995787838128*y^2 - 23659382852091036810487969626805705348885924218058704533827406833/56577597694565581297463784106289245082419530818891236331929279376*y + 484902278459207112761309360175423088555121126740531729096185644417/84866396541848371946195676159433867623629296228336854497893919064 # 3 Loop Invariant -19959437165230948636155937845905590875510951619670742055335420231033665370917361041717/4914845589493600317096470328013152312579641527789950151942183947704113078583095370637376*y^15 - 164255075456918658404673678751233226311248568446482782236222353674399258044200074638943/4914845589493600317096470328013152312579641527789950151942183947704113078583095370637376*y^14 - 256587440518765613293315969653253282469314182704671698445465599823795928962999278938151/4914845589493600317096470328013152312579641527789950151942183947704113078583095370637376*y^13 - 316817226191008584806460376074769546900698985826634334031702216875781115091802458100593/2457422794746800158548235164006576156289820763894975075971091973852056539291547685318688*y^12 - 607470850464862150531223396576720498073380031083068776701670865321733375878286885449947/4914845589493600317096470328013152312579641527789950151942183947704113078583095370637376*y^11 + 4470578459228655250654368415117903238009570176931755261171715045864296016470141117915999/4914845589493600317096470328013152312579641527789950151942183947704113078583095370637376*y^10 + 1371834816727892380441322333230484920800132952754058352153575145066100709324790569626045/1228711397373400079274117582003288078144910381947487537985545986926028269645773842659344*y^9 - 125848392927796573516456145061891904277522878830416517197610232704556266248577541491803/72277141021964710545536328353134592832053551879263972822679175701531074685045520156432*y^8 - 5395966655774782242688647921520601345874812158261096119642871922250836469936823254213721/2457422794746800158548235164006576156289820763894975075971091973852056539291547685318688*y^7 + 7116087960017057901446802551183545356499110895449603896058356456381560395684657097249329/4914845589493600317096470328013152312579641527789950151942183947704113078583095370637376*y^6 + 9412415329339494004111640532129379100817246696118322397030411317091924952791769959086071/4914845589493600317096470328013152312579641527789950151942183947704113078583095370637376*y^5 - 26380558853008916371646309811246031643202247861309844357608075651738817597660643736367/153588924671675009909264697750411009768113797743435942248193248365753533705721730332418*y^4 - 2038010724689336917639317584476828204033444860867909032357216273631572180809902891410267/2457422794746800158548235164006576156289820763894975075971091973852056539291547685318688*y^3 - 443398845480392611154112702857173183165235082720592005167918759388769472326096727495003/1228711397373400079274117582003288078144910381947487537985545986926028269645773842659344*y^2 + 1034596004052883875251687102085261010762372165503101471380393130125689973045493470612689/4914845589493600317096470328013152312579641527789950151942183947704113078583095370637376*y + 169301815125743836815175557864069151574744732108797750603116840665278353460394369944379/2457422794746800158548235164006576156289820763894975075971091973852056539291547685318688