# Manifold: Census Knot K6_18 # Number of Tetrahedra: 6 # Number Field x^17 - 17/4*x^16 - 11/2*x^15 + 79/2*x^14 - 5/2*x^13 - 135*x^12 + 119/2*x^11 + 957/4*x^10 - 563/4*x^9 - 243*x^8 + 625/4*x^7 + 249/2*x^6 - 159/2*x^5 - 83/4*x^4 + 14*x^3 - 7/4*x^2 - x + 1/4 # Approximate Field Generator 1.19896464764676 - 0.616694704619110*I # Shape Parameters -51552883153384/150488020017107*y^16 + 162672373394562/150488020017107*y^15 + 489767946519218/150488020017107*y^14 - 1628453304576668/150488020017107*y^13 - 1752846158963342/150488020017107*y^12 + 6121010547610061/150488020017107*y^11 + 3111095505420008/150488020017107*y^10 - 11997435296753625/150488020017107*y^9 - 3016857418377246/150488020017107*y^8 + 13201590230016418/150488020017107*y^7 + 1186372724651736/150488020017107*y^6 - 7296079854820876/150488020017107*y^5 + 799927929114731/150488020017107*y^4 + 1403949294458848/150488020017107*y^3 - 885766544805627/150488020017107*y^2 - 90172421619889/150488020017107*y + 124612650332105/150488020017107 419378052008424/150488020017107*y^16 - 1777495304981418/150488020017107*y^15 - 2278391953505588/150488020017107*y^14 + 16307687395961439/150488020017107*y^13 - 1014965965085519/150488020017107*y^12 - 54631566897554672/150488020017107*y^11 + 23261880495483677/150488020017107*y^10 + 94575863103399928/150488020017107*y^9 - 52404116501128621/150488020017107*y^8 - 93505379344713582/150488020017107*y^7 + 54077921296315518/150488020017107*y^6 + 45543943345246609/150488020017107*y^5 - 22894406460925157/150488020017107*y^4 - 6898323022161560/150488020017107*y^3 + 1768400201784431/150488020017107*y^2 - 517047322808237/150488020017107*y + 7068238506351/150488020017107 -51651173187836/150488020017107*y^16 + 154952413671195/150488020017107*y^15 + 478018756354855/150488020017107*y^14 - 1414724706902106/150488020017107*y^13 - 1758809916092865/150488020017107*y^12 + 4628632248673729/150488020017107*y^11 + 3736816560860963/150488020017107*y^10 - 7769113159647391/150488020017107*y^9 - 5536861221279561/150488020017107*y^8 + 7067873403428948/150488020017107*y^7 + 5368049523461482/150488020017107*y^6 - 2767319230166594/150488020017107*y^5 - 2724795939722330/150488020017107*y^4 + 596927705360585/150488020017107*y^3 + 374420732058698/150488020017107*y^2 - 450884281328503/150488020017107*y + 127973581593867/150488020017107 -59319257035888/150488020017107*y^16 + 316652455390400/150488020017107*y^15 + 147770453390867/150488020017107*y^14 - 3027845650430107/150488020017107*y^13 + 1961015792971352/150488020017107*y^12 + 10811691080596723/150488020017107*y^11 - 10410534839361067/150488020017107*y^10 - 19894155229999010/150488020017107*y^9 + 21923720467569076/150488020017107*y^8 + 21078566655292540/150488020017107*y^7 - 24057904608472482/150488020017107*y^6 - 11457018971948029/150488020017107*y^5 + 12699551902552362/150488020017107*y^4 + 1482105436959831/150488020017107*y^3 - 2269890640377679/150488020017107*y^2 + 544897258501879/150488020017107*y + 155023058689688/150488020017107 774695601439588/150488020017107*y^16 - 3188954827378241/150488020017107*y^15 - 4752259975716152/150488020017107*y^14 + 30193890497188244/150488020017107*y^13 + 2641337353150564/150488020017107*y^12 - 106471113195771068/150488020017107*y^11 + 30368842496791064/150488020017107*y^10 + 197625271177061966/150488020017107*y^9 - 81164581608655089/150488020017107*y^8 - 214816299579229635/150488020017107*y^7 + 92878470972736435/150488020017107*y^6 + 125823298662371374/150488020017107*y^5 - 47515993486664514/150488020017107*y^4 - 31599381144522963/150488020017107*y^3 + 9498010665413797/150488020017107*y^2 + 1497252694299681/150488020017107*y - 1691101714023122/150488020017107 90057753692960/150488020017107*y^16 - 434396626382916/150488020017107*y^15 - 340365231640085/150488020017107*y^14 + 4035300027226775/150488020017107*y^13 - 1639869091134506/150488020017107*y^12 - 13916606664642465/150488020017107*y^11 + 9987068593404849/150488020017107*y^10 + 25283134131901643/150488020017107*y^9 - 20444741991931511/150488020017107*y^8 - 27420895368668841/150488020017107*y^7 + 21139397417953948/150488020017107*y^6 + 16580239858235002/150488020017107*y^5 - 9926910648756914/150488020017107*y^4 - 4593494328851250/150488020017107*y^3 + 1857736257062025/150488020017107*y^2 + 216819663096018/150488020017107*y - 540942035021463/150488020017107 # A Gluing Matrix {{1,0,0,2,0,0},{0,2,0,-2,0,0},{0,0,1,1,0,0},{2,-2,1,6,0,2},{0,0,0,0,1,-2},{0,0,0,2,-2,3}} # B Gluing Matrix {{1,0,0,0,0,0},{0,1,0,0,0,0},{0,0,1,0,0,0},{0,0,0,1,0,0},{0,0,0,0,1,0},{0,0,0,0,0,1}} # nu Gluing Vector {1, 0, 1, 4, -1, 3} # f Combinatorial flattening {-8, 3, -2, 3, 9, 5} # f' Combinatorial flattening {3, 0, 0, 0, 0, 0} # 1 Loop Invariant 4173094269964860/150488020017107*y^16 - 18199340797920083/150488020017107*y^15 - 18310990548966909/150488020017107*y^14 + 155778488013744042/150488020017107*y^13 - 40630271832683947/150488020017107*y^12 - 461628334488675253/150488020017107*y^11 + 282460531942928176/150488020017107*y^10 + 667667582250933035/150488020017107*y^9 - 486812835685657042/150488020017107*y^8 - 506361440947720408/150488020017107*y^7 + 345894220665657176/150488020017107*y^6 + 125847308614586476/150488020017107*y^5 + 10552767324957722/150488020017107*y^4 - 6365780235744682/150488020017107*y^3 - 81614028145052920/150488020017107*y^2 + 29247917335984178/150488020017107*y - 5602511824455975/150488020017107 # 2 Loop Invariant 3156001172276605709631577676430728298393542277738214783455988367/30606368075891051454444354923568791597339459278662951703443047922*y^16 - 48463599788848214372683439813730455641435275797959524343837555427/122425472303564205817777419694275166389357837114651806813772191688*y^15 - 87279598830237000293196836851151576257795011011604852835011396359/122425472303564205817777419694275166389357837114651806813772191688*y^14 + 302529655525193524187065269759520395796982019222045415179001709109/81616981535709470545184946462850110926238558076434537875848127792*y^13 + 288822340348034288644805636830239713917335337556760125288589232679/244850944607128411635554839388550332778715674229303613627544383376*y^12 - 390587343077024091956340018583793997129897729107169565844743672573/30606368075891051454444354923568791597339459278662951703443047922*y^11 + 23771756054531377733526826602219002516930994269744315200465036003/30606368075891051454444354923568791597339459278662951703443047922*y^10 + 1857270887772354438201388231923859505505337544524981999697127759057/81616981535709470545184946462850110926238558076434537875848127792*y^9 - 79735217825123569990338241492979241858012023564836517009126654063/20404245383927367636296236615712527731559639519108634468962031948*y^8 - 2811450136299540068197069214738078725071843715953673287616348757341/122425472303564205817777419694275166389357837114651806813772191688*y^7 + 121659030381349122443304085584634432649057379487170078933710796731/30606368075891051454444354923568791597339459278662951703443047922*y^6 + 2721179916212035375797110653771011062647403959398587496974577354583/244850944607128411635554839388550332778715674229303613627544383376*y^5 - 75295017596783764482066063781465253386026596146627046974815358639/81616981535709470545184946462850110926238558076434537875848127792*y^4 - 281258724528462673265080298816310556171597211456304726262318313081/244850944607128411635554839388550332778715674229303613627544383376*y^3 - 9179998972373338993152214975085698752554850642298609140399800659/40808490767854735272592473231425055463119279038217268937924063896*y^2 - 81004276614120812842849900369796086393107752895865703443891784651/244850944607128411635554839388550332778715674229303613627544383376*y + 401073391722343641565692134045630073554055568847699556556930932127/122425472303564205817777419694275166389357837114651806813772191688 # 3 Loop Invariant 12636059728004362932023714064996775118119027311738951782915540267992919089016780286108947/475181843658708349533397863597607116616094087011206641320205302028530612381190358302222032*y^16 - 197637682450861294893123443532292188104942961485161035026877694070645541511971402069294395/1900727374634833398133591454390428466464376348044826565280821208114122449524761433208888128*y^15 - 41526262601779969141376693980529249563122594374778086757579140093378716966634829373181643/237590921829354174766698931798803558308047043505603320660102651014265306190595179151111016*y^14 + 1836384997979844397692848119149561039807103658022106466659142075519708221564020598861048003/1900727374634833398133591454390428466464376348044826565280821208114122449524761433208888128*y^13 + 100992669691416348383215638063293884350153980316284698579146090817723178898342033692623543/475181843658708349533397863597607116616094087011206641320205302028530612381190358302222032*y^12 - 6252702550368328292057146632609695542840978455330097605720699895160076623297452657677517399/1900727374634833398133591454390428466464376348044826565280821208114122449524761433208888128*y^11 + 266758577448877632197200484326208366135193249925354040270143120142657163562484094199296501/475181843658708349533397863597607116616094087011206641320205302028530612381190358302222032*y^10 + 11020965114679453690760448787700574974349759076343000404521608413617112187889197865059834229/1900727374634833398133591454390428466464376348044826565280821208114122449524761433208888128*y^9 - 3375473380634334315437025561019179174399921909616454927808701346192612614807161421627249125/1900727374634833398133591454390428466464376348044826565280821208114122449524761433208888128*y^8 - 11026407363551716686691957654740478921520017788305046138616202691817467103956318339710450519/1900727374634833398133591454390428466464376348044826565280821208114122449524761433208888128*y^7 + 475792620043161578988934230682386580736179911656569311727036864305389220403757216657385159/237590921829354174766698931798803558308047043505603320660102651014265306190595179151111016*y^6 + 1351380069621624040722250088687735343347363398016367735941205808386423480624477252992709519/475181843658708349533397863597607116616094087011206641320205302028530612381190358302222032*y^5 - 217711410479760235306415387030105834579710438993992499625646530889258451160568565626435385/237590921829354174766698931798803558308047043505603320660102651014265306190595179151111016*y^4 - 410531528464680087529161664659908063352957900784363763733343735344319729831140608088378325/950363687317416699066795727195214233232188174022413282640410604057061224762380716604444064*y^3 + 218443882627725425875315353936708541453939363405663995103174120013726486582703263880799815/1900727374634833398133591454390428466464376348044826565280821208114122449524761433208888128*y^2 - 8134640771485899746499799623903763283091423184938592375126733041681885151629861409038853/1900727374634833398133591454390428466464376348044826565280821208114122449524761433208888128*y - 36857131893970407460338116521781200186701846559102348223750547196803698375071089544659/237590921829354174766698931798803558308047043505603320660102651014265306190595179151111016