Magma V2.19-8 Tue Aug 20 2013 23:29:50 on localhost [Seed = 1528642829] Type ? for help. Type -D to quit. Loading file "K14n5045__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n5045 geometric_solution 7.45187180 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.610140539325 1.370907952820 0 4 5 3 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431474643894 0.247222605009 6 0 5 6 0132 0132 1302 1023 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 11 0 0 -11 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.076947258297 1.353593619883 3 1 3 0 2031 1302 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383525740096 0.432987547857 7 6 0 1 0132 3120 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.007960932071 0.930236465620 2 8 8 1 2031 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.806359525103 0.924025865268 2 4 7 2 0132 3120 2031 1023 0 0 0 0 0 0 -1 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -10 11 -11 0 10 1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.076947258297 1.353593619883 4 8 8 6 0132 2310 1023 1302 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 -10 0 0 0 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.806359525103 0.924025865268 5 5 7 7 2310 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.463870773342 0.614362771364 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_7'], 'c_1001_0' : negation(d['c_0011_5']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_1'], 'c_1001_8' : d['c_0101_7'], 's_2_8' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_8' : d['c_0011_4'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_5'], 'c_1010_7' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_7'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_1'], 'c_1010_8' : negation(d['c_0101_8']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0110_8' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_5, c_0101_7, c_0101_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 2830684519442756036509392898034610115238634685/16602840890496031879\ 4842914202883400529264128*c_0101_8^16 + 4083372663660005988453030540716577861769791749/16602840890496031879\ 4842914202883400529264128*c_0101_8^15 + 5033206507990591063989771282118060094399624749/16602840890496031879\ 4842914202883400529264128*c_0101_8^14 - 35680995306126750919423927662474887739354872663/1660284089049603187\ 94842914202883400529264128*c_0101_8^13 + 1632977704148454224872959223643142312300698063/34589251855200066415\ 59227379226737511026336*c_0101_8^12 + 14394334251603118923109236155769134710668879223/1660284089049603187\ 94842914202883400529264128*c_0101_8^11 - 61894338964145099026360698126625414370190282941/1660284089049603187\ 94842914202883400529264128*c_0101_8^10 - 18492349078593491676229740294180048327616899055/2767140148416005313\ 2473819033813900088210688*c_0101_8^9 + 215723293008673258640950046053890349959312970577/553428029683201062\ 64947638067627800176421376*c_0101_8^8 - 21430139551283620881780081360778686972793331357/1383570074208002656\ 6236909516906950044105344*c_0101_8^7 - 20038740423310072808489491603610327220126326353/3458925185520006641\ 559227379226737511026336*c_0101_8^6 + 96755793178752922407756690303334083164759492525/2075355111312003984\ 9355364275360425066158016*c_0101_8^5 + 16376714173738331680167707992797432805940652235/3458925185520006641\ 559227379226737511026336*c_0101_8^4 - 10444287511826475388200139001887664390038283873/5188387778280009962\ 338841068840106266539504*c_0101_8^3 - 1473508767739210888759759829303073640269355967/43236564819000083019\ 4903422403342188878292*c_0101_8^2 + 293530879705047209614058258289203483372985673/144121882730000276731\ 634474134447396292764*c_0101_8 + 7082603961224704936705056800594312\ 464284266/324274236142500622646177566802506641658719, c_0011_0 - 1, c_0011_3 + 6815393523808861176049812031495261565/1103734697641472042363\ 14977379227145984*c_0101_8^16 - 59022204660815950084907941214576504\ 61/110373469764147204236314977379227145984*c_0101_8^15 - 17121017876562918175561128860864126817/1103734697641472042363149773\ 79227145984*c_0101_8^14 + 77905939587178169490971370567593072611/11\ 0373469764147204236314977379227145984*c_0101_8^13 - 35181011043136535776069131046059767153/2759336744103680105907874434\ 4806786496*c_0101_8^12 - 135310344505705048933806898891666536275/11\ 0373469764147204236314977379227145984*c_0101_8^11 + 111280942308234010948981629415577294765/110373469764147204236314977\ 379227145984*c_0101_8^10 + 173882984136914147786314144019342363707/\ 55186734882073602118157488689613572992*c_0101_8^9 - 1387521791060041192018972799644625511975/11037346976414720423631497\ 7379227145984*c_0101_8^8 - 58272934290142922968858607024211469423/2\ 7593367441036801059078744344806786496*c_0101_8^7 + 631214004879970221480470564197653528609/275933674410368010590787443\ 44806786496*c_0101_8^6 - 29559296240406247970521072080051656155/689\ 8341860259200264769686086201696624*c_0101_8^5 - 83852510712018558001060852403995138259/3449170930129600132384843043\ 100848312*c_0101_8^4 - 11148116024670181785658429378856735613/34491\ 70930129600132384843043100848312*c_0101_8^3 + 12113030053546577061666865131782153867/8622927325324000330962107607\ 75212078*c_0101_8^2 - 302637652033122820253246378002549891/86229273\ 2532400033096210760775212078*c_0101_8 - 877088692806333090436781059537524136/431146366266200016548105380387\ 606039, c_0011_4 - 186706632374739342320658100741765107725/10651039832240205208\ 804395317095419587456*c_0101_8^16 + 49109667129215974484316886696882845735/2662759958060051302201098829\ 273854896864*c_0101_8^15 + 189720084867419969962136279385671313685/\ 5325519916120102604402197658547709793728*c_0101_8^14 - 1095132163342818734283275050533625658929/53255199161201026044021976\ 58547709793728*c_0101_8^13 + 43779606011000899615837378942517543169\ 77/10651039832240205208804395317095419587456*c_0101_8^12 + 2360837605810144340768585250621818527699/10651039832240205208804395\ 317095419587456*c_0101_8^11 - 1302988475160982865486021395517215833\ 205/5325519916120102604402197658547709793728*c_0101_8^10 - 7766868945099530248864414650662903840343/10651039832240205208804395\ 317095419587456*c_0101_8^9 + 39788788756200629207060243894244579556\ 101/10651039832240205208804395317095419587456*c_0101_8^8 - 2484804948491039297258766533310946410469/10651039832240205208804395\ 317095419587456*c_0101_8^7 - 18702537245356023676313501026719695766\ 47/332844994757506412775137353659231862108*c_0101_8^6 + 1916196260316649681919126328610852914217/66568998951501282555027470\ 7318463724216*c_0101_8^5 + 6873791489691140685550798755268207136175\ /1331379979030025651100549414636927448432*c_0101_8^4 - 35716096388177801552836241642712336331/6656899895150128255502747073\ 18463724216*c_0101_8^3 - 271710238144599717424663732431724852312/83\ 211248689376603193784338414807965527*c_0101_8^2 + 138090328198965176561807241072752967145/832112486893766031937843384\ 14807965527*c_0101_8 + 15922209312703079183717589473822753586/83211\ 248689376603193784338414807965527, c_0011_5 - 186706632374739342320658100741765107725/10651039832240205208\ 804395317095419587456*c_0101_8^16 + 49109667129215974484316886696882845735/2662759958060051302201098829\ 273854896864*c_0101_8^15 + 189720084867419969962136279385671313685/\ 5325519916120102604402197658547709793728*c_0101_8^14 - 1095132163342818734283275050533625658929/53255199161201026044021976\ 58547709793728*c_0101_8^13 + 43779606011000899615837378942517543169\ 77/10651039832240205208804395317095419587456*c_0101_8^12 + 2360837605810144340768585250621818527699/10651039832240205208804395\ 317095419587456*c_0101_8^11 - 1302988475160982865486021395517215833\ 205/5325519916120102604402197658547709793728*c_0101_8^10 - 7766868945099530248864414650662903840343/10651039832240205208804395\ 317095419587456*c_0101_8^9 + 39788788756200629207060243894244579556\ 101/10651039832240205208804395317095419587456*c_0101_8^8 - 2484804948491039297258766533310946410469/10651039832240205208804395\ 317095419587456*c_0101_8^7 - 18702537245356023676313501026719695766\ 47/332844994757506412775137353659231862108*c_0101_8^6 + 1916196260316649681919126328610852914217/66568998951501282555027470\ 7318463724216*c_0101_8^5 + 6873791489691140685550798755268207136175\ /1331379979030025651100549414636927448432*c_0101_8^4 - 35716096388177801552836241642712336331/6656899895150128255502747073\ 18463724216*c_0101_8^3 - 271710238144599717424663732431724852312/83\ 211248689376603193784338414807965527*c_0101_8^2 + 138090328198965176561807241072752967145/832112486893766031937843384\ 14807965527*c_0101_8 + 15922209312703079183717589473822753586/83211\ 248689376603193784338414807965527, c_0101_0 + 163482663085164894976375668185185009905/21302079664480410417\ 608790634190839174912*c_0101_8^16 + 197940409088876122523769737443300582543/213020796644804104176087906\ 34190839174912*c_0101_8^15 - 80305223529363862648450153367661607382\ 9/21302079664480410417608790634190839174912*c_0101_8^14 + 1066073801105733653947650621329644200183/21302079664480410417608790\ 634190839174912*c_0101_8^13 + 1670027645275026456533680715684392705\ 93/5325519916120102604402197658547709793728*c_0101_8^12 - 11219470709754719780339720135137869500807/2130207966448041041760879\ 0634190839174912*c_0101_8^11 - 225102530988923144293022999905316005\ 8919/21302079664480410417608790634190839174912*c_0101_8^10 + 7702411439037072910052954730057368426631/10651039832240205208804395\ 317095419587456*c_0101_8^9 - 14586118051014930520503276026939944147\ 227/21302079664480410417608790634190839174912*c_0101_8^8 - 19702237143823601284949068311506986554153/5325519916120102604402197\ 658547709793728*c_0101_8^7 + 17164694951925845890907738180235320415\ 553/5325519916120102604402197658547709793728*c_0101_8^6 + 15041352440426476872207176974395323536383/2662759958060051302201098\ 829273854896864*c_0101_8^5 - 31855597386580133985528424682637710378\ 87/665689989515012825550274707318463724216*c_0101_8^4 - 1115385339070676367054932312636274391647/16642249737875320638756867\ 6829615931054*c_0101_8^3 + 309086750695181389022526653158657495733/\ 166422497378753206387568676829615931054*c_0101_8^2 + 346708202031058138684865031874158808159/832112486893766031937843384\ 14807965527*c_0101_8 - 55763723830123731170411618032186613497/83211\ 248689376603193784338414807965527, c_0101_1 - 1304760125156127711584019553833380114895/2130207966448041041\ 7608790634190839174912*c_0101_8^16 + 1598619788633444122469667622812148791133/21302079664480410417608790\ 634190839174912*c_0101_8^15 + 2653279223907524990756280116310362977\ 053/21302079664480410417608790634190839174912*c_0101_8^14 - 15850839062276730431781362448477428255647/2130207966448041041760879\ 0634190839174912*c_0101_8^13 + 163763216025683860984443002933723634\ 83683/10651039832240205208804395317095419587456*c_0101_8^12 + 13484724563718440554689110387552626670545/2130207966448041041760879\ 0634190839174912*c_0101_8^11 - 252135558688942019916472945824899415\ 79257/21302079664480410417608790634190839174912*c_0101_8^10 - 14014811576922341507607520527838434078309/5325519916120102604402197\ 658547709793728*c_0101_8^9 + 28427515543056295745829883458637918131\ 1225/21302079664480410417608790634190839174912*c_0101_8^8 - 28099454976032439181201087546908640904439/1065103983224020520880439\ 5317095419587456*c_0101_8^7 - 1132305152603820777544797469670298313\ 18365/5325519916120102604402197658547709793728*c_0101_8^6 + 16236076477511537826727911193008351268237/1331379979030025651100549\ 414636927448432*c_0101_8^5 + 15758903394156868432422027939604446423\ 69/83211248689376603193784338414807965527*c_0101_8^4 - 1502624722619236842888758075986827151295/66568998951501282555027470\ 7318463724216*c_0101_8^3 - 4180961244381084699225811067871123563591\ /332844994757506412775137353659231862108*c_0101_8^2 + 678255131143144205032838571420116048685/166422497378753206387568676\ 829615931054*c_0101_8 + 60211596601525527153511449684753230850/8321\ 1248689376603193784338414807965527, c_0101_5 + 49577924542013083502492779168362687855/106510398322402052088\ 04395317095419587456*c_0101_8^16 - 41597509429048484610897242802088779721/5325519916120102604402197658\ 547709793728*c_0101_8^15 - 1507428569155065531352535387939862553/16\ 6422497378753206387568676829615931054*c_0101_8^14 + 19978884827157021452840674051217409051/3328449947575064127751373536\ 59231862108*c_0101_8^13 - 1440848288835922243910955657488539799649/\ 10651039832240205208804395317095419587456*c_0101_8^12 - 175864071623202863117302508708485559885/106510398322402052088043953\ 17095419587456*c_0101_8^11 + 34684502012531222042282420378829077911\ 1/2662759958060051302201098829273854896864*c_0101_8^10 + 2762414392817884191340161544783344476783/10651039832240205208804395\ 317095419587456*c_0101_8^9 - 11861389010234790411487917473476593644\ 007/10651039832240205208804395317095419587456*c_0101_8^8 + 6329703537787059411371084364732299931205/10651039832240205208804395\ 317095419587456*c_0101_8^7 + 31309952332557278838550087683942206296\ 1/166422497378753206387568676829615931054*c_0101_8^6 - 2905467793608215092082077570860364366917/26627599580600513022010988\ 29273854896864*c_0101_8^5 - 232615666585846938158894291735209231298\ 9/1331379979030025651100549414636927448432*c_0101_8^4 + 223323089898591987175951293476603109613/332844994757506412775137353\ 659231862108*c_0101_8^3 + 356020937373839680506881380715305259415/1\ 66422497378753206387568676829615931054*c_0101_8^2 - 29885942091926169097937834547223161284/8321124868937660319378433841\ 4807965527*c_0101_8 - 25356074240211670700303360503197800875/832112\ 48689376603193784338414807965527, c_0101_7 + 3522126507172220243969423399823774435/3000292910490198650367\ 43530059025903872*c_0101_8^16 - 18292161293570686111250544809656003\ 79/300029291049019865036743530059025903872*c_0101_8^15 - 9776334677186875890352939554462136307/30002929104901986503674353005\ 9025903872*c_0101_8^14 + 37646833049562965995243375318063991985/300\ 029291049019865036743530059025903872*c_0101_8^13 - 7474025883856523682055574672639851185/37503661381127483129592941257\ 378237984*c_0101_8^12 - 94483913463315060153268879320492610017/3000\ 29291049019865036743530059025903872*c_0101_8^11 + 37728018683244871656834190139269722635/3000292910490198650367435300\ 59025903872*c_0101_8^10 + 91428253276758822864805641994790488251/15\ 0014645524509932518371765029512951936*c_0101_8^9 - 655107163518311541416693378242295592549/300029291049019865036743530\ 059025903872*c_0101_8^8 - 88618624521709049612998316432096771409/75\ 007322762254966259185882514756475968*c_0101_8^7 + 78481243840350626492306861010884549023/1875183069056374156479647062\ 8689118992*c_0101_8^6 + 3900599024338437381632438242485022129/18751\ 830690563741564796470628689118992*c_0101_8^5 - 21980514369318051668622329848436409311/4687957672640935391199117657\ 172279748*c_0101_8^4 - 8492685734589645653143333967002300331/468795\ 7672640935391199117657172279748*c_0101_8^3 + 6348517646904962889890682305184373171/46879576726409353911991176571\ 72279748*c_0101_8^2 + 453324328946701629959136464063272711/23439788\ 36320467695599558828586139874*c_0101_8 + 463414645867500290645917757299087699/117198941816023384779977941429\ 3069937, c_0101_8^17 - 87/55*c_0101_8^16 - 91/55*c_0101_8^15 + 713/55*c_0101_8^14 - 1612/55*c_0101_8^13 - 11/5*c_0101_8^12 + 1359/55*c_0101_8^11 + 402/11*c_0101_8^10 - 2593/11*c_0101_8^9 + 1316/11*c_0101_8^8 + 1724/5*c_0101_8^7 - 18024/55*c_0101_8^6 - 1328/5*c_0101_8^5 + 1952/11*c_0101_8^4 + 1024/5*c_0101_8^3 - 8576/55*c_0101_8^2 + 512/55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB