Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 2000087895] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s257 geometric_solution 4.41786342 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 1 2 2 0132 2310 0132 3201 0 0 0 0 0 -1 1 0 0 0 0 0 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 1 -1 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 3.064755719676 4.086379365052 0 3 4 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 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 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.090093757125 0.339569116857 2 0 2 0 2031 2310 1302 0132 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 0 0 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 0 0 0 0 0 0 -0.456505260983 0.286741272598 4 1 4 5 2310 0132 2103 0132 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 0 0 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255525612450 1.233242988498 3 5 3 1 2103 2310 3201 0132 0 0 0 0 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 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.255525612450 1.233242988498 5 5 3 4 1302 2031 0132 3201 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.587944969809 0.599751923737 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_5, c_0101_0, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 4195620419550610190850/153982538948771396953*c_0110_5^19 - 853878161508204621348/153982538948771396953*c_0110_5^18 + 7024942138244249232585/153982538948771396953*c_0110_5^17 + 27593257156043828895825/153982538948771396953*c_0110_5^16 + 81357203195779306296860/153982538948771396953*c_0110_5^15 + 71862986905819462540031/153982538948771396953*c_0110_5^14 + 74371442595932382431815/153982538948771396953*c_0110_5^13 + 126987567750435124980285/153982538948771396953*c_0110_5^12 + 83419180377803817646704/153982538948771396953*c_0110_5^11 + 35451382830513113223163/153982538948771396953*c_0110_5^10 - 11502259425336347622006/153982538948771396953*c_0110_5^9 - 18388194684228241042691/153982538948771396953*c_0110_5^8 + 14649425743875019211172/153982538948771396953*c_0110_5^7 - 5264603856237187889305/153982538948771396953*c_0110_5^6 - 18965813879667470450752/153982538948771396953*c_0110_5^5 - 28043782608202084229543/153982538948771396953*c_0110_5^4 - 23955730298250897022098/153982538948771396953*c_0110_5^3 - 8328363466496993992423/153982538948771396953*c_0110_5^2 - 3086688421709364564844/153982538948771396953*c_0110_5 + 79799842600304194700/153982538948771396953, c_0011_0 - 1, c_0011_2 - 867112194619998844983/153982538948771396953*c_0110_5^19 - 468862804158043325670/153982538948771396953*c_0110_5^18 + 892351438397182710126/153982538948771396953*c_0110_5^17 + 6311331338937060609882/153982538948771396953*c_0110_5^16 + 19447045174164554244708/153982538948771396953*c_0110_5^15 + 23605796074219150690025/153982538948771396953*c_0110_5^14 + 28753473362379188471990/153982538948771396953*c_0110_5^13 + 36687677301549917967424/153982538948771396953*c_0110_5^12 + 33276960492654162497743/153982538948771396953*c_0110_5^11 + 24664490211015889098527/153982538948771396953*c_0110_5^10 + 5424645047955959435438/153982538948771396953*c_0110_5^9 - 2260768029498197586284/153982538948771396953*c_0110_5^8 - 1121026492542111317758/153982538948771396953*c_0110_5^7 - 1488708411927247964210/153982538948771396953*c_0110_5^6 - 2276568591907543696204/153982538948771396953*c_0110_5^5 - 7879367761892651838844/153982538948771396953*c_0110_5^4 - 8720171054026906251223/153982538948771396953*c_0110_5^3 - 6107912638632173654843/153982538948771396953*c_0110_5^2 - 2909712889116607360629/153982538948771396953*c_0110_5 - 606263032824448130264/153982538948771396953, c_0011_4 + 926312986483060141656/153982538948771396953*c_0110_5^19 + 546533477979046886070/153982538948771396953*c_0110_5^18 - 1015725993502370996547/153982538948771396953*c_0110_5^17 - 6736589688493315224405/153982538948771396953*c_0110_5^16 - 21144081088176551488659/153982538948771396953*c_0110_5^15 - 25614369188466512743671/153982538948771396953*c_0110_5^14 - 30535906549437140538029/153982538948771396953*c_0110_5^13 - 39454024127892757971362/153982538948771396953*c_0110_5^12 - 34686122947698754726800/153982538948771396953*c_0110_5^11 - 26302013362163879430696/153982538948771396953*c_0110_5^10 - 5530655558854566120206/153982538948771396953*c_0110_5^9 + 4383101637311843268371/153982538948771396953*c_0110_5^8 + 964888274049354072489/153982538948771396953*c_0110_5^7 + 1010609994853427508059/153982538948771396953*c_0110_5^6 + 2130414071630251957509/153982538948771396953*c_0110_5^5 + 8805679181477614661279/153982538948771396953*c_0110_5^4 + 9875163774943919427774/153982538948771396953*c_0110_5^3 + 6152681381767302276851/153982538948771396953*c_0110_5^2 + 2719990629476938093753/153982538948771396953*c_0110_5 + 365038164656378824648/153982538948771396953, c_0011_5 - 494461517741983147059/153982538948771396953*c_0110_5^19 + 133352583451776938790/153982538948771396953*c_0110_5^18 + 615565787370239333988/153982538948771396953*c_0110_5^17 + 2947508620858100414934/153982538948771396953*c_0110_5^16 + 8455362675464630740068/153982538948771396953*c_0110_5^15 + 5429377063686286355418/153982538948771396953*c_0110_5^14 + 8950840517363145658603/153982538948771396953*c_0110_5^13 + 12908059863528241071970/153982538948771396953*c_0110_5^12 + 5857122218574080070242/153982538948771396953*c_0110_5^11 + 5382920265081779965628/153982538948771396953*c_0110_5^10 - 1665732968425215679103/153982538948771396953*c_0110_5^9 - 1000968187055295741262/153982538948771396953*c_0110_5^8 + 1352379569631957127539/153982538948771396953*c_0110_5^7 - 2007590816302832033471/153982538948771396953*c_0110_5^6 - 952708687257374293681/153982538948771396953*c_0110_5^5 - 3080464495634061409962/153982538948771396953*c_0110_5^4 - 2011738322765185906852/153982538948771396953*c_0110_5^3 - 894982935000202420474/153982538948771396953*c_0110_5^2 - 605805888506304741243/153982538948771396953*c_0110_5 + 119953813745616887917/153982538948771396953, c_0101_0 - 1025259605122470446610/153982538948771396953*c_0110_5^19 - 1017127221317872791498/153982538948771396953*c_0110_5^18 + 1465325114100461873046/153982538948771396953*c_0110_5^17 + 8071241659740566745813/153982538948771396953*c_0110_5^16 + 25412095893538541129064/153982538948771396953*c_0110_5^15 + 33861436945965798172970/153982538948771396953*c_0110_5^14 + 33514779352640830526350/153982538948771396953*c_0110_5^13 + 46630519567152939332712/153982538948771396953*c_0110_5^12 + 45044408861074670603411/153982538948771396953*c_0110_5^11 + 26538539333431112700606/153982538948771396953*c_0110_5^10 + 5639373001003472001603/153982538948771396953*c_0110_5^9 - 8290381733827906084738/153982538948771396953*c_0110_5^8 - 862992794183491938735/153982538948771396953*c_0110_5^7 + 1597746500125709234672/153982538948771396953*c_0110_5^6 - 4960969238924432904977/153982538948771396953*c_0110_5^5 - 10371722124351002174463/153982538948771396953*c_0110_5^4 - 12042392565485690913299/153982538948771396953*c_0110_5^3 - 6899795681922247296772/153982538948771396953*c_0110_5^2 - 2404421576583768860849/153982538948771396953*c_0110_5 - 462873904718005749405/153982538948771396953, c_0110_5^20 + c_0110_5^19 - c_0110_5^18 - 23/3*c_0110_5^17 - 230/9*c_0110_5^16 - 326/9*c_0110_5^15 - 42*c_0110_5^14 - 497/9*c_0110_5^13 - 481/9*c_0110_5^12 - 364/9*c_0110_5^11 - 17*c_0110_5^10 + 23/9*c_0110_5^9 + 20/9*c_0110_5^8 + 13/9*c_0110_5^7 + 34/9*c_0110_5^6 + 88/9*c_0110_5^5 + 125/9*c_0110_5^4 + 94/9*c_0110_5^3 + 49/9*c_0110_5^2 + 5/3*c_0110_5 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB