# Manifold: Census Knot K8_259 # Number of Tetrahedra: 8 # Number Field x^15 + 45/8*x^14 + 9/2*x^13 - 847/32*x^12 - 60*x^11 - 1039/16*x^10 - 57/2*x^9 + 325/32*x^8 - 59/16*x^7 - 173/16*x^6 + 15/16*x^5 + 1/32*x^4 - 13/16*x^3 - 1/16*x^2 + 1/32*x - 1/32 # Approximate Field Generator -0.487784477979265 - 1.14343700225098*I # Shape Parameters -9532682054118125789280/3219086497049295909029*y^14 - 42743827393817621032956/3219086497049295909029*y^13 + 7759024186900790612260/3219086497049295909029*y^12 + 249932013526685401922105/3219086497049295909029*y^11 + 275670622829128927916577/3219086497049295909029*y^10 + 254797612529791316034897/3219086497049295909029*y^9 - 14532161491606226504258/3219086497049295909029*y^8 - 52562526218442099971814/3219086497049295909029*y^7 + 19216871544377841065141/459869499578470844147*y^6 - 83801438933508387225353/3219086497049295909029*y^5 - 447580932985104081950/3219086497049295909029*y^4 + 6910108186013524143409/459869499578470844147*y^3 - 18641685912346678649112/3219086497049295909029*y^2 + 226320977355916072168/459869499578470844147*y + 4614471337080541770928/3219086497049295909029 162743297765811468787280/22533605479345071363203*y^14 + 914759739247984282011266/22533605479345071363203*y^13 + 720142533033781785519880/22533605479345071363203*y^12 - 8721698818428046769761763/45067210958690142726406*y^11 - 9795886112464610473449306/22533605479345071363203*y^10 - 10294895708202591183072338/22533605479345071363203*y^9 - 8024045679004476702086589/45067210958690142726406*y^8 + 4521113447857719936115377/45067210958690142726406*y^7 - 104087850653087665364215/6438172994098591818058*y^6 - 3843034399328804724283905/45067210958690142726406*y^5 + 175643034269875213917506/22533605479345071363203*y^4 + 7610598387645694186395/919738999156941688294*y^3 - 265599962683376749778683/45067210958690142726406*y^2 - 1416225605309497736776/3219086497049295909029*y + 57262650867876695248005/45067210958690142726406 162743297765811468787280/22533605479345071363203*y^14 + 914759739247984282011266/22533605479345071363203*y^13 + 720142533033781785519880/22533605479345071363203*y^12 - 8721698818428046769761763/45067210958690142726406*y^11 - 9795886112464610473449306/22533605479345071363203*y^10 - 10294895708202591183072338/22533605479345071363203*y^9 - 8024045679004476702086589/45067210958690142726406*y^8 + 4521113447857719936115377/45067210958690142726406*y^7 - 104087850653087665364215/6438172994098591818058*y^6 - 3843034399328804724283905/45067210958690142726406*y^5 + 175643034269875213917506/22533605479345071363203*y^4 + 7610598387645694186395/919738999156941688294*y^3 - 265599962683376749778683/45067210958690142726406*y^2 - 1416225605309497736776/3219086497049295909029*y + 57262650867876695248005/45067210958690142726406 53294196812631980096608/3219086497049295909029*y^14 + 308613705940652159538748/3219086497049295909029*y^13 + 283823240560385259997460/3219086497049295909029*y^12 - 1405956741902509237151801/3219086497049295909029*y^11 - 3475664496381505527887323/3219086497049295909029*y^10 - 3860796341072285985730197/3219086497049295909029*y^9 - 1672203217191920694066474/3219086497049295909029*y^8 + 880916044684369463206977/3219086497049295909029*y^7 + 45436354273157840182323/459869499578470844147*y^6 - 528255029905274747792462/3219086497049295909029*y^5 - 66196778991356058097114/3219086497049295909029*y^4 + 5595175400810190646719/459869499578470844147*y^3 - 19294014076697744909597/3219086497049295909029*y^2 - 994598939161881623454/459869499578470844147*y + 5381465920111820740900/3219086497049295909029 46134972583361894120032/3219086497049295909029*y^14 + 246848362026107119215548/3219086497049295909029*y^13 + 139230271972041246722060/3219086497049295909029*y^12 - 1270609435937618643352753/3219086497049295909029*y^11 - 2463375205150161290845601/3219086497049295909029*y^10 - 2327463005860854206136647/3219086497049295909029*y^9 - 433661782917406402604837/3219086497049295909029*y^8 + 1034303603708603096257745/3219086497049295909029*y^7 - 1743639773714911650063/459869499578470844147*y^6 - 361408454245300268171697/3219086497049295909029*y^5 + 52054527969010451027681/3219086497049295909029*y^4 + 3382846561941141145476/459869499578470844147*y^3 + 7670862865436630427920/3219086497049295909029*y^2 - 1276225474870576673192/459869499578470844147*y + 6819827181277712434820/3219086497049295909029 15090957393757660833344/3219086497049295909029*y^14 + 87346951324959930541768/3219086497049295909029*y^13 + 95361786190961533061092/3219086497049295909029*y^12 - 315679628881868595672978/3219086497049295909029*y^11 - 928147558103279131583319/3219086497049295909029*y^10 - 1491656950732834990291017/3219086497049295909029*y^9 - 1306177572454738746098647/3219086497049295909029*y^8 - 650605846053956259695633/3219086497049295909029*y^7 - 37177785256287891823113/459869499578470844147*y^6 + 8839318188826515949240/3219086497049295909029*y^5 - 64770297729288198665645/3219086497049295909029*y^4 - 12280344485000261769890/459869499578470844147*y^3 + 3929068188593861994980/3219086497049295909029*y^2 - 392111792371244669814/459869499578470844147*y - 4580390060275121196119/3219086497049295909029 46134972583361894120032/3219086497049295909029*y^14 + 246848362026107119215548/3219086497049295909029*y^13 + 139230271972041246722060/3219086497049295909029*y^12 - 1270609435937618643352753/3219086497049295909029*y^11 - 2463375205150161290845601/3219086497049295909029*y^10 - 2327463005860854206136647/3219086497049295909029*y^9 - 433661782917406402604837/3219086497049295909029*y^8 + 1034303603708603096257745/3219086497049295909029*y^7 - 1743639773714911650063/459869499578470844147*y^6 - 361408454245300268171697/3219086497049295909029*y^5 + 52054527969010451027681/3219086497049295909029*y^4 + 3382846561941141145476/459869499578470844147*y^3 + 7670862865436630427920/3219086497049295909029*y^2 - 1276225474870576673192/459869499578470844147*y + 6819827181277712434820/3219086497049295909029 -125404506211961352044128/22533605479345071363203*y^14 - 746550676033189620334524/22533605479345071363203*y^13 - 808698526641841143833116/22533605479345071363203*y^12 + 3061318856506562750523197/22533605479345071363203*y^11 + 8562586831795601368775321/22533605479345071363203*y^10 + 10995270140494087138485402/22533605479345071363203*y^9 + 7041825111082651521338026/22533605479345071363203*y^8 + 532577365230076667425914/22533605479345071363203*y^7 + 7813011117133665387696/3219086497049295909029*y^6 + 989957675572706848172195/22533605479345071363203*y^5 + 254151483740803221426983/22533605479345071363203*y^4 + 2848058957978345463663/459869499578470844147*y^3 + 39150007848776045598420/22533605479345071363203*y^2 + 1534231537720131847671/3219086497049295909029*y + 15723764031951751454445/22533605479345071363203 # A Gluing Matrix {{0,-2,-2,2,-1,-4,-1,0},{-1,-1,-1,1,-1,-2,0,0},{-1,-1,-1,1,0,-2,-1,0},{1,1,1,-1,1,1,1,-1},{-1,-1,-1,2,0,-2,0,0},{-2,-2,-2,1,-1,-1,-1,1},{-1,0,-2,2,1,-2,-1,0},{0,0,0,-1,0,1,0,0}} # B Gluing Matrix {{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,1,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}} # nu Gluing Vector {-2, -1, -1, 1, 0, -1, 0, 0} # f Combinatorial flattening {4, -3, -1, 4, -1, 4, -3, -5} # f' Combinatorial flattening {-3, 2, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 1286547457938228906054352/3219086497049295909029*y^14 + 5101439786032492114905954/3219086497049295909029*y^13 - 7004341296553224063394718/3219086497049295909029*y^12 - 96094111697108150127902535/6438172994098591818058*y^11 - 47913827832681256635775263/6438172994098591818058*y^10 + 132383810801589243983567897/6438172994098591818058*y^9 + 149254066962558345100686404/3219086497049295909029*y^8 + 239951179853317102549286115/6438172994098591818058*y^7 - 2044179807059106343614120/459869499578470844147*y^6 - 49816886413470748412459597/6438172994098591818058*y^5 + 44678447386822453351844695/6438172994098591818058*y^4 + 1104069635434693333553470/459869499578470844147*y^3 - 3926208511652212152363013/6438172994098591818058*y^2 + 63586705885698814237829/919738999156941688294*y + 506237662980475856746289/3219086497049295909029 # 2 Loop Invariant 164437446242727936700827866264790094466770752131055277827498350/109275256221246586539827088867220974207890805789641816555258583*y^14 + 1448114287498932475110129194939513339507236494946721965271591073/145700341628328782053102785156294632277187741052855755407011444*y^13 + 6420206945281062648773903193231575579603831436968473806617777711/437101024884986346159308355468883896831563223158567266221034332*y^12 - 62079085268728341874928570768966712126671095100844793643922710069/1748404099539945384637233421875535587326252892634269064884137328*y^11 - 230703916679351769078598714416221139628242814162005162938014123873/1748404099539945384637233421875535587326252892634269064884137328*y^10 - 308668895196959235349037009531661647281164085105773047087360986493/1748404099539945384637233421875535587326252892634269064884137328*y^9 - 24330126100192265167090582712754309869051028796353825712364236399/218550512442493173079654177734441948415781611579283633110517166*y^8 + 2536255751276606418685070175530290939453669327391661758621485387/437101024884986346159308355468883896831563223158567266221034332*y^7 + 7494400290577922299302124846537455990678743054407254077040233041/249772014219992197805319060267933655332321841804895580697733904*y^6 - 12516444175033237586497705941044400938710970614531972861512716095/582801366513315128212411140625178529108750964211423021628045776*y^5 - 11188923488832445247893202861205376351988887500673146195311724259/874202049769972692318616710937767793663126446317134532442068664*y^4 + 256951319195553212814667147923331900227503893376524893021914585/35681716317141742543617008609704807904617405972127940099676272*y^3 - 276223363357761526829831789714696406655081603853481091608027565/145700341628328782053102785156294632277187741052855755407011444*y^2 - 15252160167447190548281307525361600072634754908790344169610289/31221501777499024725664882533491706916540230225611947587216738*y + 716195811237096989131314788907372105360864241021540116290844663/291400683256657564106205570312589264554375482105711510814022888 # 3 Loop Invariant 6882024939401286987510244761740026383621396858404024513645521776223082569020247925/3874668436478089335189197285900083659831885702139884054931208942524446652505022767*y^14 + 329564260610766051802037024093460988800841019055892708822292751935243772732649954249/30997347491824714681513578287200669278655085617119072439449671540195573220040182136*y^13 + 351964517427498529680714405181532822261290862957374790768746468974457658193428388095/30997347491824714681513578287200669278655085617119072439449671540195573220040182136*y^12 - 5612521846723788634922321070871627617564567632192084787163473693546986206900461274547/123989389967298858726054313148802677114620342468476289757798686160782292880160728544*y^11 - 15324270672704705397190618363347296336321768476255171984753441026430574045775656695707/123989389967298858726054313148802677114620342468476289757798686160782292880160728544*y^10 - 2288538553224987139366014194697774785435019718535427676247749726660676417304353558261/15498673745912357340756789143600334639327542808559536219724835770097786610020091068*y^9 - 20863700312501290743439951307321357941293407752550515593566765511062438420787176475717/247978779934597717452108626297605354229240684936952579515597372321564585760321457088*y^8 + 280108907990391220762283680512865840819031741698343161386444784801041807512250949125/30997347491824714681513578287200669278655085617119072439449671540195573220040182136*y^7 + 2214707675130739927731353885280038401193549147733761184075662129501971317970128205/722970203890955444466788997952202198919069052294322389258301377030800541575281216*y^6 - 310327436882080572776264012785080027105686777483364778797722655615789429887269808445/15498673745912357340756789143600334639327542808559536219724835770097786610020091068*y^5 - 23442589060370812738085142219494710785587431884669454480718542631461041987215505125/30997347491824714681513578287200669278655085617119072439449671540195573220040182136*y^4 - 10323506041553880838519004475639920558230143630213797492975882037895742829552209359/17712769995328408389436330449828953873517191781210898536828383737254613268594389792*y^3 - 290606351203839696717883929050028251221578339872777353004895142232265889014520041563/247978779934597717452108626297605354229240684936952579515597372321564585760321457088*y^2 + 76782086522837030137207584008651437282970950246203947661832106727160441298643035/5060791427236688111267522985665415392433483366060256724808109639215603791026968512*y - 7915103385949099167082887301071535990505666678663889229318838127385475855467047473/247978779934597717452108626297605354229240684936952579515597372321564585760321457088 # 4 Loop Invariant 4428362626444010351342542959316719231382330482422290736726978797279064894370749927385254669661513859626548387852568035662309/2104474727506081009132920457154761634007637124091144179106889810480385300036724045878649132070767263479798827643168914801744*y^14 + 320891114048201916491172027471396429369091043493416340457880907945913164786887520788893333630122992312864837822217579686572379/28059663033414413455105606095396821786768494987881922388091864139738470667156320611715321760943563513063984368575585530689920*y^13 + 438981802462772389374054791044005925519387610334331843982800881839221705400584410679816039382995141372987558701133869859592581/56119326066828826910211212190793643573536989975763844776183728279476941334312641223430643521887127026127968737151171061379840*y^12 - 18374801931108971442745503157641542765749716800265140483913795095953769535724817987029950785117466518123389190343505085819439259/336715956400972961461267273144761861441221939854583068657102369676861648005875847340583861131322762156767812422907026368279040*y^11 - 77607973847848212468535064904025843712705570081731727189734258710670958699060963540583159340505491931391959521521260563699979237/673431912801945922922534546289523722882443879709166137314204739353723296011751694681167722262645524313535624845814052736558080*y^10 - 130348729991065103979953726772346943962344328180070540022697861815734537871527133036335723751471129254718309559463469410974604191/1010147869202918884383801819434285584323665819563749205971307109030584944017627542021751583393968286470303437268721079104837120*y^9 - 202306898623490552112921061791577111395339105687621370635251347367502566691076915750629637144065987799912033717065779705126191/3507457879176801681888200761924602723346061873485240298511483017467308833394540076464415220117945439132998046071948191336240*y^8 + 1213398608731206753356868410739525127954711924193637306397286566746825744673711679386614499423086653411772663385578851928683963/101014786920291888438380181943428558432366581956374920597130710903058494401762754202175158339396828647030343726872107910483712*y^7 - 79247589426167519058585543639363381537138364638823590902374804598826975830528961293702653783727053040864888908478577976103741/7215341922877992031312870138816325602311898711169637185509336493075606742983053871583939881385487760502167409062293422177408*y^6 - 25576322645117464615726174949585043937454448944295640027377697490637204981505246456869507894387670390021274690395005278060168687/2020295738405837768767603638868571168647331639127498411942614218061169888035255084043503166787936572940606874537442158209674240*y^5 + 157873396151085724519325070827876096140431374325439163227267394952856463224283274757132025951017410510254571793573499203747427/336715956400972961461267273144761861441221939854583068657102369676861648005875847340583861131322762156767812422907026368279040*y^4 - 53711755486879712480308830999240444255505230903187530146584697526748693493786111354843692155469452498264979739284800699360277/41230525273588525893216400793236146298925135492397926774339065674717752817046022123336799322202787202869528051784533841013760*y^3 - 729165721158451582620345394521667280659086828699080886136584412633835225179101183706984083499538958796486257626174931153770357/673431912801945922922534546289523722882443879709166137314204739353723296011751694681167722262645524313535624845814052736558080*y^2 + 7477238986619389259686169820977724844986513098612682022896503736794803012769381409653548963738648820724909533144197720379897/57722735383023936250502961110530604818495189689357097484074691944604853943864430972671519051083902084017339272498347377419264*y - 66751622042710473254550285519327702063665384866151399454811726965853252099592602351002850347094734097737900497251541787413909/673431912801945922922534546289523722882443879709166137314204739353723296011751694681167722262645524313535624845814052736558080